809 search results - page 21 / 162 » Requirements by Contracts allow Automated System Testing |
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
100
click to vote
ICSOC
2004
Springer
15 years 5 months ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
103
click to vote
ECLIPSE
2005
ACM
15 years 1 months ago
2005
ACM
Students need to learn testing skills, and using test-driven development on assignments is one way to help students learn. We use a flexible automated grading system called Web-CA...
ACSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
As the number of system vulnerabilities multiplies in recent years, vulnerability assessment has emerged as a powerful system security administration tool that can identify vulner...
79
Voted
SE
2008
15 years 1 months ago
2008
: The increased usage of Web services for critical applications introduces a growing need for efficient testing approaches to assure their quality. The Testing and Test Control Not...