Search results for "debugging"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	William N. Sumner, Xiangyu Zhang 0001	Algorithms for Automatically Computing the Causal Paths of Failures.	FASE	2009	DBLP DOI BibTeX RDF	debugging, automated debugging, execution indexing
26	Mohammad Maifi Hasan Khan, Hieu Khac Le, Hossein Ahmadi 0001, Tarek F. Abdelzaher, Jiawei Han 0001	Dustminer: troubleshooting interactive complexity bugs in sensor networks.	SenSys	2008	DBLP DOI BibTeX RDF	distributed automated debugging, protocol debugging, wireless sensor networks
26	Andreas Zeller, Ralf Hildebrandt	Simplifying and Isolating Failure-Inducing Input.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	tracing, diagnostics, testing tools, Automated debugging, combinatorial testing, debugging aids
26	Trent Hill, James Noble 0001, John Potter	Scalable Visualisations with Ownership Trees.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	program visualisation, scalable visualisations, ownership trees, top-level components, implicit aggregation structure, scale-independent topology, low-level data structure, software visualisation tool, learning, object-oriented programming, object-oriented programs, software maintenance, debugging, computer science education, teaching, program debugging, tree data structures, abstraction levels, object graph, program maintenance
26	Jian-Cheng Dai, Gwo-Dong Chen, Chen-Chung Liu, Baw-Jhiune Liu	A temporal behavioral object model for object-oriented databases.	COMPSAC	1997	DBLP DOI BibTeX RDF	temporal behavioral object model, data history management, data value changes, DSS debugging systems, DSS maintenance systems, database debugging systems, database maintenance systems, method signatures, method invocation network, subtype object substitutability enforcement, class inheritance hierarchy, database application developers, event effect querying, decision support system, policies, finite state machines, object-oriented databases, object-oriented databases, type system, temporal databases, users, procedures, data objects, decision makers
26	Mariam Kamkar, Patrik Krajina, Peter Fritzson	Dynamic Slicing of Parallel Message-Passing Programs.	PDP	1996	DBLP DOI BibTeX RDF	parallel message-passing programs, program maintenance activities, new functionality, software development resources, computer-supported methods, error sources, parallel MIMD computer, distributed systems, parallel programming, software testing, software maintenance, debugging, message passing, software metrics, program testing, dependence analysis, program debugging, software complexity, dynamic program slicing, program decomposition
26	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	Program dependence analysis of concurrent logic programs and its applications.	ICPADS	1996	DBLP DOI BibTeX RDF	program dependence analysis, language-independent program representations, dependence-based program representation, Literal Dependence Net, software engineering, testing, parallel programming, logic programming, software maintenance, debugging, software metrics, programming environments, programming environment, maintenance, program slicing, formal model, program debugging, data flows, control flows, complexity measurement, concurrent logic programs
26	David H. Jameson	Building real-time music tools visually with Sonnet.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	Sonnet, interactive music tools, sonification experiments, real-time event-driven applications, real-time systems, music, visual programming, visual languages, interactive systems, program debugging, program debugging, system monitoring, visual programming language, program monitoring
26	René Schiefer, Peter van der Stok	VIPER: a tool for the visualisation of parallel programs.	PDP	1995	DBLP DOI BibTeX RDF	VIPER, Mona Lisa parallel programming paradigm, typed paradigm, high level primitives, animation view, parallel programming, parallel programs, debugging, computer animation, data visualisation, data visualisation, data exchange, program debugging, behavioural analysis
26	J. Roger Mitchell, Vijay K. Garg	Deriving distributed algorithms from a general predicate detector.	COMPSAC	1995	DBLP DOI BibTeX RDF	generalized conjunctive predicate detector, distributed system debugging, condition detection, application status monitoring, periodic global virtual time calculation, optimized base algorithm, software engineering, computational complexity, distributed algorithms, distributed algorithms, program debugging, system monitoring, termination detection, virtual time, distributed system design, detection algorithms
26	Carlos Juiz, Ramón Puigjaner	Improved performance model of a real-time software element: the producer-consumer.	RTCSA	1995	DBLP DOI BibTeX RDF	real-time software element, producer-consumer, decomposition-aggregation approximate model, real-time components, performance evaluation, software engineering, real-time systems, real-time systems, real-time system, debugging, performance model, performance models, queueing theory, program debugging, running times, queueing network modelling, FIFO queue
26	Anmol Mathur, Kuang-Chien Chen, C. L. Liu 0001	Re-engineering of timing constrained placements for regular architectures.	ICCAD	1995	DBLP DOI BibTeX RDF	Xilinx 3000 FPGA architecture, engineering requirements, regular architectures, timing constrained placements reengineering, FPGAs, field programmable gate arrays, logic CAD, program debugging, systems re-engineering, logic arrays, design flow, gate arrays, design specification, timing performance, design cycle, design debugging
26	Dietrich Fahrenholtz, Volker Haarslev	Visualization of Strand(tm) Processes.	VL	1995	DBLP DOI BibTeX RDF	large call tree circular shaped layout, Strand programs, Strand process visualisation, parallel Strand programs, Polaranimation tool, debugging facilities, parallel programming, parallel programs, software tools, visual programming, visual languages, software performance evaluation, data visualisation, program debugging, tree data structures, performance tuning, visualization tool, polar coordinates
26	Georg Lehrenfeld, Wolfgang Müller 0003, Christoph Tahedl	Transforming SDL Diagrams into a Complete Visual Representation.	VL	1995	DBLP DOI BibTeX RDF	SDL diagrams, Pictorial Janus programs, timing concepts, Timed PJ, PJ, process diagrams, Ethernet CSMA/CD, formal specification, animation, specification, specification languages, specification language, visual programming, computer animation, visual languages, diagrams, program debugging, program interpreters, visual representation, protocol specification, visual debugging
26	J. Stan Cox, David P. Howell, Thomas M. Conte	Commercializing profile-driven optimization.	HICSS (1)	1995	DBLP DOI BibTeX RDF	profile-driven optimization, commercialisation, code-improving optimization, profile information, software vendors, system code, I/O drivers, AT&T Global Information Solutions, hardware-based profiling, profile system code, software business community, scheduling, compile, debugging, optimisation, profiling, program compilers, kernel, software performance evaluation, program debugging, program execution, optimising compilers, scheduling techniques
26	Richard Hofmann, Rainer Klar, Bernd Mohr, Andreas Quick, Markus Siegle	Distributed Performance Monitoring: Methods, Tools, and Applications.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	functional behavior, hybrid monitoring, parallel ray tracing program, common abstraction, SUPRENUM, performance evaluation, distributed systems, monitoring, debugging, distributed processing, program debugging, performance monitoring, tuning, system monitoring, dynamic behavior
26	David P. Helmbold, Charles E. McDowell, Jian-Zhong Wang	Determining Possible Event Orders by Analyzing Sequential Traces.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	sequential traces, intermittentdeadlock, inferred program, data racedetector, constraint checker, parallel program, parallel programming, synchronization, debugging, program testing, program debugging, data races, execution trace, automated tools, event orders
26	David M. Ogle, Karsten Schwan, Richard T. Snodgrass	Application-Dependent Dynamic Monitoring of Distributed and Parallel Systems.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	application dependent dynamic monitoring, off-line program analysis, on-line debugging, uniform data model, program-specific monitoring code, distributed analysis, programtesting, distributed systems, parallel programming, specification, distributed processing, distributed programs, parallel systems, program debugging, attributes, parallelmachines
26	Yoshihiro Tohma, Hisashi Yamano, Morio Ohba, Raymond Jacoby	The Estimation of Parameters of the Hypergeometric Distribution and Its Application to the Software Reliability Growth Model.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	program fault estimation, least-squares sum method, software reliability, parameter estimation, parameter estimation, program testing, program testing, program debugging, program debugging, least squares approximations, software reliability growth model, hypergeometric distribution
23	B. Asvija, K. V. Shamjith, T. Ravi, R. Sridharan	Gridhra A Web Launched Parallel Application Debugger for Grids with Heterogeneous Resources.	WETICE	2009	DBLP DOI BibTeX RDF
23	Christian Hochberger, Alexander Weiss	Acquiring an exhaustive, continuous and real-time trace from SoCs.	ICCD	2008	DBLP DOI BibTeX RDF
23	Brian Bishop, Kevin McDaid	Unobtrusive data acquisition for spreadsheet research.	VL/HCC	2008	DBLP DOI BibTeX RDF
23	Kyuho Shim, Kesava R. Talupuru, Maciej J. Ciesielski, Seiyang Yang	Simulation Acceleration with HW Re-Compilation Avoidance.	VLSI Design	2008	DBLP DOI BibTeX RDF
23	Marsha Chechik, Arie Gurfinkel	A framework for counterexample generation and exploration.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
23	Thomas Østerlie	Producing and Interpreting Debug Texts. (PDF / PS)	OSS	2006	DBLP DOI BibTeX RDF
23	Takashi Ishio, Shinji Kusumoto, Katsuro Inoue	Program Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique.	IWPSE	2003	DBLP DOI BibTeX RDF
23	Gabriella Kókai, Jörg Nilson, Christian Niss	GIDTS: A Graphical Programming Environment for Prolog.	PASTE	1999	DBLP DOI BibTeX RDF	Prolog
23	Harald P. E. Vranken, M. P. J. Stevens, M. T. M. Segers	Design-For-Debug in Hardware/Software Co-Design.	CODES	1997	DBLP DOI BibTeX RDF	system integration and test, hardware/software co-design, design validation, design-for-debug
23	Donald L. Shell	The Share 709 System: A Cooperative Effort.	J. ACM	1959	DBLP DOI BibTeX RDF
22	Byeongcheol Lee, Martin Hirzel, Robert Grimm 0001, Kathryn S. McKinley	Debug all your code: portable mixed-environment debugging.	OOPSLA	2009	DBLP DOI BibTeX RDF	composition, JNI, foreign function interface
22	Bastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld	Debugging into Examples.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	Program comprehension, dynamic analysis, test coverage
22	Loïc Lagadec, Damien Picard	Software-like debugging methodology for reconfigurable platforms.	IPDPS	2009	DBLP DOI BibTeX RDF
22	Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle	Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.	TFM	2009	DBLP DOI BibTeX RDF
22	Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani	HOLMES: Effective statistical debugging via efficient path profiling.	ICSE	2009	DBLP DOI BibTeX RDF
22	Masahiro Fujita, Yoshihisa Kojima, Amir Masoud Gharehbaghi	Debugging from high level down to gate level.	DAC	2009	DBLP DOI BibTeX RDF	post-silicon debug, dependence analysis, system level design, equivalence checking, high-level design
22	Christian Hochberger, Alexander Weiss	A new methodology for debugging and validation of soft cores.	FPL	2008	DBLP DOI BibTeX RDF
22	Chunhan Wu, Xingyuan Zhang, Yuanyuan Wang	A Replay-Oriented Software Architecture for Easy Debugging.	CSSE (2)	2008	DBLP DOI BibTeX RDF
22	Jingde Cheng	Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing.	EUC (1)	2008	DBLP DOI BibTeX RDF
22	Amy J. Ko, Brad A. Myers	Debugging reinvented: asking and answering why and why not questions about program behavior.	ICSE	2008	DBLP DOI BibTeX RDF	whyline
22	Georg Gaderer, Patrick Loschmidt, Thilo Sauter	Real-time enabled debugging for distributed systems.	ETFA	2008	DBLP DOI BibTeX RDF
22	Gregory L. Lee, Dong H. Ahn, Dorian C. Arnold, Bronis R. de Supinski, Matthew P. LeGendre, Barton P. Miller, Martin Schulz 0001, Ben Liblit	Lessons learned at 208K: towards debugging millions of cores.	SC	2008	DBLP DOI BibTeX RDF
22	Banit Agrawal, Timothy Sherwood, Chulho Shin, Simon Yoon	Addressing the Challenges of Synchronization/Communication and Debugging Support in Hardware/Software Cosimulation.	VLSI Design	2008	DBLP DOI BibTeX RDF
22	Michael N. Gagnon, Stephen Taylor, Anup K. Ghosh	Software Protection through Anti-Debugging.	IEEE Secur. Priv.	2007	DBLP DOI BibTeX RDF
22	Yusen Li, Feng Wang, Gang Wang 0001, Xiaoguang Liu 0001, Jing Liu 0010	MKtrace: An Innovative Debugging Tool for Multi-Threaded Programs on Multiprocessor Systems.	APSEC	2007	DBLP DOI BibTeX RDF
22	Yui Terashima, Katsuhiko Gondow	Static Call Graph Generator for C++ using Debugging Information.	APSEC	2007	DBLP DOI BibTeX RDF
22	Torsten Grust, Jan Rittinger, Jens Teubner	Data-intensive XQuery debugging with instant replay.	XIME-P	2007	DBLP DOI BibTeX RDF
22	Rafael Caballero 0001, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming.	ICLP	2007	DBLP DOI BibTeX RDF
22	Neeraja Subrahmaniyan, Cory Kissinger, Kyle Rector, Derek Inman, Jared Kaplan, Laura Beckwith, Margaret M. Burnett	Explaining Debugging Strategies to End-User Programmers.	VL/HCC	2007	DBLP DOI BibTeX RDF
22	Valentina Grigoreanu	Finding Gender Differences in End-User Debugging: A Data Mining Approach.	VL/HCC	2007	DBLP DOI BibTeX RDF
22	Vijayanand Nagarajan, Dennis Jeffrey, Rajiv Gupta 0001, Neelam Gupta	ONTRAC: A system for efficient ONline TRACing for debugging.	ICSM	2007	DBLP DOI BibTeX RDF
22	Yu-Shen Yang, Andreas G. Veneris, Paul J. Thadikaran, Srikanth Venkataraman	Extraction error modeling and automated model debugging in high-performance custom designs.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
22	Lars Albertsson	Holistic Debugging -- Enabling Instruction Set Simulation for Software Quality Assurance.	MASCOTS	2006	DBLP DOI BibTeX RDF
22	Alexander Felfernig, Kostyantyn M. Shchekotykhin	Debugging user interface descriptions of knowledge-based recommender applications.	IUI	2006	DBLP DOI BibTeX RDF	personalization, knowledge acquisition, diagnosis, knowledge-based recommenders
22	Peter Kemper, Carsten Tepper	Traviando - Debugging Simulation Traces with Message Sequence Charts.	QEST	2006	DBLP DOI BibTeX RDF
22	Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit	Path Optimization in Programs and Its Application to Debugging.	ESOP	2006	DBLP DOI BibTeX RDF
22	Philipp Graf, Klaus D. Müller-Glaser	Dynamic Mapping of Runtime Information Models for Debugging Embedded Software.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
22	Rem W. Collier	Debugging Agents in Agent Factory.	PROMAS	2006	DBLP DOI BibTeX RDF
22	André V. Fidalgo, Gustavo R. Alves, José M. Ferreira 0001	Real Time Fault Injection Using a Modified Debugging Infrastructure.	IOLTS	2006	DBLP DOI BibTeX RDF
22	Tijn Kooijmans, Takayuki Kanda 0001, Christoph Bartneck, Hiroshi Ishiguro, Norihiro Hagita	Interaction debugging: an integral approach to analyze human-robot interaction.	HRI	2006	DBLP DOI BibTeX RDF	interaction, analysis tool, integral approach, multimodal data
22	Arnab Roy 0001, Subrat Kumar Panda, Rajeev Kumar 0004, P. P. Chakrabarti 0001	A framework for systematic validation and debugging of pipeline simulators.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	Simulation-based verification, dataflow equivalence, pipeline validation, design space exploration, instruction scheduling, pipelined architectures
22	Bijan Parsia, Evren Sirin, Aditya Kalyanpur	Debugging OWL ontologies.	WWW	2005	DBLP DOI BibTeX RDF	semantic Web, OWL, explanation, ontology engineering
22	Donglin Liang, Kai Xu 0002	Monitoring with Behavior View Diagrams for Debugging.	APSEC	2005	DBLP DOI BibTeX RDF
22	Sukyoung Ryu, Norman Ramsey	Source-Level Debugging for Multiple Languages with Modest Programming Effort.	CC	2005	DBLP DOI BibTeX RDF
22	Juan Fernández 0001, Fabrizio Petrini, Eitan Frachtenberg	Monitoring and Debugging Parallel Software with BCS-MPI on Large-Scale Clusters.	IPDPS	2005	DBLP DOI BibTeX RDF
22	Liang Shi, Changhai Nie, Baowen Xu	A Software Debugging Method Based on Pairwise Testing.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
22	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	Type-based verification of assembly language for compiler debugging.	TLDI	2005	DBLP DOI BibTeX RDF	abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code
22	Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon	Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
22	Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu	Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
22	Rashid Mehmood, Jon Crowcroft, Steven Hand 0001, Steven Smith	Grid-level computing needs pervasive debugging.	GRID	2005	DBLP DOI BibTeX RDF
22	Jeremy Singer	Concept Assignment as a Debugging Technique for Code Generators.	SCAM	2005	DBLP DOI BibTeX RDF
22	Philipp Graf, Clemens Reichmann, Klaus D. Müller-Glaser	Towards a Platform for Debugging Executed UML-Models in Embedded Systems.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
22	Rashmi Jyothi, Orion Sky Lawlor, Laxmikant V. Kalé	Debugging Support for Charm++.	IPDPS	2004	DBLP DOI BibTeX RDF
22	Donna Nakano, Erric Solomon	Task oriented visual interface for debugging timing problems in hardware design.	AVI	2004	DBLP DOI BibTeX RDF	cognitive model of users, information visualization, visual interface design
22	Panayiotis Neophytou, Neophytos Neophytou, Paraskevas Evripidou	Debugging MPI Grid Applications Using Net-dbx.	European Across Grids Conference	2004	DBLP DOI BibTeX RDF
22	Giuliano Mega, Fabio Kon	Debugging distributed object applications with the Eclipse platform.	eTX	2004	DBLP DOI BibTeX RDF
22	Dung N. Lam, K. Suzanne Barber	Debugging Agent Behavior in an Implemented Agent System.	PROMAS	2004	DBLP DOI BibTeX RDF
22	Juan A. Botía, Juan Manuel Hernansaez, Antonio Fernandez Gómez-Skarmeta	Towards an Approach for Debugging MAS Through the Analysis of ACL Messages.	MATES	2004	DBLP DOI BibTeX RDF
22	Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss	Dataflow Language for Scriptable Debugging.	ASE	2004	DBLP DOI BibTeX RDF
22	Alex Ho, Steven Hand 0001, Tim Harris 0001	PDB: Pervasive Debugging With Xen.	GRID	2004	DBLP DOI BibTeX RDF
22	Takashi Ishio, Shinji Kusumoto, Katsuro Inoue	Debugging Support for Aspect-Oriented Program Based on Program Slicing and Call Graph.	ICSM	2004	DBLP DOI BibTeX RDF
22	Pin Zhou, Feng Qin, Wei Liu 0014, Yuanyuan Zhou 0001, Josep Torrellas	iWatcher: Efficient Architectural Support for Software Debugging.	ISCA	2004	DBLP DOI BibTeX RDF
22	Eric Bae, James Bailey 0001	CodeX: An Approach for Debugging XSLT Transformations.	WISE	2003	DBLP DOI BibTeX RDF
22	Joel Huselius, Daniel Sundmark, Henrik Thane	Starting Conditions for Post-Mortem Debugging Using Deterministic Replay of Real-Time Systems.	ECRTS	2003	DBLP DOI BibTeX RDF
22	Philipp Bouillon, Martin Burger 0002, Andreas Zeller	Automated debugging in Eclipse (at the touch of not even a button).	eTX	2003	DBLP DOI BibTeX RDF
22	David Poutakidis, Lin Padgham, Michael Winikoff	An Exploration of Bugs and Debugging in Multi-agent Systems.	ISMIS	2003	DBLP DOI BibTeX RDF
22	Youlin Fang, Dongqing Yang, Shiwei Tang, Yunhai Tong, Weihua Zhang, Libo Yu, Qiang Fu	CyberETL: Towards Visual Debugging Transformations in Data Integration.	WAIM	2003	DBLP DOI BibTeX RDF
22	Ana Paula Cláudio, João Duarte Cunha	A Race Detection Mechanism Embedded in a Conceptual Model for the Debugging of Message-Passing Distributed Programs.	Euro-Par	2003	DBLP DOI BibTeX RDF
22	V. A. Galatenko, K. A. Kostyukhin	Debugging and Monitoring Distributed Heterogeneous Systems.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
22	Róbert Lovas, Vaidy S. Sunderam	Debugging of Metacomputing Applications.	IPDPS	2002	DBLP DOI BibTeX RDF
22	Dieter Kranzlmüller	Scalable Parallel Program Debugging with Process Isolation and Grouping.	IPDPS	2002	DBLP DOI BibTeX RDF
22	Timothy L. Harris	Dependable software needs pervasive debugging.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
22	Dieter Kranzlmüller, Nam Thoai, Jens Volkert	Debugging Large-Scale, Long-Running Parallel Programs.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
22	Elsa L. Gunter, Doron A. Peled	Temporal Debugging for Concurrent Systems.	TACAS	2002	DBLP DOI BibTeX RDF
22	Mikhail Auguston, Clinton Jeffery, Scott Underwood	A Framework for Automatic Debugging.	ASE	2002	DBLP DOI BibTeX RDF
22	Franz Wotawa, Markus Stumptner, Wolfgang Mayer	Model-Based Debugging or How to Diagnose Programs Automatically.	IEA/AIE	2002	DBLP DOI BibTeX RDF
22	Baowen Xu, Zhenqiang Chen, Hongji Yang	Dynamic Slicing Object-Oriented Programs for Debugging.	SCAM	2002	DBLP DOI BibTeX RDF
22	Wolfgang Mayer, Markus Stumptner	Modeling Programs with Unstructured Control Flow for Debugging.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
22	Farinaz Koushanfar, Darko Kirovski, Inki Hong, Miodrag Potkonjak, Marios C. Papaefthymiou	Symbolic debugging of embedded hardware and software.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
22	Victor A. Krukov, R. V. Udovichenko	Debugging DVM Programs.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF
22	Katharina Mehner	JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.	Software Visualization	2001	DBLP DOI BibTeX RDF