Search dblp for Publications

export results for "toc:db/conf/issta/issta98.bht:"

 download as .bib file

@inproceedings{DBLP:conf/issta/Ball98,
  author       = {Thomas Ball},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {On the Limit of Control Flow Analysis for Regression Test Selection},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {134--142},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271802},
  doi          = {10.1145/271771.271802},
  timestamp    = {Tue, 09 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/Ball98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/BultanGL98,
  author       = {Tevfik Bultan and
                  Richard Gerber and
                  Christopher League},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {Verifying Systems with Integer Constraints and Boolean Predicates:
                  {A} Composite Approach},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {113--123},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271799},
  doi          = {10.1145/271771.271799},
  timestamp    = {Tue, 26 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/BultanGL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/ChanABN98,
  author       = {William Chan and
                  Richard J. Anderson and
                  Paul Beame and
                  David Notkin},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {Improving Efficiency of Symbolic Model Checking for State-Based System
                  Requirements},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {102--112},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271798},
  doi          = {10.1145/271771.271798},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/ChanABN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Corbett98,
  author       = {James C. Corbett},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {Constructing Compact Models of Concurrent Java Programs},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271778},
  doi          = {10.1145/271771.271778},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Corbett98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/GodefroidHJ98,
  author       = {Patrice Godefroid and
                  Robert S. Hanmer and
                  Lalita Jategaonkar Jagadeesan},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {Model Checking Without a Model: An Analysis of the Heart-Beat Monitor
                  of a Telephone Switch Using VeriSoft},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {124--133},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271800},
  doi          = {10.1145/271771.271800},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/GodefroidHJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/GotliebBR98,
  author       = {Arnaud Gotlieb and
                  Bernard Botella and
                  Michel Rueher},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {Automatic Test Data Generation Using Constraint Solving Techniques},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {53--62},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271790},
  doi          = {10.1145/271771.271790},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/GotliebBR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/HajnalF98,
  author       = {{\'{A}}kos Hajnal and
                  Istv{\'{a}}n Forg{\'{a}}cs},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {An Applicable Test Data Generation Algorithm for Domain Errors},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {63--72},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271791},
  doi          = {10.1145/271771.271791},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/HajnalF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Hamlet98,
  author       = {Richard G. Hamlet},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {What Can We Learn by Testing a Program?},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {50--52},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271788},
  doi          = {10.1145/271771.271788},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Hamlet98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/HamletKMR98,
  author       = {Richard G. Hamlet and
                  Richard A. Kemmerer and
                  Edward F. Miller and
                  Debra J. Richardson},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {The Most Influential Papers from the {ISSTA} Research Community (Panel)},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {49},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271787},
  doi          = {10.1145/271771.271787},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/HamletKMR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/HarroldRS98,
  author       = {Mary Jean Harrold and
                  Gregg Rothermel and
                  Saurabh Sinha},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {Computation of Interprocedural Control Dependence},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {11--20},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271780},
  doi          = {10.1145/271771.271780},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/HarroldRS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/KorelA98,
  author       = {Bogdan Korel and
                  Ali M. Al{-}Yami},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {Automated Regression Test Generation},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {143--152},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271803},
  doi          = {10.1145/271771.271803},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/KorelA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/MitchellZ98,
  author       = {Brian Mitchell and
                  Steven J. Zeil},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {An Experiment in Estimating Reliability Growth Under Both Representative
                  and Directed Testing},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {32--41},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271784},
  doi          = {10.1145/271771.271784},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/MitchellZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/MolloyAHCV98,
  author       = {Mark Molloy and
                  Kristy Andrews and
                  James Herren and
                  David Cutler and
                  Paul Del Vigna},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {Automatic Interoperability Test Generation for Source-to-Source Translators},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {93--101},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271796},
  doi          = {10.1145/271771.271796},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/MolloyAHCV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Ntafos98,
  author       = {Simeon C. Ntafos},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {On Random and Partition Testing},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {42--48},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271785},
  doi          = {10.1145/271771.271785},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Ntafos98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/OstrandAFG98,
  author       = {Thomas J. Ostrand and
                  Aaron Anodide and
                  Herbert Foster and
                  Tarak Goradia},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {A Visual Test Development Environment for {GUI} Systems},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {82--92},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271793},
  doi          = {10.1145/271771.271793},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/OstrandAFG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/StocksRLZ98,
  author       = {Phil Stocks and
                  Barbara G. Ryder and
                  William Landi and
                  Sean Zhang},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {Comparing Flow and Context Sensitivity on the Modification-Side-Effects
                  Problem},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {21--31},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271782},
  doi          = {10.1145/271771.271782},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/StocksRLZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/TraceyCM98,
  author       = {Nigel J. Tracey and
                  John A. Clark and
                  Keith Mander},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {Automated Program Flaw Finding Using Simulated Annealing},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {73--81},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271792},
  doi          = {10.1145/271771.271792},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/TraceyCM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/YangSP98,
  author       = {Cheer{-}Sun D. Yang and
                  Amie L. Souter and
                  Lori L. Pollock},
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {All-du-path Coverage for Parallel Programs},
  booktitle    = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  pages        = {153--162},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771.271804},
  doi          = {10.1145/271771.271804},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/YangSP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/issta/1998,
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771},
  doi          = {10.1145/271771},
  isbn         = {0-89791-971-8},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.