759 search results - page 61 / 152 » Test case generator for GUITAR |
121
click to vote
TAICPART
2010
IEEE
15 years 2 months ago
2010
IEEE
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...
105
click to vote
COMCOM
1999
15 years 4 months ago
1999
If a test does not produce the expected output, the incorrect output may have been caused by an earlier state transfer failure. Ghedamsi and von Bochmann [1992] and Ghedamsi et al...
147
click to vote
AOSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
134
click to vote
LREC
2008
15 years 5 months ago
2008
Evaluating the output of NLG systems is notoriously difficult, and performing assessments of text quality even more so. A range of automated and subject-based approaches to the ev...
117
click to vote
ICCBR
2003
Springer
15 years 9 months ago
2003
Springer
In [1] we propose interchangeability based algorithms as methods for solving the case adaptation for the domain of problems which can be expressed as Constraint Satisfaction Proble...