Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/aadebug:"
download as .bib file
@inproceedings{DBLP:conf/aadebug/CameraSB05,
author = {Kevin Camera and
Hayden Kwok{-}Hay So and
Robert W. Brodersen},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {An integrated debugging environment for reprogrammble hardware systems},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {111--116},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085145},
doi = {10.1145/1085130.1085145},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/CameraSB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/CheonL05,
author = {Yoonsik Cheon and
Gary T. Leavens},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {A contextual interpretation of undefinedness for runtime assertion
checking},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {149--158},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085150},
doi = {10.1145/1085130.1085150},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/CheonL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/DallmeierLZ05,
author = {Valentin Dallmeier and
Christian Lindig and
Andreas Zeller},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Lightweight bug localization with {AMPLE}},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {99--104},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085143},
doi = {10.1145/1085130.1085143},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/DallmeierLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/El-KhatibPS05,
author = {Omar El{-}Khatib and
Enrico Pontelli and
Tran Cao Son},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Justification and debugging of answer set programs in {ASP}},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {49--58},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085137},
doi = {10.1145/1085130.1085137},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/El-KhatibPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/HoH05,
author = {Alex Ho and
Steven Hand},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {On the design of a pervasive debugger},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {117--122},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085146},
doi = {10.1145/1085130.1085146},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/HoH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/KumarCS05,
author = {Naveen Kumar and
Bruce R. Childers and
Mary Lou Soffa},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Tdb: a source-level debugger for dynamically translated programs},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {123--132},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085147},
doi = {10.1145/1085130.1085147},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/KumarCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/LangevineD05,
author = {Ludovic Langevine and
Mireille Ducass{\'{e}}},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {A tracer driver for hybrid execution analyses},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {143--148},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085149},
doi = {10.1145/1085130.1085149},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/LangevineD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/LiangX05,
author = {Donglin Liang and
Kai Xu},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Debugging object-oriented programs with behavior views},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {133--142},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085148},
doi = {10.1145/1085130.1085148},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/LiangX05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Lindig05,
author = {Christian Lindig},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Random testing of {C} calling conventions},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {3--12},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085132},
doi = {10.1145/1085130.1085132},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/Lindig05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/MacLartySB05,
author = {Ian MacLarty and
Zoltan Somogyi and
Mark Brown},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Divide-and-query and subterm dependency tracking in the mercury declarative
debugger},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {59--68},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085138},
doi = {10.1145/1085130.1085138},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/MacLartySB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Nikolik05,
author = {Borislav Nikolik},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Convergence debugging},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {89--98},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085142},
doi = {10.1145/1085130.1085142},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/Nikolik05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/PeischlW05,
author = {Bernhard Peischl and
Franz Wotawa},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Error traces in model-based debugging of hardware description languages},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {43--48},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085136},
doi = {10.1145/1085130.1085136},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/PeischlW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/PopF05,
author = {Adrian Pop and
Peter Fritzson},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Debugging natural semantics specifications},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {77--82},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085140},
doi = {10.1145/1085130.1085140},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/PopF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Pugh05,
author = {William W. Pugh},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Keynote talk: Advice to bug hunters},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {1--2},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085131},
doi = {10.1145/1085130.1085131},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Pugh05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Reiss05,
author = {Steven P. Reiss},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Specifying and checking component usage},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {13--22},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085133},
doi = {10.1145/1085130.1085133},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/Reiss05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Saito05,
author = {Yasushi Saito},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Jockey: a user-space library for record-replay debugging},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {69--76},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085139},
doi = {10.1145/1085130.1085139},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/Saito05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/ShyeIRC05,
author = {Alex Shye and
Matthew Iyer and
Vijay Janapa Reddi and
Daniel A. Connors},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Code coverage testing using hardware performance monitoring support},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {159--163},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085151},
doi = {10.1145/1085130.1085151},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/ShyeIRC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/SterlingO05,
author = {Chad D. Sterling and
Ronald A. Olsson},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Automated bug isolation via program chipping},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {23--32},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085134},
doi = {10.1145/1085130.1085134},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/SterlingO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/SutterBRB05,
author = {Bjorn De Sutter and
Bruno De Bus and
Michiel Ronsse and
Koen De Bosschere},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Backtracking and dynamic patching for free},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {83--88},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085141},
doi = {10.1145/1085130.1085141},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/SutterBRB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/TronconJ05,
author = {Remko Tron{\c{c}}on and
Gerda Janssens},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Analyzing {\&} debugging {ILP} data mining query execution},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {105--110},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085144},
doi = {10.1145/1085130.1085144},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/TronconJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Zhang05,
author = {Xiangyu Zhang and
Haifeng He and
Neelam Gupta and
Rajiv Gupta},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Experimental evaluation of using dynamic slices for fault location},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {33--42},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085135},
doi = {10.1145/1085130.1085135},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/Zhang05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aadebug/2005,
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
publisher = {{ACM}},
year = {2005},
isbn = {1-59593-050-7},
timestamp = {Mon, 26 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/cs-SE-0309027,
editor = {Michiel Ronsse and
Koen De Bosschere},
title = {Proceedings of the Fifth International Workshop on Automated Debugging,
{AADEBUG} 2003, Ghent, Belgium, September 8-10, 2003},
year = {2003},
url = {http://arxiv.org/abs/cs.SE/0309027},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0309027.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Adayapalam00,
author = {Srikanth Sankaran Adayapalam},
editor = {Mireille Ducass{\'{e}}},
title = {In Search of Yeti: Footprint Analysis with Wildebeest},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
timestamp = {Sat, 07 Sep 2019 11:59:25 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Adayapalam00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/AjiroU00,
author = {Yasuhiro Ajiro and
Kazunori Ueda},
editor = {Mireille Ducass{\'{e}}},
title = {Kima- An automated error correction system for concurrent logic programs},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0012007},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/AjiroU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Auguston00,
author = {Mikhail Auguston},
editor = {Mireille Ducass{\'{e}}},
title = {Assertion checker for the {C} programming language based on computations
over event traces},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0101007},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/Auguston00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/CleveZ00,
author = {Holger Cleve and
Andreas Zeller},
editor = {Mireille Ducass{\'{e}}},
title = {Finding Failure Causes through Automated Testing},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0012009},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/CleveZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/FerrandLT00,
author = {G{\'{e}}rard Ferrand and
Willy Lesaint and
Alexandre Tessier},
editor = {Mireille Ducass{\'{e}}},
title = {Value Withdrawal Explanation in {CSP}},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0012005},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/FerrandLT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Gerndt00,
author = {Michael Gerndt},
editor = {Mireille Ducass{\'{e}}},
title = {Towards automatic performance debugging tools},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Gerndt00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Herranz-NievaM00,
author = {{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Mireille Ducass{\'{e}}},
title = {Generation of and Debugging with Logical Pre and Post-Conditions},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0101009},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/Herranz-NievaM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/HoodJ00,
author = {Robert Hood and
Gabriele Jost},
editor = {Mireille Ducass{\'{e}}},
title = {Support for Debugging Automatically Parallelized Programs},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0012006},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/HoodJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/IkezoeSOWS00,
author = {Yohei Ikezoe and
Akira Sasaki and
Yoshiki Ohshima and
Ken Wakita and
Masataka Sassa},
editor = {Mireille Ducass{\'{e}}},
title = {Systematic Debugging of Attribute Grammars},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0011029},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/IkezoeSOWS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Jahier00,
author = {Erwan Jahier},
editor = {Mireille Ducass{\'{e}}},
title = {Collecting Graphical Abstract Views of Mercury Program Executions},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0010038},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/Jahier00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/KranzlmullerSV00,
author = {Dieter Kranzlm{\"{u}}ller and
Christian Schaubschl{\"{a}}ger and
Jens Volkert},
editor = {Mireille Ducass{\'{e}}},
title = {A Brief Overview of the {MAD} Debugging Activities},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0012012},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/KranzlmullerSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Lencevicius00,
author = {Raimondas Lencevicius},
editor = {Mireille Ducass{\'{e}}},
title = {On-the-fly query-based debugging with examples},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0011021},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/Lencevicius00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/LenceviciusRY00,
author = {Raimondas Lencevicius and
Alexander Ran and
Rahav Yairi},
editor = {Mireille Ducass{\'{e}}},
title = {Apache Web Server Execution Tracing Using Third Eye},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0011022},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/LenceviciusRY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/MaraninchiG00,
author = {Florence Maraninchi and
Fabien Gaucher},
editor = {Mireille Ducass{\'{e}}},
title = {Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a
debugger for Lustre},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/MaraninchiG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/MateisSWW00,
author = {Cristinel Mateis and
Markus Stumptner and
Dominik Wieland and
Franz Wotawa},
editor = {Mireille Ducass{\'{e}}},
title = {Model-Based Debugging of Java Programs},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0011027},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/MateisSWW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/MurrayP00,
author = {David J. Murray and
Dale E. Parson},
editor = {Mireille Ducass{\'{e}}},
title = {Automated Debugging in Java Using {OCL} and {JDI}},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0101002},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/MurrayP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/ParsonSB00,
author = {Dale E. Parson and
Bryan Schlieder and
Paul Beatty},
editor = {Mireille Ducass{\'{e}}},
title = {Extension Language Automation of Embedded System Debugging},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0011010},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/ParsonSB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/RonsseB00,
author = {Michiel Ronsse and
Koenraad De Bosschere},
editor = {Mireille Ducass{\'{e}}},
title = {Non-intrusive on-the-fly data race detection using execution replay},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0011005},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/RonsseB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/RonsseBK00,
author = {Michiel Ronsse and
Koenraad De Bosschere and
Jacques Chassin de Kergommeaux},
editor = {Mireille Ducass{\'{e}}},
title = {Execution replay and debugging},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0011006},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/RonsseBK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Schumann00,
author = {Johann Schumann},
editor = {Mireille Ducass{\'{e}}},
title = {Automatic Debugging Support for {UML} Designs},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0011017},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/Schumann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/SmithK00,
author = {Raymond Smith and
Bogdan Korel},
editor = {Mireille Ducass{\'{e}}},
title = {Slicing Event Traces of Large Software Systems},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0101005},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/SmithK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/SzilagyiGM00,
author = {Gy{\"{o}}ngyi Szil{\'{a}}gyi and
Tibor Gyim{\'{o}}thy and
Jan Maluszynski},
editor = {Mireille Ducass{\'{e}}},
title = {Slicing of Constraint Logic Programs},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0012014},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/SzilagyiGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/ZinASN00,
author = {Abdullah Mohd Zin and
Syed Ahmad Aljunid and
Zarina Shukur and
Mohd Jan Nordin},
editor = {Mireille Ducass{\'{e}}},
title = {A Knowledge-based Automated Debugger in Learning System},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0101008},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/ZinASN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aadebug/2000,
editor = {Mireille Ducass{\'{e}}},
title = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {http://xxx.lanl.gov/abs/cs.SE/0010035},
timestamp = {Sat, 07 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/AugustonH97,
author = {Mikhail Auguston and
Miu Har Hon},
editor = {Mariam Kamkar},
title = {Assertions for Dynamic Shape Analysis of List Data Structures},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {37--42},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=004},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/AugustonH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/BoothJ97,
author = {Simon P. Booth and
Simon B. Jones},
editor = {Mariam Kamkar},
title = {Walk Backwards to Happiness - Debugging by Time Travel},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {171--183},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=014},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/BoothJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/BoyeDM97,
author = {Johan Boye and
Wlodzimierz Drabent and
Jan Maluszynski},
editor = {Mariam Kamkar},
title = {Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {123--140},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=011},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/BoyeDM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/BuenoDDFHMP97,
author = {Francisco Bueno and
Pierre Deransart and
Wlodzimierz Drabent and
G{\'{e}}rard Ferrand and
Manuel V. Hermenegildo and
Jan Maluszynski and
Germ{\'{a}}n Puebla},
editor = {Mariam Kamkar},
title = {On the Role of Semantic Approximations on Validation and Diagnosis
of Contraint Logic Programs},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {155--169},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=013},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/BuenoDDFHMP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/ByersEK97,
author = {David Byers and
Magnus Engstr{\"{o}}m and
Mariam Kamkar},
editor = {Mariam Kamkar},
title = {The Design of a Test Case Definition Language},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {69--78},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=007},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/ByersEK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/ByersK97,
author = {David Byers and
Mariam Kamkar},
editor = {Mariam Kamkar},
title = {A Hybrid Approach to Propagation Analysis},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {193--197},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=016},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/ByersK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Elms97,
author = {Kim Elms},
editor = {Mariam Kamkar},
title = {Debugging Optimised Code Using Function Interpretation},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {27--36},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=003},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Elms97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Fabris97,
author = {Massimo Fabris},
editor = {Mariam Kamkar},
title = {Constraint Programs Debugging: Current Activities Inside the DiSCiPl
Esprit Program},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {103--122},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=010},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Fabris97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/FerrandT97,
author = {G{\'{e}}rard Ferrand and
Alexandre Tessier},
editor = {Mariam Kamkar},
title = {Positive And Negative Diagnosis for Constraint Logic Programs in Terms
of Proof Skeletons},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {141--153},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=012},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/FerrandT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Garg97,
author = {Vijay K. Garg},
editor = {Mariam Kamkar},
title = {Observation and Control for Debugging Distributed Computations},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {1--12},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=001},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Garg97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Gross97,
author = {Thomas R. Gross},
editor = {Mariam Kamkar},
title = {Bisection Debugging},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {185--191},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=015},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Gross97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/HoweS97,
author = {Adele E. Howe and
Gabriel Somlo},
editor = {Mariam Kamkar},
title = {Modeling Intelligent System Execution as State Transition Diagrams
to Support Debugging},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {79--86},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=008},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/HoweS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/JonesK97,
author = {Richard W. M. Jones and
Paul H. J. Kelly},
editor = {Mariam Kamkar},
title = {Backwards-Compatible Bounds Checking for Arrays and Pointers in {C}
Programs},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {13--26},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=002},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/JonesK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Kamkar97,
author = {Mariam Kamkar},
editor = {Mariam Kamkar},
title = {Preface (with proceedings front matter)},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=000},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Kamkar97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/KorelR97,
author = {Bogdan Korel and
Juergen Rilling},
editor = {Mariam Kamkar},
title = {Application of Dynamic Slicing in Program Debugging},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {43--58},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=005},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/KorelR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/MalletD97,
author = {Sarah Mallet and
Mireille Ducass{\'{e}}},
editor = {Mariam Kamkar},
title = {{DDB} Trees: {A} Basis for Deductive Database Explanations},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {87--102},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=009},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/MalletD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/SivagurunathanHD97,
author = {Yoga Sivagurunathan and
Mark Harman and
Sebastian Danicic},
editor = {Mariam Kamkar},
title = {Slicing, {I/O} and the Implicit State},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {59--68},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&article=006},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/SivagurunathanHD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aadebug/1997,
editor = {Mariam Kamkar},
title = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/contents.asp?issue=001},
timestamp = {Sat, 07 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Allemang95,
author = {Dean Allemang},
editor = {Mireille Ducass{\'{e}}},
title = {Using Functional Representations for Program Debugging},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {311--312},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Allemang95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Auguston95,
author = {Mikhail Auguston},
editor = {Mireille Ducass{\'{e}}},
title = {Program Behavior Model Based on Event Grammar and its Application
for Debugging Automation},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {277--291},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Auguston95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/AugustonBMNRSS95,
author = {Mikhail Auguston and
Subhankar Banerjee and
Manish Mamnani and
Ghulam Nabi and
Juris Reinfelds and
Ugis Sarkans and
Ivan Strnad},
editor = {Mireille Ducass{\'{e}}},
title = {{AUI} - the Debugger and Assertion Checker for the Awk Programming
Language},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {309--310},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/AugustonBMNRSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/BernsteinS95,
author = {Karen L. Bernstein and
Eugene W. Stark},
editor = {Mireille Ducass{\'{e}}},
title = {Formally Defining Debuggers: {A} Comparison of Three Approaches},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {261--275},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/BernsteinS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/CominiLV95,
author = {Marco Comini and
Giorgio Levi and
Giuliana Vitiello},
editor = {Mireille Ducass{\'{e}}},
title = {Efficient Detection of Incompleteness Errors in the Abstract Debugging
of Logic Programs},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {159--174},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/CominiLV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Ducasse95,
author = {Mireille Ducass{\'{e}}},
editor = {Mireille Ducass{\'{e}}},
title = {Automated Debugging Extensions of the Opium Trace Analyser},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {293--308},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Ducasse95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/FromentinJJR95,
author = {Eddy Fromentin and
Claude Jard and
Guy{-}Vincent Jourdan and
Michel Raynal},
editor = {Mireille Ducass{\'{e}}},
title = {Recognition of Patterns on Control Flows for Debugging Distributed
Executions},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {221--232},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/FromentinJJR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/FromentinPR95,
author = {Eddy Fromentin and
No{\"{e}}l Plouzeau and
Michel Raynal},
editor = {Mireille Ducass{\'{e}}},
title = {Replaying Distributed Executions},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {1--18},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/FromentinPR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/GyimothyP95,
author = {Tibor Gyim{\'{o}}thy and
Jukka Paakki},
editor = {Mireille Ducass{\'{e}}},
title = {Static Slicing of Logic Programs},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {87--103},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/GyimothyP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Heyer95,
author = {Tim Heyer},
editor = {Mireille Ducass{\'{e}}},
title = {Debugging in GAPLog: {A} Model for Execution of Logic Programs with
Delayed Function Calls},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {35--50},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Heyer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/HoffnerKF95,
author = {Tommy Hoffner and
Mariam Kamkar and
Peter Fritzson},
editor = {Mireille Ducass{\'{e}}},
title = {Evaluation of Program Slicing tools},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {51--69},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/HoffnerKF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Korel95,
author = {Bogdan Korel},
editor = {Mireille Ducass{\'{e}}},
title = {Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {71--86},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Korel95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Kunz95,
author = {Thomas Kunz},
editor = {Mireille Ducass{\'{e}}},
title = {High-Level Views of Distributed Executions},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {205--219},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Kunz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Liver95,
author = {Beat Liver},
editor = {Mireille Ducass{\'{e}}},
title = {Functional Diagnosis of Sequential Programs},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {145--157},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Liver95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Oberhuber95,
author = {Michael Oberhuber},
editor = {Mireille Ducass{\'{e}}},
title = {Elimination of Nondeterminacy for Testing and Debugging Parallel Programs},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {315--316},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Oberhuber95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/OuabdesselamP95,
author = {Farid Ouabdesselam and
Ioannis Parissis},
editor = {Mireille Ducass{\'{e}}},
title = {Testing Techniques for Data-Flow Synchronous Programs},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {249--260},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/OuabdesselamP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/PaikCBCL95,
author = {Eui Hyun Paik and
Young{-}Sik Chung and
YoungJoon Byun and
Wan Choi and
Byung{-}Sun Lee},
editor = {Mireille Ducass{\'{e}}},
title = {{CHD:} {A} Cross Debugger for Concurrent {CHILL} Programs},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {317--318},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/PaikCBCL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/PatilF95,
author = {Harish Patil and
Charles N. Fischer},
editor = {Mireille Ducass{\'{e}}},
title = {Efficient Run-time Monitoring Using Shadow Processing},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {119--132},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/PatilF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/PlacideFDS95,
author = {P. Placide and
Gerard Florin and
Laurence Duchien and
Lionel Seinturier},
editor = {Mireille Ducass{\'{e}}},
title = {A Consistent Global State Algorithm to Debug Distributed Object-Oriented
Applications},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {233--247},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/PlacideFDS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Ruppel95,
author = {Peter R{\"{u}}ppel},
editor = {Mireille Ducass{\'{e}}},
title = {A Class Library for the Automization of Class Testing},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {313--314},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Ruppel95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/ShimomuraOCO95,
author = {Takao Shimomura and
Yasushi Oki and
Tetsuya Chikaraishi and
Tadashi Ohta},
editor = {Mireille Ducass{\'{e}}},
title = {An Algorithmic Fault-Locating Method for Procedural Languages and
Its Implementation {FIND}},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {191--203},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Wed, 11 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/ShimomuraOCO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/SmithW95,
author = {Philip A. Smith and
Geoffrey I. Webb},
editor = {Mireille Ducass{\'{e}}},
title = {Transparency Debugging with Explanations for Novice Programmers},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {105--118},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/SmithW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/SparudN95,
author = {Jan Sparud and
Henrik Nilsson},
editor = {Mireille Ducass{\'{e}}},
title = {The Architecture of a Debugger for Lazy Functional Languages},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {19--34},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/SparudN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/TobermannB95,
author = {Gerhard Tobermann and
Clemens Beckstein},
editor = {Mireille Ducass{\'{e}}},
title = {Algorithmic Debugging with {RISC}},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {175--190},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/TobermannB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Voas95,
author = {Jeffrey M. Voas},
editor = {Mireille Ducass{\'{e}}},
title = {Software Testability Measurement for Assertion Placement and Fault
Localization},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {133--144},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Voas95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aadebug/1995,
editor = {Mireille Ducass{\'{e}}},
title = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 07 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/AlagerV93,
author = {Sridhar Alager and
S. Venkatsean},
editor = {Peter Fritszon},
title = {Hierarchy in Testing Distributed programs},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {101--116},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019404},
doi = {10.1007/BFB0019404},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/AlagerV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/BallH93,
author = {Thomas Ball and
Susan Horwitz},
editor = {Peter Fritszon},
title = {Slicing Programs with Arbitrary Control-flow},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {206--222},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019410},
doi = {10.1007/BFB0019410},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/BallH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Binks93,
author = {Dominic Frank Julian Binks},
editor = {Peter Fritszon},
title = {Declarative Debugging of Abstract Data Types in G{\"{o}}del},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {188--205},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019409},
doi = {10.1007/BFB0019409},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Binks93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Cheng93,
author = {Jingde Cheng},
editor = {Peter Fritszon},
title = {Slicing Concurrent Programs - {A} Graph-Theoretical Approach},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {223--240},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019411},
doi = {10.1007/BFB0019411},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Cheng93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/ConsoleFD93,
author = {Luca Console and
Gerhard Friedrich and
Daniele Theseider Dupr{\'{e}}},
editor = {Peter Fritszon},
title = {Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended
Abstract)},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {85--87},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019402},
doi = {10.1007/BFB0019402},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/ConsoleFD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Ducasse93,
author = {Mireille Ducass{\'{e}}},
editor = {Peter Fritszon},
title = {A Pragmatic Survey of Automated Debugging},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {1--15},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019397},
doi = {10.1007/BFB0019397},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Ducasse93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Ferrand93,
author = {G{\'{e}}rard Ferrand},
editor = {Peter Fritszon},
title = {The Notions of Symptom and Error in Declarative Diagnosis of Logic
Programs},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {40--57},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019399},
doi = {10.1007/BFB0019399},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Ferrand93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Fromherz93,
author = {Markus P. J. Fromherz},
editor = {Peter Fritszon},
title = {Towards Declarative Debugging of Concurrent Constraint Programs},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {88--100},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019403},
doi = {10.1007/BFB0019403},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Fromherz93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Garcia-MartinM93,
author = {Julio Garc{\'{\i}}a{-}Mart{\'{\i}}n and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Peter Fritszon},
title = {Visualization as Debugging: Understanding/Debugging the Warren Abstract
Machine},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {255--272},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019413},
doi = {10.1007/BFB0019413},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Garcia-MartinM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/GoyalS93,
author = {Anoop Goyal and
Sriram Sankar},
editor = {Peter Fritszon},
title = {The Application of Formal Specifications to Software Documentation
and Debugging},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {333--349},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019418},
doi = {10.1007/BFB0019418},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/GoyalS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/HazanM93,
author = {Jonathan E. Hazan and
Richard G. Morgan},
editor = {Peter Fritszon},
title = {The Location of Errors in Functional Programs},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {135--152},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019406},
doi = {10.1007/BFB0019406},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/HazanM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/HirunkittiH93,
author = {Visit Hirankitti and
Christopher J. Hogger},
editor = {Peter Fritszon},
title = {A Generalised Query Minimisation for Program Debugging},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {153--170},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019407},
doi = {10.1007/BFB0019407},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/HirunkittiH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Korel93,
author = {Bogdan Korel},
editor = {Peter Fritszon},
title = {Identifying Faulty Modifications in Software Maintenance},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {315--332},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019417},
doi = {10.1007/BFB0019417},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Korel93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/KuchcinskiDM93,
author = {Krzysztof Kuchcinski and
Wlodzimierz Drabent and
Jan Maluszynski},
editor = {Peter Fritszon},
title = {Automatic Diagnosis of {VLSI} Digital Circuits Using Algorithmic Debugging},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {350--367},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019419},
doi = {10.1007/BFB0019419},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/KuchcinskiDM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/LeeD93,
author = {Yuh{-}Jeng Lee and
Nachum Dershowitz},
editor = {Peter Fritszon},
title = {Debugging Logic Programs Using Specifications},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {75--84},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019401},
doi = {10.1007/BFB0019401},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/LeeD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Lutz93,
author = {Rudi Lutz},
editor = {Peter Fritszon},
title = {Towards a Plan Calculus Based Intelligent Debugging System},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {287--304},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019415},
doi = {10.1007/BFB0019415},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Lutz93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/NilssonF93,
author = {Henrik Nilsson and
Peter Fritzson},
editor = {Peter Fritszon},
title = {Lazy Algorithmic Debugging: Ideas for Practical Implementation},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {117--134},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019405},
doi = {10.1007/BFB0019405},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/NilssonF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/PereiraDA93,
author = {Lu{\'{\i}}s Moniz Pereira and
Carlos Viegas Dam{\'{a}}sio and
Jos{\'{e}} J{\'{u}}lio Alferes},
editor = {Peter Fritszon},
title = {Debugging by Diagnosing Assumptions},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {58--74},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019400},
doi = {10.1007/BFB0019400},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/PereiraDA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Reiss93,
author = {Steven P. Reiss},
editor = {Peter Fritszon},
title = {Trace-Based Debugging},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {305--314},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019416},
doi = {10.1007/BFB0019416},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Reiss93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/ShahmehriKF93,
author = {Nahid Shahmehri and
Mariam Kamkar and
Peter Fritzson},
editor = {Peter Fritszon},
title = {Usability Criteria for Automated Debugging Systems},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {16--39},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019398},
doi = {10.1007/BFB0019398},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/ShahmehriKF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Tip93,
author = {Frank Tip},
editor = {Peter Fritszon},
title = {Animators for Generated Programming Environments},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {241--254},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019412},
doi = {10.1007/BFB0019412},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Tip93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/TobermannB93,
author = {Gerhard Tobermann and
Clemens Beckstein},
editor = {Peter Fritszon},
title = {What's in a Trace: The Box Model Revisited},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {171--187},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019408},
doi = {10.1007/BFB0019408},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/TobermannB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/WestmanF93,
author = {Rickard Westman and
Peter Fritzson},
editor = {Peter Fritszon},
title = {Graphical User Interfaces for Algorithmic Debugging},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {273--286},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019414},
doi = {10.1007/BFB0019414},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/WestmanF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aadebug/1993,
editor = {Peter Fritszon},
title = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019396},
doi = {10.1007/BFB0019396},
isbn = {3-540-57417-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-09 09:03 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
