Search Results - Testing and Debugging— Symbolic execution General Terms Reliability
-
1
Authors: et al.
Contributors: et al.
Source: http://dslab.epfl.ch/pubs/cloud9.pdf.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software En- gineering, Testing and Debugging—Symbolic Execution General Terms Reliability, Verification
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.487.4417; http://dslab.epfl.ch/pubs/cloud9.pdf
-
2
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.6337; http://www.visserhome.com/willem/papers/tomb07variably.pdf
-
3
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/postscript
-
4
Authors: et al.
Contributors: et al.
Subject Terms: General Terms Reliability, Verification Keywords Testing, unit testing, parameterized unit testing, theories, symbolic execution, mock objects, Pex
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
Subject Terms: D.2.5 [Software Engineering, Testing and Debugging—Testing tools, Symbolic execution General Terms Experimentation, Performance, Reliability Keywords Path Exploration, Relevant Slice Condition, Symbolic Execution
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.4635; http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse11.pdf
-
6
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, D.2.5 [Software Engineering, Testing and Debugging— Error handling and recovery General Terms Reliability Keywords Data structure, Assertions, Systematic search, Symbolic execution, Error recovery
File Description: application/pdf
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, D.2.5 [Software Engineering, Testing and Debugging— Error handling and recovery General Terms Reliability, Verification Keywords Data structure repair, Assertion-driven development, Symbolic execution, Systematic search, Error recovery
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Symbolic execution, D.3.4 [Programming Languages, Processors—Debuggers General Terms, Experimentation, Reliability Additional Key Words and Phrases, Software Testing, Software Evolution
File Description: application/pdf
-
9
Authors: et al.
Contributors: et al.
Source: http://srl.cs.berkeley.edu/~ksen/papers/symbolic-impact.pdf.
Subject Terms: D.2.5 [Testing and Debugging, Symbolic execution General Terms Reliability Keywords Generalized symbolic execution, dynamic test generation
File Description: application/pdf
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.8967
http://srl.cs.berkeley.edu/~ksen/papers/symbolic-impact.pdf -
10
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: symbolic execution, dynamic analysis
File Description: application/pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools, Symbolic execution General Terms Reliability, Languages Keywords Bug finding, test case generation, constraint solving, symbolic execution
File Description: application/pdf
-
12
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Reliability, D.2.5 [Testing and Debugging, Symbolic execution General Terms Reliability, Verification Keywords Patch testing, longitudinal program analysis
File Description: application/pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: D.2.5 [Testing and Debugging, Symbolic execution General Terms Reliability Keywords Generalized symbolic execution, dynamic test generation
File Description: application/pdf
-
14
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Reliability, D.2.5 [Testing and Debugging, Symbolic execution General Terms Reliability, Verification Keywords Patch Testing, Symbolic Execution
File Description: application/pdf
-
15
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools, Symbolic execution General Terms Reliability, Languages Keywords Bug finding, test case generation, constraint solving, symbolic execution
File Description: application/pdf
-
16
Authors: et al.
Contributors: et al.
Subject Terms: D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, testing tools General Terms Algorithms, Design, Reliability, Verification Keywords dynamic symbolic execution
File Description: application/pdf
-
17
Authors:
Contributors:
Source: http://dslab.epfl.ch/pubs/esd.pdf.
Subject Terms: Categories and Subject Descriptors D.2.2.5 [Software En- gineering, Testing and Debugging—Debugging aids General Terms Reliability Keywords automated debugging, symbolic execution
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.7581; http://dslab.epfl.ch/pubs/esd.pdf
-
18
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
19
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
20
Authors: et al.
Contributors: et al.
Subject Terms: D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, testing tools General Terms Algorithms, Design, Reliability, Verification Keywords dynamic symbolic execution
File Description: 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
Nájsť tento článok vo Web of Science