1722 search results - page 80 / 345 » Generating Tests from Counterexamples |
129
click to vote
ISCIS
2004
Springer
15 years 8 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
109
click to vote
ESE
2006
15 years 3 months ago
2006
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...
126
click to vote
QSIC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes a stochastic voting for testing a large number of Web Services (WS) under group testing. In the future, a large number of WS will be available and they need to...
118
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition. Dedicated discovery services will store bot...
138
click to vote
AI
2006
Springer
15 years 3 months ago
2006
Springer
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...