![](/img/cover-not-exists.png)
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis
Teodorov, Ciprian, Le Roux, Luka, Drey, Zoé, Dhaussy, PhilippeYear:
2016
Language:
english
Journal:
Software Testing, Verification and Reliability
DOI:
10.1002/stvr.1611
File:
PDF, 2.30 MB
english, 2016