648 search results - page 14 / 130 » Carving differential unit test cases from system test cases |
ENTCS
2010
13 years 7 months ago
2010
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
FM
2005
Springer
14 years 29 days ago
2005
Springer
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 ...
AMOST
2007
ACM
13 years 11 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
BMCBI
2010
13 years 7 months ago
2010
Background: Microarray experiments examine the change in transcript levels of tens of thousands of genes simultaneously. To derive meaningful data, biologists investigate the resp...
QSIC
2009
IEEE
14 years 2 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...