Thomas J. Ostrand
Proceedings of the International Symposium on Software Testing and Analysis
ISSTA, 1994.

@proceedings{ISSTA-1994,
	address       = "Seattle, WA, USA",
	editor        = "Thomas J. Ostrand",
	series        = "{Software Engineering Notes}",
	title         = "{Proceedings of the International Symposium on Software Testing and Analysis}",
	year          = 1994,
}

Contents (25 items)

14 ×#testing
7 ×#analysis
3 ×#generative
3 ×#named
3 ×#source code
2 ×#approach
2 ×#automation
2 ×#fault
2 ×#requirements
2 ×#specification

ISSTA-1994-ChechikG #automation #implementation #requirements #verification

Automatic Verification of Requirements Implementation (MC, JDG), pp. 1–14.

ISSTA-1994-DouglasK #execution #named #specification #symbolic computation #testing

Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications (JD, RAK), pp. 15–27.

ISSTA-1994-Kapur #automation #equation #specification

An Automated Tool for Analyzing Completeness of Equational Specifications (DK), pp. 28–43.

ISSTA-1994-AvritzerW #generative #testing

Generating Test Suites for Software Load Testing (AA, EJW), pp. 44–57.

ISSTA-1994-PetersP #documentation #generative #testing

Generating a Test Oracle from Program Documentation (DKP, DLP), pp. 58–65.

ISSTA-1994-KorelY #slicing

Forward Computation of Dynamic Program Slices (BK, SY), pp. 66–79.

ISSTA-1994-GoldbergWZ #analysis #testing

Applications of Feasible Path Analysis to Program Testing (AG, TCW, DZ), pp. 80–94.

ISSTA-1994-JasperBWCZ #analysis #generative #testing

Test Data Generation and Feasible Path Analysis (RJ, MB, KEW, BC, DZ), pp. 95–107.

ISSTA-1994-BochmannP #overview #protocol #testing

Protocol Testing: Review of Methods and Relevance for Software Testing (GvB, AP), pp. 109–124.

ISSTA-1994-Karam #timeline #using #visualisation

Visualization using Timelines (GMK), pp. 125–137.

ISSTA-1994-Richardson #analysis #named #testing

TAOS: Testing with Analysis and Oracle Support (DJR), pp. 138–153.

ISSTA-1994-SiepmannN #named #object-oriented #testing

TOBAC: A Test Case Browser for Testing Object-Oriented Software (ES, ARN), pp. 154–168.

ISSTA-1994-RothermelH #identification #requirements #test coverage #testing

Selecting Tests and Identifying Test Coverage Requirements for Modified Software (GR, MJH), pp. 169–184.

ISSTA-1994-FleyshgakkerW #analysis #approach #mutation testing #performance

Efficient Mutation Analysis: A New Approach (VNF, SNW), pp. 185–195.

ISSTA-1994-HowdenH #dependence #metric

Confidence Oriented Software Dependability Measurement (WEH, YH), p. 196.

ISSTA-1994-Marcus #composition #correctness #testing #verification

The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (LM), p. 197.

ISSTA-1994-Forgacs #fault

The All Program Functions Criterion for Revealing Computation Errors (IF), p. 198.

ISSTA-1994-KnightCFW #safety #testing

Testing a Safety-Critical Application (JCK, AGC, AMF, KGW), p. 199.

ISSTA-1994-MurrillM #approach #fault #semantics #using

An Experimental Approach to Analyzing Software Semantics Using Error Flow Information (BWM, LJM), p. 200.

ISSTA-1994-PollockBS #debugging

Debugging Optimized Code Via Tailoring (LLP, MPB, MLS), p. 201.

ISSTA-1994-BertolinoM #bound #branch #testing

A Meaningful Bound for Branch Testing (AB, MM), p. 202.

ISSTA-1994-Young #analysis #testing

State-Space Analysis as an Aid to Testing (MY), p. 203.

ISSTA-1994-Corbett #ada #analysis #concurrent #empirical #evaluation #source code

An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs (JCC), pp. 204–215.

ISSTA-1994-Damodaran-KamalF #parallel #source code #testing

Testing Races in Parallel Programs with an OtOt Strategy (SKDK, JMF), pp. 216–227.

ISSTA-1994-BuyS #analysis #petri net #realtime #source code

Analysis of Real-Time Programs with Simple Time Petri Nets (UAB, RHS), pp. 228–239.