221 search results - page 2 / 45 » Control Dependence for Extended Finite State Machines |
DSRT
2008
IEEE
13 years 11 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
ICSEA
2007
IEEE
13 years 11 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
DSVIS
2003
Springer
13 years 10 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
GECCO
2005
Springer
13 years 10 months ago
2005
Springer
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE