ISSTA A

19 papers

YearTitle / Authors
1998A Visual Test Development Environment for GUI Systems.
Thomas J. Ostrand, Aaron Anodide, Herbert Foster, Tarak Goradia
1998All-du-path Coverage for Parallel Programs.
Cheer-Sun D. Yang, Amie L. Souter, Lori L. Pollock
1998An Applicable Test Data Generation Algorithm for Domain Errors.
Ákos Hajnal, István Forgács
1998An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing.
Brian Mitchell, Steven J. Zeil
1998Automated Program Flaw Finding Using Simulated Annealing.
Nigel J. Tracey, John A. Clark, Keith Mander
1998Automated Regression Test Generation.
Bogdan Korel, Ali M. Al-Yami
1998Automatic Interoperability Test Generation for Source-to-Source Translators.
Mark Molloy, Kristy Andrews, James Herren, David Cutler, Paul Del Vigna
1998Automatic Test Data Generation Using Constraint Solving Techniques.
Arnaud Gotlieb, Bernard Botella, Michel Rueher
1998Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.
Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang
1998Computation of Interprocedural Control Dependence.
Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha
1998Constructing Compact Models of Concurrent Java Programs.
James C. Corbett
1998Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.
William Chan, Richard J. Anderson, Paul Beame, David Notkin
1998Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft.
Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan
1998On Random and Partition Testing.
Simeon C. Ntafos
1998On the Limit of Control Flow Analysis for Regression Test Selection.
Thomas Ball
1998Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998
Mary Lou Soffa, Michal Young, Will Tracz
1998The Most Influential Papers from the ISSTA Research Community (Panel).
Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson
1998Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.
Tevfik Bultan, Richard Gerber, Christopher League
1998What Can We Learn by Testing a Program?
Richard G. Hamlet