Sciweavers

1054 search results - page 20 / 211

» A Formalization of the Turing Test

81

INFOCOM
1997
IEEE

118views Communications» more INFOCOM 1997»

Toward Formal TTCN-Based Test Execution

15 years 3 months ago

Toward Formal TTCN-Based Test Execution

Download www.jos.org.cn

Ruibing Hao, Jianping Wu

claim paper

Read More »

64

AMAST
1991
Springer

90views Software Engineering» more AMAST 1991»

A Formal Approach to Software Testing

15 years 3 months ago

A Formal Approach to Software Testing

Download www.i3s.unice.fr

Gilles Bernot, Marie-Claude Gaudel, Bruno Marre

claim paper

Read More »

90

FORTE
2001

250views Formal Methods» more FORTE 2001»

Towards a Formal Framework for Interoperability Testing

15 years 1 months ago

Towards a Formal Framework for Interoperability Testing

Download www.irisa.fr

César Viho, Sébastien Barbin, L&eacu...

claim paper

Read More »

51

CN
2008

72views more CN 2008»

Formal testing from timed finite state machines

14 years 12 months ago

Formal testing from timed finite state machines

Download www.lib.tsu.ru

Mercedes G. Merayo, Manuel Núñez, Is...

claim paper

Read More »

63

ENTCS
2007

73views more ENTCS 2007»

Towards the Integration of Visual and Formal Models for GUI Testing

14 years 11 months ago

Towards the Integration of Visual and Formal Models for GUI Testing

Download paginas.fe.up.pt

Ana Paiva, João C. P. Faria, Raul F. A. M. ...

claim paper

Read More »

« Prev « First page 20 / 211 Last » Next »