Výsledky vyhledávání - Testing and Debugging—Symbolic Execution General Terms Reliability*
-
1
Autoři: a další
Přispěvatelé: a další
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
-
2
Autoři:
Přispěvatelé:
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
-
3
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
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
-
4
Autoři: a další
Přispěvatelé: a další
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
-
5
Autoři:
Přispěvatelé:
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
-
6
Autoři: a další
Přispěvatelé: a další
Témata: General Terms Reliability, Verification Keywords Testing, unit testing, parameterized unit testing, theories, symbolic execution, mock objects, Pex
Popis souboru: application/pdf
-
7
Autoři: a další
Přispěvatelé: a další
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
-
8
Autoři: a další
Přispěvatelé: a další
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
-
9
Autoři: a další
Přispěvatelé: a další
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
-
10
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
11
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
12
Autoři:
Přispěvatelé:
Témata: General Terms, Algorithms, Reliability, Verification
Popis souboru: 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
Autoři: a další
Zdroj: ICSE: International Conference on Software Engineering; 2008, p33-40, 8p, 2 Color Photographs, 2 Diagrams, 9 Charts, 1 Graph
Témata: GRAPHICAL user interfaces, COMPUTER software, COMPUTER programming, COMPUTER software development, SOFTWARE engineering
-
14
Autoři:
Zdroj: ICSE: International Conference on Software Engineering; 2008, p855-858, 4p, 3 Diagrams, 1 Graph
Témata: JAVA programming language, ELECTRONIC file management, PROGRAMMING languages, COMPUTER systems, COMPUTER software
-
15
Autoři:
Zdroj: ACM Transactions on Software Engineering & Methodology; May2014, Vol. 23 Issue 3, p21:1-21:38, 38p
-
16
Autoři:
Zdroj: ACM Transactions on Programming Languages & Systems; Apr2013, Vol. 35 Issue 1, p4:1-4:59, 59p
-
17
Autoři:
Zdroj: 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
Autoři:
Zdroj: ACM Transactions on Programming Languages & Systems; May2010, Vol. 32 Issue 5, p18-18.50, 50p, 13 Diagrams, 15 Charts
-
19
Autoři: Dmitry Vostokov
Resource Type: eBook.
Témata: 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
Autoři: a další
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