Search Results - Testing and Debugging—Debugging aids General Terms Keywords Algorithms
-
1
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
2
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
-
3
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
-
4
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
-
5
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
-
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, 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
-
7
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
8
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
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.5.7 [Software Engineering, Testing and Debugging—Debugging Aids General Terms, Algorithm Additional Key Words and Phrases, Test Case Prioritization, Fault Localization, Information Theory ACM Reference Format
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.677.825; http://www0.cs.ucl.ac.uk/staff/M.Harman/flint.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:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
12
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.5.7 [Software Engineering, Testing and Debugging—Debugging Aids General Terms, Algorithm Additional Key Words and Phrases, Test Case Prioritization, Fault Localization, Information Theory ACM Reference Format
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.4904; http://www0.cs.ucl.ac.uk/staff/S.Yoo/papers/Yoo2012vn.pdf
-
13
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
-
14
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
-
15
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
-
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, 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
-
17
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
-
18
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
-
19
Authors:
Contributors:
Subject Terms: 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
File Description: 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
-
20
Authors:
Contributors:
Subject Terms: 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
File Description: 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
Nájsť tento článok vo Web of Science 
Full Text Finder