Integrating the testing, analysis and debugging of programs

Authors:
Leon Osterweil
Affiliations:
Univ. of Colorado, Boulder
Venue:
Proc. of a symposium on Software validation: inspection-testing-verification-alternatives
Year:
1984

Combining Static Concurrency Analysis with Symbolic Execution

IEEE Transactions on Software Engineering
Rethinking the taxonomy of fault detection techniques

ICSE '89 Proceedings of the 11th international conference on Software engineering
Strategic directions in software quality

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Concolic testing

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering

Hi-index	0.00