Search results for "Software debugging"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Bernhard Peischl, Safeeullah Soomro, Franz Wotawa	Towards Lightweight Fault Localization in Procedural Programs.	IEA/AIE	2006	DBLP DOI BibTeX RDF	model-based software debugging, software debugging, control software, procedural abstraction
2	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
2	Bernhard Peischl, Franz Wotawa	Error traces in model-based debugging of hardware description languages.	AADEBUG	2005	DBLP DOI BibTeX RDF	conditional dependency, error trace, potential influence, fault localization, automated debugging, software debugging, source-level debugging
2	Yuanyuan Zhou, Pin Zhou, Feng Qin, Wei Liu, Josep Torrellas	Efficient and flexible architectural support for dynamic monitoring.	TACO	2005	DBLP DOI BibTeX RDF	dynamic monitoring, thread-level speculation (TLS), software debugging, Architectural support
2	Pin Zhou, Feng Qin, Wei Liu, Yuanyuan Zhou, Josep Torrellas	iWatcher: Efficient Architectural Support for Software Debugging.	ISCA	2004	DBLP DOI BibTeX RDF
2	Daniel Köb, Bernhard Peischl, Franz Wotawa	Debugging VHDL Designs Using Temporal Process Instances.	IEA/AIE	2003	DBLP DOI BibTeX RDF	debugging of hardware designs, model-based diagnosis, software debugging
2	István Majzik	Software Monitoring and Debugging Using Compressed Signature Sequences.	EUROMICRO	1996	DBLP DOI BibTeX RDF	run-time sequence, compressed signature sequences, signature based error detection techniques, signature buffer, real-time compression methods, predefined dictionaries, program debugging, structural information, software monitoring, software debugging, watchdog processors
1	Zaynab Mousavian, Mojtaba Vahidi-Asl, Saeed Parsa	Finding software fault relevant subgraphs a new graph mining approach for software debugging.	CCECE	2011	DBLP DOI BibTeX RDF
1	Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister	Software debugging and testing using the abstract diagnosis theory.	LCTES	2011	DBLP DOI BibTeX RDF
1	Eunsoo Seo, Mohammad Maifi Hasan Khan, Prasant Mohapatra, Jiawei Han, Tarek F. Abdelzaher	Exposing Complex Bug-Triggering Conditions in Distributed Systems via Graph Mining.	ICPP	2011	DBLP DOI BibTeX RDF	Data mining, Fault diagnosis, Software debugging
1	Bhanu Pisupati, Geoffrey Brown	Embedded software debugging using virtual filesystem abstractions.	Journal of Systems Architecture - Embedded Systems Design	2010	DBLP DOI BibTeX RDF
1	Cristian Zamfir, George Candea	Execution synthesis: a technique for automated software debugging.	EuroSys	2010	DBLP DOI BibTeX RDF	symbolic execution, automated debugging
1	Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang	Golden implementation driven software debugging.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
1	Wolfgang Haberl, Markus Herrmannsdoerfer, Jan Birke, Uwe Baumgarten	Model-Level Debugging of Embedded Real-Time Systems.	CIT	2010	DBLP DOI BibTeX RDF	simulation, real time systems, embedded systems, code generation, model-driven development, software debugging
1	Arrvindh Shriraman, Sandhya Dwarkadas	Sentry: light-weight auxiliary memory access control.	ISCA	2010	DBLP DOI BibTeX RDF	sentry, access control, multiprocessors, safety, cache coherence, memory protection, protection domains
1	Xin Zhang 0010, Qing Gu, Xiang Chen, Jingxian Qi, Daoxu Chen	A study of relative redundancy in test-suite reduction while retaining or improving fault-localization effectiveness.	SAC	2010	DBLP DOI BibTeX RDF	fault localization, test-suite reduction
1	Chu-Ti Lin, Chin-Yu Huang	Staffing Level and Cost Analyses for Software Debugging Activities Through Rate-Based Simulation Approaches.	IEEE Transactions on Reliability	2009	DBLP DOI BibTeX RDF
1	Martin Dimitrov, Huiyang Zhou	Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging.	ASPLOS	2009	DBLP DOI BibTeX RDF	automated debugging, architectural support
1	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
1	Chi-Neng Wen, Shu-Hsuan Chou, Tien-Fu Chen, Alan Peisheng Su	NUDA: a non-uniform debugging architecture and non-intrusive race detection for many-core.	DAC	2009	DBLP DOI BibTeX RDF	architecture, debugging, many-core, race detection
1	Martin Th Görg, Jianjun Zhao	Identifying semantic differences in AspectJ programs.	ISSTA	2009	DBLP DOI BibTeX RDF	aop, difference analysis, disjunctive matching, static analysis, aspectj, semantic analysis
1	Salman Mirghasemi	Query-point debugging.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	dynamic breakpoint assignment, locating defects, query, program traces, execution monitoring
1	Dan Hao, Lingming Zhang, Lu Zhang 0023, Jiasu Sun, Hong Mei	VIDA: Visual interactive debugging.	ICSE	2009	DBLP DOI BibTeX RDF
1	Kuei-Chen Chiu, Jyh-Wen Ho, Yeu-Shiang Huang	Bayesian updating of optimal release time for software systems.	Software Quality Journal	2009	DBLP DOI BibTeX RDF	Bayesian statistical method, Software release time, Software testing/debugging, Software reliability growth model
1	Giovanni Busonera, Alessandro Forin, Richard Neil Pittman	Exploiting partial reconfiguration for flexible software debugging.	ICSAMOS	2008	DBLP DOI BibTeX RDF
1	Franz Wotawa	Localizing Bugs in Programs - Or How to Use a Program's Constraint Representation for Software Debugging?	ICSOFT (SE/MUSE/GSDCA)	2008	DBLP BibTeX RDF
1	Gang Kou, Yi Peng	A Standard Process for Data Mining Based Software Debugging.	NCM	2008	DBLP DOI BibTeX RDF	process and framework, data mining, software testing, debugging
1	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
1	Chiara Francalanci, Francesco Merlo	Empirical Analysis of the Bug Fixing Process in Open Source Projects.	OSS	2008	DBLP DOI BibTeX RDF	Open Source Software debugging process quality
1	Bernhard Peischl, Naveed Riaz, Franz Wotawa	Advances in Automated Source-Level Debugging of Verilog Designs.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	debugging of hardware designs, multiple testcases, model-based diagnosis, software debugging
1	Zhiqiang Lin, Xiangyu Zhang	Deriving input syntactic structure from execution.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	bottom-up grammar, input lineage, top-down grammar, reverse engineering, control dependence, syntax tree
1	Peifeng Hu, Zhenyu Zhang, 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
1	Chin-Yu Huang, Wei-Chih Huang	Software Reliability Analysis and Measurement Using Finite and Infinite Server Queueing Models.	IEEE Transactions on Reliability	2008	DBLP DOI BibTeX RDF
1	Enkhbold Ochirsuren, Heiko Hinkelmann, Leandro Soares Indrusiak, Manfred Glesner	TinyOS Extensions for a Wireless Sensor Network Node Based on a Dynamically Reconfigurable Processor.	DIPES	2008	DBLP DOI BibTeX RDF
1	Liang Guo, Abhik Roychoudhury	Debugging Statecharts Via Model-Code Traceability.	ISoLA	2008	DBLP DOI BibTeX RDF	Debugging, Traceability, Statecharts, Slicing
1	Dan Hao, Lu Zhang 0023, Ying Pan, Hong Mei, Jiasu Sun	On similarity-awareness in testing-based fault localization.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Debugging, Fuzzy set, Maintenance, Fault localization
1	Chu-Ti Lin, Chin-Yu Huang	Analyzing the Service Level of Software Debugging System through Simulation-based Queuing Approach.	APSEC	2007	DBLP DOI BibTeX RDF
1	Tao Wang, Abhik Roychoudhury	Hierarchical dynamic slicing.	ISSTA	2007	DBLP DOI BibTeX RDF	debugging, dynamic slicing, phase detection
1	Benjamin D. Rister, Jason Campbell, Padmanabhan Pillai, Todd C. Mowry	Integrated Debugging of Large Modular Robot Ensembles.	ICRA	2007	DBLP DOI BibTeX RDF
1	Vijayanand Nagarajan, Rajiv Gupta, Matias Madou, Xiangyu Zhang, Bjorn De Sutter	Matching Control Flow of Program Versions.	ICSM	2007	DBLP DOI BibTeX RDF
1	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
1	Bernhard Peischl, Franz Wotawa	Automated Source-Level Error Localization in Hardware Designs.	IEEE Design & Test of Computers	2006	DBLP DOI BibTeX RDF	design error diagnosis, fault localization, model-based diagnosis, software debugging
1	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
1	Wei-Chih Huang, Chin-Yu Huang, Chuan-Ching Sue	Software Reliability Prediction and Assessment Using both Finite and Infinite Server Queueing Approaches.	PRDC	2006	DBLP DOI BibTeX RDF
1	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
1	Chong Hyung Lee, Seung Min Lee, Dong Ho Park	Evaluation of software availability for the imperfect software debugging model.	Int. J. Systems Science	2005	DBLP DOI BibTeX RDF
1	Liang Shi, Changhai Nie, Baowen Xu	A Software Debugging Method Based on Pairwise Testing.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
1	Neelam Gupta, Haifeng He, Xiangyu Zhang, Rajiv Gupta	Locating faulty code using failure-inducing chops.	ASE	2005	DBLP DOI BibTeX RDF	backward dynamic, failure-inducing input, forward dynamic program slicing, program slicing, automated debugging
1	Pin Zhou, Feng Qin, Wei Liu, Yuanyuan Zhou, Josep Torrellas	iWatcher: Simple, General Architectural Support for Software Debugging.	IEEE Micro	2004	DBLP DOI BibTeX RDF
1	Mario García-Valderas, Eduardo de la Torre, F. Ariza, Teresa Riesgo	Hardware and Software Debugging of FPGA Based Microprocessor Systems Through Debug Logic Insertion.	FPL	2004	DBLP DOI BibTeX RDF
1	Sudarshan M. Srinivasan, Srikanth Kandula, Christopher R. Andrews, Yuanyuan Zhou	Flashback: A Lightweight Extension for Rollback and Deterministic Replay for Software Debugging.	USENIX Annual Technical Conference, General Track	2004	DBLP BibTeX RDF
1	Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi	An Infinite Server Queueing Approach for Describing Software Reliability Growth - Unified Modeling and Estimation Framework.	APSEC	2004	DBLP DOI BibTeX RDF
1	Pin Zhou, Wei Liu, Long Fei, Shan Lu, Feng Qin, Yuanyuan Zhou, Samuel P. Midkiff, Josep Torrellas	AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants.	MICRO	2004	DBLP DOI BibTeX RDF
1	Haifeng He, Neelam Gupta	Automated Debugging Using Path-Based Weakest Preconditions.	FASE	2004	DBLP DOI BibTeX RDF	software testing, Fault location, weakest precondition, postcondition
1	Rong Chen, Daniel Köb, Franz Wotawa	Diagnosing Java Programs with Static Abstractions of Data Structures.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	fault localization, model-based diagnosis, Automatic reasoning
1	Bernhard Peischl, Franz Wotawa	Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach	CoRR	2003	DBLP BibTeX RDF
1	Philip J. Boland, Harshinder Singh, Bojan Cukic	Comparing Partition and Random Testing via Majorization and Schur Functions.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Schur functions, random testing, Partition testing, software debugging, majorization
1	Henry Lieberman, Earl Wagner	End-user debugging for e-commerce.	IUI	2003	DBLP DOI BibTeX RDF	debugging e-commerce, end-user debugging
1	Henry Lieberman, Earl Wagner	End-user tools for debugging e-commerce.	ACM Conference on Electronic Commerce	2003	DBLP DOI BibTeX RDF	debugging e-commerce, end-user debugging
1	W. Eric Wong, Tatiana Sugeta, Yu Qi, José Carlos Maldonado	Smart Debugging Software Architectural Design in SDL.	COMPSAC	2003	DBLP DOI BibTeX RDF	SmartDSDL, testing, debugging, fault detection, SDL, architectural design, execution slice
1	Brent Hailpern, Padmanabhan Santhanam	Software debugging, testing, and verification.	IBM Systems Journal	2002	DBLP BibTeX RDF
1	Shinji Uchida, Akito Monden, Hajimu Iida, Ken-ichi Matsumoto, Hideo Kudo	A Multiple-View Analysis Model of Debugging Processes.	ISESE	2002	DBLP DOI BibTeX RDF
1	Pablo Romero, Rudi Lutz, Richard Cox, Benedict du Boulay	Co-Ordination of Multiple External Representations during Java Program Debugging.	HCC	2002	DBLP DOI BibTeX RDF
1	Pablo Romero, Richard Cox, Benedict du Boulay, Rudi Lutz	Visual Attention and Representation Switching During Java Program Debugging: A Study Using the Restricted Focus Viewer.	Diagrams	2002	DBLP DOI BibTeX RDF
1	Markus Stumptner, Dominik Wieland, Franz Wotawa	Comparing Two Models for Software Debugging.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
1	Tankut Akgul, Pramote Kuacharoen, Vincent John Mooney III, Vijay K. Madisetti	A Debugger RTOS for Embedded Systems.	EUROMICRO	2001	DBLP DOI BibTeX RDF
1	Mohammed El Shobaki, Lennart Lindh	A Hardware and Software Monitor for High-Level System-on-Chip Verification.	ISQED	2001	DBLP DOI BibTeX RDF
1	Markus Stumptner	Using Design Information to Identify Structural Software Faults.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
1	Karen G. Haines, Kim M. Edlund, Thomas P. Caudell, Barak A. Pearlmutter, John A. Moya	Visualizing Communication between Neurons in the Lamina Ganglionaris of Musca domestica.	IJCNN	2000	DBLP DOI BibTeX RDF
1	Joanne E. Hale, Shane Sharpe, David P. Hale	An evaluation of the cognitive processes of programmers engaged in software debugging.	Journal of Software Maintenance	1999	DBLP DOI BibTeX RDF
1	Maisaa Khalil, Oum-El-Kheir Benkahla, Chantal Robach	An Experimental Comparison of Software Diagnosis Methods.	EUROMICRO	1999	DBLP DOI BibTeX RDF
1	Ray Turner	System-Level Verification - A Comparison of Approaches. (PDF / PS)	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF
1	Richard A. DeMillo, Hsin Pan, Eugene H. Spafford	Failure and Fault Analysis for Software Debugging. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF
1	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
1	Lisa J. Burnell, Eric Horvitz	Structure and Chance: Melding Logic and Probability for Software Debugging.	Commun. ACM	1995	DBLP DOI BibTeX RDF
1	Nozer D. Singpurwalla	Determining an Optimal Time Interval for Testing and Debugging Software.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	optimal time interval, single-state testing, software testing, uncertainty, decision-making, software reliability, program testing, probabilistic models, decision theory, decision theory, costs, programming theory, program debugging, utility function, optimization problem, software failure, software debugging, expected utility, maximization
1	Richard I. Hartley, Kenneth Welles II, Michael Hartman, Abhijit Chatterjee, Paul Delano, Barbara Molnar, Colin Rafferty	A Rapid-Prototyping Environment for Digital-Signal Processors.	IEEE Design & Test of Computers	1991	DBLP DOI BibTeX RDF
1	Doris L. Carver	Programmer Variations in Software Debugging Approaches.	International Journal of Man-Machine Studies	1989	DBLP DOI BibTeX RDF
1	Thomas A. Cargill, Bart N. Locanthi	Cheap Hardware Support for Software Debugging and Profiling.	ASPLOS	1987	DBLP DOI BibTeX RDF
1	J. C. Huang, Melody Ho, Ted Law	A Simulator for Real-Time Software Debugging and Testing.	Softw., Pract. Exper.	1984	DBLP DOI BibTeX RDF
1	Mark Scott Johnson	A software debugging glossary.	SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
1	Mark Scott Johnson	Some Requirements for Architectural Support of Software Debugging.	ASPLOS	1982	DBLP DOI BibTeX RDF	Architectural debugging support, Debugging-oriented architecture, Interactive debugging, Symbolic debugging, Debugging, Profiles, Traces, Breakpoints
1	Robert L. Glass	Real-Time: The "Lost World" Of Software Debugging and Testing.	Commun. ACM	1980	DBLP DOI BibTeX RDF