Recomendamos a seguinte bibliografia para um aprofundamento maior no tema do projeto ATIFS. A lista está apresentada em ordem alfabética de autores.

• Araújo, M. R. R. FSoFist- Uma ferramenta para teste de protocolos tolerantes a falhas. Dissertação de mestrado Instituto de Computação Unicamp, out/200

• Arlat, J.; Crouzet, Y.; Laprie, J.-C.. Fault injection for dependability validation of fault tolerant computing systems. Proc. FTCS19, Chicago, EUA, jun/1989.

• Azevedo, Y.N. Desing and implementation of a trace analyser e diagnosis generator for communication protocolos testing" Repport, IC-Unicamp, jul/1999. (in Portuguese) tem que ser feito o mesmo com as demais referncias em portugues

• Beizer, B. Software Testing Techniques. International Thomson Computer Press, 2nd. Edition, 1990.

• Beizer, B. Black-Box Testing. John Wiley & Sons, 1995.

• Binder, R. Testing Object-Oriented Systems Models, patterns and Tools. Addisson-Wesley, 2000.

• Bourhfir, C.; Dssouli, R.; Abdoulhamid, E.; Rico, N. Automatic executable test case generation for extended finite state machine protocols. Mar/1997, In URL: www.iro.montreal.ca/labs/teleinfo/PubListIndex.html.

• Bueno, R.N. Uma ferramenta para gerao de testes e falhas para mquinas de estado. Relatriode Iniciao Cientfica, IC-Unicamp, abr/1998.

• Bochmann G.v., Petrenko A. 1994. Protocol Testing: Review of Methods and Relevance for Software Testing. Proc. Intern. Symposium on Software Testing and Analysis (ISSTA), pp109-124.

• Castanet, R.; Sijelmassi, R. "Methods and semiautomatic tools for preparing distributed testing". Proc. Of Protocol Specification, Testing and Verification VII, 1987, pp177-188.

• Cavalli, Ana R.; Favreau, J.P.; Phalippou, M. Standardization of formal methods in conformance testing of communication protocols. Computer Networks and ISDN Systems, 29, 1996, pp3-14.

• Chanson, S. T.; Lee, B. P.; Parakh, N. J.; Zeng, H. X., Design and Implementation of a Feery clip Test System, Proc. 9th IFIP Symposium on Protocol Specification Testing & Verification, Enscchede, Holanda (Junho 1989).

• Chanson, S.T.; Vuong, S. ; Dany, H. Multi-party and interoperability testing using the Ferry Clip approach. Computer Communications, v.15, n.3, April1992.

• Chow, T.S. Testing Software Desing Modeled by Finite-State Machines. IEEE Transaction on Software Engineering, Vol. SE 4, NO 3, May 1978.

• Clark, J. A. & Pradhan, D. K, Fault Injection: A Method for Validating Computer System Dependability. IEEE Computer, jun. 1995, pp. 47-56.

• Clarke, L.A.; Hassell, J.; Richardson, D.J. A close look to domain testing. IEEE Trans. On Software Engineering, SE-8(4), jul/1982, pp380-390.

• Dawson, S.; F. Jahanian,; T. Mitton. ORCHESTRA: a Fault Injection Environment for Distributed Systems. Available on site: http://www.ecs.umich.edu.

• Duran, J.W.; Ntafos, S.C.. An evaluation of random testing. IEEE Trans. On Software Engineering, SE-10(4), jul/1984.

• Echtle, K.; Leu, M. The EFA Fault Injector for Fault-Tolerant Distributed System Testing. Proc. Workshop on Fault-Tolerant Parallel and Distributed Systems, Amherst, USA, 1992.

• Guimarães, M.S. Um framework para a contrução da interface com o usurio de um ambiente integrado de testes. Dissertao de mestrado. Instituto de Computao UNICAMP, novembro/1996.

• Hamlet, D.; Taylor R. Random testing does not inspire confidence. Proc. Of 2nd. Workshop on Software Testing, Verification and Analysis, anada, jul/1988, pp206-215

• Han, S.; Rosenberg, H.A.; Shin, K.G. DOCTOR: an Integrated Software Fault Injection Environment. Technical Report, University of Michigan n CSE-TR-192-93, 1993.

• Holzmann, G.J. Design and Validation of Computer Protocols, Prentice Hall, 1991.

• Hsueh, M; Tsai, T. K; Iyer, R. K, Fault Injection Techniques and Tools. IEEE Computer, abr/97, pp 52-75.

• ISO TC97/SC21, IS 9646. OSI Conformance Testing Methodology and Framework , ISO/1991.

