Marko Dimjasevic

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 5

Top Topics

Malware Detection

Garbage Collection

Execution Environment

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Marko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric
Study of Integrating Random and Symbolic Testing for Object-Oriented Software. IFM (2018)
Marko Dimjasevic, Simone Atzeni, Ivo Ugrina, Zvonimir Rakamaric
Evaluation of Android Malware Detection Based on System Calls. IWSPA@CODASPY (2016)
Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman
JDart: A Dynamic Symbolic Analysis Framework. TACAS (2016)
Marko Dimjasevic, Dimitra Giannakopoulou
Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance. ISSTA (2015)
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 Softw. Eng. Notes 40 (1) (2015)