Automated Workarounds from Java Program Specifications Based on SAT Solving.

Marcelo Uva, Pablo Ponzio, Germn Regis, Nazareno Aguirre, Marcelo F. Frias

Browse the full FASE paper archive.