96 search results - page 3 / 20 » Fault Diagnosis in Extended Finite State Machines |
COMPSAC
2002
IEEE
13 years 11 months ago
2002
IEEE
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This paper considers the problem of expanding an EFSM in o...
DSRT
2008
IEEE
14 years 26 days 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
14 years 22 days 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 11 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 12 months ago
2005
Springer
