Search results for "debugging"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Mireille Ducassé	(C)LP Tracing and Debugging.	ICLP	2009	DBLP DOI BibTeX RDF
28	Antti Kervinen, Jarmo Jaakkola, Antti Nieminen, Tommi Mikkonen	Towards eased debugging of Python applications on Maemo platform.	Mobility Conference	2009	DBLP DOI BibTeX RDF	Maemo Python, mobile programming, dynamic languages
28	Adrian Lienhard, Julien Fierz, Oscar Nierstrasz	Flow-Centric, Back-in-Time Debugging .	TOOLS (47)	2009	DBLP DOI BibTeX RDF
28	Yi-Ting Lin, Chien-Chou Wang, Ing-Jer Huang	AMBA AHB bus potocol checker with efficient debugging mechanism.	ISCAS	2008	DBLP DOI BibTeX RDF
28	Roman Bednarik, Markku Tukiainen	Temporal eye-tracking data: evolution of debugging strategies with multiple representations.	ETRA	2008	DBLP DOI BibTeX RDF
28	Jorge J. Gómez-Sanz, Juan A. Botía Blaya, Emilio Serrano, Juan Pavón	Testing and Debugging of MAS Interactions with INGENIAS.	AOSE	2008	DBLP DOI BibTeX RDF
28	Luis Daniel Benavides Navarro, Rémi Douence, Mario Südholt	Debugging and Testing Middleware with Aspect-Based Control-Flow and Causal Patterns.	Middleware	2008	DBLP DOI BibTeX RDF
28	Bernd Braßel, Holger Siegel	Debugging Lazy Functional Programs by Asking the Oracle.	IFL	2007	DBLP DOI BibTeX RDF
28	Sean Safarpour, Andreas G. Veneris	Abstraction and refinement techniques in automated design debugging.	DATE	2007	DBLP DOI BibTeX RDF
28	Giuliano Mega, Fabio Kon	An Eclipse-Based Tool for Symbolic Debugging of Distributed Object Systems.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
28	Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran	Debugging ASP Programs by Means of ASP.	LPNMR	2007	DBLP DOI BibTeX RDF
28	Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran	spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics.	INAP/WLP	2007	DBLP DOI BibTeX RDF
28	Mark Hibberd, Michael Lawley, Kerry Raymond	Forensic Debugging of Model Transformations.	MoDELS	2007	DBLP DOI BibTeX RDF
28	C.-Y. Huang, C.-T. Lin	Software Reliability Analysis by Considering Fault Dependency and Debugging Time Lag.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
28	Sean Safarpour, Andreas G. Veneris	Abstraction and Refinement Techniques in Automated Design Debugging.	MTV	2006	DBLP DOI BibTeX RDF
28	Valentina Grigoreanu, Laura Beckwith, Xiaoli Z. Fern, Sherry Yang, Chaitanya Komireddy, Vaishnavi Narayanan, Curtis R. Cook, Margaret M. Burnett	Gender Differences in End-User Debugging, Revisited: What the Miners Found.	VL/HCC	2006	DBLP DOI BibTeX RDF
28	Josep Silva	A Comparative Study of Algorithmic Debugging Strategies.	LOPSTR	2006	DBLP DOI BibTeX RDF
28	Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken	Statistical debugging: simultaneous identification of multiple bugs.	ICML	2006	DBLP DOI BibTeX RDF
28	Alberto de la Encina, Luis Llana, Fernando Rubio 0001	Formalizing the Debugging Process in Haskell.	ICTAC	2005	DBLP DOI BibTeX RDF
28	Tadashi Takeuchi	OS Debugging Method Using a Lightweight Virtual Machine Monitor.	DATE	2005	DBLP DOI BibTeX RDF
28	Marc L. Corliss, E. Christopher Lewis, Amir Roth	Low-Overhead Interactive Debugging via Dynamic Instrumentation with DISE.	HPCA	2005	DBLP DOI BibTeX RDF
28	Stefan Schlobach	Debugging and Semantic Clarification by Pinpointing.	ESWC	2005	DBLP DOI BibTeX RDF
28	Jinyong Jo, JaiSeung Kwak, Okhwan Byeon	MEET : Multicast Debugging Toolkit with End-to-End Packet Trace.	PCM (2)	2005	DBLP DOI BibTeX RDF
28	Jung Hee Kim, Hyun-chul Sim, Yong-hyeog Kang, Young Ik Eom	Design and Implementation of a Remote Debugger for Concurrent Debugging of Multiple Processes in Embedded Linux Systems.	NPC	2004	DBLP DOI BibTeX RDF
28	Gang Liu 0019, Hartmut L. Schmider, Ken E. Edgecombe	A Data Identification Scheme for Automatic Relative Debugging.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
28	Bernard J. Pope	Declarative Debugging with Buddha.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
28	Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi	Efficient debugging in a formal verification environment.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Counter-example, Model checking, Counterexample
28	Marcos Lordello Chaim, José Carlos Maldonado, Mário Jino	A Debugging Strategy Based on Requirements of Testin.	CSMR	2003	DBLP DOI BibTeX RDF
28	Jim Harkin, Michael J. Callaghan, Chris Peters, T. Martin McGinnity, Liam P. Maguire	On-chip and Off-chip Real-Time Debugging for Remotely-Accessed Embedded Programmable Systems.	FPL	2003	DBLP DOI BibTeX RDF
28	Theerayod Wiangtong, Chun Te Ewe, Peter Y. K. Cheung	SONICmole: a debugging environment for the UltraSONIC reconfigurable computer.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
28	Xinli Gu, Weili Wang, Kevin Li, Heon C. Kim, Sung Soo Chung	Re-Using DFT Logic for Functional and Silicon Debugging Test.	ITC	2002	DBLP DOI BibTeX RDF
28	David Poutakidis, Lin Padgham, Michael Winikoff	Debugging multi-agent systems using design artifacts: the case of interaction protocols.	AAMAS	2002	DBLP DOI BibTeX RDF
28	Shyh-Kwei Chen, W. Kent Fuchs, Jen-Yao Chung	Reversible Debugging Using Program Instrumentation.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	reversible execution, compilers, program instrumentation, Debuggers, assembly language
28	Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi	Efficient Debugging in a Formal Verification Environment.	CHARME	2001	DBLP DOI BibTeX RDF
28	Rafael Caballero 0001, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo	Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF
28	João Lourenço, José C. Cunha	Fiddle: A Flexible Distributed Debugging Architecture.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
28	Dieter Kranzlmüller	DeWiz - Modular Debugging for Supercomputers and Computational Grids.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
28	Lee Naish	A Three-Valued Declarative Debugging Scheme.	ACSC	2000	DBLP DOI BibTeX RDF
28	Parthasaranthy Ramachandran, Laxmikant V. Kalé	Multilingual Debugging Support for Data-Driven and Thread-Based Parallel Languages.	LCPC	1999	DBLP DOI BibTeX RDF
28	Richard A. DeMillo, Hsin Pan, Eugene H. Spafford	Failure and Fault Analysis for Software Debugging.	COMPSAC	1997	DBLP DOI BibTeX RDF
28	Ilene Burnstein, Katherine Roberson, Floyd Saner, Abdul Mirza, Abdallah Tubaishat	A Role for Chunking and Fuzzy Reasoning in a Program Comprehension and Debugging Tool.	ICTAI	1997	DBLP DOI BibTeX RDF	AI in Software Engineering, Knowledge Based Systems and Cognitive Modeling
28	David J. Taylor, Thomas Kunz, James P. Black	A Tool for Debugging OSF DCE Applications.	COMPSAC	1996	DBLP DOI BibTeX RDF
28	Michel Hurfin, Michel Raynal	Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging).	WG	1996	DBLP DOI BibTeX RDF
28	Mansur H. Samadzadeh, Winai Wichaipanitch	An Interactive Debugging Tool for C Based on Dynamic Slicing and Dicing.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF	C
28	Henrik Nilsson, Peter Fritzson	Algorithmic Debugging for Lazy Functional Languages.	PLILP	1992	DBLP DOI BibTeX RDF
28	Dean Allemang	Using Functional Models in Automatic Debugging.	IEEE Expert	1991	DBLP DOI BibTeX RDF
28	Mariam Kamkar, Nahid Shahmehri, Peter Fritzson	Bug Localization by Algorithmic Debugging and Program Slicing.	PLILP	1990	DBLP DOI BibTeX RDF
28	Wenwey Hseush, Gail E. Kaiser	Modeling Concurrency in Parallel Debugging.	PPoPP	1990	DBLP DOI BibTeX RDF	DEBUG
28	Deborah S. Coutant, Sue Meloy, Michelle Ruscetta	DOC: A Practical Approach to Source-Level Debugging of Globally Optimized Code.	PLDI	1988	DBLP DOI BibTeX RDF	RISC
28	Benjamin B. Chase, Robert T. Hood	Selective interpretation as a technique for debugging computationally intensive programs.	PLDI	1987	DBLP DOI BibTeX RDF
28	George N. Baird	Program debugging using COBOL '74.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF
28	Sebastian Fischmeister, Yanmeng Ba	Sampling-based program execution monitoring.	LCTES	2010	DBLP DOI BibTeX RDF	embedded system, monitoring, debugging, sampling, tracing
28	Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse	Macrodebugging: global views of distributed program execution.	SenSys	2009	DBLP DOI BibTeX RDF	wireless embedded networks, macroprogramming, source-level debugging
28	Timothy W. Hnat, Tamim I. Sookoor, Kamin Whitehouse	Macrodebugging with MDB.	SenSys	2009	DBLP DOI BibTeX RDF	macrodebugging, wireless embedded networks, source-level debugging
28	Myoungkyu Song, Eli Tilevich	The anti-goldilocks debugger: helping the average bear debug transparently transformed programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	bytecode enhancement, debugging, program transformation
28	Chunqiang Tang	DSF: A Common Platform for Distributed Systems Research and Development.	Middleware	2009	DBLP DOI BibTeX RDF	mutable replay, massive multi-tenancy, chaotic timing test, simulation, distributed systems, debugging
28	Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin	DMP: deterministic shared memory multiprocessing.	ASPLOS	2009	DBLP DOI BibTeX RDF	parallel programming, debugging, multicores, determinism
28	Mi-Young Park, Su Jeong Shim, Yong-Kee Jun, Hyuk-Ro Park	MPIRace-Check: Detection of Message Races in MPI Programs.	GPC	2007	DBLP DOI BibTeX RDF	message races, MPIRace-Check, debugging, message-passing programs
28	Bernd Braßel, Michael Hanus, Sebastian Fischer 0001, Frank Huch, Germán Vidal	Lazy call-by-value evaluation.	ICFP	2007	DBLP DOI BibTeX RDF	debugging techniques, laziness
28	Manu Sridharan, Stephen J. Fink, Rastislav Bodík	Thin slicing.	PLDI	2007	DBLP DOI BibTeX RDF	debugging, program understanding, slicing
28	Tao Wang, Abhik Roychoudhury	Hierarchical dynamic slicing.	ISSTA	2007	DBLP DOI BibTeX RDF	debugging, dynamic slicing, phase detection
28	Alberto de la Encina, Luis Llana, Fernando Rubio 0001, Mercedes Hidalgo-Herrero	Observing intermediate structures in a parallel lazy functional language.	PPDP	2007	DBLP DOI BibTeX RDF	parallel functional programming, semantics, debugging
28	Bernhard Peischl, Franz Wotawa	Automated Source-Level Error Localization in Hardware Designs.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	design error diagnosis, fault localization, model-based diagnosis, software debugging
28	Peter Bellows	High-Visibility Debug-By-Design for FPGA Platforms.	J. Supercomput.	2005	DBLP DOI BibTeX RDF	platform development, FPGA, debugging, device driver, co-simulation
28	Hui Wu, Jeff Gray 0001	Automated generation of testing tools for domain-specific languages.	ASE	2005	DBLP DOI BibTeX RDF	testing, debugging, domain-specific languages, grammar
28	Richard A. DeMillo, Hsin Pan, Eugene H. Spafford	Critical Slicing for Software Fault Localization.	ISSTA	1996	DBLP DOI BibTeX RDF	critical slicing, static program slicing, testing, debugging, failures, faults, fault localization, mutation analysis, dynamic program slicing
27	Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer	An annotation assistant for interactive debugging of programs with common synchronization idioms.	PADTAD	2009	DBLP DOI BibTeX RDF	synchronization idioms, concurrent programs, atomicity
27	Barry Kingsbury	Organizing processes and threads for debugging.	PADTAD	2007	DBLP DOI BibTeX RDF
27	Omar El-Khatib, Enrico Pontelli, Tran Cao Son	Justification and debugging of answer set programs in ASP.	AADEBUG	2005	DBLP DOI BibTeX RDF	small answer set programming, logic programming, justifications
27	Guru Venkataramani, Ioannis Doudalis, Yan Solihin, Milos Prvulovic	MemTracker: An accelerator for memory debugging and monitoring.	ACM Trans. Archit. Code Optim.	2009	DBLP DOI BibTeX RDF	memory access monitoring, debugging, Accelerator
27	Ji Chan Maeng, Jung-Il Kwon, Min-Kyu Sin, Minsoo Ryu	RT-replayer: a record-replay architecture for embedded real-time software debugging.	SAC	2009	DBLP DOI BibTeX RDF	instruction hooking, virtual timestamps, real-time, debugging, timing, embedded, replay, record
27	Balasubramanyan Ashok, Joseph M. Joy, Hongkang Liang, Sriram K. Rajamani, Gopal Srinivasa, Vipindeep Vangala	DebugAdvisor: a recommender system for debugging.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	recommendation systems, search, debugging
27	Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince R. Orgovan, Greg Nichols, David Grant, Gretchen Loihle, Galen C. Hunt	Debugging in the (very) large: ten years of implementation and experience.	SOSP	2009	DBLP DOI BibTeX RDF	blue screen of death, minidump, statistics-based debugging, classifying, labeling, bucketing, error reports
27	Gautam Altekar, Ion Stoica	ODR: output-deterministic replay for multicore debugging.	SOSP	2009	DBLP DOI BibTeX RDF	debugging, multicore, inference, deterministic replay
27	Manuel Wimmer, Angelika Kusel, Johannes Schönböck, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger	Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets.	MoDELS	2009	DBLP DOI BibTeX RDF	QVT Relations, Debugging, Model Transformations, CPN
27	Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler	Contradictory antecedent debugging in bounded model checking.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	formal verification, debugging, bounded model checking, psl
27	Hani Bani-Salameh, Clinton L. Jeffery, Ziad Al-Sharif, Iyad Abu Doush	Integrating Collaborative Program Development and Debugging within a Virtual Environment.	CRIWG	2008	DBLP DOI BibTeX RDF	run-time debugging, Integrated Development Environment (IDE), collaborative environment, debugger
27	Jaroslaw Konrad Lipowski	Debugging, Object and State Management with OpenGL 1.x and 2.x.	ICCVG	2008	DBLP DOI BibTeX RDF	debugging, management, state, OpenGL, batching
27	Shmuel Ur, Scott D. Stoller, Eitan Farchi	6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08).	ISSTA	2008	DBLP DOI BibTeX RDF	testing, parallel, concurrent, debugging, distributed, multi-threaded
27	Amir Zjajo, José Pineda de Gyvez	Calibration and Debugging of Multi-step Analog to Digital Converters.	DELTA	2008	DBLP DOI BibTeX RDF	multi-step ADC, debugging, calibration, design-for-test
27	JaeWoong Chung, Woongki Baek, Nathan Grasso Bronson, Jiwon Seo 0002, Christos Kozyrakis, Kunle Olukotun	Ased: availability, security, and debugging support usingtransactional memory.	SPAA	2008	DBLP DOI BibTeX RDF	security, reliability, debugging, transactional memory
27	Albrecht Mayer, Harry Siebert, Klaus D. McDonald-Maier	Boosting Debugging Support for Complex Systems on Chip.	Computer	2007	DBLP DOI BibTeX RDF	debugging support, embedded systems, SoCs
27	Young-Joo Kim, Jae-Seon Lim, Yong-Kee Jun	Scalable Thread Visualization for Debugging Data Races in OpenMP Programs.	GPC	2007	DBLP DOI BibTeX RDF	OpenMP programs, data race debugging, scalable thread visualization, three-dimensional visualization
27	Bruno C. Albertini, Sandro Rigo, Guido Araujo, Cristiano C. de Araújo, Edna Barros, Willians Azevedo	A computational reflection mechanism to support platform debugging in SystemC.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	debugging, system architecture, platform-based design, computational reflection
27	Joon-Myung Kang, Hong-Taek Ju, Mi-Jung Choi, James Won-Ki Hong	OMA DM Based Remote Software Debugging of Mobile Devices.	APNOMS	2007	DBLP DOI BibTeX RDF	Mobile Device Diagn-ostics, OMA DM, OMA DM DiagMon, Software Debugging, Device Management
27	Lingxiao Jiang, Zhendong Su 0001	Context-aware statistical debugging: from bug predictors to faulty control flow paths.	ASE	2007	DBLP DOI BibTeX RDF	bug localization, machine learning, control flow analysis, statistical debugging
27	Cemal Yilmaz 0001, Clay Williams	An automated model-based debugging approach.	ASE	2007	DBLP DOI BibTeX RDF	model-based problem determination, fault localization, automated debugging
27	Ali Al-Shabibi, Sebastian Gerlach, Roger D. Hersch, Basile Schaeli	A debugger for flow graph based parallel applications.	PADTAD	2007	DBLP DOI BibTeX RDF	flow graph based debugging, flow graph based parallel applications, message race detection, message reordering, parallel schedules
27	Satish Narayanasamy, Gilles Pokam, Brad Calder	BugNet: Recording Application-Level Execution for Deterministic Replay Debugging.	IEEE Micro	2006	DBLP DOI BibTeX RDF	BugNet, debugging, DMA
27	Alberto de la Encina, Luis Llana, Fernando Rubio 0001	Introducing Debugging Capabilities to Natural Semantics.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	semantics, debugging, Functional programming
27	Kamin Whitehouse, Gilman Tolle, Jay Taneja, Cory Sharp, Sukun Kim, Jaein Jeong, Jonathan Hui, Prabal Dutta, David E. Culler	Marionette: using RPC for interactive development and debugging of wireless embedded networks.	IPSN	2006	DBLP DOI BibTeX RDF	debugging, programming, RPC, embedded networks
27	Zoltán Porkoláb, József Mihalicza, Ádám Sipos	Debugging C++ template metaprograms.	GPCE	2006	DBLP DOI BibTeX RDF	template metaprogramming, C++, debugging
27	Martin Burger 0002, Karsten Lehmann, Andreas Zeller	Automated debugging in eclipse.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	testing, debugging, programming environments, program comprehension, version control
27	Laura Beckwith, Margaret M. Burnett, Susan Wiedenbeck, Curtis R. Cook, Shraddha Sorte, Michelle Hastings	Effectiveness of end-user debugging software features: are there gender issues?	CHI	2005	DBLP DOI BibTeX RDF	surprise-explain-reward, debugging, gender, end-user programming, end-user software engineering
27	Chad D. Sterling, Ronald A. Olsson	Automated bug isolation via program chipping.	AADEBUG	2005	DBLP DOI BibTeX RDF	bug isolation, program chipping, debugging, program slicing, data slicing
27	Susan Darling Urban, Taoufik Ben Abdellatif, Suzanne W. Dietrich, Amy Sundermier	Delta Abstractions: A Technique for Managing Database States in Runtime Debugging of Active Database Rules.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	object deltas, rule analysis and debugging, Active database systems
27	Cristina Cifuentes, Trent Waddington, Mike Van Emmerik	Computer Security Analysis through Decompilation and High-Level Debugging.	WCRE	2001	DBLP DOI BibTeX RDF	security, reverse engineering, debugging, Decompilation
27	Dieter Kranzlmüller, Nenad Stankovic, Jens Volkert	Debugging Parallel Programs with Visual Patterns.	VL	1999	DBLP DOI BibTeX RDF	software testing, error detection, pattern analysis, visual debugging
27	Habib Ammari	Towards Program Debugging and Dynamic Reverse Engineering Using Multi-procedure Program Dynamic Decomposition.	HICSS (5)	1997	DBLP DOI BibTeX RDF	dynamic reverse engineering, dynamic decomposition, dynamic dependency relations, program execution path, dynamic program thread, dynamic lattice, incremental dynamic lattice, Software engineering, debugging
27	S. Venkatesan 0001, Brahma Dathan	Testing and Debugging Distributed Programs Using Global Predicates.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Distributed algorithms, asynchronous distributed systems, message complexity, distributed debugging, distributed testing, global predicates