@dblp

Abstraction-driven Concolic Testing.

, , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 328-347. Springer, (2016)

Links and resources

Tags