Search Results - D.2.5 Testing and Debugging – Debugging aids General Terms Algorithms
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Engineering, D.2.5 Testing and Debugging – Debugging aids General Terms Algorithms, Experimentation, Reliability, Verification Keywords Sampling, Dynamic Data Race Detection, Concurrency Bugs
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.207.5012; http://www.cs.ucla.edu/~dlmarino/pubs/pldi09.pdf
-
2
Authors: et al.
Contributors: et al.
Subject Terms: Engineering, D.2.5 Testing and Debugging – Debugging aids General Terms Algorithms, Experimentation, Reliability, Verification Keywords Benign Data Races, Replay, Concurrency Bugs
File Description: application/pdf
-
3
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.1 [Programming Techniques, Applicative (Functional) Programming, D.2.2 [Design Tools and Techniques, User interfaces, D.2.3 [Coding Tools and Techniques, Pretty printers, D.2.5 [Testing and Debugging, Debugging aids General Terms Algorithms, Design, Documentation, Human Factors, Verification Keywords ACL2, iprinting, pretty-printing, debugging
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Testing and Debugging, Debugging aids, D.2.6 [Programming Environments, Integrated environments General Terms Algorithms, Human Factors, Languages Keywords Debugging, Locating Defects, Querypoint, LastChange, Breakpoint, Watchpoint, Logging
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging – Debugging aids. General Terms Algorithms, Measurement, Performance. Keywords Java, Just-In-Time Compilation, Debug Information, Java Virtual Machine Debugger Interface, Field Access Watch, Dynamic Recompilation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.52; http://www.cs.umd.edu/~hollings/papers/paste02.pdf
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Algorithms, Reliability Keywords concurrency bugs
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2501; http://www.cs.purdue.edu/homes/suresh/papers/issta10.pdf
-
7
Authors: et al.
Contributors: et al.
Subject Terms: D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Algorithms, Reliability Keywords concurrency bugs
File Description: application/pdf
-
8
Authors: Chapman, David
Source: Communications of the ACM; Sep82, Vol. 25 Issue 9, p625-634, 10p
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Algorithms, Reliability Keywords Regression
File Description: application/pdf
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program analysis, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids General Terms Algorithms, measurement, performance Keywords Container, performance, inefficiency
File Description: application/pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: D.2.5 [Software Engineering, Testing and Debugging—debugging aids General Terms Algorithms, Design, Verification Keywords Behaviour model synthesis, automated abstraction, source code
File Description: application/pdf
-
12
Authors: et al.
Contributors: et al.
Subject Terms: D.2.5 [Software Engineering, Testing and Debugging—Debugging aids General Terms Algorithms, Reliability Keywords atomicity
File Description: application/pdf
-
13
Authors:
Contributors:
Subject Terms: specification techniques, D.2.5 [Software Engineering, Testing and Debugging — debugging aids, diagnostics, monitors, tracing General Terms Algorithms, Reliability, Verification Keywords Concurrency, context-bounding, model checking, multithreading, partial-order reduction, shared-memory
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.3137; http://www.cs.ucla.edu/~rupak/Courses/winter08/CS239/Papers/CHESS.pdf
-
14
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, Tracing, Diagnostics General Terms Algorithms, Performance, Reliability Keywords Persuasive, Access Anomaly, Bug Detection
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.146; http://www.cse.ust.hk/~smhuang/academic/pecan.pdf
-
15
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
-
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, Dumps, Tracing General Terms Algorithms, Verification Keywords concurrency bugs, reproduction, execution indexing, multi-core, Heisenbugs
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.3051; http://www.cs.purdue.edu/homes/suresh/papers/asplos10.pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, Tracing, Diagnostics General Terms Algorithms, Performance, Reliability
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1026.8573; http://drona.csa.iisc.ernet.in/%7Emuralikrishna/teaching/spring2014/Papers2014/LEAP.pdf
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, Testing tools General Terms Algorithms, Measurement, Reliability Keywords data races, synchronization and infeasible races
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.8435; http://www.cs.ucr.edu/~gupta/research/Publications/Comp/issta08b.pdf
-
19
Authors:
Contributors:
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 Keywords dynamic dependence graph, debugging, testing ∗ Supported by grants from Intel, IBM, Microsoft, and NSF grants
File Description: 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
-
20
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Nájsť tento článok vo Web of Science 
Full Text Finder