572 search results - page 27 / 115 » Test Generation for Intelligent Networks Using Model Checkin... |
RTAS
1997
IEEE
14 years 29 days ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
ENGL
2007
13 years 8 months ago
2007
—Defect tracking using computational intelligence methods is used to predict software readiness in this study. By comparing predicted number of faults and number of faults discov...
EMSOFT
2006
Springer
14 years 13 days ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
JCIT
2010
13 years 3 months ago
2010
Artificial Neural Networks(ANNS) have top level of capability to progress the estimation of cracks in metal tubes. The aim of this paper is to propose an algorithm to identify mod...