Search results for "bugs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Michael Grottke, Kishor S. Trivedi	Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate.	IEEE Computer	2007	DBLP DOI BibTeX RDF	Bohrbugs, Mandelbugs, Aging-related bugs, Debugging, Software technologies, Software bugs
3	Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan	Analyzing concurrency bugs using dual slicing.	ISSTA	2010	DBLP DOI BibTeX RDF	dual slicing, concurrency bugs, execution indexing
3	Wei Zhang 0022, Chong Sun, Shan Lu	ConMem: detecting severe concurrency bugs through an effect-oriented approach.	ASPLOS	2010	DBLP DOI BibTeX RDF	software testing, concurrency bugs
3	Kai Pan, Sunghun Kim, E. James Whitehead Jr.	Toward an understanding of bug fix patterns.	Empirical Software Engineering	2009	DBLP DOI BibTeX RDF	Bug fix changes, Categorization of software faults, Software fault taxonomy, Causes of software bugs, Algorithms, Measurement, Experimentation, Software fault, Software error, Software bugs
3	Mohamed F. Ahmed, Swapna S. Gokhale	Linux Bugs: Life Cycle and Resolution Analysis.	QSIC	2008	DBLP DOI BibTeX RDF	Linux Bugs, Reliability, Architecture
3	David Hovemeyer, William Pugh	Finding more null pointer bugs, but not too many.	PASTE	2007	DBLP DOI BibTeX RDF	null pointers, Java, static analysis, software quality, bugs, FindBugs, bug patterns
3	Lingxiao Jiang, Zhendong Su, Edwin Chiu	Context-based detection of clone-related bugs.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	code clone detection, code clone-related bugs, context-based bug detection, inconsistencies
3	Trishul M. Chilimbi, Vinod Ganapathy	HeapMD: identifying heap-based bugs using anomaly detection.	ASPLOS	2006	DBLP DOI BibTeX RDF	metrics, debugging, anomaly detection, bugs, heap
3	David Hovemeyer, William Pugh	Finding bugs is easy.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	bug checkers, static analysis, bugs, bug patterns
3	Malene Højbjerre	Profile likelihood in directed graphical models from BUGS output.	Statistics and Computing	2003	DBLP DOI BibTeX RDF	directed graphical model, Bayesian graphical model, profile likelihood, integrated likelihood, BUGS
2	Dane Bertram, Amy Voida, Saul Greenberg, Robert Walker	Communication, collaboration, and bugs: the social nature of issue tracking in small, collocated teams.	CSCW	2010	DBLP DOI BibTeX RDF	software engineering, issue tracking, shared knowledge
2	Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte	A randomized scheduler with probabilistic guarantees of finding bugs.	ASPLOS	2010	DBLP DOI BibTeX RDF	testing, concurrency, randomized algorithms, race conditions
2	Corneliu Popeea, Wei-Ngan Chin	Dual analysis for proving safety and finding bugs.	SAC	2010	DBLP DOI BibTeX RDF	numerical domains, static analysis
2	Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle	KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment.	IPSN	2010	DBLP DOI BibTeX RDF	automated protocol testing, wireless sensor networks, experimentation, failure detection
2	Swarup Kumar Sahoo, John Criswell, Vikram S. Adve	An empirical study of reported bugs in server software with implications for automated bug diagnosis.	ICSE	2010	DBLP DOI BibTeX RDF	bug characteristics, testing, network servers, bug reports
2	Philip J. Guo, Thomas Zimmermann, Nachiappan Nagappan, Brendan Murphy	Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows.	ICSE	2010	DBLP DOI BibTeX RDF
2	Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan	Analyzing multicore dumps to facilitate concurrency bug reproduction.	ASPLOS	2010	DBLP DOI BibTeX RDF	reproduction, multi-core, concurrency bugs, execution indexing
2	Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley	PACER: proportional detection of data races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, sampling, data races, bugs
2	Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley	Jinn: synthesizing dynamic bug detectors for foreign language interfaces.	PLDI	2010	DBLP DOI BibTeX RDF	ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis
2	Loïc Duflot	CPU bugs, CPU backdoors and consequences on security.	Journal in Computer Virology	2009	DBLP DOI BibTeX RDF
2	Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi	Forcing small models of conditions on program interleaving for detection of concurrent bugs.	PADTAD	2009	DBLP DOI BibTeX RDF	concurrency bug patterns, dynamic exploration, forcing algorithm, model of conditions on program interleaving, analysis
2	Soyeon Park, Shan Lu, Yuanyuan Zhou	CTrigger: exposing atomicity violation bugs from their hiding places.	ASPLOS	2009	DBLP DOI BibTeX RDF	software testing, concurrency bug
2	Johannes Bohnet, Stefan Voigt, Jürgen Döllner	Projecting code changes onto execution traces to support localization of recently introduced bugs.	SAC	2009	DBLP DOI BibTeX RDF	dynamic analysis, software visualization, fault localization
2	Brandon Lucia, Luis Ceze	Finding concurrency bugs with context-aware communication graphs.	MICRO	2009	DBLP DOI BibTeX RDF
2	Dennis Jeffrey, Min Feng, Neelam Gupta, Rajiv Gupta	BugFix: A learning-based tool to assist developers in fixing bugs.	ICPC	2009	DBLP DOI BibTeX RDF
2	Olga Baysal, Michael W. Godfrey, Robin Cohen	A bug you like: A framework for automated assignment of bugs.	ICPC	2009	DBLP DOI BibTeX RDF
2	Thomas Zimmermann	Changes and bugs - Mining and predicting development activities.	ICSM	2009	DBLP DOI BibTeX RDF
2	Qi Gao, Wenbin Zhang, Yan Tang, Feng Qin	First-aid: surviving and preventing memory management bugs during production runs.	EuroSys	2009	DBLP DOI BibTeX RDF	memory bug diagnosis, software reliability, software failure, error prevention
2	Md. Mainur Rahman, Günther Ruhe, Thomas Zimmermann	Optimized assignment of developers for fixing bugs an initial evaluation for eclipse projects.	ESEM	2009	DBLP DOI BibTeX RDF
2	Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri	Finding Concurrency-Related Bugs Using Random Isolation.	VMCAI	2009	DBLP DOI BibTeX RDF
2	Jorge Aranda, Gina Venolia	The secret life of bugs: Going past the errors and omissions in software repositories.	ICSE	2009	DBLP DOI BibTeX RDF
2	Jie Yu, Satish Narayanasamy	A case for an interleaving constrained shared-memory multi-processor.	ISCA	2009	DBLP DOI BibTeX RDF	parallel programming, multiprocessors, software reliability, concurrency bugs
2	Manna Wu, Bo Zhou, Wei Shi	A self-adaptive test framework for concurrent programs.	MEDES	2009	DBLP DOI BibTeX RDF	concurrent test point, self-adaptive, concurrent bugs
2	Patrycja Wegrzynowicz, Krzysztof Stencel	The good, the bad, and the ugly: three ways to use a semantic code query system.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	bad practices, semantic code query system, design patterns, bugs, automatic detection
2	Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy	LiteRace: effective sampling for lightweight data-race detection.	PLDI	2009	DBLP DOI BibTeX RDF	dynamic data race detection, sampling, concurrency bugs
2	Erik Jan Marinissen	Bugs, moths, grasshoppers, and whales.	IEEE Design & Test of Computers	2008	DBLP DOI BibTeX RDF
2	Frank Eichinger, Klemens Böhm, Matthias Huber	Mining Edge-Weighted Call Graphs to Localise Software Bugs.	ECML/PKDD	2008	DBLP DOI BibTeX RDF
2	Goh Kondoh, Tamiya Onodera	Finding bugs in java native interface programs.	ISSTA	2008	DBLP DOI BibTeX RDF	typestate analysis, static analysis, java native interface
2	Hossain Shahriar, Mohammad Zulkernine	Mutation-Based Testing of Format String Bugs.	HASE	2008	DBLP DOI BibTeX RDF
2	Mohammad Maifi Hasan Khan, Hieu Khac Le, Hossein Ahmadi, Tarek F. Abdelzaher, Jiawei Han	Dustminer: troubleshooting interactive complexity bugs in sensor networks.	SenSys	2008	DBLP DOI BibTeX RDF	distributed automated debugging, protocol debugging, wireless sensor networks
2	Dennis Jeffrey, Neelam Gupta, Rajiv Gupta	Identifying the root causes of memory bugs using corrupted memory location suppression.	ICSM	2008	DBLP DOI BibTeX RDF
2	Xi Wang, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haoxiang Lin, Xiaoge Wang, Zheng Zhang	Hang analysis: fighting responsiveness bugs.	EuroSys	2008	DBLP DOI BibTeX RDF	blocking invocation, hang, responsive invocation, program analysis, responsiveness, interactive performance
2	Sung-Young Jung, Kurt VanLehn	Bi-directional Search for Bugs: A Tool for Accelerating Knowledge Acquisition for Equation-Based Tutoring Systems.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	Bi-directional search, automatic error detection on knowledge, authoring tools
2	Ramakrishna Rao D	An Analysis of Missed Structure Field Handling Bugs.	SERA	2008	DBLP DOI BibTeX RDF	errors of omission, structure, defects
2	W. Eric Wong, Yan Shi, Yu Qi, Richard Golden	Using an RBF Neural Network to Locate Program Bugs.	ISSRE	2008	DBLP DOI BibTeX RDF
2	Andrea Arcuri	On the automation of fixing software bugs.	ICSE Companion	2008	DBLP DOI BibTeX RDF	automatic bug fixing, genetic programming, co-evolution, automated debugging, repair
2	Premkumar T. Devanbu, Brendan Murphy, Nachiappan Nagappan, Thomas Zimmermann, Valentin Dallmeier	DEFECTS 2008: international workshop on defects in large software systems.	ISSTA	2008	DBLP DOI BibTeX RDF	defect localization, empirical studies, faults, bugs, defect prediction, software defects
2	R. Barzin, S. Fukushima, William E. Howden, S. Sharifi	Superfit Combinational Elusive Bug Detection.	COMPSAC	2008	DBLP DOI BibTeX RDF	elusive, BETUnit, SuperFIT, testing, frameworks, patterns, FIT, combinations, bugs, JUnit
2	Feng Qin, Joseph Tucek, Yuanyuan Zhou, Jagadeesan Sundaresan	Rx: Treating bugs as allergies—a safe method to survive software failures.	ACM Trans. Comput. Syst.	2007	DBLP DOI BibTeX RDF	Reliability, Availability, Bug, Software Failure
2	Qi Gao, Feng Qin, Dhabaleswar K. Panda	DMTracker: finding bugs in large-scale parallel programs by detecting anomaly in data movements.	SC	2007	DBLP DOI BibTeX RDF	parallel programs, anomaly detection, data movements, bug detection
2	Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou	MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs.	SOSP	2007	DBLP DOI BibTeX RDF	variable correlation, concurrency bug, bug detection
2	Lin Tan, Ding Yuan, Gopal Krishna, Yuanyuan Zhou	/icomment: bugs or bad comments?/.	SOSP	2007	DBLP DOI BibTeX RDF	comment analysis, natural language processing for software engineering, programming rules and static analysis
2	Craig M. McRae, Rayford B. Vaughn	Phighting the Phisher: Using Web Bugs and Honeytokens to Investigate the Source of Phishing Attacks.	HICSS	2007	DBLP DOI BibTeX RDF
2	William W. Pugh	Finding bugs in eclipse.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, static analysis, software quality, eclipse, bugs, false positives, software defects, FindBugs, bug patterns
2	Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai	Locating Regression Bugs.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
2	D. T. V. Ramakrishna Rao	Detection of Bugs by Compiler Optimizer Using Macro Expansion of Functions.	SERA	2007	DBLP DOI BibTeX RDF
2	Julian Dolby, Mandana Vaziri, Frank Tip	Finding bugs efficiently with a SAT solver.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	model checking, specification, slicing, SAT solving
2	Shuo Chen, David Ross, Yi-Min Wang	An analysis of browser domain-isolation bugs and a light-weight transparent defense mechanism.	ACM Conference on Computer and Communications Security	2007	DBLP DOI BibTeX RDF	accenting, domain isolation bug, browser, same-origin policy
2	Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, YuQian Zhou	Evaluating static analysis defect warnings on production software.	PASTE	2007	DBLP DOI BibTeX RDF	Java, static analysis, software quality, bugs, false positives, software defects, FindBugs, bug patterns
2	Danny Kopec, Suzanne Tamang	Failures in complex systems: case studies, causes, and possible remedies.	SIGCSE Bulletin	2007	DBLP DOI BibTeX RDF	technical disasters, software engineering, complex systems, safety-critical systems, human errors, medical errors, software bugs
2	Zhenmin Li, Shan Lu, Suvda Myagmar, Yuanyuan Zhou	CP-Miner: Finding Copy-Paste and Related Bugs in Large-Scale Software Code.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	data mining, Software analysis, code reuse, debugging aids, code duplication
2	Adrian Schröter, Thomas Zimmermann, Rahul Premraj, Andreas Zeller	Where do bugs come from?	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF
2	Christopher Gottbrath	S09 - Eliminating parallel application memory bugs with TotalView.	SC	2006	DBLP DOI BibTeX RDF
2	M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas	A classification of concurrency bugs in java benchmarks by developer intent.	PADTAD	2006	DBLP DOI BibTeX RDF	concurrency errors, verification, refinement, atomicity, race condition
2	Smruti R. Sarangi, Abhishek Tiwari, Josep Torrellas	Phoenix: Detecting and Recovering from Permanent Processor Design Bugs with Programmable Hardware.	MICRO	2006	DBLP DOI BibTeX RDF
2	Brian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William Pugh, Kristin Stephens	Improving your software using static analysis to find bugs.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	Java, static analysis, FindBugs
2	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
2	Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur	Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs.	ISoLA	2006	DBLP DOI BibTeX RDF
2	Westley Weimer	Exception-Handling Bugs in Java and a Language Extension to Avoid Them.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF
2	Yaniv Eytani, Timo Latvala	Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF	Concurrent debugging, scheduling noise, Java, testing
2	Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa	Catching and Identifying Bugs in Register Allocation.	SAS	2006	DBLP DOI BibTeX RDF
2	Marco D'Ambros, Michele Lanza	Software Bugs and Evolution: A Visual Approach to Uncover Their Relationship.	CSMR	2006	DBLP DOI BibTeX RDF
2	Sunghun Kim, E. James Whitehead Jr.	How long did it take to fix bugs?	MSR	2006	DBLP DOI BibTeX RDF
2	Diomidis Spinellis	Bug Busters.	IEEE Software	2006	DBLP DOI BibTeX RDF	Lint, annotations, tools, errors, type checking, bugs
2	Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, Yuanyuan Zhou	Rx: treating bugs as allergies - a safe method to survive software failures.	SOSP	2005	DBLP DOI BibTeX RDF	reliability, availability, bug, software failure
2	Shu-Chuan Shih, Bor-Chen Kuo	Using Bayesian Networks for Modeling Students' Learning Bugs and Sub-skills.	KES	2005	DBLP DOI BibTeX RDF
2	William E. Howden	Software Test Selection Patterns and Elusive Bugs.	COMPSAC	2005	DBLP DOI BibTeX RDF	elusive, models, design, Testing, patterns, defects
2	Amir Michail, Tao Xie	Helping users avoid bugs in GUI applications.	ICSE	2005	DBLP DOI BibTeX RDF	bug tracking system, fault evasion, gui applications, software testing, software tools, bug prediction
2	V. Benjamin Livshits, Thomas Zimmermann	DynaMine: finding common error patterns by mining software revision histories.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	error patterns, one-line check-ins, data mining, dynamic analysis, coding patterns, revision histories, software bugs
2	David Hovemeyer, William Pugh	Finding bugs is easy.	SIGPLAN Notices	2004	DBLP DOI BibTeX RDF
2	Yaniv Eytani, Shmuel Ur	Compiling a Benchmark of Documented Multi-Threaded Bugs.	IPDPS	2004	DBLP DOI BibTeX RDF
2	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
2	David Ginat, Owen L. Astrachan, Daniel D. Garcia, Mark Guzdial	"But it looks right!": the bugs students don't see.	SIGCSE	2004	DBLP DOI BibTeX RDF	student errors, pedagogy
2	Ivan Arce	The Kernel Craze.	IEEE Security & Privacy	2004	DBLP DOI BibTeX RDF	kernel bugs, kernel security, exploit code, vulnerabilities
2	Kellie Michele Evans	Is Bosco's Rule Universal?	MCU	2004	DBLP DOI BibTeX RDF	gliders, Larger than Life, sliding block memory, spaceships, cellular automata, universal, bugs, register, Game of Life
2	Miroslav N. Velev	Collection of High-Level Microprocessor Bugs from Formal Verification of Pipelined and Superscalar Designs.	ITC	2003	DBLP DOI BibTeX RDF
2	David Poutakidis, Lin Padgham, Michael Winikoff	An Exploration of Bugs and Debugging in Multi-agent Systems.	ISMIS	2003	DBLP DOI BibTeX RDF
2	Alexander Klaiber, Sinclair Chau	Automatic Detection of Logic Bugs in Hardware Designs.	MTV	2003	DBLP DOI BibTeX RDF
2	David Poutakidis, Lin Padgham, Michael Winikoff	An exploration of bugs and debugging in multi-agent systems.	AAMAS	2003	DBLP DOI BibTeX RDF	agent oriented design, multi-agent systems, debugging, interaction protocols
2	Yasuharu Nishi	Quality-Adaptive Testing: A Strategy for Testing with Focusing on Where Bugs Have Been Detected.	ECSQ	2002	DBLP BibTeX RDF
2	Gerard J. Holzmann	The logic of bugs.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	distributed systems software, logic model checking, SPIN
2	Adil Alsaid, David Martin	Detecting Web Bugs with Bugnosis: Privacy Advocacy through Education.	Privacy Enhancing Technologies	2002	DBLP DOI BibTeX RDF
2	Dawson R. Engler, David Yu Chen, Andy Chou	Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code.	SOSP	2001	DBLP DOI BibTeX RDF
2	Karen Yorav, Sagi Katz, Ron Kiper	Reproducing Synchronization Bugs with Model Checking.	CHARME	2001	DBLP DOI BibTeX RDF
2	Per Bjesse, Tim Leonard, Abdel Mokkedem	Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers.	CAV	2001	DBLP DOI BibTeX RDF
2	Daniel Jackson, Mandana Vaziri	Finding bugs with a constraint solver.	ISSTA	2000	DBLP DOI BibTeX RDF	alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers
2	Cristinel Mateis, Markus Stumptner, Franz Wotawa	Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project.	IEA/AIE	2000	DBLP DOI BibTeX RDF
2	Brad Richards	Bugs as features: teaching network protocols through debugging.	SIGCSE	2000	DBLP DOI BibTeX RDF
2	Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm	Putting static analysis to work for verification: A case study.	ISSTA	2000	DBLP DOI BibTeX RDF	alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers
2	Kamil Saraç, Kevin C. Almeroth	Monitoring Reachability in the Global Multicast Infrastructure. (PDF / PS)	ICNP	2000	DBLP DOI BibTeX RDF	global multicast infrastructure, Multicast Backbone, flat virtual topology, routing information, reachability monitoring, sdr-monitor, session directory information, long term reachability characteristics, protocol bugs, IP multicast infrastructure, multicast traffic management, Internet, transport protocols, network topology, network topology, autonomous systems, reachability analysis, telecommunication network routing, multicast communication, telecommunication traffic, computer network management, hierarchical routing, ISP, MBone, computerised monitoring, Internet service providers, application layer, management tools