Publicações


Os trabalhos publicados durante 2003

Autor TRABALHO
[1] Martins, E.; Mattiello-Francisco, M.F. A Tool for Fault Injection and Conformance Testing of Distributed Systems - Invited Paper. Proceedings of the First Latin-American Symposium, LADC 2003, São Paulo, Brasil, outubro de 2003. Lecture Notes in Computer Science. LNCS 2847 - Dependable Computing – Springer-Verlag. p. 282-302. (ISSN- 0302-9743)
[2] Martins, E.; Ambrosio, AM.;Mattiello-Francisco, M.F. ATIFS: a testing toolset with software fault injection - Proceedings of York Computer Science Yellow Report 2003 - Workshop SofTest: UK Testing Research II - Department of Computer Science at York, UK, 4-5 September 2003.
[3] Ambrosio, AM Systematic Test Case Generation for Concurrent FSMs - In: Supplemental Volume of the 2003 International Conference on Dependable Systems and Networks - IEEE Computer Society – p. A-46-A-48. DSN2003 June 2003 - San Framcisco – USA. (ISBN- 0-7695-1952-0)
[4] Ambrosio, AM Teste de Conformidade para Software de Sistemas Espaciais - Workshop de Tese e Dissertações São Paulop, SP Outubro de 2003 – Ed. Por ªF.Zorzo, F. Brasileiro, I.E.S.J. Pôrto – São Paulo - EPUSP, 2003, p. 85-90. (ISBN- 85-86686-25-5)
[5] Guimarães, D.G. Uma Estratégia para Testes Funcionais de Aplicações WEB - Workshop de Tese e Dissertações São Paulop, SP Outubro de 2003 – Ed. Por A F.Zorzo, F. Brasileiro, I.E.S.J. Pôrto – São Paulo - EPUSP, 2003, p. 79-84. (ISBN- 85-86686-25-5)
[6] da Silva, C. S. ; Vijaykumar, N.L.; Martins, E. Uma Arquitetura de Testes para Validação de Computadores de Bordo - Anais do III Workshop dos Cursos da Computação Aplicada do INPE – III WORCAP, 26-27 de novembro de 2003, INPE, São José dos Campos, SP, Brasil.
[7] Amaral, A. S. M. S. ; Vijaykumar, N.L.; Martins, E. Geração automática de casos de testes de conformidade para software de aplicações em protocolos de comunicação - Anais do III Workshop dos Cursos da Computação Aplicada do INPE – III WORCAP, 26-27 de novembro de 2003, INPE, São José dos Campos, SP, Brasil.
[8] Ambrosio, AM; Martins, E. ; Carvalho, S.V.; Vijaykumar, N.L. An approach for Concurrent FSM-based Test Case Generation - Anais do III Workshop dos Cursos da Computação Aplicada do INPE – III WORCAP, 26-27 de novembro de 2003, INPE, São José dos Campos, SP, Brasil.

Os trabalhos publicados durante 2006

Autor TRABALHO
] Ambrosio, A. M.; Martins, E.; Vijaykumar, N.L.; de Carvalho, S.V. A Conformance Testing Process for Space Applications Software Services. JACIC - Aerospace Computing, Information, and Communication, Vol.3, N.4, pp.146-158. Publisher AIAA, April 2006, USA.
Bruno Abreu, Eliane Martins, Fabiano Sousa. Generalized Extremal Optimization Applied to Path Testing. Student Forum - 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006 - Raleigh, North Carolina, USA.
Ambrosio, A. M.; Martins, E. Space services: textual to formal description. Proceedings of the 8th Conference on Space Operations (SpaceOps 2006), 19 Jun – 23 Jun. 2006, Rome, Italy. : AIAA, 2006. Papers on Disc [CD-ROM].
Santiago, V.; Amaral, A.S.M.; Vijaykumar, N.L.; Mattiello-Francisco, M.F.; Martins, E.; Lopes, O.C. A Practical Approach for Automated Test Case Generation using Statecharts, 2nd International Workshop on Testing and Quality Assurance for Component-Based Systems (TQACBS), Chicago, USA, September 2006.
Abreu, B.T. Geração de dados de teste utilizando uma abordagem evolutiva. Dissertação de mestrado, UNICAMP, Campinas, 2006.

Os trabalhos publicados durante 2007

Topic revision: r3 - 07 Apr 2008 - CassioAdlung
 
Instituto Nacional de Pesquisas Espaciais - INPE Planejamento Colaborativo

Este site é alimentado por uma plataforma de colaboração TWiki
Ideas, requests, problems regarding Planejamento? Send feedback

Licença Creative Commons
.
Portal Brasil