4299 search results - page 233 / 860 » Concurrent Test Generation |
122
click to vote
DFT
2007
IEEE
15 years 10 months ago
2007
IEEE
In the paper, a methodology of developing checkers for communication protocol testing is presented. It was used to develop checker to test IP cores communication protocol implemen...
131
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
123
click to vote
AAAI
1992
15 years 5 months ago
1992
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
120
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...
185
click to vote
ICWL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a pilot system and discusses its possible extensions. In the first sections, we present a web-based test authoring system for English grammar and voca...