Marco: A Stochastic and Asynchronous Concolic Explorer
Published in 46th International Conference on Software Engineering (ICSE), 2024
[GitHub]
Recommended citation: Jie Hu, Yue Duan, and Heng Yin. "Marco: A Stochastic and Asynchronous Concolic Explorer." ICSE 2024.
Download Paper