Marko Dimjasevic

According to our database, Marko Dimjasevic authored at least 6 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Enhancing Automatic Software Testing for Broader Applicability.

Marko Dimjasevic

PhD thesis, 2018

Study of Integrating Random and Symbolic Testing for Object-Oriented Software.

Marko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Evaluation of Android Malware Detection Based on System Calls.

Marko Dimjasevic, Simone Atzeni, Ivo Ugrina, Zvonimir Rakamaric

Proceedings of the 2016 ACM on International Workshop on Security And Privacy Analytics, 2016

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

Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance.

Marko Dimjasevic, Dimitra Giannakopoulou

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015