1943 search results - page 1 / 389 » End-to-End Integration Testing |
ICTAC
2009
Springer
13 years 2 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
TSE
2011
12 years 11 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
FASE
2012
Springer
12 years 7 days ago
2012
Springer
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
BMCBI
2011
12 years 11 months ago
2011
Background: In the last decades, microarray technology has spread, leading to a dramatic increase of publicly available datasets. The first statistical tools developed were focuse...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM