Marko Dimjasevic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2018
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | IFM | Study of Integrating Random and Symbolic Testing for Object-Oriented Software. | Marko Dimjasevic, Falk Howar, Kasper Se Luckow, Zvonimir Rakamaric |
| 2016 | TACAS | JDart: A Dynamic Symbolic Analysis Framework. | Kasper Se Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman |
| 2015 | ISSTA | Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance. | Marko Dimjasevic, Dimitra Giannakopoulou |