Proceedings of the Third Symposium on Testing, Analysis, and Verification
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

TEST
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.