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:
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
-
6
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
-
7
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
-
8
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
-
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: 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
-
13
Authors: et al.
Source: ICSE: International Conference on Software Engineering; 2008, p33-40, 8p, 2 Color Photographs, 2 Diagrams, 9 Charts, 1 Graph
Subject Terms: GRAPHICAL user interfaces, COMPUTER software, COMPUTER programming, COMPUTER software development, SOFTWARE engineering
-
14
Authors:
Source: ICSE: International Conference on Software Engineering; 2008, p855-858, 4p, 3 Diagrams, 1 Graph
Subject Terms: JAVA programming language, ELECTRONIC file management, PROGRAMMING languages, COMPUTER systems, COMPUTER software
-
15
Authors:
Source: ACM Transactions on Software Engineering & Methodology; May2014, Vol. 23 Issue 3, p21:1-21:38, 38p
-
16
Authors:
Source: ACM Transactions on Programming Languages & Systems; Apr2013, Vol. 35 Issue 1, p4:1-4:59, 59p
Subject Terms: LANGUAGE & languages, SEMANTICS, ABSTRACTS, TRANSLATORS, TRANSLATING & interpreting, LITERARY interpretation
-
17
Authors:
Source: ACM Transactions on Programming Languages & Systems; Aug2010, Vol. 32 Issue 6, p23-23:84, 84p, 13 Black and White Photographs, 11 Diagrams, 8 Charts, 1 Graph
-
18
Authors:
Source: ACM Transactions on Programming Languages & Systems; May2010, Vol. 32 Issue 5, p18-18.50, 50p, 13 Diagrams, 15 Charts
-
19
Authors: Dmitry Vostokov
Resource Type: eBook.
Subjects: Debugging in computer science--Computer programs, Machine learning--Computer simulation, Python (Computer program language)
Categories: COMPUTERS / Languages / Python, COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Probability & Statistics / General, COMPUTERS / Distributed Systems / Cloud Computing
-
20
Authors: et al.
Resource Type: eBook.
Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Embedded Computer Systems
Nájsť tento článok vo Web of Science 
Full Text Finder