Sciweavers

4079 search results - page 108 / 816
» Differential Testing for Software
Sort
View
ISSRE
2007
IEEE
13 years 10 months ago
Intra-Class Testing of Abstract Class Features
Peter J. Clarke, Djuradj Babich, Tariq M. King, Ja...
SIGSOFT
2010
ACM
13 years 6 months ago
FITE: future integrated testing environment
Michael W. Whalen, Patrice Godefroid, Leonardo Mar...
BMCBI
2006
131views more  BMCBI 2006»
13 years 9 months ago
The statistics of identifying differentially expressed genes in Expresso and TM4: a comparison
Background: Analysis of DNA microarray data takes as input spot intensity measurements from scanner software and returns differential expression of genes between two conditions, t...
Allan A. Sioson, Shrinivasrao P. Mane, Pinghua Li,...
ICSE
2004
IEEE-ACM
14 years 9 months ago
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
FM
2005
Springer
108views Formal Methods» more  FM 2005»
14 years 2 months ago
Formal Methods and Testing: Hypotheses, and Correctness Approximations
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
Marie-Claude Gaudel