Combining Tests and Proofs

Authors:
Madhu Gopinathan;Aditya Nori;Sriram Rajamani
Affiliations:
Indian Institute of Science,;Microsoft Research India,;Microsoft Research India,
Venue:
VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
Year:
2008

Citing 4
Cited 0

CCured: type-safe retrofitting of legacy code

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SYNERGY: a new algorithm for property checking

Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Proofs from tests

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Enforcing object protocols by combining static and runtime analysis

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Proof methods (or static analysis) and test methods (or dynamic analysis) have complementary strengths. While static analysis has the potential to obtain high coverage, it typically suffers from imprecision (and imprecision is needed to scale the analysis to large programs). While dynamic analysis has the potential to be very precise, it typically suffers from poor coverage.