Výsledky vyhledávání - Testing and Debugging— Debugging aids General Terms Reliability Keywords Debugger*

An Efficient and Generic Reversible Debugger using the Virtual Machine based Approach

Autoři: Toshihiko Koju Shingo Takada Norihisa Doi a další

Přispěvatelé: Toshihiko Koju Shingo Takada Norihisa Doi a další

Zdroj: https://www.usenix.org/legacy/events/vee05/full_papers/p79-koju.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Reliability Keywords Debugger, Reverse Execution, Virtual Machine

Popis souboru: application/pdf

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

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

Execution Synthesis: A Technique for Automated Software Debugging

Autoři: Cristian Zamfir George C The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Cristian Zamfir George C The Pennsylvania State University CiteSeerX Archives

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

Témata: Categories and Subject Descriptors D.2.2.5 [Software En- gineering, Testing and Debugging—Debugging aids General Terms Reliability Keywords automated debugging, symbolic execution

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.7581; http://dslab.epfl.ch/pubs/esd.pdf

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

Debug all your code: Portable mixed-environment debugging

Autoři: Byeongcheol Lee Martin Hirzel Robert Grimm a další

Přispěvatelé: Byeongcheol Lee Martin Hirzel Robert Grimm a další

Zdroj: http://hirzels.com/martin/papers/oopsla09-jni-debug.pdf.

Témata: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Debuggers, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids General Terms Languages, Design, Reliability Keywords Foreign Function Interface, JNI, Composition

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.374.1529
http://hirzels.com/martin/papers/oopsla09-jni-debug.pdf

Hierarchical dynamic slicing

Autoři: Tao Wang Abhik Roychoudhury The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Tao Wang Abhik Roychoudhury The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.comp.nus.edu.sg/~abhik/pdf/issta07.pdf.

Témata: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Debuggers, D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, Testing tools, Tracing General Terms Experimentation, Measurement, Reliability Keywords Debugging, Dynamic Slicing, Phase Detection

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.1454; http://www.comp.nus.edu.sg/~abhik/pdf/issta07.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.1454
http://www.comp.nus.edu.sg/~abhik/pdf/issta07.pdf

Efficient program execution indexing

Autoři: Bin Xin William N. Sumner Xiangyu Zhang a další

Přispěvatelé: Bin Xin William N. Sumner Xiangyu Zhang a další

Zdroj: http://www.cs.sfu.ca/people/Faculty/wsumner/research/papers/pldi08.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging—Debugging aids, Diagnostics, Mon- itors, D.3.4 [Programming Languages, Processors—Debuggers General Terms Algorithms, Measurement, Reliability Keywords Execution indexing, Execution alignment, Control de- pendence, Structural indexing, Semantic Augmentation, Data race

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.568.8034; http://www.cs.sfu.ca/people/Faculty/wsumner/research/papers/pldi08.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.568.8034
http://www.cs.sfu.ca/people/Faculty/wsumner/research/papers/pldi08.pdf

Golden Implementation Driven Software Debugging

Autoři: Ansuman Banerjee Abhik Roychoudhury Johannes A. Harlie a další

Přispěvatelé: Ansuman Banerjee Abhik Roychoudhury Johannes A. Harlie a další

Zdroj: http://www.comp.nus.edu.sg/~liangzk/papers/fse10.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Symbolic execution, D.3.4 [Programming Languages, Processors—Debuggers General Terms Experimentation, Reliability Keywords Embedded Linux, Software Evolution

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.5138; http://www.comp.nus.edu.sg/~liangzk/papers/fse10.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.5138
http://www.comp.nus.edu.sg/~liangzk/papers/fse10.pdf

DARWIN: An Approach for Debugging Evolving Programs

Autoři: Dawei Qi Abhik Roychoudhury Zhenkai Liang a další

Přispěvatelé: Dawei Qi Abhik Roychoudhury Zhenkai Liang a další

Zdroj: http://research.microsoft.com/pubs/80898/Darwin-An%20Approach%20for%20Debugging%20Evolving%20Programs.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Symbolic execution, D.3.4 [Programming Languages, Processors—Debuggers General Terms Experimentation, Reliability Keywords Software Evolution, Debugging

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.429
http://research.microsoft.com/pubs/80898/Darwin-An%20Approach%20for%20Debugging%20Evolving%20Programs.pdf

DARWIN: An Approach for Debugging Evolving Programs

Autoři: Dawei Qi Abhik Roychoudhury Zhenkai Liang a další

Přispěvatelé: Dawei Qi Abhik Roychoudhury Zhenkai Liang a další

Zdroj: http://www.comp.nus.edu.sg/~abhik/pdf/fse09.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Symbolic execution, D.3.4 [Programming Languages, Processors—Debuggers General Terms Experimentation, Reliability Keywords Software Evolution, Debugging

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.5979; http://www.comp.nus.edu.sg/~abhik/pdf/fse09.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.5979
http://www.comp.nus.edu.sg/~abhik/pdf/fse09.pdf

Matching Execution Histories of Program Versions ∗

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

Zdroj: http://www.cs.ucr.edu/~gupta/teaching/260-08/Papers/fse05.pdf.

Témata: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Debuggers, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Tracing General Terms Algorithms, Measurement, Reliability Keywords execution traces, dynamic analysis, debugging, piracy detection ∗ Supported by grants from IBM, Intel, Microsoft, and NSF grants

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.5860
http://www.cs.ucr.edu/~gupta/teaching/260-08/Papers/fse05.pdf

Efficient program execution indexing

Autoři: Bin Xin William N. Sumner Xiangyu Zhang a další

Přispěvatelé: Bin Xin William N. Sumner Xiangyu Zhang a další

Zdroj: http://www.cs.purdue.edu/homes/xyzhang/Comp/pldi08.pdf.

Témata: Testing and Debugging—Debugging aids, Diagnostics, Monitors, D.3.4 [Programming Languages, Processors—Debuggers General Terms Algorithms, Measurement, Reliability Keywords Execution indexing, Execution alignment, Control dependence, Structural indexing, Semantic Augmentation, Data race

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.3200; http://www.cs.purdue.edu/homes/xyzhang/Comp/pldi08.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.3200
http://www.cs.purdue.edu/homes/xyzhang/Comp/pldi08.pdf

Locating Faulty Code Using Failure-Inducing Chops

Autoři: Neelam Gupta Haifeng He Xiangyu Zhang a další

Přispěvatelé: Neelam Gupta Haifeng He Xiangyu Zhang a další

Zdroj: http://www.cs.ucr.edu/~gupta/research/Publications/Comp/ase05.pdf.

Témata: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Debuggers, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Testing tools, Tracing General Terms Algorithms, Measurement, Reliability, Verification Keywords automated debugging, forward dynamic program slicing, backward

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.7415; http://www.cs.ucr.edu/~gupta/research/Publications/Comp/ase05.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.7415
http://www.cs.ucr.edu/~gupta/research/Publications/Comp/ase05.pdf

Extracting and Answering Why and Why Not Questions about Java Program Output

Autoři: Andrew J. Ko Brad A. Myers The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Andrew J. Ko Brad A. Myers The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.cmu.edu/%7Enatprog/papers/Ko2010TOSEM.pdf.

Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, tracing, H.5.2 [Information Interfaces and Presentation, User Interfaces— User-centered design, interaction styles General Terms, Reliability, Algorithms, Performance, Design, Human Factors Additional Key Words and Phrases, Whyline, questions, debugging

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.206.4307; http://www.cs.cmu.edu/%7Enatprog/papers/Ko2010TOSEM.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.206.4307
http://www.cs.cmu.edu/%7Enatprog/papers/Ko2010TOSEM.pdf

Cost and precision tradeoffs of dynamic data slicing algorithms

Autoři: Xiangyu Zhang Rajiv Gupta Youtao Zhang a další

Přispěvatelé: Xiangyu Zhang Rajiv Gupta Youtao Zhang a další

Zdroj: http://www.cs.ucr.edu/~gupta/research/Publications/Comp/toplas04a.pdf.

Témata: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Debuggers, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, testing tools, tracing General Terms, Algorithms, Measurement, Performance Additional Key Words and Phrases, Program slicing, data dependences, pointer references

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.8417; http://www.cs.ucr.edu/~gupta/research/Publications/Comp/toplas04a.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.8417
http://www.cs.ucr.edu/~gupta/research/Publications/Comp/toplas04a.pdf

Cost Effective Dynamic Program Slicing

Autoři: Xiangyu Zhang Rajiv Gupta The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Xiangyu Zhang Rajiv Gupta The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.arizona.edu/people/gupta/research/Publications/Comp/pldi04.pdf.

Témata: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Debuggers, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Testing tools, Tracing General Terms Algorithms, Measurement, Performance Keywords dynamic dependence graph, debugging, testing ∗ Supported by grants from Intel, IBM, Microsoft, and NSF grants

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.6378; http://www.cs.arizona.edu/people/gupta/research/Publications/Comp/pldi04.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.6378
http://www.cs.arizona.edu/people/gupta/research/Publications/Comp/pldi04.pdf

1DARWIN: An Approach for Debugging Evolving Programs

Autoři: Dawei Qi Abhik Roychoudhury Zhenkai Liang a další

Přispěvatelé: Dawei Qi Abhik Roychoudhury Zhenkai Liang a další

Zdroj: http://www.comp.nus.edu.sg/~abhik/pdf/tosem12-darwin.pdf.

Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Symbolic execution, D.3.4 [Programming Languages, Processors—Debuggers General Terms, Experimentation, Reliability Additional Key Words and Phrases, Software Debugging, Software Evolution

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.231
http://www.comp.nus.edu.sg/~abhik/pdf/tosem12-darwin.pdf

An approach for debugging evolving programs

Autoři: Dawei Qi Abhik Roychoudhury Zhenkai Liang a další

Přispěvatelé: Dawei Qi Abhik Roychoudhury Zhenkai Liang a další

Zdroj: http://www.comp.nus.edu.sg/~liangzk/papers/tosem12.pdf.

Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, symbolic execution, D.3.4 [Programming Languages, Processors—Debuggers General Terms, Experimentation, Reliability Additional Key Words and Phrases, Software debugging, software evolution

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.2357; http://www.comp.nus.edu.sg/~liangzk/papers/tosem12.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.2357
http://www.comp.nus.edu.sg/~liangzk/papers/tosem12.pdf

Path exploration based on symbolic output

Autoři: Dawei Qi Hoang D. T. Nguyen Abhik Roychoudhury a další

Přispěvatelé: Dawei Qi Hoang D. T. Nguyen Abhik Roychoudhury a další

Zdroj: http://www.comp.nus.edu.sg/%7Eabhik/pdf/tosem-peso.pdf.

Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Symbolic execution, D.3.4 [Programming Languages, Processors—Debuggers General Terms, Experimentation, Reliability Additional Key Words and Phrases, Software Testing, Software Evolution

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.5414
http://www.comp.nus.edu.sg/%7Eabhik/pdf/tosem-peso.pdf

Locating Faults Through Automated Predicate Switching

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

Zdroj: http://www.inf.ethz.ch/personal/daniekro/classes/se-sem/ss2007/papers/gerard/p272-zhang.pdf.

Témata: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Debuggers, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Testing tools, Tracing General Terms Algorithms, Measurement, Reliability, Verification Keywords automated debugging

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.2993
http://www.inf.ethz.ch/personal/daniekro/classes/se-sem/ss2007/papers/gerard/p272-zhang.pdf

Locating Faults Through Automated Predicate Switching

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

Zdroj: http://www.cs.ucr.edu/~gupta/research/Publications/Comp/icse06.pdf.

Témata: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Debuggers, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Testing tools, Tracing General Terms Algorithms, Measurement, Reliability, Verification Keywords automated debugging

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.2976; http://www.cs.ucr.edu/~gupta/research/Publications/Comp/icse06.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.2976
http://www.cs.ucr.edu/~gupta/research/Publications/Comp/icse06.pdf

ABSTRACT Experimental Evaluation of Using Dynamic Slices for Fault Location ∗

Autoři: Xiangyu Zhang Haifeng He Neelam Gupta a další

Přispěvatelé: Xiangyu Zhang Haifeng He Neelam Gupta a další

Zdroj: http://www.cs.ucr.edu/~gupta/research/Publications/Comp/aadebug05.pdf.

Témata: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Debuggers, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Testing tools, Tracing General Terms Algorithms, Measurement, Reliability, Verification Keywords data slice

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.4139; http://www.cs.ucr.edu/~gupta/research/Publications/Comp/aadebug05.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.4139
http://www.cs.ucr.edu/~gupta/research/Publications/Comp/aadebug05.pdf