Sciweavers

1812 search results - page 60 / 363
» Test Early, Test Often
Sort
View
SIGMOD
2010
ACM
215views Database» more  SIGMOD 2010»
15 years 3 months ago
Dynamic symbolic database application testing
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
Chengkai Li, Christoph Csallner
TAP
2008
Springer
93views Hardware» more  TAP 2008»
14 years 11 months ago
Pex-White Box Test Generation for .NET
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
Nikolai Tillmann, Jonathan de Halleux
CASES
2007
ACM
15 years 3 months ago
SCCP/x: a compilation profile to support testing and verification of optimized code
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
Raimund Kirner
GECCO
2006
Springer
162views Optimization» more  GECCO 2006»
15 years 3 months ago
Improving evolutionary real-time testing
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
Marouane Tlili, Stefan Wappler, Harmen Sthamer
BMCBI
2005
148views more  BMCBI 2005»
14 years 11 months ago
Nonparametric tests for differential gene expression and interaction effects in multi-factorial microarray experiments
Background: Numerous nonparametric approaches have been proposed in literature to detect differential gene expression in the setting of two user-defined groups. However, there is ...
Xin Gao, Peter X. K. Song