809 search results - page 2 / 162 » Requirements by Contracts allow Automated System Testing |
SERP
2007
13 years 7 months ago
2007
- Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where t...
FLOPS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
ISSRE
2010
IEEE
13 years 4 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
SEW
2007
IEEE
14 years 2 days ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
ICSOC
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. The Web and Grid services frameworks provide a promising infrastructure for cross-organizational use of online services. The use of services in large-scale and cross-orga...