|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4309 occurrences of 1739 keywords
|
|
|
Results
Found 5653 publication records. Showing 5653 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Slim Masmoudi |
Solving-Oriented and Domain-Oriented Knowledge Structures: Their Application to Debugging Problem Solving Activity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Broadening the Base, 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings, pp. 58-71, 2001, Springer, 3-540-42344-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Róbert Lovas, Vaidy S. Sunderam |
Extension of Macrostep Debugging Methodology Towards Metacomputing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I, pp. 263-272, 2001, Springer, 3-540-42232-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Michiel Ronsse, Mark Christiaens, Koenraad De Bosschere |
Cyclic Debugging Using Execution Replay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part II, pp. 851-860, 2001, Springer, 3-540-42233-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | David Jackson |
Visual Debugging of Multithreaded Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 340-341, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Rene Kobler, Dieter Kranzlmüller, Jens Volkert |
Debugging OpenMP Programs Using Event Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOMPAT ![In: OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings, pp. 81-89, 2001, Springer, 3-540-42346-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Franz Wotawa |
Using Multiple Models for Debugging VHDL Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp. 125-134, 2001, Springer, 3-540-42219-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Dieter Kranzlmüller, Rene Kobler, Rainer Koppler, Jens Volkert |
Debugging MPI Programs with Array Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCN ![In: High-Performance Computing and Networking, 8th International Conference, HPCN Europe 2000, Amsterdam, The Netherlands, May 8-10, 2000, Proceedings, pp. 597-600, 2000, Springer, 3-540-67553-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Wen-Jong Fang, Peng-Cheng Kao, Allen C.-H. Wu |
A Multi-Level FPGA Synthesis Method Supporting HDL Debugging for Emulation-Based Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 1999 Conference on Asia South Pacific Design Automation, Wanchai, Hong Kong, China, January 18-21, 1999, pp. 351-354, 1999, IEEE Computer Society, 0-7803-5012-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Nicholas McKay, Satnam Singh |
Debugging Techniques for Dynamically Reconfigurable Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 21-23 April 1999, Napa, CA, USA, pp. 114-122, 1999, IEEE Computer Society, 0-7695-0375-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Ken Hines, Gaetano Borriello |
Debugging Distributed Implementations of Modal Process Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES'98, Montreal, Canada, June 1998, Proceedings, pp. 98-107, 1998, Springer, 3-540-65075-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Shirley Browne |
Cross-Platform Parallel Debugging and Performance Analysis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998, Proceedings, pp. 257-264, 1998, Springer, 3-540-65041-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Mikael Pettersson |
Portable Debugging and Profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 7th International Conference, CC'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 279-293, 1998, Springer, 3-540-64304-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Neophytos Neophytou, Paraskevas Evripidou |
Net-dbx: A Java Powered Tool for Interactive Debugging of MPI Programs Across the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings, pp. 181-189, 1998, Springer, 3-540-64952-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Ali Dasdan, Anmol Mathur, Rajesh K. Gupta 0001 |
RATAN: A tool for rate analysis and rate constraint debugging for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ED&TC ![In: European Design and Test Conference, ED&TC '97, Paris, France, 17-20 March 1997, pp. 2-6, 1997, IEEE Computer Society, 0-8186-7786-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Ramakrishnan Rajamony, Alan L. Cox |
Performance Debugging Shared Memory Parallel Programs Using Run-Time Dependence Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1997 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, Seattle, Washington, USA, June 15-18, 1997, pp. 75-87, 1997, ACM, 0-89791-909-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Wen-Jong Fang, Allen C.-H. Wu, Ti-Yen Yen |
A Real-Time RTL Engineering-Change Method Supporting On-Line Debugging for Logic-Emulation Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 34st Conference on Design Automation, Anaheim, California, USA, Anaheim Convention Center, June 9-13, 1997., pp. 101-106, 1997, ACM Press, 0-89791-920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Christian Clémençon, Akiyoshi Endo, Josef Fritscher, Andreas Müller, Brian J. N. Wylie |
Annai Scalable Run-Time Support for Interactive Debugging and Performance Analysis of Large-Scale Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par, Vol. I ![In: Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I, pp. 64-69, 1996, Springer, 3-540-61626-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Noritaka Osawa, Kei Hisano, Toshitsugu Yuba |
A Visual Performance Debugging System for Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 300-309, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Max Copperman |
Debugging Optimized Code Without Being Misled. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 387-427, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Patricia Prather Pineo, Mary Lou Soffa |
A Practical Approach to the Symbolic Debugging of Parallelized Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 5th International Conference, CC'94, Edinburgh, UK, April 7-9, 1994, Proceedings, pp. 339-356, 1994, Springer, 3-540-57877-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Ramin Hojati, Robert K. Brayton, Robert P. Kurshan |
BDD-Based Debugging Of Design Using Language Containment and Fair CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings, pp. 41-58, 1993, Springer, 3-540-56922-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Margaret Martonosi, Anoop Gupta, Thomas E. Anderson |
Effectiveness of Trace Sampling for Performance Debugging Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Santa Clara, California, USA, May 10-14, 1993, pp. 248-259, 1993, ACM, 0-89791-580-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Nancy J. Wahl, Stephen R. Schach |
A Paradigm for Distributed Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 20th Annual Conference on Computer Science, CSC '92, Kansas City, MO, USA, March 3-5, 1992, pp. 235-242, 1992, ACM, 0-89791-472-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Gary Brooks, Gilbert J. Hansen, Steve Simmons |
A New Approach to Debugging Optimized Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), San Francisco, California, USA, June 17-19, 1992, pp. 1-11, 1992, ACM, 0-89791-475-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
FORTRAN |
22 | Gerardus Johannes Wichardus van Dijk, A. J. van der Wal |
Partial Ordering of Synchronization Events for Distributed Debugging in Tightly-coupled Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDMCC ![In: Distributed Memory Computing, 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991, Proceedings, pp. 100-109, 1991, Springer, 3-540-53951-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Hermann Ilmberger, Sabine Thürmel |
A Toolkit for Debugging Parallel Lisp Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures and Algorithms, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 406-422, 1991, Springer, 3-540-54151-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Martina Zitterbart |
Monitoring and Debugging Transputer-Networks with NETMON-II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: CONPAR 90 - VAPP IV, Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990, Proceedings, pp. 200-209, 1990, Springer, 3-540-53065-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Robert Hood, Ken Kennedy, John M. Mellor-Crummey |
Parallel program debugging with on-the-fly anomaly detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, pp. 74-81, 1990, IEEE Computer Society, 0-89791-412-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
DEBUG, FORTRAN |
22 | Yasuaki Honda, Akinori Yonezawa |
Debugging Concurrent Systems Based on Object Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, Proceedings, pp. 267-282, 1988, Springer, 3-540-50053-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Barton P. Miller, Jong-Deok Choi |
A Mechanism for Efficient Debugging of Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24, 1988, pp. 135-144, 1988, ACM, 0-89791-269-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Trevor Lukey, Kenneth D. Loose, David R. Hill |
Implementation of a debugging aid for logic errors in Pascal programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 18th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1987, St. Louis, Missouri, USA, February 19-20, 1987, pp. 386-390, 1987, ACM, 978-0-89791-217-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Pascal |
22 | Rolf Bahlke, Bernhard Moritz, Gregor Snelting |
A generator for language-specific debugging systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 92-101, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Amitabh Srivastava |
Recovery of Noncurrent Variables in Source-Level Debugging of Optimized Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Sixth Conference, New Delhi, India, December 18-20, 1986, Proceedings, pp. 36-56, 1986, Springer, 3-540-17179-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
22 | Hidehisa Takahashi, Etsuya Shibayama |
PRESET - A Debugging Environment for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 90-99, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
22 | Takeshi Chusho, Atsushi Tanaka, Eri Okamoto, Akinori Honda, Toru Kurosaki |
HITS: a symbolic testing and debugging system for multilingual microcomputer software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1983 National Computer Conference, 16-19 May 1983, Anaheim, California, USA, pp. 73-80, 1983, AFIPS Press, 0-88283-039-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
22 | Helene E. Kulsrud, Robert M. Blazer, Herman H. Goldstine, Ralph Grishman, M. Douglas McIlroy, Patrick E. Hagerty |
Program debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1974 National Computer Conference, 6-10 May 1974, Chicago, Illinois, USA, pp. 983, 1974, AFIPS Press, 978-1-4503-7920-5. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
22 | R. L. ver Steeg |
Talk - a high-level source language debugging technique with real-time data extraction: 26. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 7(7), pp. 418-419, 1964. The full citation details ...](Pics/full.jpeg) |
1964 |
DBLP DOI BibTeX RDF |
|
22 | James A. Clause, Alessandro Orso |
Penumbra: automatically identifying failure-relevant inputs using dynamic tainting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009, pp. 249-260, 2009, ACM, 978-1-60558-338-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dynamic information flow, failure-relevant inputs, automated debugging, dynamic tainting |
22 | Paul E. West, Yuval Peress, Gary S. Tyson, Sally A. McKee |
Core monitors: monitoring performance in multicore processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 6th Conference on Computing Frontiers, 2009, Ischia, Italy, May 18-20, 2009, pp. 31-40, 2009, ACM, 978-1-60558-413-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
scheduling, debugging, profiling, multicore, cache coherency, performance monitoring, realtime |
22 | Catherine Roussey, Óscar Corcho, Luis Manuel Vilches Blázquez |
A catalogue of OWL ontology antipatterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K-CAP ![In: Proceedings of the 5th International Conference on Knowledge Capture (K-CAP 2009), September 1-4, 2009, Redondo Beach, California, USA, pp. 205-206, 2009, ACM, 978-1-60558-658-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ontology, debugging, OWL, antipattern |
22 | Ruini Xue, Xuezheng Liu, Ming Wu 0007, Zhenyu Guo, Wenguang Chen, Weimin Zheng, Zheng Zhang 0001, Geoffrey M. Voelker |
MPIWiz: subgroup reproducible replay of mpi applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009, pp. 251-260, 2009, ACM, 978-1-60558-397-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
message passing interface, non-determinism, distributed debugging, record and replay |
22 | Andreas G. Veneris, Sean Safarpour |
The day Sherlock Holmes decided to do EDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 631-634, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
error localization, verification, debugging |
22 | Dan Hao 0001, Lu Zhang 0023, Ying Pan, Hong Mei 0001, Jiasu Sun |
On similarity-awareness in testing-based fault localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 15(2), pp. 207-249, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Debugging, Fuzzy set, Maintenance, Fault localization |
22 | Claudio Ochoa, Josep Silva, Germán Vidal |
Dynamic slicing of lazy functional programs based on redex trails. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 21(1-2), pp. 147-192, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Lazy functional programming, Redex trails, Debugging, Slicing |
22 | Harry Foster |
Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 5-10, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Simulation, Formal Verification, Debugging, Assertion, Functional Verification, Property Specification, Assertion-Based Verification |
22 | Cemal Yilmaz 0001, Amit M. Paradkar, Clay Williams |
Time will tell: fault localization using time spectra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 81-90, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fault localization, automated debugging |
22 | Chiara Francalanci, Francesco Merlo |
Empirical Analysis of the Bug Fixing Process in Open Source Projects. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSS ![In: Open Source Development, Communities and Quality, IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, OSS 2008, September 7-10, 2008, Milano, Italy, pp. 187-196, 2008, Springer, 978-0-387-09683-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Open Source Software debugging process quality |
22 | Petros Efstathopoulos, Eddie Kohler |
Manageable fine-grained information flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, pp. 301-313, 2008, ACM, 978-1-60558-013-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
decentralized information flow control, debugging, labels, policy language |
22 | Chin-Lung Chuang, Wei-Hsiang Cheng, Dong-Jung Lu, Chien-Nan Jimmy Liu |
Hybrid Approach to Faster Functional Verification with Full Visibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 24(2), pp. 154-162, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
simulator, emulator, visibility, hybrid, functional verification, debugging environment |
22 | Tai-Yi Huang, Pin-Chuan Chou, Cheng-Han Tsai, Hsin-An Chen |
Automated fault localization with statistically suspicious program states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California, USA, June 13-15, 2007, pp. 11-20, 2007, ACM, 978-1-59593-632-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fault localization, automated debugging, state coverage |
22 | Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat |
Mace: language support for building distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 179-188, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mace, distributed systems, model checking, concurrency, debugging, domain specific languages, event driven programming |
22 | Joseph R. Ruthruff, Margaret M. Burnett, Gregg Rothermel |
Interactive Fault Localization Techniques in a Spreadsheet Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(4), pp. 213-239, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
debugging, end-user programming, spreadsheets, Fault localization, end-user software engineering |
22 | Diomidis Spinellis |
Debuggers and logging frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 23(3), pp. 98-99, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
logging framework, debugging, breakpoint |
22 | Hui Wu |
Grammar-driven generation of domain-specific language tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 772-773, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
testing, debugging, mapping, grammar, DSLs |
22 | Yaniv Eytani, Timo Latvala |
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers, pp. 183-197, 2006, Springer, 978-3-540-70888-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Concurrent debugging, scheduling noise, Java, testing |
22 | Xiangyu Zhang 0001, Neelam Gupta, Rajiv Gupta 0001 |
Locating faults through automated predicate switching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 272-281, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
predicate switching, automated debugging, dynamic slicing |
22 | Satish Narayanasamy, Cristiano Pereira, Brad Calder |
Recording shared memory dependencies using strata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006, pp. 229-240, 2006, ACM, 1-59593-451-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
strata, debugging, dependencies, shared memory, logging, replay |
22 | Baowen Xu, Ju Qian, Xiaofang Zhang, Zhongqiang Wu, Lin Chen 0015 |
A brief survey of program slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(2), pp. 1-36, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
debugging, program analysis, program slicing, dependence analysis, pointer analysis |
22 | Yuanyuan Zhou 0001, Pin Zhou, Feng Qin, Wei Liu 0014, Josep Torrellas |
Efficient and flexible architectural support for dynamic monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 2(1), pp. 3-33, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
dynamic monitoring, thread-level speculation (TLS), software debugging, Architectural support |
22 | Ben L. Titzer, Jens Palsberg |
Nonintrusive precision instrumentation of microcontroller software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'05), Chicago, Illinois, USA, June 15-17, 2005, pp. 59-68, 2005, ACM, 1-59593-018-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
cycle-accurate, instruction-level simulation, sensor networks, monitoring, debugging, profiling, instrumentation, parallel simulation |
22 | Nithya Ramanathan, Kevin K. Chang, Rahul Kapur, Lewis Girod, Eddie Kohler, Deborah Estrin |
Sympathy for the sensor network debugger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, SenSys 2005, San Diego, California, USA, November 2-4, 2005, pp. 255-267, 2005, ACM, 1-59593-054-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
failure localization, root causes, sensor networks, debugging, failure detection |
22 | Hui Wu |
Grammar-driven generation of domain-specific language testing tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 210-211, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
testing, debugging, domain-specific languages, grammar |
22 | Chao Liu 0001, Xifeng Yan, Long Fei, Jiawei Han 0001, Samuel P. Midkiff |
SOBER: statistical model-based bug localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 286-295, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
localization metrics, statistical debugging |
22 | Xiangyu Zhang 0001, Rajiv Gupta 0001 |
Matching execution histories of program versions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 197-206, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
piracy detection, debugging, dynamic analysis, execution traces |
22 | Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan |
Scalable statistical bug isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, pp. 15-26, 2005, ACM, 1-59593-056-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bug isolation, feature selection, invariants, random sampling, statistical debugging |
22 | W. Eric Wong, Yu Qi |
An Execution Slice and Inter-Block Data Dependency-Based Approach for Fault Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, Korea, pp. 366-373, 2004, IEEE Computer Society, 0-7695-2245-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
inter-block data dependency, Software testing, program debugging, fault localization, execution slice |
22 | Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal |
PathFinder: A Tool for Design Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 510-514, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Model Checking, Debugging, Design Exploration, PathFinder |
22 | Andreas Zeller |
Isolating cause-effect chains from computer programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002, pp. 1-10, 2002, ACM, 1-58113-514-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
testing, program comprehension, tracing, automated debugging |
22 | Neophytos Neophytou, Paraskevas Evripidou |
Net-dbx: A Web-Based Debugger of MPI Programs Over Low-Bandwidth Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(9), pp. 986-995, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
WWW, Parallel processing, message passing, teleworking, Java applets, parallel debugging |
22 | Grégory Duval, Thierry Cattel |
Developing Safe Concurrent and Distributed Applications with an Architectural Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 20-32, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Code Production, Concurrency, Debugging, Distribution, Implementation, Architecture Description |
22 | Siegfried Grabner, Dieter Kranzlmüller |
Monitoring for Detecing Bugs and Blocking Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings, pp. 66-75, 1994, Springer, 3-540-58430-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Distributed Memory Debugging, Communication Events, Monitoring, Trace Driven Simulation, Event Graph |
22 | Luk Levrouw, Koenraad Audenaert |
Minimizing the Log Size for Execution Replay of Shared-Memory Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings, pp. 76-87, 1994, Springer, 3-540-58430-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Execution Replay, Logical Clocks, Parallel Debugging |
22 | Harry Joe |
Statistical Inference for General-Order-Statistics and Nonhomogeneous-Poisson-Process Software Reliability Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1485-1490, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
general-order-statistics, nonhomogeneous-Poisson-process software reliability models, asymptotic likelihood inference, asymptotic confidence levels, interval estimates, conditional failure rate, debugging, software reliability, statistical analysis, inference mechanisms, statistical inference |
22 | Karl J. Ottenstein, Linda M. Ottenstein |
The Program Dependence Graph in a Software Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments (SDE) ![In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, Pennsylvania, USA, April 23-25, 1984, pp. 177-184, 1984, ACM, 0-89791-131-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
Internal program representation, Debugging, Interpreter, Program slice, Data flow, Control flow, Code optimization, Software complexity metrics |
21 | Abdulaziz Alaboudi, Thomas D. LaToza |
What constitutes debugging? An exploratory study of debugging episodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 28(5), pp. 117, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, Elisa Gonzalez Boix |
Out-of-Things Debugging: A Live Debugging Approach for Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Art Sci. Eng. Program. ![In: Art Sci. Eng. Program. 7(2), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Sungmin Kang, Bei Chen, Shin Yoo, Jian-Guang Lou |
Explainable Automated Debugging via Large Language Model-driven Scientific Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.02195, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Victoria Macann, Aman Yadav |
Debugging Beyond the Code: Teachers' Perceptions of Debugging as a CT Practice Impacting Interdisciplinary Teaching and Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompEd (1) ![In: Proceedings of the ACM Conference on Global Computing Education Vol 1, CompEd 2023, Hyderabad, India, December 5-9, 2023, pp. 119-125, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Ole Lehrmann Madsen |
Using Object-Sequence Diagrams for Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBT@SIGMOD ![In: Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, DEBT 2023, Seattle, WA, USA, 17 July 2023, pp. 11-22, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Adrien Vanègue, Valentin Bourcier, Fábio Petrillo, Steven Costiou |
Debugging Video Games: A Systematic Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBT@SIGMOD ![In: Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, DEBT 2023, Seattle, WA, USA, 17 July 2023, pp. 23-30, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner |
Symbolic Debugging with Gillian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBT@SIGMOD ![In: Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, DEBT 2023, Seattle, WA, USA, 17 July 2023, pp. 1-2, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Tom Lauwaerts, Carlos Rojas Castillo, Elisa Gonzalez Boix, Christophe Scholliers |
Out-of-Place Debugging on Constraint Devices with the EDWARD Debugger (Demo). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBT@SIGMOD ![In: Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, DEBT 2023, Seattle, WA, USA, 17 July 2023, pp. 3-4, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, Elisa Gonzalez Boix |
Out-of-Things Debugging: A Live Debugging Approach for Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.01679, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Hsu Wai Hnin, Khin Khin Zaw |
Error Debugging Problem in Python Programming Learning Assistant System using Error Debugging Method extension Blank Element Selection Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCDE ![In: ICCDE 2022: The 8th International Conference on Computing and Data Engineering, Bangkok, Thailand, January 11 - 13, 2022, pp. 59-64, 2022, ACM, 978-1-4503-9571-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Patrick Rein, Tom Beckmann, Leonard Geier, Toni Mattis, Robert Hirschfeld |
Competitive Debugging: Toward Contests Promoting Debugging as a Skill. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Onward! ![In: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, Auckland, New Zealand, December 8-10, 2022, pp. 172-184, 2022, ACM, 978-1-4503-9909-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Yanxin Zhang, Longlong He, Zhenhai Ning, Jinwang Li, Lang Tan, Lixin Yang 0007 |
Implementation and Debugging Method of a High-end Controller Chip Safety Debugging System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EITCE ![In: Proceedings of the 2022 6th International Conference on Electronic Information Technology and Computer Engineering, EITCE 2022, Xiamen, China, October 21-23, 2022., pp. 1241-1246, 2022, ACM, 978-1-4503-9714-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Corey E. Brady, Melissa S. Gresalfi, Selena Steinberg, Madison Knowe |
Debugging for Art's Sake: Beginning Programmers' Debugging Activity in an Expressive Coding Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLS ![In: Interdisciplinarity in the Learning Sciences: Proceedings of the 14th International Conference of the Learning Sciences, ICLS 2020, [Nashville, Tennessee, USA], Online Conference, June 19-23, 2020, 2020, International Society of the Learning Sciences. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Robbert Gurdeep Singh, Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers |
Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 5(2), pp. 04:1-04:3, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Fábio Petrillo, Yann-Gaël Guéhéneuc, Marcelo Pimenta, Carla Maria Dal Sasso Freitas, Foutse Khomh |
Swarm Debugging: the Collective Intelligence on Interactive Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.03520, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Fábio Petrillo, Yann-Gaël Guéhéneuc, Marcelo Pimenta, Carla Maria Dal Sasso Freitas, Foutse Khomh |
Swarm debugging: The collective intelligence on interactive debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 153, pp. 152-174, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Eduardo A. Fontana, Fábio Petrillo |
Visualizing sequences of debugging sessions using swarm debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: Proceedings of the 27th International Conference on Program Comprehension, ICPC 2019, Montreal, QC, Canada, May 25-31, 2019, pp. 139-143, 2019, IEEE / ACM, 978-1-7281-1519-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers |
Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom., pp. 27:1-27:30, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-111-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Tilman Michaeli, Ralf Romeike |
Improving Debugging Skills in the Classroom: The Effects of Teaching a Systematic Debugging Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WiPSCE ![In: Proceedings of the 14th Workshop in Primary and Secondary Computing Education, WiPSCE 2019, Glasgow, Scotland, UK, October 23-25, 2019., pp. 15:1-15:7, 2019, ACM, 978-1-4503-7704-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Simon Van Mierlo, Hans Vangheluwe |
Debugging Non-determinism: a Petrinets Modelling, Analysis, and Debugging Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Satellite Events) ![In: Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017., pp. 460-462, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Amir Masoud Gharehbaghi, Masahiro Fujita |
A New Approach for Debugging Logic Circuits without Explicitly Debugging Their Functionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATS ![In: 25th IEEE Asian Test Symposium, ATS 2016, Hiroshima, Japan, November 21-24, 2016, pp. 31-36, 2016, IEEE Computer Society, 978-1-5090-3809-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Colleen M. Lewis, Chris Gregg |
How Do You Teach Debugging?: Resources and Strategies for Better Student Debugging (Abstract Only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 47th ACM Technical Symposium on Computing Science Education, SIGCSE 2016, Memphis, TN, USA, March 02 - 05, 2016, pp. 706, 2016, ACM, 978-1-4503-3685-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Axel Böttcher, Veronika Thurner, Kathrin Schlierkamp, Daniela Zehetmeier |
Debugging students' debugging process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIE ![In: 2016 IEEE Frontiers in Education Conference, FIE 2015, Eire, PA, USA, October 12-15, 2016, pp. 1-7, 2016, IEEE Computer Society, 978-1-5090-1790-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Sara Abbaspour Asadollah, Mehrdad Saadatmand, Sigrid Eldh, Daniel Sundmark, Hans A. Hansson |
A model for systematic monitoring and debugging of starvation bugs in multicore software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCTDCP@ASE ![In: Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016, pp. 7-11, 2016, ACM, 978-1-4503-4510-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Mariano Ceccato, Alessandro Marchetto 0001, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella |
Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 25(1), pp. 5:1-5:38, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Mouna Hammoudi, Brian Burg, Gigon Bae, Gregg Rothermel |
On the use of delta debugging to reduce recordings and facilitate debugging of web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015, pp. 333-344, 2015, ACM, 978-1-4503-3675-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 5653 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|