164 search results - page 7 / 33 » Combining Algebraic and Model-Based Test Case Generation |
216
Voted
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
194
Voted
SPIN
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
168
Voted
ICST
2008
IEEE
16 years 24 days ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
177
Voted
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
186
Voted
ICST
2008
IEEE
16 years 24 days ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...