Výsledky vyhľadávania - Testing AND Debugging—Debugging aids General Terms Keywords Algorithms*
-
1
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
2
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Algorithms, Reliability Keywords concurrency bugs
Popis súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Engineering, D.2.5 Testing and Debugging – Debugging aids General Terms Algorithms, Experimentation, Reliability, Verification Keywords Sampling, Dynamic Data Race Detection, Concurrency Bugs
Popis súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Engineering, D.2.5 Testing and Debugging – Debugging aids General Terms Algorithms, Experimentation, Reliability, Verification Keywords Benign Data Races, Replay, Concurrency Bugs
Popis súboru: application/pdf
-
5
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Algorithms, Reliability Keywords concurrency bugs
Popis súboru: application/pdf
-
6
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
-
8
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids General Terms Algorithms, Reliability Keywords Regression
Popis súboru: application/pdf
-
9
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
10
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
-
11
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: D.2.5 [Software Engineering, Testing and Debugging—debugging aids General Terms Algorithms, Design, Verification Keywords Behaviour model synthesis, automated abstraction, source code
Popis súboru: application/pdf
-
12
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: D.2.5 [Software Engineering, Testing and Debugging—Debugging aids General Terms Algorithms, Reliability Keywords atomicity
Popis súboru: application/pdf
-
13
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
-
15
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: 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
-
16
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
-
17
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: 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
-
18
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
-
19
Autori:
Zdroj: IET Quantum Communication; Dec2024, Vol. 5 Issue 4, p462-485, 24p
-
20
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
Nájsť tento článok vo Web of Science 
Full Text Finder