PET: a partial evaluation-based test case generation tool for Java bytecode.

Elvira Albert Miguel Gómez-Zamalloa Germán Puebla

Published in: PEPM (2010)

Keyphrases

partial evaluation
test case generation
explanation based generalization
test cases
test data generation
software testing
object oriented systems
artificial intelligence
case study
domain knowledge
higher order
programming language
virtual machine
java virtual machine
java bytecode