Výsledky vyhledávání - D.2.5 Testing and Debugging – Debugging aids General Terms Algorithms*
-
1
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
-
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 Benign Data Races, Replay, Concurrency Bugs
Popis souboru: application/pdf
-
3
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Validation, D.2.5 [Testing and Debugging, Debugging aids General Terms Human Factors, Verification Keywords Parameterized runtime monitors, Stateful breakpoints
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.590.8072; http://www.bodden.de/pubs/bodden11stateful.pdf
-
4
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1 [Programming Techniques, Applicative (Functional) Programming, D.2.2 [Design Tools and Techniques, User interfaces, D.2.3 [Coding Tools and Techniques, Pretty printers, D.2.5 [Testing and Debugging, Debugging aids General Terms Algorithms, Design, Documentation, Human Factors, Verification Keywords ACL2, iprinting, pretty-printing, debugging
Popis souboru: application/pdf
-
5
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.2.5 [Testing and Debugging, Debugging aids, tracing H.5.2 [User Interfaces, User centered design, interaction styles General Terms Reliability, Algorithms, Performance, Design, Human Factors
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.572.5486; http://staff.unak.is/not/andy/mscmaintenance0809/lectures/add/whylinedebuggingtool.pdf
-
6
-
7
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: Categories and Subject Descriptors D.2.5 [Testing and Debugging, Debugging aids, tracing H.5.2 [User Interfaces, User centered design, interaction styles General Terms Reliability, Algorithms, Performance, Design, Human Factors
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.5250; http://www.cs.cmu.edu/~ajko/papers/Ko2008JavaWhyline.pdf
-
8
Autoři:
Přispěvatelé:
Témata: D.2.5 [Testing and Debugging, Debugging Aids, Testing tools Keywords Deadlocks, Concurrent Programs, Testing, Reliability General Terms Reliability, Algorithms
Popis souboru: application/pdf
-
9
Autoři: Chapman, David
Zdroj: Communications of the ACM; Sep82, Vol. 25 Issue 9, p625-634, 10p
-
10
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.5 [Testing and Debugging, Debugging aids, D.2.6 [Programming Environments, Integrated environments General Terms Algorithms, Human Factors, Languages Keywords Debugging, Locating Defects, Querypoint, LastChange, Breakpoint, Watchpoint, Logging
Popis souboru: application/pdf
-
11
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.2.5 [Testing and Debugging, Debugging aids, Tracing General Terms, Algorithms, Design, Modeling Keywords, Model inference, execution traces, log analysis
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.465.2751; http://people.cs.umass.edu/~brun/pubs/pubs/Krka14fse.pdf
-
12
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.2.5 [Testing and Debugging, Testing Tools, Debugging Aids, D.2.8 [Metrics, Performance Measures General Terms Performance, Measurement Keywords trend-prof, empirical
Popis souboru: application/pdf
-
13
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.2.5 [Testing and Debugging, Testing Tools, Debugging Aids, D.2.8 [Metrics, Performance Measures General Terms Performance, Measurement Keywords trend-prof, empirical
Popis souboru: application/pdf
-
14
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.2.5 [Testing and Debugging, Testing Tools, Debugging Aids, D.2.8 [Metrics, Performance Measures General Terms Performance, Measurement Keywords trend-prof, empirical
Popis souboru: application/postscript
-
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. 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
-
16
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
-
17
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
-
18
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
-
19
Autoři:
Přispěvatelé:
Témata: 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 souboru: application/pdf
-
20
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
Nájsť tento článok vo Web of Science 
Full Text Finder