Concolic Unbounded-Thread Reachability via Loop Summaries

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47846-3_22 ◽

2016 ◽

pp. 346-362 ◽

Cited By ~ 1

Author(s):

Peizun Liu ◽

Thomas Wahl

Download Full-text