Search Results - Testing and Debugging— Symbolic execution General Terms Reliability*
-
1
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
-
2
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
-
3
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
-
4
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
-
5
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
-
6
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
-
7
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
-
8
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
-
9
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
-
10
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
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— symbolic execution, testing tools General Terms Algorithms, Reliability Keywords Concolic testing
File Description: 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
-
12
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
-
13
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
-
14
Authors: et al.
Source: Journal of Visualization; Aug2025, Vol. 28 Issue 4, p877-894, 18p
-
15
Authors:
Contributors:
Subject Terms: General Terms, Algorithms, Reliability, Verification
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.174; http://www.cc.gatech.edu/%7Eraul/santelicesISSTA10.pdf
-
16
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 -
17
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: symbolic execution, dynamic analysis
File Description: application/pdf
-
18
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
-
19
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
-
20
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
Nájsť tento článok vo Web of Science 
Full Text Finder