1992 search results - page 79 / 399 » Model Based Testing with Labelled Transition Systems |
133
click to vote
DSVIS
2003
Springer
15 years 7 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
110
Voted
ICECCS
1997
IEEE
15 years 6 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
122
click to vote
COMPSAC
2009
IEEE
15 years 10 days ago
2009
IEEE
1 The paper proposes a new test model, Call-For-Testing (CFT), and applies it to User Acceptance Testing (UAT) of Web Applications. Different from traditional approaches, UAT in th...
131
Voted
PTS
1993
15 years 3 months ago
1993
In the area of testing communication systems, the interfaces between systems to be tested and their testers have great impact on test generation and fault detectability. Several t...
118
click to vote
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...