Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance. - Marko Dimjasevic; Dimitra Giannakopoulou (ISSTA, 2015)

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 (ACM SIGSOFT Softw. Eng. Notes, 2015)

Evaluation of Android Malware Detection Based on System Calls. - Marko Dimjasevic; Simone Atzeni; Ivo Ugrina; Zvonimir Rakamaric (IWSPA@CODASPY, 2016)

JDart: A Dynamic Symbolic Analysis Framework. - Kasper Søe Luckow; Marko Dimjasevic; Dimitra Giannakopoulou; Falk Howar; Malte Isberner; Temesghen Kahsai; Zvonimir Rakamaric; Vishwanath Raman (TACAS, 2016)

Study of Integrating Random and Symbolic Testing for Object-Oriented Software. - Marko Dimjasevic; Falk Howar; Kasper Søe Luckow; Zvonimir Rakamaric (IFM, 2018)

Enhancing Automatic Software Testing for Broader Applicability. - Marko Dimjasevic (2018)