Contribuições para o Teste de Software

Ronald W. Ritchey, Mutating network models to generate network security test cases Mutation testing for the new century. pp. 79- 86 ,(2001) , 10.1007/978-1-4757-5939-6_13

A. F. Petrenko, N. V. Evtushenko, Synthesis of test experiments in some classes of automata Automatic Control and Computer Sciences. ,vol. 24, pp. 50- 55 ,(1991)

Ali Rezaki, Hasan Ural, Research: Construction of checking sequences based on characterization sets Computer Communications. ,vol. 18, pp. 911- 920 ,(1995) , 10.1016/0140-3664(96)81589-1

Silvia Regina Vergilio, Alexandre Ceolin Hausen, Simone do Rocio Senger de Souza, Adenilso da Silva Simão, Paulo Sergio Lopes de Souza, Thiago Bliscosque Goncalves, Alexandre de Melo Lima, ValiPar: A Testing Tool for Message-Passing Parallel Programs. software engineering and knowledge engineering. pp. 386- 391 ,(2005)

A. Petrenko, T. Higashino, T. Kaji, Handling redundant and additional states in protocol testing Springer US. pp. 300- 315 ,(1996) , 10.1007/978-0-387-34988-6_19

Ravi Sethi, Jeffrey D. Ullman, Alfred V. Aho, Compilers: Principles, Techniques, and Tools ,(1986)

George S. Almasi, Allan Gottlieb, Highly parallel computing (2nd ed.) Benjamin-Cummings Publishing Co., Inc.. ,(1994)

Mauro Arcese, Giorgio Corsetti, Pier Fortunato Bottan, Computer program testing ,(2013)

Lloyd Allison, A Practical Introduction to Denotational Semantics ,(1987)

Sandra Camargo Pinto Ferraz Fabbri, Análise de mutantes no contexto de sistemas reativos : uma contribuição para o estabelecimento de estratégias de teste e validação Biblioteca Digital de Teses e Dissertações da Universidade de São Paulo. ,(1996) , 10.11606/T.76.1996.TDE-13032014-172838