|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
160
|
Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler
– Yoshihiko Futamura
- 1999
|
|
12
|
A symbolic java virtual machine for test case generation
– R A Müller, C Lembeck, H Kuchen
- 2004
|
|
22
|
ATGen: automatic test data generation using constraint logic programming and symbolic execution. Software Testing Verification and Reliability 11(2
– C Meudec
- 2001
|
|
4
|
Test Data Generation of Bytecode by clp Partial Evaluation
– Elvira Albert, Germán Puebla
|
|
38
|
Offline specialisation in Prolog using a hand-written compiler generator
– Michael Leuschel, Jesper Jørgensen
- 2004
|
|
5
|
Specialising interpreters using offline partial deduction
– Michael Leuschel, Stephen J. Craig, Maurice Bruynooghe, Wim Vanhoof
- 2004
|
|
1739
|
Foundations of Logic Programming
– J W Lloyd
- 1984
|
|
34
|
A CLP Framework for Computing Structural Test Data
– Arnaud Gotlieb, Bernard Botella, Michel Rueher
- 2000
|
|
3
|
Towards a framework for constraintbased test case generation
– T Schrijvers, F Degrave, W Vanhoof
- 2009
|
|
359
|
Symbolic execution and program testing
– J C King
- 1976
|
|
4
|
PET: A Partial Evaluationbased Test Case Generation Tool for Java Bytecode
– Elvira Albert, Miguel Gómez-zamalloa, Germán Puebla
|
|
13
|
Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
– Elvira Albert, Germán Puebla, John Gallagher
- 2006
|
|
13
|
Using Regular Approximations for Generalisation During Partial Evaluation
– John P. Gallagher, et al.
- 2000
|
|
4
|
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
– Elvira Albert, John Gallagher, Germán Puebla
|
|
169
|
A Natural Semantics for Lazy Evaluation
– John Launchbury
- 1993
|
|
230
|
Partial evaluation in logic programming
– J W Lloyd, J C Shepherdson
- 1991
|
|
141
|
A System For Specialising Logic Programs
– J. P. Gallagher
- 1991
|
|
74
|
BoogiePL: A typed procedural language for checking object-oriented programs
– Robert Deline, K. Rustan, M. Leino
- 2005
|
