default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISSTA 1998: Clearwater Beach, Florida, USA
- Mary Lou Soffa, Michal Young, Will Tracz:
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998. ACM 1998, ISBN 0-89791-971-8 - James C. Corbett:
Constructing Compact Models of Concurrent Java Programs. 1-10 - Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha:
Computation of Interprocedural Control Dependence. 11-20 - Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang:
Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. 21-31 - Brian Mitchell, Steven J. Zeil:
An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing. 32-41 - Simeon C. Ntafos:
On Random and Partition Testing. 42-48 - Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson:
The Most Influential Papers from the ISSTA Research Community (Panel). 49 - Richard G. Hamlet:
What Can We Learn by Testing a Program? 50-52 - Arnaud Gotlieb, Bernard Botella, Michel Rueher:
Automatic Test Data Generation Using Constraint Solving Techniques. 53-62 - Ákos Hajnal
, István Forgács:
An Applicable Test Data Generation Algorithm for Domain Errors. 63-72 - Nigel J. Tracey, John A. Clark, Keith Mander:
Automated Program Flaw Finding Using Simulated Annealing. 73-81 - Thomas J. Ostrand, Aaron Anodide, Herbert Foster, Tarak Goradia:
A Visual Test Development Environment for GUI Systems. 82-92 - Mark Molloy, Kristy Andrews, James Herren, David Cutler, Paul Del Vigna:
Automatic Interoperability Test Generation for Source-to-Source Translators. 93-101 - William Chan, Richard J. Anderson, Paul Beame, David Notkin:
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. 102-112 - Tevfik Bultan, Richard Gerber, Christopher League:
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. 113-123 - Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan:
Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. 124-133 - Thomas Ball:
On the Limit of Control Flow Analysis for Regression Test Selection. 134-142 - Bogdan Korel, Ali M. Al-Yami:
Automated Regression Test Generation. 143-152 - Cheer-Sun D. Yang, Amie L. Souter, Lori L. Pollock:
All-du-path Coverage for Parallel Programs. 153-162
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.
last updated on 2024-12-15 01:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
