Search results for "debugger"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Gordon Ashby, Loren Salmonson, Robert Heilman	Design of an Interactive Debugger for FORTRAN:MANTIS.	Softw. Pract. Exp.	1973	DBLP DOI BibTeX RDF
18	Morrie Gasser	An interactive debugger for software and firmware.	MICRO	1973	DBLP DOI BibTeX RDF
18	William H. Josephs	An on-line machine language debugger for OS/360.	AFIPS Fall Joint Computing Conference	1969	DBLP DOI BibTeX RDF
10	John J. Barton, Jan Odvarko	Dynamic and graphical web page breakpoints.	WWW	2010	DBLP DOI BibTeX RDF	firebug, web, debugging, dynamic, html, javascript, css, breakpoints
10	David Williams-King, John Aycock, Daniel Medeiros Nunes de Castro	Enbug: when debuggers go bad.	ITiCSE	2010	DBLP DOI BibTeX RDF	education, testing, aspect-oriented programming, debuggers
10	David A. Patterson 0001	Software knows best: portable parallelism requires standardized measurements of transparent hardware.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	standardized
10	Cheng Zhang, Dacong Yan, Jianjun Zhao 0001, Yuting Chen, Shengqian Yang	BPGen: an automated breakpoint generator for debugging.	ICSE (2)	2010	DBLP DOI BibTeX RDF	debugging, breakpoint
10	Franco Fummi, Mirko Loghi, Massimo Poncino, Graziano Pravadelli	A cosimulation methodology for HW/SW validation and performance estimation.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	HW/SW co-simulation, HW/SW validation, Embedded Systems
10	Derek Hower, Pablo Montesinos, Luis Ceze, Mark D. Hill, Josep Torrellas	Two hardware-based approaches for deterministic multiprocessor replay.	Commun. ACM	2009	DBLP DOI BibTeX RDF
10	Peter Fritzson, Adrian Pop, David Broman, Peter Aronsson	Formal Semantics Based Translator Generation and Tool Development in Practice.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
10	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
10	Timothy W. Hnat, Tamim I. Sookoor, Kamin Whitehouse	Macrodebugging with MDB.	SenSys	2009	DBLP DOI BibTeX RDF	macrodebugging, wireless embedded networks, source-level debugging
10	Ganesh Gopalakrishnan, Robert M. Kirby	Practical Formal Verification of MPI and Thread Programs.	PVM/MPI	2009	DBLP DOI BibTeX RDF
10	Myoungkyu Song, Eli Tilevich	Enhancing source-level programming tools with an awareness of transparent program transformations.	OOPSLA	2009	DBLP DOI BibTeX RDF	debugging, program transformation, domain-specific languages, enhancement, bytecode engineering
10	Heinz Bast	Parallelism in Current and Future Processors - Challenges and Support for Designing Optimal Algorithms.	SEA	2009	DBLP DOI BibTeX RDF
10	Lei Liu 0021, Songqing Chen	Malyzer: Defeating Anti-detection for Application-Level Malware Analysis.	ACNS	2009	DBLP DOI BibTeX RDF
10	Filippo Gioachin, Laxmikant V. Kalé	Dynamic high-level scripting in parallel applications.	IPDPS	2009	DBLP DOI BibTeX RDF
10	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
10	Amy J. Ko, Brad A. Myers	Finding causes of program output with the Java Whyline.	CHI	2009	DBLP DOI BibTeX RDF	whyline, debugging, instrumentation, slicing
10	Chaoting Xuan, John A. Copeland, Raheem A. Beyah	Toward Revealing Kernel Malware Behavior in Virtual Execution Environments.	RAID	2009	DBLP DOI BibTeX RDF	Dynamic Analysis, Emulator, Rootkit
10	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
10	Adrian Lienhard, Julien Fierz, Oscar Nierstrasz	Flow-Centric, Back-in-Time Debugging .	TOOLS (47)	2009	DBLP DOI BibTeX RDF
10	Sukanya Ratanotayanon, Susan Elliott Sim	Inventive Tool Use to Comprehend Big Code.	IEEE Softw.	2008	DBLP DOI BibTeX RDF
10	Adrián Riesco 0001, Alberto Verdejo, Rafael Caballero 0001, Narciso Martí-Oliet	Declarative Debugging of Rewriting Logic Specifications.	WADT	2008	DBLP DOI BibTeX RDF
10	Yung-Pin Cheng, Jih-Feng Chen, Ming-Chieh Chiu, Nien-Wei Lai, Chien-Chih Tseng	xDIVA: a debugging visualization system with composable visualization metaphors.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	composable visualization metaphors, debugging visualization, program visualization
10	Kevin Camera, Robert W. Brodersen	An integrated debugging environment for FPGA computing platforms.	FPGA	2008	DBLP DOI BibTeX RDF	simulation, FPGA, design, verification
10	Habib Seifzadeh, Mostafa Kermani, Mohsen Sadighi Moshkenani	Dynamic Maintenance of Software Systems at Runtime.	ARES	2008	DBLP DOI BibTeX RDF	Dynamic Software maintenance, Availability, Software requirements, Type-Safety
10	Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann	Using Dynamic Symbolic Execution to Improve Deductive Verification.	SPIN	2008	DBLP DOI BibTeX RDF
10	Qin Zhao, Rodric M. Rabbah, Saman P. Amarasinghe, Larry Rudolph, Weng-Fai Wong	How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation.	CC	2008	DBLP DOI BibTeX RDF
10	Hugo Venturini, Frédéric Riss, Jean-Claude Fernandez, Miguel Santana	A fully-non-transparent approach to the code location problem.	SCOPES	2008	DBLP DOI BibTeX RDF
10	James H. Cross II, T. Dean Hendrix, David A. Umphress, Larry A. Barowski	Exploring accessibility and visibility relationships in java.	ITiCSE	2008	DBLP DOI BibTeX RDF	jGRASP, object viewers, visualization, object-oriented programming, inheritance, polymorphism
10	André V. Fidalgo, Gustavo R. Alves, Manuel G. Gericota, José Manuel Martins Ferreira	A comparative analysis of fault injection methods via enhanced on-chip debug infrastructures.	SBCCI	2008	DBLP DOI BibTeX RDF	real time systems, dependability, fault injection
10	Marco Blumendorf, Sebastian Feuerstack, Sahin Albayrak	Multimodal user interfaces for smart environments: the multi-access service platform.	AVI	2008	DBLP DOI BibTeX RDF	runtime interpretation, smart home environments, human-computer interaction, usability, ubiquitous computing, interface design, multimodal interaction, model-based user interfaces
10	Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich	Challenges in embedded model checking - a simulator for the [mc]square model checker.	SIES	2008	DBLP DOI BibTeX RDF
10	Saeed Parsa, Mojtaba Vahidi-Asl, Somaye Arabi Naree	Finding Causes of Software Failure Using Ridge Regression and Association Rule Generation Methods.	SNPD	2008	DBLP DOI BibTeX RDF	Ridge Regression method, Association rule generation, Bug predictors, Predicate, Software debugging
10	Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez	A Theoretical Framework for the Declarative Debugging of Datalog Programs.	SDKB	2008	DBLP DOI BibTeX RDF
10	Lidia Fuentes, Jorge Manrique, Pablo Sánchez 0002	Pópulo: a tool for debugging UML models.	ICSE Companion	2008	DBLP DOI BibTeX RDF	executable uml, model execution, model simulation
10	Guillaume Marceau, Gregory H. Cooper, Jonathan P. Spiro, Shriram Krishnamurthi, Steven P. Reiss	The design and implementation of a dataflow language for scriptable debugging.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Script automation, Dataflow dsl scheme, Java, Debugging
10	Tijn Kooijmans, Takayuki Kanda 0001, Christoph Bartneck, Hiroshi Ishiguro, Norihiro Hagita	Accelerating Robot Development Through Integral Analysis of Human-Robot Interaction.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
10	Bobby D. Birrer, Richard A. Raines, Rusty O. Baldwin, Barry E. Mullins, Robert W. Bennington	Program Fragmentation as a Metamorphic Software Protection.	IAS	2007	DBLP DOI BibTeX RDF
10	Guillaume Pothier, Éric Tanter, José M. Piquer	Scalable omniscient debugging.	OOPSLA	2007	DBLP DOI BibTeX RDF	interface components, omniscient debugging, partial traces, specialized distributed database, scalability, execution traces
10	Ulrike Ranger, Erhard Weinell	The Graph Rewriting Language and Environment PROGRES.	AGTIVE	2007	DBLP DOI BibTeX RDF
10	Marina Polishchuk, Ben Liblit, Chloë W. Schulze	Dynamic heap type inference for program understanding and debugging.	POPL	2007	DBLP DOI BibTeX RDF	dynamic type inference, heap visualization, physical subtyping, constraints, debugging tools, conservative garbage collection
10	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Debugging and Troubleshooting.	All About Maude	2007	DBLP DOI BibTeX RDF
10	Chu-Ti Lin, Chin-Yu Huang, Chuan-Ching Sue	Measuring and Assessing Software Reliability Growth through Simulation-Based Approaches.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
10	Ryan Culpepper, Matthias Felleisen	Debugging macros.	GPCE	2007	DBLP DOI BibTeX RDF
10	Igor V. Kotenko, Artem Tishkov, Olga Chervatuk, Ekaterina Sidelnikova	Security Policy Verification Tool for Geographical Information Systems.	IF&GIS	2007	DBLP DOI BibTeX RDF	Security, verification, security policy
10	Norio Sato, Keisuke Kosuga	Session-aware debugging features for web applications using Ruby and Python frameworks.	DOSTA	2007	DBLP DOI BibTeX RDF
10	Perry H. Wang, Jamison D. Collins, Gautham N. Chinya, Hong Jiang, Xinmin Tian, Milind Girkar, Nick Y. Yang, Guei-Yuan Lueh, Hong Wang 0003	EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system.	PLDI	2007	DBLP DOI BibTeX RDF	GPU, openMP, heterogeneous multi-cores
10	Hadipurnawan Satria, Baatarbileg Altangerel, Jin Baek Kwon, Jeong-Bae Lee	Configurable Virtual Platform Environment Using SID Simulator and Eclipse.	SEUS	2007	DBLP DOI BibTeX RDF	embedded software, development tools, virtual platform, full system simulator
10	Sang-Young Cho, Yoojin Chung, Jung-Bae Lee	Virtual Development Environment Based on SystemC for Embedded Systems.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Virtual development environment, Embedded system development, Remote debug interface, Hardware simulation, SystemC
10	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
10	Marta Portela-García, Celia López-Ongil, Mario García-Valderas, Luis Entrena	A Rapid Fault Injection Approach for Measuring SEU Sensitivity in Complex Processors.	IOLTS	2007	DBLP DOI BibTeX RDF
10	Igor V. Kotenko, Olga Chervatuk, Ekaterina Sidelnikova, Artem Tishkov	Hybrid Multi-module Security Policy Verification.	POLICY	2007	DBLP DOI BibTeX RDF
10	Sandya Mannarswamy, Shruti Doval, Hariharan Sandanagobalane, Mahesha Nanjundaiah	TRICK: tracking and reusing compiler's knowledge.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	optimization, compiler, reuse, program analysis, tools
10	Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu	Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	system development tools, automatic debugging, counting SAT problem, Real-time system, formal methods, timing constraint, incremental computation
10	Prabhat Mishra 0001, Aviral Shrivastava, Nikil D. Dutt	Architecture description language (ADL)-driven software toolkit generation for architectural exploration of programmable SOCs.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	programmable architecture, design space exploration, Architecture description language, embedded processor, retargetable compilation
10	Diomidis Spinellis	Debuggers and logging frameworks.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	logging framework, debugging, breakpoint
10	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
10	James H. Cross II, T. Dean Hendrix	jGRASP: a lightweight IDE with dynamic object viewers for CS1 and CS2.	ITiCSE	2006	DBLP DOI BibTeX RDF	Java
10	James H. Cross II, T. Dean Hendrix, Larry A. Barowski, Jhilmil Jain	Dynamic Object Viewers for Java.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
10	Jason Hiser, Naveen Kumar 0002, Min Zhao 0009, Shukang Zhou, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa	Techniques and tools for dynamic optimization.	IPDPS	2006	DBLP DOI BibTeX RDF
10	Nicolas Loriant, Jean-Marc Menaud	The Case for Distributed Execution Replay Using a Virtual Machine.	WETICE	2006	DBLP DOI BibTeX RDF
10	Christopher Gottbrath, Peter Thompson	TotalView - TotalView tips and tricks.	SC	2006	DBLP DOI BibTeX RDF
10	Richard M. Stallman	The Free Software Movement and the GNU/Linux Operating System.	ICSM	2006	DBLP DOI BibTeX RDF
10	Karina Valdivia Delgado, Leliane Nunes de Barros	Diagnostic of Programs for Programming Learning Tools.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
10	Josep Silva	A Comparative Study of Algorithmic Debugging Strategies.	LOPSTR	2006	DBLP DOI BibTeX RDF
10	Paul Sack, Brian E. Bliss, Zhiqiang Ma, Paul Petersen, Josep Torrellas	Accurate and efficient filtering for the Intel thread checker race detector.	ASID	2006	DBLP DOI BibTeX RDF	data-race detection
10	Gabor Gombás, Csaba Attila Marosi, Zoltán Balaton	Grid Application Monitoring and Debugging Using the Mercury Monitoring System.	EGC	2005	DBLP DOI BibTeX RDF	remote debugging, Grid, MPI, performance monitoring
10	Franjo Ivancic, Zijiang Yang 0006, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar	F-Soft: Software Verification Platform.	CAV	2005	DBLP DOI BibTeX RDF
10	Frédéric Jouault, Ivan Kurtev	Transforming Models with ATL.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
10	Brett Carson, Ian A. Mason	ClusterGrind: Valgrinding LAM/MPI Applications.	PVM/MPI	2005	DBLP DOI BibTeX RDF	passing, debugging, profiling, message, reporting
10	Hui Wu, Jeff Gray 0001	Testing domain-specific languages in eclipse.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	testing, debugging, domain-specific languages, eclipse, grammar
10	Hui Wu	Grammar-driven generation of domain-specific language testing tools.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	testing, debugging, domain-specific languages, grammar
10	Qian Wang 0024, Gopal Gupta 0001	Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach.	SAC	2005	DBLP DOI BibTeX RDF	horn logical semantics, semantics, domain specific languages, interpreter
10	Hui Wu, Jeffrey G. Gray, Suman Roychoudhury, Marjan Mernik	Weaving a debugging aspect into domain-specific language grammars.	SAC	2005	DBLP DOI BibTeX RDF	debugging, AOSD, DSLs, grammarware
10	Alberto de la Encina, Luis Llana, Fernando Rubio 0001	Formalizing the Debugging Process in Haskell.	ICTAC	2005	DBLP DOI BibTeX RDF
10	Gang Liu 0019, Hartmut L. Schmider, Ken E. Edgecombe	The HPCVL Working Template: A Tool for High-Performance Programming.	HPCS	2005	DBLP DOI BibTeX RDF
10	Paul V. Gestwicki, Bharat Jayaraman	Methodology and architecture of JIVE.	SOFTVIS	2005	DBLP DOI BibTeX RDF
10	Elizabeth L. White, Ranjan Sen, Nina Stewart	Hide and show: using real compiler code for teaching.	SIGCSE	2005	DBLP DOI BibTeX RDF	SSCLI, compilers, parsing
10	Andrew Ayers, Richard Schooler, Chris Metcalf, Anant Agarwal, Junghwan Rhee, Emmett Witchel	TraceBack: first fault diagnosis by reconstruction of distributed control flow.	PLDI	2005	DBLP DOI BibTeX RDF	fault diagnosis, instrumentation
10	Paul Agron, Leo Bachmair, Frank Nielsen	A Visual Interactive Framework for Formal Derivation.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
10	Robin Abraham, Martin Erwig	Goal-Directed Debugging of Spreadsheets.	VL/HCC	2005	DBLP DOI BibTeX RDF	Static Analysis, Debugging, Spreadsheet, End-User Software Engineering
10	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
10	Rashid Mehmood, Jon Crowcroft, Steven Hand 0001, Steven Smith	Grid-level computing needs pervasive debugging.	GRID	2005	DBLP DOI BibTeX RDF
10	Jonathan Edwards	Example centric programming.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	integrated development, debugging, eclipse, unit testing, environment, examples
10	Neeraj Mittal, Vijay K. Garg	Finding missing synchronization in a distributed computation using controlled re-execution.	Distributed Comput.	2004	DBLP DOI BibTeX RDF	Controlled re-execution, Predicate control, Distributed system, Debugging, Software-fault tolerance
10	Tankut Akgul, Vincent John Mooney III	Assembly instruction level reverse execution for debugging.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	reverse code generation, reverse execution, Debugging
10	Jonathan Edwards	Example centric programming.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	debugging, eclipse, unit testing, integrated development environment, examples
10	María del Milagro Bolado, Hector Posadas, Javier Castillo, Pablo Huerta, Pablo Sánchez, Carlos Sánchez, Häkan Fouren, Francisco Blasco	Platform Based on Open-Source Cores for Industrial Applications.	DATE	2004	DBLP DOI BibTeX RDF
10	Rashmi Jyothi, Orion Sky Lawlor, Laxmikant V. Kalé	Debugging Support for Charm++.	IPDPS	2004	DBLP DOI BibTeX RDF
10	Jan Christiansen, Frank Huch	Searching for deadlocks while debugging concurrent haskell programs.	ICFP	2004	DBLP DOI BibTeX RDF	concurrent haskell, detecting deadlocks, debugging, deadlock
10	T. Dean Hendrix, James H. Cross II, Larry A. Barowski	An extensible framework for providing dynamic data structure visualizations in a lightweight IDE.	SIGCSE	2004	DBLP DOI BibTeX RDF	data structures, program visualization, algorithm animation
10	Giuliano Mega, Fabio Kon	Debugging distributed object applications with the Eclipse platform.	eTX	2004	DBLP DOI BibTeX RDF
10	Edmund M. Clarke, Daniel Kroening, Flavio Lerda	A Tool for Checking ANSI-C Programs.	TACAS	2004	DBLP DOI BibTeX RDF
10	Nick Benton, Andrew Kennedy, Claudio V. Russo	Adventures in interoperability: the SML.NET experience.	PPDP	2004	DBLP DOI BibTeX RDF	applications of declarative programming, integration of paradigms, programming environments, functional programming
10	Adam J. Conover, Yeong-Tae Song	Slicing JavaTM Programs Using the JPDA and Dynamic Object Relationship Diagrams with XML.	SERA	2004	DBLP DOI BibTeX RDF
10	Bart Vermeulen, Tom Waayers, Sjaak Bakker	Multi-TAP Controller Architecture for Digital System Chips.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	system-chips, IEEE-1149.1, software-debug, design-for-debug, multi-TAP
10	Eric Bae, James Bailey 0001	CodeX: An Approach for Debugging XSLT Transformations.	WISE	2003	DBLP DOI BibTeX RDF
10	Michael John Pacione, Marc Roper, Murray Wood	Comparative Evaluation of Dynamic Visualisation Tools.	WCRE	2003	DBLP DOI BibTeX RDF