21324 search results - page 141 / 4265 » Making the case for computing |
116
click to vote
DSVIS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
COMPUTER
2000
15 years 3 months ago
2000
COMPUTER
2008
15 years 3 months ago
2008
COMPUTER
2008
15 years 3 months ago
2008
154
click to vote
ICST
2011
IEEE
14 years 7 months ago
2011
IEEE
—Generated test cases are good at systematically exploring paths and conditions in software. However, generated test cases often do not make sense. We adapt test case generation ...