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

Title:
PET : a partial evaluation-based test case generation tool for Java bytecode
Source:
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation. :25-28
Database:
ACM Full-Text Collection