Treffer 1 - 20 von 20 für Suche 'Chipounov, Vitaly', Suchdauer: 0,68s Treffer weiter einschränken
  1. 1
    The S2E Platform: Design, Implementation, and Applications

    The S2E Platform: Design, Implementation, and Applications von Chipounov, Vitaly, Kuznetsov, Volodymyr, Candea, George


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

    Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing von Zhang, Bin, Feng, Chao, Herrera, Adrian, Chipounov, Vitaly, Candea, George, Tang, Chaojing

    Veröffentlicht in IET software

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    S2E: a platform for in-vivo multi-path analysis of software systems

    S2E: a platform for in-vivo multi-path analysis of software systems von Chipounov, Vitaly, Kuznetsov, Volodymyr, Candea, George

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The S2E Platform: Design, Implementation, and Applications: SPECIAL ISSUE APLOS 2011

    The S2E Platform: Design, Implementation, and Applications: SPECIAL ISSUE APLOS 2011 von CHIPOUNOV, Vitaly, KUZNETSOV, Volodymyr, CANDEA, George


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    S2E: a platform for in-vivo multi-path analysis of software systems

    S2E: a platform for in-vivo multi-path analysis of software systems von Chipounov, Vitaly, Kuznetsov, Volodymyr, Candea, George

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Cloud9: a software testing service

    Cloud9: a software testing service von Ciortea, Liviu, Zamfir, Cristian, Bucur, Stefan, Chipounov, Vitaly, Candea, George

    Veröffentlicht in Operating systems review

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Cloud9: A Software Testing Service

    Cloud9: A Software Testing Service von CIORTEA, Liviu, ZAMFIR, Cristian, BUCUR, Stefan, CHIPOUNOV, Vitaly, CANDEA, George


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Enabling sophisticated analyses of ×86 binaries with RevGen

    Enabling sophisticated analyses of ×86 binaries with RevGen von Chipounov, V., Candea, G.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    S2E: a platform for in-vivo multi-path analysis of software systems

    S2E: a platform for in-vivo multi-path analysis of software systems von Chipounov, Vitaly, Kuznetsov, Volodymyr, Candea, George

    Veröffentlicht in Computer architecture news

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    S²E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

    S²E: A Platform for In-Vivo Multi-Path Analysis of Software Systems von Chipounov, Vitaly

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:
  11. 11
    System and method for in-vivo multi-path analysis of binary software

    System and method for in-vivo multi-path analysis of binary software von CANDEA GEORGE, KUZNETSOV VOLODYMYR, CHIPOUNOV VITALY

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  12. 12
    SYSTEM AND METHOD FOR IN-VIVO MULTI-PATH ANALYSIS OF BINARY SOFTWARE

    SYSTEM AND METHOD FOR IN-VIVO MULTI-PATH ANALYSIS OF BINARY SOFTWARE von CANDEA GEORGE, KUZNETSOV VOLODYMYR, CHIPOUNOV VITALY

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Dynamically Translating x86 to LLVM using QEMU

    Dynamically Translating x86 to LLVM using QEMU von Chipounov, Vitaly, Candea, George

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Enabling Sophisticated Analysis of x86 Binaries with RevGen

    Enabling Sophisticated Analysis of x86 Binaries with RevGen von Chipounov, Vitaly, Candea, George

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Reverse Engineering of Binary Device Drivers with RevNIC

    Reverse Engineering of Binary Device Drivers with RevNIC von Chipounov, Vitaly, Candea, George

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Reverse-Engineering Drivers for Safety and Portability

    Reverse-Engineering Drivers for Safety and Portability von Chipounov, Vitaly, Candea, George

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Testing Closed-Source Binary Device Drivers with DDT

    Testing Closed-Source Binary Device Drivers with DDT von Kuznetsov, Volodymyr, Chipounov, Vitaly, Candea, George

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:
  18. 18
    S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

    S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems von Chipounov, Vitaly, Kuznetsov, Volodymyr, Candea, George

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Lightweight Snapshots and System-level Backtracking

    Lightweight Snapshots and System-level Backtracking von Bugnion, Edouard, Chipounov, Vitaly, Candea, George

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Selective Symbolic Execution

    Selective Symbolic Execution von Chipounov, Vitaly, Georgescu, Vlad, Zamfir, Cristian, Candea, George

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: