Sciweavers

1054 search results - page 20 / 211
» A Formalization of the Turing Test
Sort
View
INFOCOM
1997
IEEE
15 years 5 months ago
Toward Formal TTCN-Based Test Execution
Ruibing Hao, Jianping Wu
AMAST
1991
Springer
15 years 5 months ago
A Formal Approach to Software Testing
Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
FORTE
2001
15 years 3 months ago
Towards a Formal Framework for Interoperability Testing
César Viho, Sébastien Barbin, L&eacu...
CN
2008
72views more  CN 2008»
15 years 2 months ago
Formal testing from timed finite state machines
Mercedes G. Merayo, Manuel Núñez, Is...
ENTCS
2007
73views more  ENTCS 2007»
15 years 1 months ago
Towards the Integration of Visual and Formal Models for GUI Testing
Ana Paiva, João C. P. Faria, Raul F. A. M. ...