125 search results - page 11 / 25 » Automated Test Set Generation for Statecharts |
ISBI
2007
IEEE
14 years 2 months ago
2007
IEEE
We have developed a novel framework for medical image analysis, known as Shells and Spheres. This framework utilizes spherical operators of variable radius centered at each image ...
KBSE
2002
IEEE
14 years 20 days ago
2002
IEEE
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
INFORMS
2010
13 years 6 months ago
2010
We design and implement an intensity-modulated radiation therapy (IMRT) plan generation technology that effectively and efficiently optimizes beam geometry as well as beam intens...
CADE
2002
Springer
14 years 8 months ago
2002
Springer
In this paper we define a new clausal class, called BU, which can be decided by hyperresolution with splitting. We also consider the model generation problem for BU and show that h...
DSRT
2008
IEEE
13 years 9 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...