303 search results - page 17 / 61 » Robust Test Generation and Coverage for Hybrid Systems |
SAC
2008
ACM
13 years 7 months ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
TAP
2008
Springer
13 years 7 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
TC
2010
13 years 2 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
CASES
2007
ACM
13 years 11 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
SSIRI
2010
13 years 6 months ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...