125 search results - page 21 / 25 » Automated Test Set Generation for Statecharts |
122
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
133
click to vote
FDL
2008
IEEE
15 years 9 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
115
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: The expansion of automatic imaging technologies has created a need to be able to efficiently compare and review large sets of image data. To enable comparisons of imag...
130
click to vote
ISBI
2008
IEEE
16 years 3 months ago
2008
IEEE
Dermoscopy is a technique used to better visualize pigmented skin lesion and aid the clinician in determining if a lesion is benign or malignant. Automated segmentation of dermosc...
127
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
Segmentation of medical images is challenging due to poor image contrast and artifacts that result in missing or diffuse organ/tissue boundaries. Consequently, this task involves ...