Search results for "Debugging"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Nick Rutar, Jeffrey K. Hollingsworth	Assigning Blame: Mapping Performance to High Level Parallel Programming Abstractions.	Euro-Par	2009	DBLP DOI BibTeX RDF
12	Brad A. Myers	Engineering more natural interactive programming systems: keynote talk.	EICS	2009	DBLP DOI BibTeX RDF	end-user software engineering
12	Clayton G. Myers, Elisa L. A. Baniassad	Metaproperty aspects.	AOSD	2009	DBLP DOI BibTeX RDF	metaproperties, aspect-oriented programming
12	Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte	VCC: Contract-based modular verification of concurrent C.	ICSE Companion	2009	DBLP DOI BibTeX RDF
12	Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest	Automatically finding patches using genetic programming.	ICSE	2009	DBLP DOI BibTeX RDF
12	Goutam Debnath, Paul J. Thadikaran	Design for Manufacturability and Reliability in Nano Era.	VLSI Design	2009	DBLP DOI BibTeX RDF
12	Hong Lu, A. Forin	Automatic Processor Customization for Zero-Overhead Online Software Verification.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
12	Shelly Park, Frank Maurer	Multi-modal Functional Test Execution.	XP	2008	DBLP DOI BibTeX RDF	Executable Acceptance Testing, Func-tional Specifications, Multi-modal Test Execution, Test Driven Development, Functional Testing, Architectural Design Decisions, Validation Testing
12	Syeda Nessa, Muhammad Abedin, W. Eric Wong, Latifur Khan, Yu Qi	Software Fault Localization Using N-gram Analysis.	WASA	2008	DBLP DOI BibTeX RDF
12	Abdalkarim Awad, Rodrigo Nebel, Reinhard German, Falko Dressler	On the Need for Passive Monitoring in Sensor Networks.	DSD	2008	DBLP DOI BibTeX RDF
12	Joseph L. Greathouse, Ilya Wagner, David A. Ramos, Gautam Bhatnagar, Todd M. Austin, Valeria Bertacco, Seth Pettie	Testudo: Heavyweight security analysis via statistical sampling.	MICRO	2008	DBLP DOI BibTeX RDF
12	Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero 0001	A Declarative Debugger for Maude.	AMAST	2008	DBLP DOI BibTeX RDF
12	Wim De Pauw, Henrique Andrade, Lisa Amini	Streamsight: a visualization tool for large-scale streaming applications.	SOFTVIS	2008	DBLP DOI BibTeX RDF	stream processing visualization, visualizing topologies, distributed processing, dynamic visualization
12	Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum	Significant Diagnostic Counterexamples in Probabilistic Model Checking.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
12	Chengying Mao	Performing Combinatorial Testing on Web Service-Based Software.	CSSE (2)	2008	DBLP DOI BibTeX RDF
12	Peifeng Hu, Zhenyu Zhang 0004, Wing Kwong Chan, T. H. Tse	Fault Localization with Non-parametric Program Behavior Model.	QSIC	2008	DBLP DOI BibTeX RDF	non-parameter statistics, Fault localization
12	George W. Dunlap, Dominic G. Lucchetti, Michael A. Fetterman, Peter M. Chen	Execution replay of multiprocessor virtual machines.	VEE	2008	DBLP DOI BibTeX RDF	ReVirt, direct memory access, execution replay, hardware page protections, virtual machines, multiprocessors, multithreading, determinism, Xen
12	Kees Goossens, Bart Vermeulen, Remco van Steeden, Martijn T. Bennebroek	Transaction-Based Communication-Centric Debug.	NOCS	2007	DBLP DOI BibTeX RDF
12	Megan Wachs, Jung Il Choi, Jung Woo Lee, Kannan Srinivasan 0001, Zhe Chen, Mayank Jain, Philip Alexander Levis	Visibility: a new metric for protocol design.	SenSys	2007	DBLP DOI BibTeX RDF	sensor networks, metrics, visibility
12	Sean Safarpour, Andreas G. Veneris, Hratch Mangassarian	Trace Compaction using SAT-based Reachability Analysis.	ASP-DAC	2007	DBLP DOI BibTeX RDF
12	Sai Zhang 0001, Jianjun Zhao 0001	On Identifying Bug Patterns in Aspect-Oriented Programs.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
12	Donny Kurniawan, David Abramson 0001	A WSRF-Compliant Debugger for Grid Applications.	IPDPS	2007	DBLP DOI BibTeX RDF
12	Milena Milenkovic, Aleksandar Milenkovic, Martin Burtscher	Algorithms and Hardware Structures for Unobtrusive Real-Time Compression of Instruction and Data Address Traces.	DCC	2007	DBLP DOI BibTeX RDF
12	Iftikhar Ahmed Khan, Robert M. Hierons, Willem-Paul Brinkman	Mood independent programming.	ECCE	2007	DBLP DOI BibTeX RDF	emotions, affect, integrated development environments, programmers, moods
12	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
12	C. J. Clark	Tutorial IND2B: Structured Embedded Configuration and Test.	VLSI Design	2007	DBLP DOI BibTeX RDF
12	Jay P. Hoeflinger	Programming with cluster openMP.	PPoPP	2007	DBLP DOI BibTeX RDF	shared memory, OpenMP, computational clusters
12	Vijayanand Nagarajan, Rajiv Gupta 0001, Matias Madou, Xiangyu Zhang 0001, Bjorn De Sutter	Matching Control Flow of Program Versions.	ICSM	2007	DBLP DOI BibTeX RDF
12	Ariane Gravel, Xiang Fu 0001, Jianwen Su	An Analysis Tool for Execution of BPEL Services.	CEC/EEE	2007	DBLP DOI BibTeX RDF
12	Chung-Fu Kao, Ing-Jer Huang, Chi-Hung Lin	An Embedded Multi-resolution AMBA Trace Analyzer for Microprocessor-based SoC Integration.	DAC	2007	DBLP DOI BibTeX RDF
12	J. Ángel Velázquez-Iturbide	Principled design of logical fisheye views of functional expressions.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	functional programming, expressions, program visualization, focus+context, fisheye views
12	Ian MacLarty, Zoltan Somogyi	Controlling Search Space Materialization in a Practical Declarative Debugger.	PADL	2006	DBLP DOI BibTeX RDF
12	Kazunori Ogata, Tamiya Onodera, Kiyokuni Kawachiya, Hideaki Komatsu, Toshio Nakatani	Replay compilation: improving debuggability of a just-in-time compiler.	OOPSLA	2006	DBLP DOI BibTeX RDF	problem determination, replay compilation, Java, dynamic optimization, JIT compiler, debuggability, deterministic replay
12	Dmitry Akselrod, Asaf Ashkenazi, Yossi Amon	Platform independent debug port controller architecture with security protection for multi-processor system-on-chip ICs.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
12	Rafael Caballero 0001, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.	ICLP	2006	DBLP DOI BibTeX RDF
12	Charlie Ross, A. P. Wim Böhm	A Co-Verification Tool for a High Level Language Compiler for FPGAs.	FCCM	2006	DBLP DOI BibTeX RDF
12	Ronald F. Buskey, Barbara B. Frosik	Protected JTAG.	ICPP Workshops	2006	DBLP DOI BibTeX RDF
12	Jan Sudeikat, Lars Braubach, Alexander Pokahr, Winfried Lamersdorf, Wolfgang Renz	Validation of BDI Agents.	PROMAS	2006	DBLP DOI BibTeX RDF
12	Claudio Ochoa, Josep Silva, Germán Vidal	A Slicing Tool for Lazy Functional Logic Programs.	JELIA	2006	DBLP DOI BibTeX RDF
12	Shaochun Xu, Xuhui Chen, Jianxin Mai	Krecorder: An Eclipse Plug-in Tool for Incremental Software Development.	CCECE	2006	DBLP DOI BibTeX RDF
12	Nicolas Loriant, Jean-Marc Menaud	The Case for Distributed Execution Replay Using a Virtual Machine.	WETICE	2006	DBLP DOI BibTeX RDF
12	Christopher Gottbrath	S09 - Eliminating parallel application memory bugs with TotalView.	SC	2006	DBLP DOI BibTeX RDF
12	Alexander Felfernig	Diagnosing Faulty Transitions in Recommender User Interface Descriptions.	IEA/AIE	2006	DBLP DOI BibTeX RDF	user interface design, diagnosis, knowledge-based recommenders
12	Rafael H. Bordini, Mehdi Dastani, Michael Winikoff	Current Issues in Multi-Agent Systems Development.	ESAW	2006	DBLP DOI BibTeX RDF
12	Timothy Tsai, Kalyan Vaidyanathan, Kenny C. Gross	Low-Overhead Run-Time Memory Leak Detection and Recovery.	PRDC	2006	DBLP DOI BibTeX RDF
12	Rui Abreu 0001, Peter Zoeteweij, Arjan J. C. van Gemund	An Evaluation of Similarity Coefficients for Software Fault Localization.	PRDC	2006	DBLP DOI BibTeX RDF
12	Husain Aljazzar, Stefan Leue	Extended Directed Search for Probabilistic Timed Reachability.	FORMATS	2006	DBLP DOI BibTeX RDF
12	Long Fei, Kyungwoo Lee, Fei Li, Samuel P. Midkiff	Argus: Online Statistical Bug Detection.	FASE	2006	DBLP DOI BibTeX RDF
12	Thi Viet Nga Nguyen, François Irigoin	Efficient and effective array bound checking.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	interprocedural analysis, Array bound checking
12	Gerhard Friedrich, Kostyantyn M. Shchekotykhin	A General Diagnosis Method for Ontologies.	ISWC	2005	DBLP DOI BibTeX RDF
12	Andrew Duller, Daniel Towner, Gajinder Panesar, Alan Gray, Will Robbins	picoArray Technology: The Tool's Story.	DATE	2005	DBLP DOI BibTeX RDF
12	Ludovic Langevine	Gentra4cp: A Generic Trace Format for Constraint Programming.	ICLP	2005	DBLP DOI BibTeX RDF
12	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
12	Bhanu Pisupati, Geoffrey Brown	File System Interfaces for Embedded Software Development.	ICCD	2005	DBLP DOI BibTeX RDF
12	Qianni Deng, Xugang Wang, Dehua Zang	Monitoring MPI Running Nodes Status for Load Balance.	GCC	2005	DBLP DOI BibTeX RDF
12	Bruce Quig, Michael Kölling, John Rosenberg, Phillip Steele	Interactive Visualisation and Testing of Jini Services.	QSIC	2005	DBLP DOI BibTeX RDF
12	Dan Hao 0001, Lu Zhang 0023, Hao Zhong 0001, Hong Mei 0001, Jiasu Sun	Eliminating Harmful Redundancy for Testing-Based Fault Localization Using Test Suite Reduction: An Experimental Study.	ICSM	2005	DBLP DOI BibTeX RDF
12	Chengying Mao, Yansheng Lu	Extracting the Representative Failure Executions via Clustering Analysis Based on Markov Profile Model.	ADMA	2005	DBLP DOI BibTeX RDF
12	Rainer Burgstaller, Egon Wuchner, Ludger Fiege, Michael Becker 0006, Thomas Fritz 0001	Using Domain Driven Development for Monitoring Distributed Systems.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
12	Olaf Chitil	Source-Based Trace Exploration.	IFL	2004	DBLP DOI BibTeX RDF
12	Bob Kuhn	Productivity in HPC Clusters.	NPC	2004	DBLP DOI BibTeX RDF
12	Claudio Ochoa, Josep Silva, Germán Vidal	Dynamic slicing based on redex trails.	PEPM	2004	DBLP DOI BibTeX RDF	lazy functional logic programming, redex trails, slicing
12	Ewing L. Lusk	An Open Cluster System Software Stack.	PVM/MPI	2004	DBLP DOI BibTeX RDF
12	Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia C. Chesley	Chianti: a tool for change impact analysis of java programs.	OOPSLA	2004	DBLP DOI BibTeX RDF	analysis of object-oriented programs, regression test, unit test, change impact analysis
12	Gogul Balakrishnan, Thomas W. Reps	Analyzing Memory Accesses in x86 Executables.	CC	2004	DBLP DOI BibTeX RDF
12	Tankut Akgul, Vincent John Mooney III, Santosh Pande	A Fast Assembly Level Reverse Execution Method via Dynamic Slicing.	ICSE	2004	DBLP DOI BibTeX RDF
12	James A. Jones	Fault Localization Using Visualization of Test Information.	ICSE	2004	DBLP DOI BibTeX RDF	Fault localization using software visualization, testing information and program analysis techniques
12	Yuichi Nakamura 0002, Kohei Hosokawa, Ichiro Kuroda, Ko Yoshikawa, Takeshi Yoshimura	A fast hardware/software co-verification method for system-on-a-chip by using a C/C++ simulator and FPGA emulator with shared register communication.	DAC	2004	DBLP DOI BibTeX RDF	C/C++ simulator, FPGA emulation, co-verification
12	Dung N. Lam, K. Suzanne Barber	Verifying and Explaining Agent Behavior in an Implemented Agent System.	AAMAS	2004	DBLP DOI BibTeX RDF
12	N. V. Bocharov	Concurrent Programming Technologies and Techniques.	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
12	C. J. Clark, Mike Ricchetti	Infrastructure IP for Configuration and Test of Boards and Systems.	IEEE Des. Test Comput.	2003	DBLP DOI BibTeX RDF
12	John G. Dorsey, Daniel P. Siewiorek	The Design of Wearable Systems: A Shift in Development Effort.	DSN	2003	DBLP DOI BibTeX RDF
12	Will Fitzgerald, R. James Firby, Michael Hannemann	Demonstration of the complex event recognition architecture for multimodal event parsing.	IUI	2003	DBLP DOI BibTeX RDF
12	K. Scott Hemmert, Justin L. Tripp, Brad L. Hutchings, Preston A. Jackson	Source Level Debugger for the Sea Cucumber Synthesizing Compiler.	FCCM	2003	DBLP DOI BibTeX RDF
12	Rene Kobler, Dieter Kranzlmüller, Jens Volkert	Online Visualization of OpenMP Programs in the DeWiz Environment.	PPAM	2003	DBLP DOI BibTeX RDF
12	M. Cameron, Maria J. García de la Banda, Kim Marriott, Peter Moulder	ViMer: a visual debugger for mercury.	PPDP	2003	DBLP DOI BibTeX RDF	execution trees, incremental tree layout, visualization
12	Ludovic Langevine	Observation of Constraint Programs.	CP	2003	DBLP DOI BibTeX RDF
12	Wolfgang Mayer, Markus Stumptner	Extending Diagnosis to Debug Programs with Exceptions.	ASE	2003	DBLP DOI BibTeX RDF
12	Leon van de Logt, Frank van der Heyden, Tom Waayers	An extension to JTAG for at-speed debug on a system.	ITC	2003	DBLP DOI BibTeX RDF
12	Robert W. Wisniewski, Bryan S. Rosenburg	Efficient, Unified, and Scalable Performance Monitoring for Multiprocessor Operating Systems.	SC	2003	DBLP DOI BibTeX RDF
12	Daniel C. DuVarney, V. N. Venkatakrishnan, Sandeep Bhatkar	SELF: a transparent security extension for ELF binaries.	NSPW	2003	DBLP DOI BibTeX RDF
12	Susanne M. Balle, Bevin R. Brett, Chih-Ping Chen, David LaFrance-Linden	A New Approach to Parallel Debugger Architecture.	PARA	2002	DBLP DOI BibTeX RDF
12	Buntarou Shizuki, Etsuya Shibayama, Masashi Toyoda	Static Visualization of Dynamic Data Flow Visual Program Execution.	IV	2002	DBLP DOI BibTeX RDF
12	József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner	Integrating Temporal Assertions into a Parallel Debugger.	Euro-Par	2002	DBLP DOI BibTeX RDF
12	Jong-Deok Choi, Andreas Zeller	Isolating failure-inducing thread schedules.	ISSTA	2002	DBLP DOI BibTeX RDF
12	Marc Vass, Pete Schoenhoff	Error Detection Support in a Cellular Modeling End-User Programming Environment.	HCC	2002	DBLP DOI BibTeX RDF
12	Peter Bunus, Peter Fritzson	Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages.	SCAM	2002	DBLP DOI BibTeX RDF
12	Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, Markus Zanker	Hierarchical Diagnosis of Large Configurator Knowledge Bases.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
12	Rajesh Radhakrishnan, Elena Teica, Ranga Vemuri	Verification of Basic Block Schedules Using RTL Transformations.	CHARME	2001	DBLP DOI BibTeX RDF
12	Lakshminath R. Dondeti, Brian Haberman, Haldon J. Sandick, Thomas Hardjono, Haixiang He	MBA: A Tool for Multicast Billing and Accounting.	ISCC	2001	DBLP DOI BibTeX RDF
12	William S. Beebee, Martin C. Rinard	An Implementation of Scoped Memory for Real-Time Java.	EMSOFT	2001	DBLP DOI BibTeX RDF
12	Tankut Akgul, Pramote Kuacharoen, Vincent John Mooney III, Vijay K. Madisetti	A Debugger RTOS for Embedded Systems.	EUROMICRO	2001	DBLP DOI BibTeX RDF
12	Róbert Lovas, Vaidy S. Sunderam	A Metadebugger Prototype for the HARNESS Metacomputing Framework.	HPDC	2001	DBLP DOI BibTeX RDF
12	M. Al-ladan	A Survey and a Taxonomy of Approaches for Testing Parallel and Distributed Programs.	AICCSA	2001	DBLP DOI BibTeX RDF
12	Alessandro Orso, Saurabh Sinha, Mary Jean Harrold	Incremental Slicing Based on Data-Dependences Types.	ICSM	2001	DBLP DOI BibTeX RDF	incremental slicing, Program slicing, data dependences, alias analysis, system-dependence graph
12	Markus Stumptner	Using Design Information to Identify Structural Software Faults.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
12	Kynan Eng, Alec P. Robertson, Deane R. Blackman	Managing Complexity in Large Learning Robotic Systems.	J. Intell. Robotic Syst.	2000	DBLP DOI BibTeX RDF	learning system architecture, layered systems, mobile robots, distributed control system, robotic learning, walking robots
12	Yosi Ben-Asher, Esti Stein	Basic Results in Automatic Transformations of Shared Memory Parallel Programs into Sequential Programs.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	fairness, transformations, shared memory, sequentialize, execution sequence
12	Roland Wismüller, Thomas Ludwig 0002	Interoperable Run-Time Tools for Distributed Systems--A Case Study.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	Run-time tools, behavioral integration, distributed systems, interoperability, coordination, on-line monitoring, plug-in architecture
12	Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth	Checkmate: cornering C++ dynamic memory errors with checked pointers.	SIGCSE	2000	DBLP DOI BibTeX RDF	C++