Search Results - Testing and Debugging—Debugging aids General Terms Reliability Keywords automated debugging
-
1
Authors:
Contributors:
Source: http://dslab.epfl.ch/pubs/esd.pdf.
Subject Terms: Categories and Subject Descriptors D.2.2.5 [Software En- gineering, Testing and Debugging—Debugging aids General Terms Reliability Keywords automated debugging, symbolic execution
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.7581; http://dslab.epfl.ch/pubs/esd.pdf
-
2
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
3
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
5
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
6
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://www.inf.ethz.ch/personal/daniekro/classes/se-sem/ss2007/papers/gerard/p272-zhang.pdf.
Subject Terms: 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
File Description: application/pdf
-
7
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: 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
-
8
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
9
Authors:
Source: IET Quantum Communication; Dec2024, Vol. 5 Issue 4, p462-485, 24p
Subject Terms: QUANTUM computing, COMPUTER software industry, QUANTUM theory, DATA extraction, ALGORITHMS
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic
File Description: 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
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic
File Description: 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
-
12
Authors: et al.
Contributors: et al.
Source: http://se.inf.ethz.ch/research/autofix/papers/automated_fixing_of_programs_with_contracts.pdf.
Subject Terms: Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic
File Description: 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
-
13
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
14
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
15
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
16
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
17
Authors: et al.
Contributors: et al.
File Description: application/pdf
-
18
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
19
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
20
Authors:
Source: Computers, Materials & Continua; 2023, Vol. 74 Issue 2, p2739-2770, 32p
Subject Terms: BIG data, ELECTRONIC data processing, TAXONOMY, PROBLEM solving, DATA quality
Nájsť tento článok vo Web of Science 
Full Text Finder