1134 search results - page 22 / 227 » Composing Tests from Examples |
116
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Being able to detect and recognize human activities is important for making personal assistant robots useful in performing assistive tasks. The challenge is to develop a system th...
116
Voted
JSW
2007
15 years 11 days ago
2007
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...
93
Voted
DEXA
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
110
click to vote
PTS
2000
15 years 1 months ago
2000
Coverage analysis of programs and specifications is a common approach to measure the quality and the adequacy of a test suite. This paper presents a probe insertion technique for m...
101
Voted
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...