The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications

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]

Authors

Marko Dimjasevic

This author has not been identified. Look up 'Marko Dimjasevic' in Google

Dimitra Giannakopoulou

This author has not been identified. Look up 'Dimitra Giannakopoulou' in Google

Falk Howar

This author has not been identified. Look up 'Falk Howar' in Google

Malte Isberner

This author has not been identified. It may be one of the following persons: Look up 'Malte Isberner' in Google

Zvonimir Rakamaric

This author has not been identified. Look up 'Zvonimir Rakamaric' in Google

Vishwanath Raman

This author has not been identified. Look up 'Vishwanath Raman' in Google