Výsledky vyhledávání - Testing AND Debugging—Debugging aids General Terms Reliability Keywords automated debugging* :: NVK CVTI SR

1

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

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

Přidat do oblíbených

Uloženo v:
2

Discriminative Pattern Mining in Software Fault Detection

Autoři: Giuseppe Di Fatta Stefan Leue Evghenia Stegantova a další

Přispěvatelé: Giuseppe Di Fatta Stefan Leue Evghenia Stegantova a další

Zdroj: http://www.personal.reading.ac.uk/%7Esis06gd/publications/all/DiFatta06-SOQUA.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, Diagnostics, Tracing General Terms Experimentation, Reliability Keywords Automated debugging, Fault isolation

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.177.3413
http://www.personal.reading.ac.uk/%7Esis06gd/publications/all/DiFatta06-SOQUA.pdf

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

Přidat do oblíbených

Uloženo v:
3

Discriminative Pattern Mining in Software Fault Detection ABSTRACT

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

Zdroj: http://www.inf.uni-konstanz.de/soft/research/publications/pdf/102Stegantova.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, Diagnostics, Tracing General Terms Experimentation, Reliability Keywords Automated debugging, Fault isolation

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.681
http://www.inf.uni-konstanz.de/soft/research/publications/pdf/102Stegantova.pdf

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

Přidat do oblíbených

Uloženo v:
4

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

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

Přidat do oblíbených

Uloženo v:
5

Isolating Cause-Effect Chains from Computer Programs

Autoři: Andreas Zeller The Pennsylvania State University CiteSeerX Archives

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

Zdroj: http://www.st.cs.uni-sb.de/papers/fse2002/p201-zeller.pdf.

