Rody Kersten, Suzette Person, Neha Rungta, Oksana Tkachuk. Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops. ACM SIGSOFT Software Engineering Notes, 40(1):1-5, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.