Suchergebnisse - Testing and Debugging—Symbolic execution General Terms Verification
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution General Terms Verification, Algorithms Keywords Symbolic Execution, Incremental Analysis, Trie Data Structure, Constraint Solving
Dateibeschreibung: application/pdf
-
2
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
-
3
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 Verification Keywords JavaScript, Dynamic Analysis, Concolic Testing
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.9073; http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf
-
4
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
-
5
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging – Symbolic execution, Testing tools General Terms Verification. Keywords Software testing, GUI testing, Symbolic execution
Dateibeschreibung: application/pdf
-
6
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
-
7
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Testing and Debugging—Symbolic Execution General Terms, Algorithms, Verification Keywords, Testing Object-oriented Programs, Model Checking, Symbolic Execution, Coverage, Red-Black Trees
Dateibeschreibung: application/pdf
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Testing and Debugging—Symbolic Execution General Terms, Algorithms, Verification Keywords, Testing Object-oriented Programs, Model Checking, Symbolic Execution, Coverage, Red-Black Trees
Dateibeschreibung: application/pdf
-
9
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
-
10
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
-
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.4 [Software Engineering, Software/Program Verification—Class invariants General Terms
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.5332; http://ranger.uta.edu/~csallner/papers/csallner08dysy.pdf
-
12
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Symbolic execution, D.2.4 [Software Engineering, Software/Program Verification—Class invariants General Terms
Dateibeschreibung: application/pdf
-
13
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Languages, Verification Keywords symbolic trace interpretation, validation scope, enforcement windows, static a
Dateibeschreibung: application/pdf
-
14
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
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://www.cs.umd.edu/~khooyp/Khoo_Yit_Phang_files/Mixing Type Checking and Symbolic Execution (PLDI 2010).pdf.
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Languages, Verification Keywords Mix, mixed off-the-shelf analysis, symbolic execution, type checking
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.381.8384; http://www.cs.umd.edu/~khooyp/Khoo_Yit_Phang_files/Mixing Type Checking and Symbolic Execution (PLDI 2010).pdf
Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.381.8384
http://www.cs.umd.edu/~khooyp/Khoo_Yit_Phang_files/Mixing Type Checking and Symbolic Execution (PLDI 2010).pdf -
16
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
-
17
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.4 [Software Engineering, Soft- ware/Program Verification—Class invariants General Terms
Dateibeschreibung: application/pdf
-
18
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.4 [Software Engineering, Soft- ware/Program Verification—Class invariants General Terms
Dateibeschreibung: application/pdf
-
19
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
-
20
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—symbolic execution, D.3.3 [Programming Languages, Language Constructs and Features—data types and structures, dynamic storage management, E.1 [Data, Data Structures—graphs, lists, trees, E.2 [Data, Data Storage Representations—composite structures, linked representations, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—assertions, invariants General Terms, Algorithms, Languages, Theory, Verification Additional Key Words and Phrases, Abstract Interpretation, Verification, Concurrency, Shapeanalysis, Safety Properties, Java
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.353.6913; http://www.cs.technion.ac.il/~yahave/papers/toplas10.pdf
Nájsť tento článok vo Web of Science