Proceedings of the Third Symposium on Testing, Analysis, and Verification
ISSTA, 1989.

@proceedings{TAV-1989,
	address       = "Key West, Florida, USA",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Third Symposium on Testing, Analysis, and Verification}",
	year          = 1989,
}

Contents (24 items)

12 ×#testing
3 ×#analysis
3 ×#automation
3 ×#specification
2 ×#comparison
2 ×#concurrent
2 ×#generative
2 ×#logic
2 ×#named
2 ×#source code

TAV-1989-Howden #source code #specification #validation

Validating Programs without Specifications (WEH), pp. 2–9.

TAV-1989-RazoukG #logic #realtime #reasoning #source code

Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs (RRR, MMG), pp. 10–19.

TAV-1989-Young #compilation

Verified Compilation in micro-Gypsy (WDY), pp. 20–26.

TAV-1989-Hamlet #comparison #testing

Theoretical Comparison of Testing Methods (RGH), pp. 28–37.

TAV-1989-JengW #testing

Some Observations on Partition Testing (BJ, EJW), pp. 38–47.

TAV-1989-YatesM #branch #testing

Reducing the Effects of Infeasible Paths in Branch Testing (DFY, NM), pp. 48–54.

TAV-1989-ChoiMP #execution #named #scheduling

PMothra: Scheduling Mutants for Execution on a Hypercube (BC, AM, BP), pp. 58–65.

TAV-1989-OlenderO #constraints #named

Cesar: A Static Sequencing Constraint Analyzer (KMO, LJO), pp. 66–74.

TAV-1989-KotikM #analysis #automation #program transformation #testing #using

Automating Software Analysis and Testing Using a Program Transformation System (GK, LM), pp. 75–84.

TAV-1989-RichardsonOT #testing

Approaches to Specification-Based Testing (DJR, TOO, CT), pp. 86–96.

TAV-1989-HoffmanB #generative #testing

Module Test Case Generation (DH, CB), pp. 97–102.

TAV-1989-Moriconi #approach #configuration management #semantics

A Practical Approach to Semantic Configuration Management (MM), pp. 103–113.

TAV-1989-Perry #logic

The Logic of Propagation in the Inscape Environment (DP), pp. 114–121.

TAV-1989-AvruninWD #analysis #automation #concurrent

Experiments in Automated Analysis of Concurrent Software Systems (GSA, JCW, LKD), pp. 124–130.

TAV-1989-Offutt

The Coupling Effect: Fact or Fiction (AJO), pp. 131–140.

TAV-1989-RowlandZ #comparison

Experimental Comparison of Three System Test Strategies Preliminary Report (JHR, YZ), pp. 141–149.

TAV-1989-Gerhart #assessment #formal method #summary

Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems (SLG), pp. 152–155.

TAV-1989-HarroldS #data flow #testing

Interprocedual Data Flow Testing (MJH, MLS), pp. 158–167.

TAV-1989-PodgurskiC #debugging #dependence #maintenance #testing

The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance (AP, LAC), pp. 168–178.

TAV-1989-BiemanS #testing

Estimating the Number of Test Cases Required to Satisfy the All-du-paths Testing Criterion (JMB, JLS), pp. 179–186.

TAV-1989-RosenblumL #correctness #specification #testing

Testing the Correctness of Tasking Supervisors with TSL Specifications (DSR, DCL), pp. 187–196.

TAV-1989-YoungTFB #analysis #concurrent #development

Integrated Concurrency Analysis in a Software Development Enviornment (MY, RNT, KF, DB), pp. 200–209.

TAV-1989-BalcerHO #automation #generative #specification #testing

Automatic Generation of Test Scripts from Formal Test Specifications (MJB, WMH, TJO), pp. 210–218.

TAV-1989-RichardsonAO #process #programming #testing

Integrating Testing Techniques Through Process Programming (DJR, SLA, LJO), pp. 219–228.