1722 search results - page 47 / 345 » Generating Tests from Counterexamples |
BMCBI
2006
14 years 9 months ago
2006
Background: Numerous feature selection methods have been applied to the identification of differentially expressed genes in microarray data. These include simple fold change, clas...
102
click to vote
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
COMPSAC
1996
IEEE
15 years 1 months ago
1996
IEEE
This paper discusses how conventional testing criteria such as branch coverage can be applied for the testing of member functions inside a class. To support such testing technique...
ENTCS
2008
14 years 9 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
TSMC
2010
14 years 4 months ago
2010
This paper presents a general gait representation framework for video-based human motion estimation. Specifically, we want to estimate the kinematics of an unknown gait from image ...