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

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

Memoized Symbolic Execution

Autoři: Guowei Yang Corina S. Păsăreanu Sarfraz Khurshid a další

Přispěvatelé: Guowei Yang Corina S. Păsăreanu Sarfraz Khurshid a další

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

Témata: 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 souboru: application/pdf

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

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

ABSTRACT Test Input Generation with Java PathFinder

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

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

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

Témata: 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 souboru: application/pdf

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

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

Test Input Generation with Java PathFinder

Autoři: Willem Visser Corina S. Pasareanu Sarfraz Khurshid a další

Přispěvatelé: Willem Visser Corina S. Pasareanu Sarfraz Khurshid a další

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

Témata: 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 souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.4263
http://ase.arc.nasa.gov/people/visser/issta-visser.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

Database state generation via dynamic symbolic execution for coverage criteria

Autoři: Kai Pan Xintao Wu Tao Xie a další

Přispěvatelé: Kai Pan Xintao Wu Tao Xie a další

Zdroj: http://www.cs.washington.edu/homes/taoxie/publications/dbtest11-cov.pdf.

Témata: D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, testing tools General Terms Algorithms, Design, Reliability, Verification Keywords dynamic symbolic execution

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.2290
http://www.cs.washington.edu/homes/taoxie/publications/dbtest11-cov.pdf

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

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

Jalangi: A selective record-replay and dynamic analysis framework for JavaScript

Autoři: Koushik Sen Swaroop Kalasapur Tasneem Brutch a další

Přispěvatelé: Koushik Sen Swaroop Kalasapur Tasneem Brutch a další

Zdroj: http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— symbolic execution, testing tools General Terms Verification Keywords JavaScript, Dynamic Analysis, Concolic Testing

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.9073; http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.9073
http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf

www.cs.colorado.edu 2Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say

Autoři: Devin Coughlin Bor-yuh Evan Chang Amer Diwan a další

Přispěvatelé: Devin Coughlin Bor-yuh Evan Chang Amer Diwan a další

Zdroj: http://www.cs.colorado.edu/~bec/papers/CU-CS-1093-12-enforcements.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Languages, Verification Keywords symbolic trace interpretation, validation scope, enforcement windows, static a

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.5394
http://www.cs.colorado.edu/~bec/papers/CU-CS-1093-12-enforcements.pdf

Using Groupings of Static Analysis Alerts to Identify Files Likely to Contain Field Failures

Autoři: Mark S. Sherriff Sarah Smith The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Mark S. Sherriff Sarah Smith The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.virginia.edu/papers/FSE07-Sherriff.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging – Symbolic execution, Testing tools General Terms Management, Measurement, Reliability, Experimentation Keywords Static Analysis, Singular Value Decomposition, Field Failures

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.7294
http://www.cs.virginia.edu/papers/FSE07-Sherriff.pdf

Symbolic Execution for GUI Testing

Autoři: Svetoslav Ganov The Pennsylvania State University CiteSeerX Archives

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

Zdroj: http://www.ece.utexas.edu/~perry/work/papers/070131-SG-gui.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging – Symbolic execution, Testing tools General Terms Verification. Keywords Software testing, GUI testing, Symbolic execution

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.28
http://www.ece.utexas.edu/~perry/work/papers/070131-SG-gui.pdf

Teaching and training developer-testing techniques and tool support

Autoři: Tao Xie Jonathan Halleux Nikolai Tillmann a další

Přispěvatelé: Tao Xie Jonathan Halleux Nikolai Tillmann a další

Zdroj: http://www.cs.washington.edu/homes/taoxie/publications/splash10-edu-devtesting.pdf.

Témata: General Terms Reliability, Verification Keywords Testing, unit testing, parameterized unit testing, theories, symbolic execution, mock objects, Pex

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.175.7639
http://www.cs.washington.edu/homes/taoxie/publications/splash10-edu-devtesting.pdf

Test Generation for Graphical User Interfaces Based on Symbolic Execution

Autoři: Svetoslav Ganov Chip Killmar Sarfraz Khurshid a další

Přispěvatelé: Svetoslav Ganov Chip Killmar Sarfraz Khurshid a další

Zdroj: http://www.people.vcu.edu/~bmurrill/courses/csc625/ganov08.pdf.

Témata: D.2.5 [Software Engineering, Testing and debugging – Symbolic Execution, Testing Strategies, Testing Tools General Terms Verification, Reliability Keywords GUI testing, symbolic execution, test input generation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.6480; http://www.people.vcu.edu/~bmurrill/courses/csc625/ganov08.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.6480
http://www.people.vcu.edu/~bmurrill/courses/csc625/ganov08.pdf

Database State Generation via Dynamic Symbolic Execution for Coverage Criteria

Autoři: Kai Pan Xintao Wu Tao Xie a další

Přispěvatelé: Kai Pan Xintao Wu Tao Xie a další

Zdroj: http://www.cs.uncc.edu/%7Exwu/publ/dbtest11.pdf.

Témata: D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, testing tools General Terms Algorithms, Design, Reliability, Verification Keywords dynamic symbolic execution

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.4455; http://www.cs.uncc.edu/%7Exwu/publ/dbtest11.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.4455
http://www.cs.uncc.edu/%7Exwu/publ/dbtest11.pdf

Mixing Type Checking and Symbolic Execution

Autoři: Khoo Yit Phang Bor-yuh Evan Chang Jeffrey S. Foster a další

Přispěvatelé: Khoo Yit Phang Bor-yuh Evan Chang Jeffrey S. Foster a další

Zdroj: http://www.cs.umd.edu/~khooyp/Khoo_Yit_Phang_files/Mixing Type Checking and Symbolic Execution (PLDI 2010).pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Languages, Verification Keywords Mix, mixed off-the-shelf analysis, symbolic execution, type checking

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.381.8384; http://www.cs.umd.edu/~khooyp/Khoo_Yit_Phang_files/Mixing Type Checking and Symbolic Execution (PLDI 2010).pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.381.8384
http://www.cs.umd.edu/~khooyp/Khoo_Yit_Phang_files/Mixing Type Checking and Symbolic Execution (PLDI 2010).pdf

Boosting Concolic Testing via Interpolation

Autoři: Joxan Jaffar Vijayaraghavan Murali Jorge A. Navas a další

Přispěvatelé: Joxan Jaffar Vijayaraghavan Murali Jorge A. Navas a další

Zdroj: http://www.clip.dia.fi.upm.es/~jorge/docs/testingFSE13.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— symbolic execution, testing tools General Terms Algorithms, Reliability Keywords Concolic testing

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.4629; http://www.clip.dia.fi.upm.es/~jorge/docs/testingFSE13.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.4629
http://www.clip.dia.fi.upm.es/~jorge/docs/testingFSE13.pdf

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://laser.cs.umass.edu/courses/cs521-621/papers/p281-csallner.pdf.

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.560.2121
http://laser.cs.umass.edu/courses/cs521-621/papers/p281-csallner.pdf

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: https://research.microsoft.com/pubs/70511/tr-2007-151.pdf.

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.561.2302