Výsledky vyhledávání - "Testing and Debugging— Symbolic execution"

Jalangi: A selective record-replay and dynamic analysis framework for JavaScript

Autoři: Koushik Sen Swaroop Kalasapur Tasneem Brutch a další

Přispěvatelé: Koushik Sen Swaroop Kalasapur Tasneem Brutch a další

Zdroj: http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf.

Témata: 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

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.9073
http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf

TSL: A system for generating abstract interpreters and its application to machine-code analysis

Autoři: Junghee Lim Thomas Reps The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Junghee Lim Thomas Reps The Pennsylvania State University CiteSeerX Archives

Zdroj: http://research.cs.wisc.edu/wpis/papers/toplas13-tsl-final.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.2828

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.2828
http://research.cs.wisc.edu/wpis/papers/toplas13-tsl-final.pdf

Automated concolic testing of smartphone apps

Autoři: Saswat Anand Mayur Naik Hongseok Yang a další

Přispěvatelé: Saswat Anand Mayur Naik Hongseok Yang a další

Zdroj: http://www-cs.stanford.edu/people/saswat/research/concolic-android.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Symbolic execution, Testing tools Keywords GUI testing, testing event-driven programs, Android

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.457.3644

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.457.3644
http://www-cs.stanford.edu/people/saswat/research/concolic-android.pdf

Efficient state merging in symbolic execution

Autoři: Volodymyr Kuznetsov Johannes Kinder Stefan Bucur a další

Přispěvatelé: Volodymyr Kuznetsov Johannes Kinder Stefan Bucur a další

Zdroj: http://infoscience.epfl.ch/record/176487/files/stateMerging_pldi12.pdf.

Témata: 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

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.823
http://infoscience.epfl.ch/record/176487/files/stateMerging_pldi12.pdf

www.cs.colorado.edu 2Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say

Autoři: Devin Coughlin Bor-yuh Evan Chang Amer Diwan a další

Přispěvatelé: Devin Coughlin Bor-yuh Evan Chang Amer Diwan a další

Zdroj: http://www.cs.colorado.edu/~bec/papers/CU-CS-1093-12-enforcements.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.5394

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.5394
http://www.cs.colorado.edu/~bec/papers/CU-CS-1093-12-enforcements.pdf

Parallel symbolic execution for automated real-world software testing

Autoři: Stefan Bucur Vlad Ureche Cristian Zamfir a další

Přispěvatelé: Stefan Bucur Vlad Ureche Cristian Zamfir a další

Zdroj: http://dslab.epfl.ch/pubs/cloud9.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.487.4417
http://dslab.epfl.ch/pubs/cloud9.pdf

Database state generation via dynamic symbolic execution for coverage criteria

Autoři: Kai Pan Xintao Wu Tao Xie a další

Přispěvatelé: Kai Pan Xintao Wu Tao Xie a další

Zdroj: http://www.cs.washington.edu/homes/taoxie/publications/dbtest11-cov.pdf.

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.228.2290

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.2290
http://www.cs.washington.edu/homes/taoxie/publications/dbtest11-cov.pdf

DySy: Dynamic symbolic execution for invariant inference

Autoři: Christoph Csallner Nikolai Tillmann Yannis Smaragdakis a další

Přispěvatelé: Christoph Csallner Nikolai Tillmann Yannis Smaragdakis a další

Zdroj: http://ranger.uta.edu/~csallner/papers/csallner08dysy.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.5332; http://ranger.uta.edu/~csallner/papers/csallner08dysy.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.5332
http://ranger.uta.edu/~csallner/papers/csallner08dysy.pdf

Using Groupings of Static Analysis Alerts to Identify Files Likely to Contain Field Failures

Autoři: Mark S. Sherriff Sarah Smith The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Mark S. Sherriff Sarah Smith The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.virginia.edu/papers/FSE07-Sherriff.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.7294

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.7294
http://www.cs.virginia.edu/papers/FSE07-Sherriff.pdf

Variably interprocedural program analysis for runtime error detection

Autoři: Aaron Tomb Willem Visser The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Aaron Tomb Willem Visser The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.visserhome.com/willem/papers/tomb07variably.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.6337
http://www.visserhome.com/willem/papers/tomb07variably.pdf

