1057 search results - page 25 / 212 » Testing from Formal Specifications, a Generic Approach |
PTS
2000
13 years 9 months ago
2000
Coverage analysis of programs and specifications is a common approach to measure the quality and the adequacy of a test suite. This paper presents a probe insertion technique for m...
AH
2008
Springer
14 years 1 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Because of the large variation across different environments, a generic classifier trained on extensive data-sets may perform sub-optimally in a particular test environment. In th...
SAC
2010
ACM
13 years 5 months ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...