Sciweavers

1001 search results - page 16 / 201
» Testing Formal Dialectic
Sort
View
FORTE
2001
13 years 9 months ago
Towards a Formal Framework for Interoperability Testing
César Viho, Sébastien Barbin, L&eacu...
CN
2008
72views more  CN 2008»
13 years 7 months ago
Formal testing from timed finite state machines
Mercedes G. Merayo, Manuel Núñez, Is...
CORR
2010
Springer
46views Education» more  CORR 2010»
13 years 7 months ago
A Formalization of the Turing Test
Evgeny Chutchev
ENTCS
2007
73views more  ENTCS 2007»
13 years 7 months ago
Towards the Integration of Visual and Formal Models for GUI Testing
Ana Paiva, João C. P. Faria, Raul F. A. M. ...
JAR
2010
82views more  JAR 2010»
13 years 6 months ago
A Formal Logic Approach to Constrained Combinatorial Testing
Andrea Calvagna, Angelo Gargantini