Concurrent Test Generation Using Concolic Multi-trace Analysis

Niloofar Razavi
Vineet Kahlon
Aarti Gupta
APLAS (2012), pp. 239-255

Abstract