Title :
Proceedings of the Second Workshop on Software Testing, Verification, and Analysis (Cat. No.88TH0225-3)
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;
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
DOI :
10.1109/WST.1988.5360
