KBSE
2009
IEEE
13 years 11 months ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
KBSE
2009
IEEE
13 years 11 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
KBSE
2009
IEEE
13 years 11 months ago
2009
IEEE
—Web applications are increasingly becoming the most important platform for software applications in industry, with many modelling languages proposed to handle the complexity of ...
KBSE
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
KBSE
2009
IEEE
13 years 11 months ago
2009
IEEE
SEESAW combines AI search tools, a Monte Carlo simulator, and some software process models. We show here that, when selecting technologies for a software project, SEESAW out-perfo...
KBSE
2009
IEEE
13 years 11 months ago
2009
IEEE
KBSE
2009
IEEE
13 years 11 months ago
2009
IEEE
—As software projects continue to grow in scale, being able to maximize the work that developers can carry out in parallel as a set of concurrent development tasks, without incur...
KBSE
2009
IEEE
13 years 11 months ago
2009
IEEE
—The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CP...
KBSE
2009
IEEE
13 years 11 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
KBSE
2009
IEEE
13 years 11 months ago
2009
IEEE
—Developers often change software in ways that cause tests to fail. When this occurs, developers must determine whether failures are caused by errors in the code under test or in...