Suchergebnisse - Testing AND Debugging—Debugging aids General Terms Algorithms*
-
1
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
-
2
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
3
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
-
4
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
-
5
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
-
6
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, Measurement, Performance. Keywords Java, Just-In-Time Compilation, Debug Information, Java Virtual Machine Debugger Interface, Field Access Watch, Dynamic Recompilation
Dateibeschreibung: 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
-
7
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
-
8
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
-
9
Autoren:
Quelle: IET Quantum Communication; Dec2024, Vol. 5 Issue 4, p462-485, 24p
Schlagwörter: QUANTUM computing, COMPUTER software industry, QUANTUM theory, DATA extraction, ALGORITHMS
-
10
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
11
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, H.2.3 [Database Management, Languages—Query languages, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids General Terms, Algorithms, Languages Additional Key Words and Phrases, Declarative debugging, query languages, relational databases, SQL ACM Reference Format
Dateibeschreibung: application/pdf
-
12
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: D.2.5 [Software Engineering, Testing and Debugging—debugging aids General Terms Algorithms, Design, Verification Keywords Behaviour model synthesis, automated abstraction, source code
Dateibeschreibung: application/pdf
-
13
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: D.2.5 [Software Engineering, Testing and Debugging—Debugging aids General Terms Algorithms, Reliability Keywords atomicity
Dateibeschreibung: application/pdf
-
14
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
-
15
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, testing tools, tracing General Terms, Algorithms, Measurement, Performance Additional Key Words and Phrases, Program slicing, data dependences, pointer references
Dateibeschreibung: 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
-
16
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, C.3 [Computer Systems Organization, Special-Purpose and Application-Based Systems—Real-time and embedded systems, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, tracing, E.4 [Data, Coding and Information Theory—Data compaction and compression General Terms, Algorithms, Design, Verification Additional Key Words and Phrases, Debugging, program tracing, trace compression, load value filtering, trace module, software debugger, variable encoding ACM Reference Format
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.6485; http://www.ece.uah.edu/%7Emilenka/docs/vuam_tecs13.pdf
-
17
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
-
18
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, tracing, H.5.2 [Information Interfaces and Presentation, User Interfaces— User-centered design, interaction styles General Terms, Reliability, Algorithms, Performance, Design, Human Factors Additional Key Words and Phrases, Whyline, questions, debugging
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.206.4307; http://www.cs.cmu.edu/%7Enatprog/papers/Ko2010TOSEM.pdf
-
19
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, Monitors, Tracing General Terms Verification, Algorithms Keywords Model synthesis, Dynamic analysis, GK-tail
Dateibeschreibung: application/pdf
-
20
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, Tracing, Diagnostics General Terms Algorithms, Performance, Reliability
Dateibeschreibung: 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
Nájsť tento článok vo Web of Science 
Full Text Finder