Search Results - "Testing and Debugging—Symbolic execution"
-
1
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 Verification Keywords JavaScript, Dynamic Analysis, Concolic Testing
File Description: 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
-
2
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Assertion checkers, model checking, D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, testing tools, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement—Restructuring, reverse engineering, and reengineering, D.3.2 [Programming Languages, Language Classifications—Applicative (functional) languages, macro and assembly languages, F.3.2 [Logics and Meanings of Programs, Semantics of Program
File Description: application/pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Symbolic execution, Testing tools Keywords GUI testing, testing event-driven programs, Android
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, D.2.5 [Software Engineering, Testing and Debugging – Symbolic Execution, Testing Tools, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs Keywords Testing, Symbolic Execution, Verification, Bounded Software Model Checking, State Merging
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.823; http://infoscience.epfl.ch/record/176487/files/stateMerging_pldi12.pdf
-
5
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
6
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
-
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: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.5332; http://ranger.uta.edu/~csallner/papers/csallner08dysy.pdf
-
9
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
-
10
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
-
11
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
12
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
-
13
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Assertion checkers, Reliability, Statistical methods, D.2.5 [Software Engineering, Testing and Debugging— Symbolic Execution
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.3943; http://www.cs.virginia.edu/~zhou/please/xie03archer.pdf
-
15
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification---Assertion checkers, Reliability, Statistical methods, D.2.5 [Software Engineering, Testing and Debugging--- Symbolic Execution
File Description: application/postscript
-
16
Authors: et al.
Contributors: et al.
Subject Terms: 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, D.3.4 [Programming Languages, Processors---optimization, E.1 [Data, Data Structures---graphs, lists, trees, E.2 [Data, Data Storage
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.2415; http://www.math.tau.ac.il/~sagiv/toplas97.ps
-
17
Authors:
Contributors:
Subject Terms: 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
File Description: 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
-
18
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
-
19
Authors: et al.
Contributors: et al.
Source: http://www.cs.umd.edu/~khooyp/Khoo_Yit_Phang_files/Mixing Type Checking and Symbolic Execution (PLDI 2010).pdf.
Subject Terms: 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
File Description: 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
Availability: 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 -
20
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
Nájsť tento článok vo Web of Science