DocumentCode
2766966
Title
Proceedings of the Second Workshop on Software Testing, Verification, and Analysis (Cat. No.88TH0225-3)
fYear
1988
fDate
19-21 July 1988
Abstract
The following topics are dealt with: tools and toolsets; theoretical models; testing, analysis, and verification of nonsequential software; testing, analysis, and verification of concurrent software; logic-based and constraint-based techniques for software analyses; mutation research; and path testing. Abstracts of individual papers can be found under the relevant classification codes in this or other issues
Keywords
parallel programming; program testing; program verification; programming theory; software engineering; software tools; analysis; concurrent software; constraint-based techniques; mutation research; nonsequential software; path testing; software analyses; testing; theoretical models; tools; toolsets; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing, Verification, and Analysis, 1988., Proceedings of the Second Workshop on
Conference_Location
Banff, AB, Canada
Print_ISBN
0-8186-0868-4
Type
conf
DOI
10.1109/WST.1988.5360
Filename
5360
Link To Document