Fault-based testing for refinement in CSP

Ana Cavalcanti Adenilso da Silva Simão; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)

Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 21-37, 2017

Cham, SZ Springer 2017

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2864877 )(Acessar)