Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman. The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. ACM SIGSOFT Software Engineering Notes, 40(1):1-5, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.