Výsledky vyhľadávania - "Testing AND Debugging—Symbolic Execution General Terms"

Parallel symbolic execution for automated real-world software testing

Autori: Stefan Bucur Vlad Ureche Cristian Zamfir a ďalší

Prispievatelia: Stefan Bucur Vlad Ureche Cristian Zamfir a ďalší

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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

Autori: Aaron Tomb Willem Visser The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Aaron Tomb Willem Visser The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/pdf

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

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

ABSTRACT Test Input Generation with Java PathFinder

Autori: Willem Visser The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Willem Visser The Pennsylvania State University CiteSeerX Archives

Zdroj: http://users.ece.utexas.edu/~khurshid/papers/JPF-issta04.pdf.

Predmety: Categories and Subject Descriptors, D.2.4 [Software Engineering, Testing and Debugging—Symbolic Execution General Terms, Algorithms, Verification Keywords, Testing Object-oriented Programs, Model Checking, Symbolic Execution, Coverage, Red-Black Trees

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.4628
http://users.ece.utexas.edu/~khurshid/papers/JPF-issta04.pdf

1 Variably Interprocedural Program Analysis for RuntimeError Detection

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/postscript

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

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

Test Input Generation with Java PathFinder

Autori: Willem Visser Corina S. Pasareanu Sarfraz Khurshid a ďalší

Prispievatelia: Willem Visser Corina S. Pasareanu Sarfraz Khurshid a ďalší

Zdroj: http://ase.arc.nasa.gov/people/visser/issta-visser.pdf.

Predmety: Categories and Subject Descriptors, D.2.4 [Software Engineering, Testing and Debugging—Symbolic Execution General Terms, Algorithms, Verification Keywords, Testing Object-oriented Programs, Model Checking, Symbolic Execution, Coverage, Red-Black Trees

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.4263
http://ase.arc.nasa.gov/people/visser/issta-visser.pdf

Memoized Symbolic Execution

Autori: Guowei Yang Corina S. Păsăreanu Sarfraz Khurshid a ďalší

Prispievatelia: Guowei Yang Corina S. Păsăreanu Sarfraz Khurshid a ďalší

Zdroj: https://hostdb.ece.utexas.edu/~gyang/publications/YangETAL12Memoise.pdf.

Predmety: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution General Terms Verification, Algorithms Keywords Symbolic Execution, Incremental Analysis, Trie Data Structure, Constraint Solving

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.4357

Directed Incremental Symbolic Execution.

Autori: GUOWEI YANG PERSON, SUZETTE RUNGTA, NEHA a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2014, Vol. 24 Issue 1, p1-42, 42p

Predmety: MATHEMATICAL logic, COMPUTER software research, SOURCE code, BOUNDARY value problems, APPLICATION software research