89 search results - page 13 / 18 » AutoTest: A Tool for Automatic Test Case Generation in Sprea... |
TMI
2010
13 years 2 months ago
2010
We propose a nonparametric, probabilistic model for the automatic segmentation of medical images, given a training set of images and corresponding label maps. The resulting inferen...
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...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
ECMDAFA
2008
Springer
13 years 9 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...