280 search results - page 17 / 56 » Generating Regression Tests via Model Checking |
BIRTHDAY
2003
Springer
14 years 26 days ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
ACSD
2003
IEEE
13 years 11 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
TIP
2010
13 years 2 months ago
2010
In this paper, a motion-aligned auto-regressive (MAAR) model is proposed for frame rate up conversion, where each pixel is interpolated as the average of the results generated by o...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
It is labor-intensive to manually verify the outputs of a large set of tests that are not equipped with test oracles. Test selection helps to reduce this cost by selecting a small...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Nonparametric methods are widely applicable to statistical learning problems, since they rely on a few modeling assumptions. In this context, the fresh look advocated here permeat...