Výsledky vyhledávání - "Testing and Debugging—debugging aids General Terms Algorithms"

Analyzing Concurrency Bugs using Dual Slicing

Autoři: Dasarath Weeratunge Xiangyu Zhang William N. Sumner a další

Přispěvatelé: Dasarath Weeratunge Xiangyu Zhang William N. Sumner a další

Zdroj: http://www.cs.purdue.edu/homes/suresh/papers/issta10.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2501
http://www.cs.purdue.edu/homes/suresh/papers/issta10.pdf

LiteRace: Effective Sampling for Lightweight Data-Race Detection

Autoři: Daniel Marino Madanlal Musuvathi Satish Narayanasamy a další

Přispěvatelé: Daniel Marino Madanlal Musuvathi Satish Narayanasamy a další

Zdroj: http://www.cs.ucla.edu/~dlmarino/pubs/pldi09.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.207.5012
http://www.cs.ucla.edu/~dlmarino/pubs/pldi09.pdf

Automatically classifying benign and harmful data races using replay analysis

Autoři: Satish Narayanasamy Zhenghao Wang Jordan Tigani a další

Přispěvatelé: Satish Narayanasamy Zhenghao Wang Jordan Tigani a další

Zdroj: http://www-cse.ucsd.edu/users/calder/papers/PLDI-07-DataRace.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.6518

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.6518
http://www-cse.ucsd.edu/users/calder/papers/PLDI-07-DataRace.pdf

Analyzing Concurrency Bugs using Dual Slicing

Autoři: Dasarath Weeratunge Xiangyu Zhang William N. Sumner a další

Přispěvatelé: Dasarath Weeratunge Xiangyu Zhang William N. Sumner a další

Zdroj: http://www.cs.purdue.edu/%7Exyzhang/Comp/issta085a-weeratunge.pdf.

Témata: 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.225.7737

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.7737
http://www.cs.purdue.edu/%7Exyzhang/Comp/issta085a-weeratunge.pdf

Recompilation for Debugging Support in a JIT-Compiler

Autoři: Mustafa M. Tikir Guei-Yuan Lueh Jeffrey K. Hollingsworth a další

Přispěvatelé: Mustafa M. Tikir Guei-Yuan Lueh Jeffrey K. Hollingsworth a další

Zdroj: http://www.cs.umd.edu/~hollings/papers/paste02.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.52
http://www.cs.umd.edu/~hollings/papers/paste02.pdf

Efficient Regression Testing of Ontology-Driven Systems

Autoři: Mijung Kim Jake Cobb Mary Jean Harrold a další

Přispěvatelé: Mijung Kim Jake Cobb Mary Jean Harrold a další

Zdroj: https://research.cc.gatech.edu/aristotle/sites/edu.aristotle/files/pdfs/kim_cobb_harrold_orso-issta12.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.388.4355

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.388.4355

Dynamic Analysis of Inefficiently-Used Containers

Autoři: Shengqian Yang Dacong Yan Guoqing Xu a další

Přispěvatelé: Shengqian Yang Dacong Yan Guoqing Xu a další

Zdroj: http://www.ics.uci.edu/~guoqingx/papers/yang-woda12.pdf.

Témata: 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 souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.640.8205

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.640.8205
http://www.ics.uci.edu/~guoqingx/papers/yang-woda12.pdf

Program Abstractions for Behaviour Validation

Autoři: Guido Caso Víctor Braberman Diego Garbervetsky a další

Přispěvatelé: Guido Caso Víctor Braberman Diego Garbervetsky a další

Zdroj: http://publicaciones.dc.uba.ar/Publications/2011/DBGU11/paper-icse-2011.pdf.

Témata: D.2.5 [Software Engineering, Testing and Debugging—debugging aids General Terms Algorithms, Design, Verification Keywords Behaviour model synthesis, automated abstraction, source code

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.1622

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.1622
http://publicaciones.dc.uba.ar/Publications/2011/DBGU11/paper-icse-2011.pdf

Detecting Data Race and Atomicity Violation via Typestate-Guided Static Analysis

Autoři: Yue Yang Anna Gringauze Dinghao Wu a další

Přispěvatelé: Yue Yang Anna Gringauze Dinghao Wu a další

Zdroj: http://research.microsoft.com/pubs/70617/tr-2008-108.pdf.

Témata: D.2.5 [Software Engineering, Testing and Debugging—Debugging aids General Terms Algorithms, Reliability Keywords atomicity

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.8150

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.8150
http://research.microsoft.com/pubs/70617/tr-2008-108.pdf

Effective fault localization based on minimum debugging frontier set.

Autoři: Li, Feng Huo, Wei Chen, Congming a další

Zdroj: Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation & Optimization (CGO); 2013, p1-10, 10p

Global property violation detection and diagnosis for wireless sensor networks.

Autoři: Wang, Man Li, Zhiyuan

Zdroj: 2013 International Conference on Compilers, Architecture & Synthesis for Embedded Systems (CASES); 2013, p1-10, 10p

Fault Localization Prioritization: Comparing Information-Theoretic and Coverage-Based Approaches.

Autoři: SHIN YOO HARMAN, MARK CLARK, DAVID

Zdroj: ACM Transactions on Software Engineering & Methodology; Jul2013, Vol. 22 Issue 3, p19:1-19:29, 29p

Témata: DEBUGGING, INFORMATION theory, INFORMATION science, SOFTWARE engineering, COMPUTER science

Observing SQL Queries in their Natural Habitat.

Autoři: GRUST, TORSTEN RITTINGER, JAN

Zdroj: ACM Transactions on Database Systems; Apr2013, Vol. 38 Issue 1, p1-33, 33p, 2 Charts

Témata: SQL, DATA extraction, QUERY languages (Computer science), RELATIONAL databases, DEBUGGING, ALGORITHMS, COMPUTER software