Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1595930507

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An integrated debugging environment for reprogrammble hardware systems

Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05 ◽

10.1145/1085130.1085145 ◽

2005 ◽

Cited By ~ 8

Author(s):

Kevin Camera ◽

Hayden Kwok-Hay So ◽

Robert W. Brodersen

Download Full-text

Convergence debugging

Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05 ◽

10.1145/1085130.1085142 ◽

2005 ◽

Cited By ~ 3

Author(s):

Borislav Nikolik

Download Full-text

Analyzing & debugging ILP data mining query execution

Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05 ◽

10.1145/1085130.1085144 ◽

2005 ◽

Author(s):

Remko Tronçon ◽

Gerda Janssens

Keyword(s):

Data Mining ◽

Query Execution

Download Full-text

Lightweight bug localization with AMPLE

Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05 ◽

10.1145/1085130.1085143 ◽

2005 ◽

Cited By ~ 39

Author(s):

Valentin Dallmeier ◽

Christian Lindig ◽

Andreas Zeller

Keyword(s):

Bug Localization

Download Full-text

Debugging natural semantics specifications

Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05 ◽

10.1145/1085130.1085140 ◽

2005 ◽

Cited By ~ 5

Author(s):

Adrian Pop ◽

Peter Fritzson

Download Full-text

A contextual interpretation of undefinedness for runtime assertion checking

Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05 ◽

10.1145/1085130.1085150 ◽

2005 ◽

Cited By ~ 7

Author(s):

Yoonsik Cheon ◽

Gary T. Leavens

Keyword(s):

Runtime Assertion Checking

Download Full-text

Specifying and checking component usage

Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05 ◽

10.1145/1085130.1085133 ◽

2005 ◽

Cited By ~ 5

Author(s):

Steven P. Reiss

Download Full-text

Justification and debugging of answer set programs in ASP

Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05 ◽

10.1145/1085130.1085137 ◽

2005 ◽

Cited By ~ 4

Author(s):

Omar El-Khatib ◽

Enrico Pontelli ◽

Tran Cao Son

Keyword(s):

Answer Set

Download Full-text

Jockey

Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05 ◽

10.1145/1085130.1085139 ◽

2005 ◽

Cited By ~ 65

Author(s):

Yasushi Saito

Download Full-text

Tdb

Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05 ◽

10.1145/1085130.1085147 ◽

2005 ◽

Cited By ~ 5

Author(s):

Naveen Kumar ◽

Bruce R. Childers ◽

Mary Lou Soffa

Download Full-text

Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

An integrated debugging environment for reprogrammble hardware systems

Convergence debugging

Analyzing & debugging ILP data mining query execution

Lightweight bug localization with AMPLE

Debugging natural semantics specifications

A contextual interpretation of undefinedness for runtime assertion checking

Specifying and checking component usage

Justification and debugging of answer set programs in ASP

Jockey

Tdb

Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05
Latest Publications