3544 search results - page 5 / 709 » Software Testing |
COMPSAC
2002
IEEE
14 years 13 days ago
2002
IEEE
One of the most important issues in the software development is how to guarantee that the software satisfies the quality defined in the requirement specification. This paper pr...
ISOLA
2004
Springer
14 years 25 days ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
XPU
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. While there are many excellent acceptance testing tools and frameworks available today, this paper presents an alternative approach, involving generating code from tests ...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
ISSRE
2008
IEEE
14 years 1 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...