2132 search results - page 67 / 427 » Automated software winnowing |
101
click to vote
KBSE
2009
IEEE
15 years 5 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...
110
click to vote
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
ISSRE
2000
IEEE
15 years 3 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
TOMS
2010
14 years 9 months ago
2010
s the mathematical abstractions and methods used in the design of the library and its implementation. A number of examples are presented to demonstrate the use of the library in ap...
108
Voted
BMCBI
2008
14 years 11 months ago
2008
Background: Several biological techniques result in the acquisition of functional sets of cDNAs that must be sequenced and analyzed. The emergence of redundant databases such as U...