2419 search results - page 115 / 484 » A Formal Approach to Software Testing |
133
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...
116
click to vote
FATES
2004
Springer
15 years 8 months 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 ...
116
click to vote
AICCSA
2001
IEEE
15 years 7 months ago
2001
IEEE
A trend in software development is to assemble a system from a number of components. These may be either available commercially off-the-shelf, or by the use of network-based resou...
126
click to vote
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
124
Voted
ERSHOV
2003
Springer
15 years 8 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...