Výsledky vyhľadávania - "Specifying and Verifying and Reasoning about Programs Keywords Testing"

Efficient state merging in symbolic execution

Autori: Volodymyr Kuznetsov Johannes Kinder Stefan Bucur a ďalší

Prispievatelia: Volodymyr Kuznetsov Johannes Kinder Stefan Bucur a ďalší

Zdroj: http://infoscience.epfl.ch/record/176487/files/stateMerging_pldi12.pdf.

Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, D.2.5 [Software Engineering, Testing and Debugging – Symbolic Execution, Testing Tools, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs Keywords Testing, Symbolic Execution, Verification, Bounded Software Model Checking, State Merging

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.823; http://infoscience.epfl.ch/record/176487/files/stateMerging_pldi12.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.823
http://infoscience.epfl.ch/record/176487/files/stateMerging_pldi12.pdf