Treffer 1 - 4 von 4 für Suche 'Dimjašević, Marko', Suchdauer: 0,26s Treffer weiter einschränken
  1. 1
    JDart: A Dynamic Symbolic Analysis Framework

    JDart: A Dynamic Symbolic Analysis Framework von Luckow, Kasper, Dimjašević, Marko, Giannakopoulou, Dimitra, Howar, Falk, Isberner, Malte, Kahsai, Temesghen, Rakamarić, Zvonimir, Raman, Vishwanath


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Study of Integrating Random and Symbolic Testing for Object-Oriented Software

    Study of Integrating Random and Symbolic Testing for Object-Oriented Software von Dimjašević, Marko, Howar, Falk, Luckow, Kasper, Rakamarić, Zvonimir


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications

    The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications von Dimjašević, Marko, Giannakopoulou, Dimitra, Howar, Falk, Isberner, Malte, Rakamarić, Zvonimir, Raman, Vishwanath

    Veröffentlicht in Software engineering notes

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Evaluation Of Android Malware Detection Based On System Calls - Dataset

    Evaluation Of Android Malware Detection Based On System Calls - Dataset von Dimjašević, Marko, Atzeni, Simone, Ugrina, Ivo, Rakamarić, Zvonimir

    Volltext bestellen
    Dataset

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: