6800 search results - page 279 / 1360 » Testing with Functions as Specifications |
155
click to vote
SFP
2003
15 years 7 months ago
2003
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
192
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be e...
154
click to vote
IWFM
1998
15 years 7 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
126
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
stract setting. Then we instantiate this algorithm with specific partial orderings and functions to obtain specific constraint propagation algorithms. In particular, using the noti...
172
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...