PET: An Interactive Software Testing Tool

Authors:
Elsa L. Gunter;Robert P. Kurshan;Doron Peled
Affiliations:
-;-;-
Venue:
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Year:
2000

Citing 0
Cited 3

Abstracting C with abC

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Rewriting-Based Techniques for Runtime Verification

Automated Software Engineering
Detecting errors in multithreaded programs by generalized predictive analysis of executions

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract