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

Elvira Albert, Miguel Gmez-Zamalloa, Germn Puebla

Browse the full PEPM paper archive.