4895 search results - page 314 / 979 » Tools for Grammar Engineering |
166
click to vote
FASE
2004
Springer
16 years 26 days ago
2004
Springer
TOBIAS is a combinatorial testing tool, aimed at the production of large test suites. In this paper, TOBIAS is applied to conformance tests for model-based specifications (express...
174
click to vote
FATES
2004
Springer
16 years 26 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
164
click to vote
RE
2004
Springer
16 years 24 days ago
2004
Springer
This paper addresses the issues related to improving the overall quality of the requirements tracing process for Independent Verification and Validation analysts. The contribution...
183
Voted
APSEC
2002
IEEE
16 years 13 days ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
209
click to vote
CSMR
2002
IEEE
16 years 13 days ago
2002
IEEE
Maintaining software is very difficult, not only because of the number of software artifacts, but also because of the large variety of artifacts. Software includes programs, but a...