Výsledky vyhledávání - Testing and Debugging—Symbolic execution :: NVK CVTI SR

1

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

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
2

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

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
3

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

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
4

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

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
5

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

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
6

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

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
7

Synthesizing method sequences for high-coverage testing

Autoři: Suresh Thummalapenta Tao Xie Nikolai Tillmann a další

Přispěvatelé: Suresh Thummalapenta Tao Xie Nikolai Tillmann a další

Zdroj: http://www.csc.ncsu.edu/faculty/xie/publications/oopsla11-seeker.pdf.

Témata: Debugging—Symbolic execution, D.2.6 [Software Engi

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.3922
http://www.csc.ncsu.edu/faculty/xie/publications/oopsla11-seeker.pdf

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
8

Symbolic Execution for GUI Testing

Autoři: Svetoslav Ganov The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Svetoslav Ganov The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.ece.utexas.edu/~perry/work/papers/070131-SG-gui.pdf.

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.28
http://www.ece.utexas.edu/~perry/work/papers/070131-SG-gui.pdf

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
9

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

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
10

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

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
11

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

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
12

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

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
13

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

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
14

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

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
15

Test Generation for Graphical User Interfaces Based on Symbolic Execution

Autoři: Svetoslav Ganov Chip Killmar Sarfraz Khurshid a další

Přispěvatelé: Svetoslav Ganov Chip Killmar Sarfraz Khurshid a další

Zdroj: http://www.people.vcu.edu/~bmurrill/courses/csc625/ganov08.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.6480
http://www.people.vcu.edu/~bmurrill/courses/csc625/ganov08.pdf

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
16

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.uncc.edu/%7Exwu/publ/dbtest11.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.221.4455; http://www.cs.uncc.edu/%7Exwu/publ/dbtest11.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.4455
http://www.cs.uncc.edu/%7Exwu/publ/dbtest11.pdf

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
17

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

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
18

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

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
19

Boosting Concolic Testing via Interpolation

Autoři: Joxan Jaffar Vijayaraghavan Murali Jorge A. Navas a další

Přispěvatelé: Joxan Jaffar Vijayaraghavan Murali Jorge A. Navas a další

Zdroj: http://www.clip.dia.fi.upm.es/~jorge/docs/testingFSE13.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.4629
http://www.clip.dia.fi.upm.es/~jorge/docs/testingFSE13.pdf

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
20

Memoized Symbolic Execution

Autoři: Guowei Yang Corina S. Păsăreanu Sarfraz Khurshid a další

Přispěvatelé: Guowei Yang Corina S. Păsăreanu Sarfraz Khurshid a další

Zdroj: https://hostdb.ece.utexas.edu/~gyang/publications/YangETAL12Memoise.pdf.

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.4357

View record from BASE Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v: