arXiv 2000-12-13 EN Kima - an Automated Error Correction System for Concurrent Logic Programs Ajiro, Yasuhiro · Ueda, Kazunori
arXiv 2000-12-11 EN Support for Debugging Automatically Parallelized Programs Hood, Robert · Jost, Gabriele
arXiv 2000-12-11 EN Value Withdrawal Explanation in CSP Ferrand, Gerard · Lesaint, Willy · Tessier, Alexandre
arXiv 2000-11-23 EN Automatic Termination Analysis of Programs Containing Arithmetic Predicates Dershowitz, Nachum · Lindenstrauss, Naomi · Sagiv, Yehoshua · Serebrenik, Alexander
arXiv 2000-11-20 EN Extended Abstract - Model-Based Debugging of Java Programs Mateis, Cristinel · Stumptner, Markus · Wieland, Dominik · Wotawa, Franz
arXiv 2000-11-17 EN Termination analysis of logic programs using acceptability with general term orders Serebrenik, Alexander · De Schreye, Danny
arXiv 2000-11-16 EN Apache web server execution tracing using Third Eye Lencevicius, Raimondas · Ran, Alexander · Yairi, Rahav
arXiv 2000-11-06 EN A Lambda-Calculus with letrec, case, constructors and non-determinism Schmidt-Schauß, Manfred · Huber, Michael
arXiv 2000-11-06 EN Extension Language Automation of Embedded System Debugging Parson, Dale · Schlieder, Bryan · Beatty, Paul
arXiv 2000-11-06 EN Execution replay and debugging Ronsse, Michiel · De Bosschere, Koen · de Kergommeaux, Jacques Chassin
arXiv 2000-11-06 EN Non-intrusive on-the-fly data race detection using execution replay Ronsse, Michiel · De Bosschere, Koen
arXiv 2000-10-30 EN Proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000) Ducasse, M.
arXiv 2000-10-10 EN On Exponential-Time Completeness of the Circularity Problem for Attribute Grammars Wu, Pei-Chi
