Steven J. Zeil
Proceedings of the International Symposium on Software Testing and Analysis
ISSTA, 1996.

@proceedings{ISSTA-1996,
	address       = "San Diego, CA, USA",
	editor        = "Steven J. Zeil",
	number        = 3,
	publisher     = "{ACM Press}",
	series        = "{Software Engineering Notes}",
	title         = "{Proceedings of the International Symposium on Software Testing and Analysis}",
	volume        = 21,
	year          = 1996,
}

Contents (30 items)

10 ×#testing
9 ×#analysis
4 ×#concurrent
4 ×#generative
4 ×#source code
3 ×#approach
3 ×#fault
3 ×#using
3 ×#verification
2 ×#automation

ISSTA-1996-Tracz #analysis #architecture

Test and Analysis of Software Architectures (WT), pp. 1–3.

ISSTA-1996-KangL #analysis #generative #performance #realtime

An Efficient State Space Generation for Analysis of Real-Time Systems (IK, IL), pp. 4–13.

ISSTA-1996-KoppolT #approach #concurrent #incremental #testing

An Incremental Approach to Structural Testing of Concurrent Software (PVK, KCT), pp. 14–23.

ISSTA-1996-ChamillardC #analysis #concurrent #petri net #source code

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs (ATC, LAC), pp. 24–38.

ISSTA-1996-MorascaMP #functional #generative #in the large #specification #testing

Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications (SM, AM, PSP), pp. 39–52.

ISSTA-1996-HughesS #algebra #named #object-oriented #source code #testing

Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects (MH, PDS), pp. 53–61.

ISSTA-1996-ChangRS #testing

Structural Specification-Based Testing with ADL (JC, DJR, SS), pp. 62–70.

ISSTA-1996-CrowleyLL #automation #formal method #testing #using

Issues in the Full Scale Use of Formal Methods for Automated Testing (JLC, JFL, KAL), pp. 71–78.

ISSTA-1996-Heimdahl #analysis #case study #experience #lessons learnt

Experiences and Lessons from the Analysis of TCAS II (MPEH), pp. 79–83.

ISSTA-1996-Hamlet #dependence #predict #testing

Predicting Dependability by Testing (RGH), pp. 84–91.

ISSTA-1996-MorellM #analysis #testing #using

Using Perturbation Analysis to Measure Variation in the Information Content of Test Sets (LJM, BWM), pp. 92–97.

ISSTA-1996-HowdenS #analysis #linear #sequence

Linear and Structural Event Sequence Analysis (WEH, GMS), pp. 98–106.

ISSTA-1996-HarroldR #alias #reuse

Separate Computation of Alias Information for Reuse (MJH, GR), pp. 107–120.

ISSTA-1996-DeMilloPS #fault #locality #slicing

Critical Slicing for Software Fault Localization (RAD, HP, EHS), pp. 121–134.

ISSTA-1996-MarxF #approach #data flow #pointer #testing

The Path-Wise Approach to Data Flow Testing with Pointer Variables (DISM, PGF), pp. 135–146.

ISSTA-1996-MarreB

Unconstrained Duals and Their Use in Achieving All-Uses Coverage (MM, AB), pp. 147–157.

ISSTA-1996-DaranT #analysis #case study #fault

Software Error Analysis: A Real Case Study Involving Real Faults and Mutations (MD, PTF), pp. 158–171.

ISSTA-1996-PezzeY #analysis #generative #multi #tool support

Generation of Multi-Formalism State-Space Analysis Tools (MP, MY), pp. 172–179.

ISSTA-1996-SloaneH #slicing

Beyond Traditional Program Slicing (AMS, JH), pp. 180–186.

ISSTA-1996-CallahanM #approach #multi #protocol #reliability #validation #verification

An Approach to Verification and Validation of a Reliable Multicasting Protocol (JRC, TLM), pp. 187–194.

ISSTA-1996-OffuttH #fault #semantics

A Semantic Model of Program Faults (AJO, JHH), pp. 195–200.

ISSTA-1996-YangP #testing #towards

Towards a Structural Load Testing Tool (CSDY, LLP), pp. 201–208.

ISSTA-1996-Korel #automation #generative #source code #testing

Automated Test Data Generation for Programs with Procedures (BK), pp. 209–215.

ISSTA-1996-PomakisA #analysis #feature model #interactive #reachability

Reachability Analysis of Feature Interactions: A Progress Report (KPP, JMA), pp. 216–223.

ISSTA-1996-BultanFG #composition #model checking #verification

Compositional Verification by Model Checking for Counter-Examples (TB, JF, RG), pp. 224–238.

ISSTA-1996-JacksonD #design #detection

Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector (DJ, CD), pp. 239–249.

ISSTA-1996-Corbett #concurrent #modelling #realtime

Constructing Abstract Models of Concurrent Real-Time Software (JCC), pp. 250–260.

ISSTA-1996-GodefroidPS #concurrent #industrial #partial order #source code #using #validation

Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs (PG, DP, MGS), pp. 261–269.

ISSTA-1996-BarjaktarovicCJ #functional #kernel #protocol #specification #using #verification

Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS (MB, SKC, KJ), pp. 270–279.

ISSTA-1996-AtleeB #requirements #semantics

A Logic-Model Semantics for SCR Software Requirements (JMA, MAB), pp. 280–292.