• Jagadeesan, L.J.; Porter, A.; Puchol, C.; Ramming,J.C.; Votta, L.G. Specification-based testing of reactive software: a case study in technology transfer.in Proceedings of the 19Th International Conference on Software Engineering, May 1997 (http://www.bell-labs.com/user/lalita/pubs.html

• Jeukens, A.. Sistema de Gerao de Scripts. Relatrio de Iniciao Cientfica, IC-Unicamp, jul/1999.

• LabWINDOWS/CVI-C for Virtual Instrumentation-User Manual, National Instruments Corporation Technical Publications, 1996

• Lachi, R.L.. Camada de Gerenciamento de Objetos. Relatório de Iniciação Científica, ICUnicamp, jul/1999.

• Lai, R. A Survey of Communication Protocol Testing. The Jornal of Systems and Software 62 (2002) 21-46.

• Leme, N.G.M. Camada de Gerenciamento de Objetos (GO). Relatório de Iniciação Científica,- IC-Unicamp, jul/1997.

• Martins, E.; Sabião, S.B.; Ambrósio, A.M. - "ConData: a Tool for Automating Specification based in Test Case Generation for Communication Systems" Software Quality Journal, Vol. 8, No.4, 303-319, edited by Anna Liu and Paddy Nixon - Kluwer Academic Publishers, 1999.

• Martins, E.; Mattiello-Francisco, M.F, Morais, A.N.P. - "Uso da ferramenta FSoFIST na validação de uma aplicação especial" Anais da 2a Jornada Ibero-Americana de Engenharia de Software e Engenharia do Conhecimento, Salvador/BA (2002).

• Mattiello-Francisco, M. F. Sistemas Computacionais em Aplicações Espaciais. INPE-9604-PUD-125. Fev. 2003.

• Melo, P.C.B. Ferramenta de especificação gráfica de máquina de estados finitas para o ambiente de testes baseado em injeção de falhas por software - ATIFS. Relatório de Iniciação Científica, SICINPE, jul/2003.

• Pressman, R.S. Software Engeneering a practioners approach fourth edition. MacGrw-Hill

• Rosenberg, H.A.; Shin, K.G. Software Fault Injection and its Application in Distributed Systems. In Proc. FTCS-23, Toulouse, França, 1993.

• Sabião, S.B. Um método para geração de testes baseado em máquina finita de estado estendida combinando técnicas de teste caixa preta. Dissertaçao de Mestrado. Instituto de Computação Unicamp, jan/1999, in portuguese.

• Segall, Z.; Vrsalovic, D.; Siewiorek, D.P.; Yaskin, D.; Kownacki, J.; Barton, J.; Dancey, R.; Robinson, A.; Lin, T. FIAT-Fault Injection Based Automated Testing Environment. In Proc. FTCS- 18, Tokyo, Japan, 1988, pp102-107.

• Sotoma, I., Weber, T. S., AFIDS Arquitetura para Injeção de Falhas em Sistemas Distribuídos, Anais do XV Simpósio Brasileiro de Redes de Computadores, São Carlos/SP (1997).

• Stefani, M.R. Análise de traço com geração de diagnósticos para teste de comportamento de uma implementação de protocolo de comunicação em presença de falhas. Dissertação de Mestrado. Instituto de Computação Unicamp, mai/1997.

• Tanaka, S.T. Analisador da linguagem de especificação de protocolos. Relatório de Iniciação Científica, IC-Unicamp, jul/1999.

• Tretmans, J.; Belinfante, A.. Automatic testing with formal methods. Proc. EuroStar99: 7th. European Conference on Software Testing, In Proceedings of the Conference on Software Testing, Analysis and Review. EuroSTAR99, November, 1999.

• Tretmans J. PhD Thesis In: Web:http://www.fmt.cs.utwente.nl/publications/files/280- TrBe99.ps.gz.

• Uber, F.R.. Integrating Domain Testing into Extended Finite State Machine Testing. M.S. Dissertation. IC-UNICAMP, October/2001.

• Ural, H.; Yang, B. A test sequence generation method for protocol testing. IEEE Trans. On Communications, 39 (4), abr/1991, pp514-523.

• Villela, T.; Braga, J.; Fonseca, R.; Meja, J.; Rinke, E.; D'Amico, F. "An Overview of the MASCO Ballon-Borne Gamma-Ray Experiment'', Advances in Space Research, aceito, 2001.

• White, L.J.; Cohen, E.I. A domain strategy for computer program testing. IEEE Trans. On Software Engineering, SE-6(3), mai/1980, pp247-257.

• WxWindows Documents - http://www.wxwindows.org/

• Zeil, J. S. ; Affi, F.H.; White, L.J. Detection of linear errors via domain testing. ACM Trans. On Softw. Eng. And Methodology, 1(4), out/1992, pp422-451.

• Zeng, H.X.; Rayner, D. The Impact of the Ferry Concept on Protocol Testing. Anais do V Protocol Specification, Testing and Verification, 1986, pp533-544.

• Zeng, H.X.; Li, Q.; Du, X.F.; He, C.S. New Advances in Ferry Testing Approaches. Computer Networks and ISDN Systems, 15, 1988, pp47-54.