Artigo de revista

The text size have been saved as 90%.

A Importância dos Testes Automatizados

Controlar a qualidade de sistemas de software é um grande desafio devido à altacomplexidade dos produtos e às inúmeras dificuldades relacionadas ao processo dedesenvolvimento, que envolve questões humanas, técnicas, burocráticas, de negócio e políticas.Idealmente, os sistemas de software devem não só fazer corretamente o que o cliente precisa, mastambém fazê-lo de forma segura, eficiente e escalável e serem flexíveis, de fácil manutenção eevolução.

Towards Deriving Test Sequences by Model Checking

BONIFACIO, A ; MOURA, A ; SIMAO, A ; MALDONADO, J . Towards Deriving Test Sequences by Model Checking. Electronic Notes in Theoretical Computer Science, v. 195, p. 21-40, 2008.

Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Program

ENDO, A. T. ; Simão, A. S. ; SOUZA, S. R. S. ; SOUZA, P. S. L. . Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Programs. In: TaicPart: Testing Academic & Industrial Conference - Practice and Research Techniques, 2008, Windsor. TaicPart: Testing Academic & Industrial Conference - Practice and Research Techniques, 2008. v. 1. p. 3-12.

Towards the Establishment of IMA-CID: An Integrated Modeling Approach for Developing Educational Modules

BARBOSA, E. F. ; MALDONADO, José Carlos . Towards the Establishment of IMA-CID: An Integrated Modeling Approach for Developing Educational Modules. . Journal On Educational Resources In Computing, 2007.

A binomial software reliability model based on coverage of structural testing criteria

CRESPO, A. N. ; JINO, M. ; PASQUINI, A. ; MALDONADO, J. C. . A binomial software reliability model based on coverage of structural testing criteria. Empirical Software Engineering, v. 10, p. 81-104, 2007.

Control and Data Flow Structural Testing Criteria for Aspect-Oriented Programs

LEMOS, O. A L ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; MASIERO, P. C. . Control and Data Flow Structural Testing Criteria for Aspect-Oriented Programs. Journal of Systems and Software, v. 80, p. 862-882, 2007.

Structural Testing Criteria for Message-Passing Parallel Programs

SOUZA, S. R. S. ; VERGILIO, Silvia Regina ; SOUZA, Paulo Sergio Lopes de ; SIMÃO, Adenilso da Silva ; HAUSEN, Alexandre Ceolin . Structural Testing Criteria for Message-Passing Parallel Programs. Concurrency and Computation. Practice & Experience, v. 20, p. 1893-1916, 2008.

Structural Testing for Semaphore-Based Multithread Programs

 
Sarmanho, F.S. ; SOUZA, Paulo Sérgio Lopes de ; SOUZA, S. R. S. ; SIMÃO, Adenilso da Silva . Structural Testing for Semaphore-Based Multithread Programs. In: 8th International Conference on Computational Science, 2008, Krakow. LNCS - Computational Science ICCS 2008. Heidelberg : Springer-Verlag, 2008. v. 5101. p. 337-346.
 

Reinforcing Design Rationale in Software Projects Developed in Academic Environment

 
PAIVA, D. M. B. ; FREIRE, A. P. ; LUCREDIO, D. ; BRAGA, R. T. V. ; FORTES, R. P. M. . Reinforcing Design Rationale in Software Projects Developed in Academic Environment. International Transactions on Systems Science and Applications, v. 3, p. 238-248, 2007.
 

The importance of Automated Tests, Agile, Fast, and Reliable Quality Control

 
BERNARCO, P. C.; KON, F.. The importance of Automated Tests, Agile, Fast, and Reliable Quality Control (in Portuguese: A Importância dos Testes Automatizados - Controle ágil, rápido e confiável de qualidade). In Engenharia de Software Magazine, 1(3), pp. 54-57. Rio de Janeiro, Brazil. 2008. Available http://www.ime.usp.br/~kon/papers/EngSoftMagazine-IntroducaoTestes.pdf