DySy: Dynamic symbolic execution for invariant inference

Autoři: Christoph Csallner Nikolai Tillmann The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Christoph Csallner Nikolai Tillmann The Pennsylvania State University CiteSeerX Archives

Zdroj: http://pag.lcs.mit.edu/reading-group/csallner07invariants.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.4293

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.4293
http://pag.lcs.mit.edu/reading-group/csallner07invariants.pdf

Variably interprocedural program analysis for runtime error detection

Autoři: Aaron Tomb Willem Visser The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Aaron Tomb Willem Visser The Pennsylvania State University CiteSeerX Archives

Zdroj: http://pag.lcs.mit.edu/reading-group/tomb07variably.pdf.

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.65.5985

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.5985
http://pag.lcs.mit.edu/reading-group/tomb07variably.pdf

DySy: Dynamic symbolic execution for invariant inference

Autoři: Christoph Csallner The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Christoph Csallner The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.uoregon.edu/~yannis/dysy-icse08.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.338

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.338
http://www.cs.uoregon.edu/~yannis/dysy-icse08.pdf

ARCHER: Using Symbolic, Path-sensitive Analysis to Detect Memory Access Errors

Autoři: Yichen Xie Andy Chou Dawson Engler a další

Přispěvatelé: Yichen Xie Andy Chou Dawson Engler a další

Zdroj: http://www.cs.virginia.edu/~zhou/please/xie03archer.pdf.

Témata: 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

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.3943
http://www.cs.virginia.edu/~zhou/please/xie03archer.pdf

ARCHER: Using Symbolic, Path-sensitive Analysis to Detect Memory Access Errors

Autoři: Yichen Xie Andy Chou Dawson Engler a další

Přispěvatelé: Yichen Xie Andy Chou Dawson Engler a další

Zdroj: http://www.stanford.edu/~engler/p150-xie.ps.

Témata: 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

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.2677

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.2677
http://www.stanford.edu/~engler/p150-xie.ps

Solving Shape-Analysis Problems in Languages with Destructive Updating

Autoři: Mooly Sagiv Thomas Reps Reinhard Wilhelm a další

Přispěvatelé: Mooly Sagiv Thomas Reps Reinhard Wilhelm a další

Zdroj: http://www.math.tau.ac.il/~sagiv/toplas97.ps.

Témata: 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

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.2415
http://www.math.tau.ac.il/~sagiv/toplas97.ps

Verifying safety properties of concurrent heap-manipulating programs

Autoři: Eran Yahav Mooly Sagiv The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Eran Yahav Mooly Sagiv The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.technion.ac.il/~yahave/papers/toplas10.pdf.

Témata: 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

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.353.6913
http://www.cs.technion.ac.il/~yahave/papers/toplas10.pdf

Assertion-based Repair of Complex Data Structures

Autoři: Bassem Elkarablieh Ivan Garcia Yuk Lai a další

Přispěvatelé: Bassem Elkarablieh Ivan Garcia Yuk Lai a další

Zdroj: http://users.ece.utexas.edu/~elkarabl/files/p64-elkarablieh.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.1800

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.1800
http://users.ece.utexas.edu/~elkarabl/files/p64-elkarablieh.pdf

Mixing Type Checking and Symbolic Execution

Autoři: Khoo Yit Phang Bor-yuh Evan Chang Jeffrey S. Foster a další

Přispěvatelé: Khoo Yit Phang Bor-yuh Evan Chang Jeffrey S. Foster a další

Zdroj: http://www.cs.umd.edu/~khooyp/Khoo_Yit_Phang_files/Mixing Type Checking and Symbolic Execution (PLDI 2010).pdf.

Témata: 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

Popis souboru: 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

Dostupnost: 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

ABSTRACT Test Input Generation with Java PathFinder

Autoři: Willem Visser The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Willem Visser The Pennsylvania State University CiteSeerX Archives

Zdroj: http://users.ece.utexas.edu/~khurshid/papers/JPF-issta04.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.4628

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.4628
http://users.ece.utexas.edu/~khurshid/papers/JPF-issta04.pdf