Výsledky vyhledávání - "Testing and Debugging—Symbolic Execution General Terms Reliability"

Parallel symbolic execution for automated real-world software testing

Autoři: Stefan Bucur Vlad Ureche Cristian Zamfir a další

Přispěvatelé: Stefan Bucur Vlad Ureche Cristian Zamfir a další

Zdroj: http://dslab.epfl.ch/pubs/cloud9.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software En- gineering, Testing and Debugging—Symbolic Execution General Terms Reliability, Verification

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.487.4417; http://dslab.epfl.ch/pubs/cloud9.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.487.4417
http://dslab.epfl.ch/pubs/cloud9.pdf

Variably interprocedural program analysis for runtime error detection

Autoři: Aaron Tomb Willem Visser The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Aaron Tomb Willem Visser The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.visserhome.com/willem/papers/tomb07variably.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Symbolic execution General Terms Reliability, Verification Keywords Test generation, symbolic execution, defect detection ∗ This author contributed while at RIACS/NASA Ames

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.6337; http://www.visserhome.com/willem/papers/tomb07variably.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.6337
http://www.visserhome.com/willem/papers/tomb07variably.pdf

Variably interprocedural program analysis for runtime error detection

Autoři: Aaron Tomb Willem Visser The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Aaron Tomb Willem Visser The Pennsylvania State University CiteSeerX Archives

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

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Symbolic execution General Terms Reliability, Verification Keywords Test generation, symbolic execution, defect detection ∗ This author contributed while at RIACS/NASA Ames

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.5985
http://pag.lcs.mit.edu/reading-group/tomb07variably.pdf

1 Variably Interprocedural Program Analysis for RuntimeError Detection

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

Zdroj: http://pag.lcs.mit.edu/reading-group/tomb07variably.ps.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging-- Symbolic execution General Terms Reliability, Verification Keywords Test generation, symbolic execution, defect detection

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.3286
http://pag.lcs.mit.edu/reading-group/tomb07variably.ps