Inscriere cercetatori

Site nou !

Daca nu va puteti recupera parola (sau aveti alte probleme), scrieti-ne la pagina de contact. Situl vechi se gaseste la adresa old.ad-astra.ro

Facebook

Testing against a non-controllable stream X-machine using state counting

Domenii publicaţii > Ştiinţe informatice + Tipuri publicaţii > Articol în revistã ştiinţificã

Autori: Florentin Ipate

Editorial: Theor. Comput. Sci., 353(1-3), p.291-316, 2006.

Rezumat:

Cuvinte cheie: specification based testing, formal methods

URL: http://www.informatik.uni-trier.de/~ley/db/conf/pts/testcom2006.html#Ipate06