Search Results - "Software/Program Verification—Class invariants General Terms"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    DySy: Dynamic symbolic execution for invariant inference

    Authors: Christoph Csallner Nikolai Tillmann Yannis Smaragdakis et al.

    Contributors: Christoph Csallner Nikolai Tillmann Yannis Smaragdakis et al.

    Source: http://ranger.uta.edu/~csallner/papers/csallner08dysy.pdf.

    Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Symbolic execution, D.2.4 [Software Engineering, Software/Program Verification—Class invariants General Terms

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.5332; http://ranger.uta.edu/~csallner/papers/csallner08dysy.pdf

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.5332
    http://ranger.uta.edu/~csallner/papers/csallner08dysy.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    DySy: Dynamic symbolic execution for invariant inference

    Authors: Christoph Csallner Nikolai Tillmann The Pennsylvania State University CiteSeerX Archives

    Contributors: Christoph Csallner Nikolai Tillmann The Pennsylvania State University CiteSeerX Archives

    Source: http://pag.lcs.mit.edu/reading-group/csallner07invariants.pdf.

    Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Symbolic execution, D.2.4 [Software Engineering, Software/Program Verification—Class invariants General Terms

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.4293

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.4293
    http://pag.lcs.mit.edu/reading-group/csallner07invariants.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    DySy: Dynamic symbolic execution for invariant inference

    Authors: Christoph Csallner The Pennsylvania State University CiteSeerX Archives

    Contributors: Christoph Csallner The Pennsylvania State University CiteSeerX Archives

    Source: http://www.cs.uoregon.edu/~yannis/dysy-icse08.pdf.

    Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Symbolic execution, D.2.4 [Software Engineering, Software/Program Verification—Class invariants General Terms

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.338

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.338
    http://www.cs.uoregon.edu/~yannis/dysy-icse08.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List

Search Tools: