CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools.

Koushik Sen, Gul Agha

Browse the full CAV paper archive.