809 search results - page 2 / 162 » Requirements by Contracts allow Automated System Testing |
SERP
2007
14 years 11 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...
106
click to vote
FLOPS
2006
Springer
15 years 1 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...
85
Voted
ISSRE
2010
IEEE
14 years 8 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...
83
Voted
SEW
2007
IEEE
15 years 3 months 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...
108
Voted
ICSOC
2003
Springer
15 years 2 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...