470 search results - page 24 / 94 » Test Case Generation Based on State and Activity Models |
100
click to vote
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
98
Voted
AROBOTS
2008
15 years 16 days ago
2008
Online trajectory generation for robots with multiple degrees of freedom is still a difficult and unsolved problem, in particular for non-steady state locomotion, that is, when th...
119
click to vote
ISESE
2006
IEEE
15 years 6 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
87
Voted
ICST
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...
123
click to vote
TVLSI
2008
15 years 9 days ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...