Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

TACAS
2007
Springer

favoriteEmaildiscussreport

141views Algorithms» more TACAS 2007»

JPF-SE: A Symbolic Execution Extension to Java PathFinder

13 years 11 months ago

JPF-SE: A Symbolic Execution Extension to Java PathFinder

Download www.cc.gatech.edu

We present JPF–SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java programs. JPF–SE uses JPF to generate and explore symbolic execution paths and it uses oﬀ-the-shelf decision procedures to manipulate numeric constraints.

Saswat Anand, Corina S. Pasareanu, Willem Visser

Real-time Traffic

Algorithms | Jpf–se Uses Jpf | Symbolic Execution | Symbolic Execution Paths | TACAS 2007 |

claim paper

Related Content

» Test input generation with java PathFinder

» Model Checking Real Time Java Using Java PathFinder

» ContextSensitive Relevancy Analysis for Efficient Symbolic Execution

» Creating and Visualizing Test Data from Programming Exercises

» Test input generation for java containers using state matching

» Bytecode Rewriting in Tom

Post Info
More Details (n/a)

Added	09 Jun 2010
Updated	09 Jun 2010
Type	Conference
Year	2007
Where	TACAS
Authors	Saswat Anand, Corina S. Pasareanu, Willem Visser

Comments (0)