Hypertesting of Programs: Theoretical Foundation and Automated Test Generation.

Michele Pasqua, Mariano Ceccato, Paolo Tonella

Browse the full ICSE paper archive.