Výsledky vyhledávání - "Software/Program Verification—Class invariants General Terms"

  • Zobrazuji výsledky 1 - 3 z 3
Upřesnit hledání
  1. 1

    DySy: Dynamic symbolic execution for invariant inference

    Autoři: Christoph Csallner Nikolai Tillmann Yannis Smaragdakis a další

    Přispěvatelé: Christoph Csallner Nikolai Tillmann Yannis Smaragdakis a další

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

    Témata: 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

    Popis souboru: application/pdf

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

    Dostupnost: 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
    Přidat do oblíbených
  2. 2

    DySy: Dynamic symbolic execution for invariant inference

    Autoři: Christoph Csallner Nikolai Tillmann The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Christoph Csallner Nikolai Tillmann The Pennsylvania State University CiteSeerX Archives

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

    Témata: 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

    Popis souboru: application/pdf

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

    Dostupnost: 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
    Přidat do oblíbených
  3. 3

    DySy: Dynamic symbolic execution for invariant inference

    Autoři: Christoph Csallner The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Christoph Csallner The Pennsylvania State University CiteSeerX Archives

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

    Témata: 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

    Popis souboru: application/pdf

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

    Dostupnost: 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
    Přidat do oblíbených

Vyhledávací nástroje: