Suchergebnisse - Testing AND Debugging—Symbolic Execution General Terms Reliability*
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://dslab.epfl.ch/pubs/cloud9.pdf.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software En- gineering, Testing and Debugging—Symbolic Execution General Terms Reliability, Verification
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.487.4417; http://dslab.epfl.ch/pubs/cloud9.pdf
-
2
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives
Schlagwörter: 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
Dateibeschreibung: application/postscript
-
4
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, testing tools General Terms Algorithms, Design, Reliability, Verification Keywords dynamic symbolic execution
Dateibeschreibung: application/pdf
-
5
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
6
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: General Terms Reliability, Verification Keywords Testing, unit testing, parameterized unit testing, theories, symbolic execution, mock objects, Pex
Dateibeschreibung: application/pdf
-
7
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, testing tools General Terms Algorithms, Design, Reliability, Verification Keywords dynamic symbolic execution
Dateibeschreibung: 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
-
9
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— symbolic execution, testing tools General Terms Algorithms, Reliability Keywords Concolic testing
Dateibeschreibung: 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
-
10
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
11
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
12
Autoren:
Weitere Verfasser:
Schlagwörter: General Terms, Algorithms, Reliability, Verification
Dateibeschreibung: 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
Autoren: et al.
Quelle: ICSE: International Conference on Software Engineering; 2008, p33-40, 8p, 2 Color Photographs, 2 Diagrams, 9 Charts, 1 Graph
Schlagwörter: GRAPHICAL user interfaces, COMPUTER software, COMPUTER programming, COMPUTER software development, SOFTWARE engineering
-
14
Autoren:
Quelle: ICSE: International Conference on Software Engineering; 2008, p855-858, 4p, 3 Diagrams, 1 Graph
Schlagwörter: JAVA programming language, ELECTRONIC file management, PROGRAMMING languages, COMPUTER systems, COMPUTER software
-
15
Autoren:
Quelle: ACM Transactions on Software Engineering & Methodology; May2014, Vol. 23 Issue 3, p21:1-21:38, 38p
-
16
Autoren:
Quelle: ACM Transactions on Programming Languages & Systems; Apr2013, Vol. 35 Issue 1, p4:1-4:59, 59p
-
17
Autoren:
Quelle: 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
Autoren:
Quelle: ACM Transactions on Programming Languages & Systems; May2010, Vol. 32 Issue 5, p18-18.50, 50p, 13 Diagrams, 15 Charts
-
19
Autoren: Dmitry Vostokov
Resource Type: eBook.
Schlagworte: 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
Autoren: 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