Výsledky vyhledávání - Testing AND Debugging—debugging aids General Terms Algorithms
-
1
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Algorithms, Reliability Keywords concurrency bugs
Popis souboru: 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
-
2
Autoři: a další
Přispěvatelé: a další
Témata: Engineering, D.2.5 Testing and Debugging – Debugging aids General Terms Algorithms, Experimentation, Reliability, Verification Keywords Sampling, Dynamic Data Race Detection, Concurrency Bugs
Popis souboru: 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
-
3
Autoři: a další
Přispěvatelé: a další
Témata: Engineering, D.2.5 Testing and Debugging – Debugging aids General Terms Algorithms, Experimentation, Reliability, Verification Keywords Benign Data Races, Replay, Concurrency Bugs
Popis souboru: application/pdf
-
4
Autoři: a další
Přispěvatelé: a další
Témata: D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Algorithms, Reliability Keywords concurrency bugs
Popis souboru: application/pdf
-
5
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Algorithms, Reliability Keywords Regression
Popis souboru: application/pdf
-
7
Autoři:
Zdroj: IET Quantum Communication; Dec2024, Vol. 5 Issue 4, p462-485, 24p
-
8
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
9
Autoři: a další
Přispěvatelé: a další
Témata: D.2.5 [Software Engineering, Testing and Debugging—debugging aids General Terms Algorithms, Design, Verification Keywords Behaviour model synthesis, automated abstraction, source code
Popis souboru: application/pdf
-
10
Autoři: a další
Přispěvatelé: a další
Témata: D.2.5 [Software Engineering, Testing and Debugging—Debugging aids General Terms Algorithms, Reliability Keywords atomicity
Popis souboru: application/pdf
-
11
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: 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
-
12
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: 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
-
13
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
-
14
Autoři: a další
Přispěvatelé: a další
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
-
15
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, Tracing, Diagnostics General Terms Algorithms, Performance, Reliability
Popis souboru: 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
-
16
Autoři:
Přispěvatelé:
Témata: analysis, D.3.4 [Programming Languages, Processors—Memory management, optimization, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids General Terms Keywords Algorithms, Languages, Performance Container bloat, CFL reachability, points-to analysis Permission to make
Popis souboru: application/pdf
-
17
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
-
18
Autoři:
Přispěvatelé:
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
-
19
Autoři: a další
Přispěvatelé: a další
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
-
20
Autoři:
Přispěvatelé:
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
Nájsť tento článok vo Web of Science 
Full Text Finder