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

@proceedings{ISSTA-1993,
	address       = "Cambridge, MA, USA",
	number        = 3,
	series        = "{Software Engineering Notes}",
	title         = "{Proceedings of the International Symposium on Software Testing and Analysis}",
	volume        = 18,
	year          = 1993,
}

Contents (22 items)

7 ×#testing
6 ×#analysis
3 ×#concurrent
3 ×#specification
3 ×#using
2 ×#fault
2 ×#mutation testing
2 ×#realtime
2 ×#source code

ISSTA-1993-Blum #design #source code

Designing Programs to Check Their Work (MB), p. 1.

ISSTA-1993-Woit #specification

Specifying Operational Profiles for Modules (DMW), pp. 2–10.

ISSTA-1993-StocksC #case study #framework #testing

Test Template Framework: A Specification-Based Testing Case Study (PS, DAC), pp. 11–18.

ISSTA-1993-Jackson #analysis

Abstract Analysis with Aspect (DJ), pp. 19–27.

ISSTA-1993-FelderGP #specification

Analyzing Refinements of State Based Specifications: The Case of TB Nets (MF, CG, MP), pp. 28–39.

ISSTA-1993-LevineT #analysis #concurrent #metric #re-engineering

Metric-Driven Reengineering for Static Concurrency Analysis (DLL, RNT), pp. 40–50.

ISSTA-1993-DuriBDS #ada #analysis #concurrent #reduction #using

Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking (SD, UAB, RD, SMS), pp. 51–60.

ISSTA-1993-Vogel #automation #testing

An Integrated General Purpose Automated Test Environment (PAV), pp. 61–69.

ISSTA-1993-BelliJ #analysis #prolog #source code #testing

Implementation-Based Analysis and Testing of Prolog Programs (FB, OJ), pp. 70–80.

ISSTA-1993-Modes

Structured IV&V for the Space Shuttle Flight Software (RWM), p. 81.

ISSTA-1993-AvritzerL #testing #using

Load Testing Software Using Deterministic State Testing (AA, BL), pp. 82–88.

ISSTA-1993-HamletV #fault #reliability #testing

Faults on Its Sleeve: Amplifying Software Reliability Testing (RGH, JMV), pp. 89–98.

ISSTA-1993-Thevenod-FosseW #statistics #testing

STATEMATE Applied to Statistical Software Testing (PTF, HW), pp. 99–109.

ISSTA-1993-CorbettA #bound #concurrent #realtime

A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems (JCC, GSA), pp. 110–116.

ISSTA-1993-AtleeG #requirements

Analyzing Timing Requirements (JMA, JDG), pp. 117–127.

ISSTA-1993-Coen-PorisiniK #realtime #specification

The Composability of ASTRAL Realtime Specifications (ACP, RAK), pp. 128–138.

ISSTA-1993-UntchOH #analysis #mutation testing #using

Mutation Analysis Using Mutant Schemata (RHU, AJO, MJH), pp. 139–148.

ISSTA-1993-WeissF #algorithm #analysis #mutation testing

Improved Serial Algorithms for Mutation Analysis (SNW, VNF), pp. 149–158.

ISSTA-1993-Miller #testing

Exploitation of Software Test Technology (EFM), p. 159.

ISSTA-1993-HarroldMR #dependence #graph #performance

Efficient Construction of Program Dependence Graphs (MJH, BAM, GR), pp. 160–170.

ISSTA-1993-Goradia #effectiveness #impact analysis

Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-Propagation (TG), pp. 171–181.

ISSTA-1993-ThompsonRC #data flow #detection #fault

An Information Flow Model of Fault Detection (MCT, DJR, LAC), pp. 182–192.