Combining Static and Dynamic Reasoning for the Discovery of Program Properties

Authors:
Yannis Smaragdakis
Affiliations:
Department of Computer and Information Science, University of Oregon, Eugene, USA OR 97403-1202
Venue:
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Year:
2008

Citing 5
Cited 0

JCrasher: an automatic robustness tester for Java

Software—Practice & Experience
Check 'n' crash: combining static checking and testing

Proceedings of the 27th international conference on Software engineering
DSD-Crasher: a hybrid analysis tool for bug finding

Proceedings of the 2006 international symposium on Software testing and analysis
DSD-Crasher: A hybrid analysis tool for bug finding

ACM Transactions on Software Engineering and Methodology (TOSEM)
DySy: dynamic symbolic execution for invariant inference

Proceedings of the 30th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Combinations of static and dynamic analyses can be profitably employed in tasks such as program understanding, bug detection, behavior discovery, etc. In the past several years, we have explored a particular scheme for improving the quality of bug reports in a sequence of tools: JCrasher, Check 'n' Crash, and DSD-Crasher. We have additionally explored the combination of dynamic and symbolic execution for the purpose of inferring program invariants in the DySy tool. In this talk, we discuss such approaches, while distinguishing the conceptual benefits and drawbacks of each approach from the abilities and shortcomings of the current representative tools.