Témata: D.2.5 [Software Engineering, Testing and Debugging—debugging aids, diagnostics, testing tools, tracing General Terms Algorithms, Reliability, Experimentation, Verification Keywords Automated debugging, program comprehension, testing, tracing

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.8436
http://www.st.cs.uni-sb.de/papers/fse2002/p201-zeller.pdf

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

Přidat do oblíbených

Uloženo v:
6

Exploring the neighborhood with dora to expedite software maintenance

Autoři: Emily Hill Lori Pollock K. Vijay-shanker a další

Přispěvatelé: Emily Hill Lori Pollock K. Vijay-shanker a další

Zdroj: http://staff.unak.is/not/andy/MScMaintenance0809/Lectures/Add/DORA.pdf.

Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—debugging aids, D.2.7 [Software Engineering, Distribution, Maintenance, and En- hancement—reverse engineering General Terms, Human Factors, Reliability Keywords, Natural language program analysis, program exploration

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.465.1505; http://staff.unak.is/not/andy/MScMaintenance0809/Lectures/Add/DORA.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.465.1505
http://staff.unak.is/not/andy/MScMaintenance0809/Lectures/Add/DORA.pdf

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

Přidat do oblíbených

Uloženo v:
7

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

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

Přidat do oblíbených

Uloženo v:
8

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

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

Přidat do oblíbených

Uloženo v:
9

ABSTRACT Locating Causes of Program Failures

Autoři: Holger Cleve The Pennsylvania State University CiteSeerX Archives

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

Zdroj: http://www.cse.ohio-state.edu/~rountev/788/papers/cleve_icse05.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging – debugging aids, diagnostics, testing tools, tracing General Terms Algorithms, Reliability, Experimentation, Verification Keywords Automated debugging, program analysis, adaptive testing, tracing

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.4056
http://www.cse.ohio-state.edu/~rountev/788/papers/cleve_icse05.pdf

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

Přidat do oblíbených

Uloženo v:
10

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

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

Přidat do oblíbených

Uloženo v:
11

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

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

Přidat do oblíbených

Uloženo v:
12

Quantum computing challenges and solutions in software industry—A multivocal literature review.

Autoři: Salam, Masaud Ilyas, Muhammad

Zdroj: IET Quantum Communication; Dec2024, Vol. 5 Issue 4, p462-485, 24p

Témata: QUANTUM computing, COMPUTER software industry, QUANTUM theory, DATA extraction, ALGORITHMS

Full Text Finder Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v:
13

General Terms

Autoři: Yi Wei Yu Pei Carlo A. Furia a další

Přispěvatelé: Yi Wei Yu Pei Carlo A. Furia a další

Zdroj: http://se.inf.ethz.ch/people/wei/papers/wei_issta10.pdf.

Témata: Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.677; http://se.inf.ethz.ch/people/wei/papers/wei_issta10.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.677
http://se.inf.ethz.ch/people/wei/papers/wei_issta10.pdf

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

Přidat do oblíbených

Uloženo v:
14

General Terms

Autoři: Yi Wei Yu Pei Carlo A. Furia a další

Přispěvatelé: Yi Wei Yu Pei Carlo A. Furia a další

Zdroj: http://se.inf.ethz.ch/people/furia/pubs/issta10.pdf.

Témata: Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.2935; http://se.inf.ethz.ch/people/furia/pubs/issta10.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.2935
http://se.inf.ethz.ch/people/furia/pubs/issta10.pdf

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

Přidat do oblíbených

Uloženo v:
15

General Terms

Autoři: Yi Wei Yu Pei Carlo A. Furia a další

Přispěvatelé: Yi Wei Yu Pei Carlo A. Furia a další

Zdroj: http://se.inf.ethz.ch/research/autofix/papers/automated_fixing_of_programs_with_contracts.pdf.

Témata: Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.172.4672; http://se.inf.ethz.ch/research/autofix/papers/automated_fixing_of_programs_with_contracts.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.172.4672
http://se.inf.ethz.ch/research/autofix/papers/automated_fixing_of_programs_with_contracts.pdf

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

Přidat do oblíbených

Uloženo v:
16

Gemund, “Refining Spectrum-based Fault Localization Rankings

Autoři: Rui Abreu Wolfgang Mayer Markus Stumptner a další

Přispěvatelé: Rui Abreu Wolfgang Mayer Markus Stumptner a další

Zdroj: http://kse.cis.unisa.edu.au/wp/wp-content/papercite-data/pdf/sacse-abreu09.pdf.

Témata: General Terms Reliability, Experimentation, Measurement. Keywords Program spectra

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.667.4616
http://kse.cis.unisa.edu.au/wp/wp-content/papercite-data/pdf/sacse-abreu09.pdf

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

Přidat do oblíbených

Uloženo v:
17

Execution Suppression: An Automated Iterative Technique for Locating Memory Errors

Autoři: Dennis Jeffrey Vijay Nagarajan Rajiv Gupta a další

Přispěvatelé: Dennis Jeffrey Vijay Nagarajan Rajiv Gupta a další

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

Témata: D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, D.3.4 [Programming Languages, Processors—Debuggers General Terms, Algorithms, Experimentation, Performance, Reliability, Verification Additional Key Words and Phrases, execution suppression, fault localization, hardware support, memory corruption propagation, memory errors, variable re-ordering Authors ’ addresses, D. Jeffrey, Google Inc, 1600 Amphitheatre

Popis souboru: application/pdf

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

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

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

Přidat do oblíbených

Uloženo v:
18

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

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

Přidat do oblíbených

Uloženo v:
19

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

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

Přidat do oblíbených

Uloženo v:
20

Big Data Testing Techniques: Taxonomy, Challenges and Future Trends.

Autoři: Arshad, Iram Alsamhi, Saeed Hamood Afzal, Wasif

Zdroj: Computers, Materials & Continua; 2023, Vol. 74 Issue 2, p2739-2770, 32p

Témata: BIG data, ELECTRONIC data processing, TAXONOMY, PROBLEM solving, DATA quality

Full Text Finder Nájsť tento článok vo Web of Science

Přidat do oblíbených

Uloženo v: