3547 search results - page 245 / 710 » Pseudo-Exhaustive Testing for Software |
270
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
220
click to vote
ARITH
1999
IEEE
15 years 11 months ago
1999
IEEE
Comprehensive testing of any implementation of the RSA cryptosystem requires the use of a number of moduli with specific properties. It is shown how to generate a sufficient varie...
171
click to vote
FATES
2004
Springer
16 years 20 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 ...
145
click to vote
FATES
2003
Springer
16 years 15 days ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
181
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
A new approach for sequential circuit test generation is proposed that combines software testing based techniques at the high level with test enhancement techniques at the gate le...