Combining symbolic execution and model checking to reduce dynamic program analysis overhead - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2004

Combining symbolic execution and model checking to reduce dynamic program analysis overhead

Abstract

By using symbolic execution techniques in the framework of the Java PathFinder model checker, we show that some Java program statements are unable to change the current state of certain offline observer, and so it is useless to instrument them. The observer is given as a finite-state automaton and we considered safety properties.
Fichier principal
Vignette du fichier
RR-5263.pdf (349.35 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00070735 , version 1 (19-05-2006)

Identifiers

  • HAL Id : inria-00070735 , version 1

Cite

Néstor Cataño. Combining symbolic execution and model checking to reduce dynamic program analysis overhead. RR-5263, INRIA. 2004, pp.31. ⟨inria-00070735⟩
72 View
138 Download

Share

Gmail Facebook Twitter LinkedIn More