Concurrent Test Generation Using Concolic Multi-trace Analysis.

Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta

Browse the full APLAS paper archive.