809 search results - page 40 / 162 » Requirements by Contracts allow Automated System Testing |
168
click to vote
KBS
2011
14 years 11 months ago
2011
In today’s industrial applications, we see that knowledge systems are successfully implemented. However, critical domains require the elaborate and thoughtful validation of the ...
151
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...
163
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
141
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
117
click to vote
ICCBR
2003
Springer
15 years 9 months ago
2003
Springer
In [1] we propose interchangeability based algorithms as methods for solving the case adaptation for the domain of problems which can be expressed as Constraint Satisfaction Proble...