759 search results - page 71 / 152 » Test case generator for GUITAR |
105
Voted
JDCTA
2010
14 years 7 months ago
2010
Performance indexes of the embedded real-time operating system are not isolated but interacting with each other. Two sets of elements aiming to describe the relationship between t...
129
click to vote
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
121
Voted
ICSE
2005
IEEE-ACM
16 years 25 days ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
FATES
2003
Springer
15 years 6 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
82
Voted
FORTE
1998
15 years 2 months ago
1998
In a testing environment, where an IUT communicates with multiple entities, a tester may have di ering degrees of controllability on the interactions between these entities and th...