809 search results - page 57 / 162 » Requirements by Contracts allow Automated System Testing |
158
click to vote
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...
123
click to vote
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After ...
137
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
155
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
A short theatrical exaggeration (but not too much) which describes practical problems with variability as experienced by real-world software developers. Real issue, there are no p...
129
click to vote
TAP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...