Results 1 - 10 of 65

An empirical study of reported bugs in server software with implications for automated bug diagnosis

by Swarup Kumar Sahoo, John Criswell - In Proc. of the 32nd Intl. Conf. on Software Engineering , 2010
"... Reproducing bug symptoms is a prerequisite for perform-ing automatic bug diagnosis. Do bugs have characteristics that ease or hinder automatic bug diagnosis? In this pa-per, we conduct a thorough empirical study of several key characteristics of bugs that affect reproducibility at the pro-duction si ..."
Abstract - Cited by 16 (2 self) - Add to MetaCart
Reproducing bug symptoms is a prerequisite for perform-ing automatic bug diagnosis. Do bugs have characteristics that ease or hinder automatic bug diagnosis? In this pa-per, we conduct a thorough empirical study of several key characteristics of bugs that affect reproducibility at the pro

Argus: Online statistical bug detection

by Long Fei, Kyungwoo Lee, Samuel P. Midkiff - In Proceedings of Fundamental Approaches to Software Engineering (FASE’06 , 2006
"... Abstract. Statistical debugging is a powerful technique for identifying bugs that do not violate programming rules or program invariants. Previously known statistical debugging techniques are offline bug isolation (or localization) techniques. In these techniques, the program dumps data during its e ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
be labelled as passing or failing, and (iii) they are postmortem techniques and therefore cannot raise an alert at runtime when a bug symptom occurs. In this paper, we present an online statistical bug detection tool called Argus. Argus constructs statistics at runtime using a sliding window over the program

The Design of Bug Fixes

by Emerson Murphy-hill, Thomas Zimmermann, Christian Bird, Michael Barnett
"... Abstract—When software engineers fix bugs, they may have several options as to how to fix those bugs. Which fix is chosen has many implications, both for practitioners and researchers: What is the risk of introducing other bugs during the fix? Is the bug fix in the same code that caused the bug? Is ..."
Abstract - Cited by 8 (2 self) - Add to MetaCart
? Is the change fixing the cause or just covering a symptom? In this paper, we investigate the issue of alternative fixes to bugs and present an empirical study of how engineers make design choices about how to fix bugs. Based on qualitative interviews with 40 engineers working on a variety of products, 6 bug

RaceTrack: Efficient detection of data race conditions via adaptive tracking

by Yuan Yu - In SOSP , 2005
"... Bugs due to data races in multithreaded programs often exhibit non-deterministic symptoms and are notoriously difficult to find. This paper describes RaceTrack, a dynamic race detection tool that tracks the actions of a program and reports a warning whenever a suspicious pattern of activity has been ..."
Abstract - Cited by 168 (0 self) - Add to MetaCart
Bugs due to data races in multithreaded programs often exhibit non-deterministic symptoms and are notoriously difficult to find. This paper describes RaceTrack, a dynamic race detection tool that tracks the actions of a program and reports a warning whenever a suspicious pattern of activity has

Use of Correctness Assertions in Declarative Diagnosis

by Lunjin Lu
"... We use assertions to reduce the quantity of queries in declarative diagnosis of logic programs. We first present a declarative diagnoser for normal logic programs. Given a bug symptom, the diagnoser first constructs a tree that models the execution of the bug symptom and then searches the tree for t ..."
Abstract - Add to MetaCart
We use assertions to reduce the quantity of queries in declarative diagnosis of logic programs. We first present a declarative diagnoser for normal logic programs. Given a bug symptom, the diagnoser first constructs a tree that models the execution of the bug symptom and then searches the tree

Use of Correctness Assertions in Declarative Diagnosis

by unknown authors
"... We use assertions to reduce the quantity of queries in declarative diagnosis of logic programs. We first present a declarative diagnoser for normal logic programs. Given a bug symptom, the diagnoser first constructs a tree that models the execution of the bug symptom and then searches the tree for t ..."
Abstract - Add to MetaCart
We use assertions to reduce the quantity of queries in declarative diagnosis of logic programs. We first present a declarative diagnoser for normal logic programs. Given a bug symptom, the diagnoser first constructs a tree that models the execution of the bug symptom and then searches the tree

Sentomist: Unveiling Transient Sensor Network Bugs via Symptom Mining

by Yangfan Zhou, Xinyu Chen, Michael R. Lyu, Jiangchuan Liu
"... Abstract—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurrency model, which frequently introduces software bugs, in particular, transient bugs. Such buggy logics may only b ..."
Abstract - Cited by 5 (1 self) - Add to MetaCart
be triggered by some occasionally interleaved events that bear implicit dependency, but can lead to fatal system failures. Unfortunately, these deeply-hidden bugs or even their symptoms can hardly be identified by state-of-the-art debugging tools, and manual identification from massive running traces can

Recreational water: surfing the bugs

by Isabel Hessa, Cris Hickeyb, Lee Bowlingc
"... 108 | Vol. 19(5–6) 2008 NSW Public Health Bulletin There are many risks associated with the use of recre-ational water, including exposure to infectious diseases. Infectious diseases are transmitted either through contact with skin or mucous membranes, inhalation or ingestion. The infectious organ ..."
Abstract - Add to MetaCart
were more likely to report respiratory, ear and eye symp-toms than beach-goers who did not swim.3 Since then, the water quality in Sydney has improved due to the commis-sioning of the deep-water ocean outfalls in the early 1990s. A multi-centre study is now being planned to assess the current water

A case study of bias in bug-fix datasets

by Thanh H. D. Nguyen, Bram Adams, Ahmed E. Hassan - In Reverse Engineering (WCRE), 2010 17th Working Conference on , 2010
"... Abstract—Software quality researchers build software qual-ity models by recovering traceability links between bug reports in issue tracking repositories and source code files. However, all too often the data stored in issue tracking repositories is not explicitly tagged or linked to source code. Res ..."
Abstract - Cited by 16 (5 self) - Add to MetaCart
Abstract—Software quality researchers build software qual-ity models by recovering traceability links between bug reports in issue tracking repositories and source code files. However, all too often the data stored in issue tracking repositories is not explicitly tagged or linked to source code

Use of Correctness Assertions in Declarative Diagnosis of Logic Programs

by Lunjin Lu
"... . We use assertions to reduce the quantity of queries in declarative diagnosis of logic programs. We first present a declarative diagnoser for normal logic programs. Given a bug symptom, the diagnoser first constructs a tree that models the execution of the bug symptom and then searches the tree for ..."
Abstract - Add to MetaCart
. We use assertions to reduce the quantity of queries in declarative diagnosis of logic programs. We first present a declarative diagnoser for normal logic programs. Given a bug symptom, the diagnoser first constructs a tree that models the execution of the bug symptom and then searches the tree
Results 1 - 10 of 65