6014 search results - page 112 / 1203 » Structural Testing with Use Cases |
148
click to vote
ENTCS
2007
15 years 2 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
117
click to vote
CCS
2004
ACM
15 years 7 months ago
2004
ACM
Misuse-based intrusion detection systems rely on models of attacks to identify the manifestation of intrusive behavior. Therefore, the ability of these systems to reliably detect ...
122
click to vote
ISMVL
2000
IEEE
15 years 6 months ago
2000
IEEE
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than t...
138
click to vote
ICSM
2007
IEEE
15 years 8 months ago
2007
IEEE
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
136
click to vote
AAAI
2011
14 years 2 months ago
2011
Analogy is heavily used in instructional texts. We introduce the concept of analogical dialogue acts (ADAs), which represent the roles utterances play in instructional analogies. ...