We present a prototypical implementation of a partial evaluator for Java programs based on the verification system KeY. We argue that using a program�...
In this work, we presented PE-KeY, a partial evaluator for Java programs based on KeY. It works in two phases. In the first phase, symbolic execution inter�...
We present a prototypical implementation of a partial evaluator for Java programs based on the verification system KeY. We argue that using a program�...
PE-KeY: A Partial Evaluator for Java Programs � List of references � Publications that cite this publication.
We present a prototypical implementation of a partial evaluator for Java programs based on the verification system KeY. We argue that using a program�...
It performs white-box test generation by means of two consecutive Partial Evaluations,. (PE). The first PE decompiles the Java bytecode program into an.
PE-KeY: a partial evaluator for java programs. R Ji, R Bubel. Integrated Formal Methods, 283-295, 2012. 15, 2012. Program transformation based on symbolic�...
Jan 19, 2010 � Abstract. PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs.
Our partial evaluation scheme is based on an automatic unfolding algorithm that computes term variants and relies on high-performance order-sorted equational�...
Missing: Java | Show results with:Java
PE-KeY: a partial evaluator for java programs. R Ji, R Bubel. Integrated Formal Methods, 283-295, 2012. 15, 2012. Program transformation based on symbolic�...