Sciweavers

712 search results - page 59 / 143
» Software debugging, testing, and verification
Sort
View
GECCO
2008
Springer
172views Optimization» more  GECCO 2008»
13 years 11 months ago
Empirical analysis of a genetic algorithm-based stress test technique
Evolutionary testing denotes the use of evolutionary algorithms, e.g., Genetic Algorithms (GAs), to support various test automation tasks. Since evolutionary algorithms are heuris...
Vahid Garousi
ECLIPSE
2007
ACM
14 years 2 months ago
UnitPlus: assisting developer testing in Eclipse
In the software development life cycle, unit testing is an important phase that helps in early detection of bugs. A unit test case consists of two parts: a test input, which is of...
Yoonki Song, Suresh Thummalapenta, Tao Xie
OOPSLA
2010
Springer
13 years 8 months ago
Teaching and training developer-testing techniques and tool support
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wo...
PASTE
2004
ACM
14 years 3 months ago
Elided conditionals
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
Manos Renieris, Sébastien Chan-Tin, Steven ...
SIGMOD
2011
ACM
249views Database» more  SIGMOD 2011»
13 years 1 months ago
FlexMin: a flexible tool for automatic bug isolation in DBMS software
Debugging a database engine is an arduous task due to the complexity of the query workloads and systems. The first step in isolating a bug involves identifying a sequence of step...
Kristi Morton, Nicolas Bruno