Marco: A Stochastic Asynchronous Concolic Explorer.

Jie Hu, Yue Duan, Heng Yin

Browse the full ICSE paper archive.