3544 search results - page 110 / 709 » Software Testing |
APSEC
2006
IEEE
15 years 4 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...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Keeping requirements specification up-to-date during the evolution of a software system is an expensive task. Consequently, specifications are usually not updated and rapidly beco...
105
click to vote
FATES
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
Despite the upsurge of interest in the Aspect-Oriented Programming (AOP) paradigm, there remain few results on test data generation techniques for AOP. Furthermore, there is no wo...
109
click to vote
ISSRE
2007
IEEE
14 years 11 months ago
2007
IEEE
In industrial practice, information on the software field quality of a product is available too late in the software lifecycle to guide affordable corrective action. An important ...