Search Results - CHIPOUNOV, Vitaly

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    The S2E Platform: Design, Implementation, and Applications

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

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved 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 by Zhang, Bin, Feng, Chao, Herrera, Adrian, Chipounov, Vitaly, Candea, George, Tang, Chaojing

    Published in IET software
    Request full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    The S2E Platform: Design, Implementation, and Applications: SPECIAL ISSUE APLOS 2011

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

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Cloud9: a software testing service

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

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Cloud9: A Software Testing Service

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

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Enabling sophisticated analyses of ×86 binaries with RevGen

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

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    S2E: a platform for in-vivo multi-path analysis of software systems

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

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

    S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems by CHIPOUNOV, Vitaly, KUZNETSOV, Volodymyr, CANDEA, George

    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: