355 search results - page 17 / 71 » Validation and Test Generation for Object-Oriented Distribut... |
SE
2007
14 years 11 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
APSEC
2006
IEEE
15 years 3 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
VLSID
2009
IEEE
15 years 10 months ago
2009
IEEE
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
White-box testing is an important method for the early detection of errors during software development. In this process test case generation plays a crucial role, defining appropr...
FATES
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...