arXiv 2001-05-05 EN Using Dependence Analysis to Support Software Architecture Understanding Zhao, Jianjun
arXiv 2001-01-12 EN Assertion checker for the C programming language based on computations over event traces Auguston, Mikhail
arXiv 2001-01-12 EN Generation of and Debugging with Logical Pre and Postconditions Navarro, Angel Herrranz-Nieva Juan Jose Moreno
arXiv 2000-12-26 EN Performance and Scalability Models for a Hypergrowth e-Commerce Web Site Gunther, Neil J.
arXiv 2000-12-18 EN Slicing of Constraint Logic Programs Szilagyi, Gyongyi · Gyimothy, Tibor · Maluszynski, Jan
arXiv 2000-12-13 EN Kima - an Automated Error Correction System for Concurrent Logic Programs Ajiro, Yasuhiro · Ueda, Kazunori
arXiv 2000-12-11 EN Value Withdrawal Explanation in CSP Ferrand, Gerard · Lesaint, Willy · Tessier, Alexandre
arXiv 2000-12-11 EN Support for Debugging Automatically Parallelized Programs Hood, Robert · Jost, Gabriele
arXiv 2000-11-21 EN Systematic Debugging of Attribute Grammars Ikezoe, Yohei · Sasaki, Akira · Ohshima, Yoshiki · Wakita, Ken +1
arXiv 2000-11-20 EN Extended Abstract - Model-Based Debugging of Java Programs Mateis, Cristinel · Stumptner, Markus · Wieland, Dominik · Wotawa, Franz
arXiv 2000-11-16 EN Apache web server execution tracing using Third Eye Lencevicius, Raimondas · Ran, Alexander · Yairi, Rahav
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
