Suchergebnisse - Testing and Debugging— Debugging aids General Terms Reliability*
-
1
Autoren:
Weitere Verfasser:
Quelle: http://dslab.epfl.ch/pubs/esd.pdf.
Schlagwörter: Categories and Subject Descriptors D.2.2.5 [Software En- gineering, Testing and Debugging—Debugging aids General Terms Reliability Keywords automated debugging, symbolic execution
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.7581; http://dslab.epfl.ch/pubs/esd.pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
3
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming–Parallel Programming, D.2.5 [Software Engineering, Testing and Debugging–Debugging Aids General Terms Design, Reliability, Performance Keywords Deterministic Multithreading, Determinism, Parallel Programming, Concurrency, Debugging, Multicore
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.2653; http://www.cpe.virginia.edu/grads/pdfs/Aug13/OperatingSystems.pdf
-
4
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Reliability, Performance, Experimentation Keywords KCCA, Bug detection, Large-scale bugs
Dateibeschreibung: application/pdf
-
5
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Algorithms, Reliability Keywords concurrency bugs
Dateibeschreibung: 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
-
6
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Engineering, D.2.5 Testing and Debugging – Debugging aids General Terms Algorithms, Experimentation, Reliability, Verification Keywords Sampling, Dynamic Data Race Detection, Concurrency Bugs
Dateibeschreibung: 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
-
7
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Reliability Keywords Debugger, Reverse Execution, Virtual Machine
Dateibeschreibung: application/pdf
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineer-ing, Software/Program Verification-- Reliability, D.2.5 [Software Engineering, Testing and Debugging-- Debugging aids General Terms Experimentation, Reliability Keywords static race detection, Java, synchronization, concur-rency, multi-threading
Dateibeschreibung: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.585; http://xenon.stanford.edu/~mhn/pubs/pldi06.ps
-
9
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Engineering, D.2.5 Testing and Debugging – Debugging aids General Terms Algorithms, Experimentation, Reliability, Verification Keywords Benign Data Races, Replay, Concurrency Bugs
Dateibeschreibung: application/pdf
-
10
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Algorithms, Reliability Keywords concurrency bugs
Dateibeschreibung: application/pdf
-
11
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2. 1 [Software Engineering, Requirements/Speciflca- tions–kmguages, D.2.2 [Software Engineering, Tools and Techniques – CASE, D.2 4 [Soft- ware Engineering, Program Verification — validation, D.2.5 [Software Engineering, Testing and Debugging — debugging aids General Terms, Algorithms, Reliability, Verification Additional Key Words and Phrases, Error detection, iuterprocedural data flow analysis, sequenc- ing
Dateibeschreibung: application/pdf
-
12
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Algorithms, Reliability Keywords Regression
Dateibeschreibung: application/pdf
-
13
Autoren:
Quelle: BMC Sports Science, Medicine & Rehabilitation; 7/12/2025, Vol. 17 Issue 1, p1-9, 9p
-
14
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, B.8.1 [Performance and Reliability, Reliability, Testing, and Fault- Tolerance, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids General Terms, Design, Reliability Additional Key Words and Phrases, Architectural Support, Software Debugging, Dynamic Monitoring, Thread-Level Speculation (TLS
Dateibeschreibung: application/pdf
-
15
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, B.8.1 [Performance and Reliability, Reliability, Testing, and Fault-Tolerance, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids General Terms, Design
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.2243; http://chooyu.cs.uiuc.edu/~liuwei/papers/iWatcher_taco05.pdf
-
16
Autoren: Xiao, Yanfeng
Quelle: Molecular & Cellular Biomechanics; 2025, Vol. 22 Issue 4, p1-15, 15p
-
17
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Reliability, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids General Terms Performance, Reliability, Experimentation
Dateibeschreibung: application/pdf
-
18
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Reliability, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids General Terms Reliability, Performance, Measurement, Experimentation Keywords Memory leaks, container profiling, leaking confidence
Dateibeschreibung: application/pdf
-
19
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Reliability, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids General Terms Reliability, Performance, Measurement, Experimentation Keywords Memory leaks, container profiling, leaking confidence
Dateibeschreibung: application/pdf
-
20
Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives
Schlagwörter: Engineering, Testing and Debugging — Debugging aids General Terms Experimentation, Reliability Keywords static race detection, Java, synchronization, concurrency, multi-threading
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.7150; http://xenon.stanford.edu/~mhn/pubs/pldi06.pdf
Nájsť tento článok vo Web of Science
Full Text Finder