Proceedings of International Symposium on Software Testing and Analysis
ISSTA, 1998.

@proceedings{ISSTA-1998,
	address       = "Clearwater Beach, Florida, USA",
	publisher     = "{ACM Press}",
	title         = "{Proceedings of International Symposium on Software Testing and Analysis}",
	year          = 1998,
}

Contents (17 items)

8 ×#testing
4 ×#automation
4 ×#generative
3 ×#using
2 ×#analysis
2 ×#constraints
2 ×#model checking
2 ×#on the
2 ×#source code

ISSTA-1998-Corbett #concurrent #java #modelling #source code

Constructing Compact Models of Concurrent Java Programs (JCC), pp. 1–10.

ISSTA-1998-HarroldRS #dependence #interprocedural

Computation of Interprocedural Control Dependence (MJH, GR, SS), pp. 11–20.

ISSTA-1998-StocksRLZ #context-sensitive grammar #problem

Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem (PS, BGR, WL, SZ), pp. 21–31.

ISSTA-1998-MitchellZ #empirical #reliability #testing

An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing (BM, SJZ), pp. 32–41.

ISSTA-1998-Ntafos #on the #random #testing

On Random and Partition Testing (SCN), pp. 42–48.

ISSTA-1998-Hamlet #question #testing #what

What Can We Learn by Testing a Program? (RGH), pp. 50–52.

ISSTA-1998-GotliebBR #automation #constraints #generative #testing #theorem proving #using

Automatic Test Data Generation Using Constraint Solving Techniques (AG, BB, MR), pp. 53–62.

ISSTA-1998-HajnalF #algorithm #fault #generative #testing

An Applicable Test Data Generation Algorithm for Domain Errors (ÁH, IF), pp. 63–72.

ISSTA-1998-TraceyCM #automation #using

Automated Program Flaw Finding Using Simulated Annealing (NT, JAC, KM), pp. 73–81.

ISSTA-1998-OstrandAFG #development #user interface #visual notation

A Visual Test Development Environment for GUI Systems (TJO, AA, HF, TG), pp. 82–92.

ISSTA-1998-MolloyAHCV #automation #generative #testing #text-to-text

Automatic Interoperability Test Generation for Source-to-Source Translators (MM, KA, JH, DC, PDV), pp. 93–101.

ISSTA-1998-ChanABN #model checking #performance #requirements

Improving Efficiency of Symbolic Model Checking for State-Based System Requirements (WC, RJA, PB, DN), pp. 102–112.

ISSTA-1998-BultanGL #approach #constraints #integer #verification

Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach (TB, RG, CL), pp. 113–123.

ISSTA-1998-GodefroidHJ #analysis #model checking #monitoring #using

Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft (PG, RSH, LJJ), pp. 124–133.

ISSTA-1998-Ball #analysis #control flow #on the #testing

On the Limit of Control Flow Analysis for Regression Test Selection (TB), pp. 134–142.

ISSTA-1998-KorelA #automation #generative #testing

Automated Regression Test Generation (BK, AMAY), pp. 143–152.

ISSTA-1998-YangSP #parallel #source code

All-du-path Coverage for Parallel Programs (CSDY, ALS, LLP), pp. 153–162.