Treffer 1 - 3 von 3 für Suche 'Keremoglu, M. Erkan', Suchdauer: 0,28s Treffer weiter einschränken
  1. 1
    A Novel Test Coverage Metric for Concurrently-Accessed Software Components

    A Novel Test Coverage Metric for Concurrently-Accessed Software Components von Tasiran, Serdar, Elmas, Tayfun, Bolukbasi, Guven, Keremoglu, M. Erkan


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    CPAchecker: A Tool for Configurable Software Verification

    CPAchecker: A Tool for Configurable Software Verification von Beyer, Dirk, Keremoglu, M Erkan

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Conditional Model Checking

    Conditional Model Checking von Beyer, Dirk, Henzinger, Thomas A, Keremoglu, M Erkan, Wendler, Philipp

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: