Selected Publications

2013


Andrade, Wilkerson L.; Machado, Patrícia D. L. Generating Test Cases for Real-Time Systems Based on Symbolic Models. IEEE Transactions on Software Engineering, v. 39, no.9, p. 1216-1229, 2013.

2012


Andrade, Wilkerson L.; Machado, Patrícia D. L. Testing interruptions in reactive systems. Formal Aspects of Computing, v. 24, p. 331-353, 2012.


2011


ANDRADE, Wilkerson L.; MACHADO, Patrícia D. L.; JÉRON, Thierry; MARCHAND, Hervé. Abstracting Time and Data for Conformance Testing of Real-Time Systems. In: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE Computer Society, March 2011, pp. 9–17, 7th Workshop on Advances in Model Based Testing (A-MOST 2011).

MACEDO, Augusto Q. ; ANDRADE, Wilkerson L. ; MACHADO, Patrícia D. L. RealTimePCO A Tool for Real-Time Embedded Systems Testing Execution. In: II Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011) - Sessão de Ferramentas, São Paulo, 2011, p. 72-78.


2010


MACEDO, Augusto Q.; ANDRADE, Wilkerson L.; ALMEIDA, Diego R.; MACHADO, Patrícia D. L. Automating Test Case Execution for Real-Time Embedded Systems. In: 22nd IFIP International Conference on Testing Software and Systems (ICTSS 2010), 2010, Natal, Brazil. ICTSS'10: Proceedings of the 22nd IFIP International Conference on Testing Software and Systems - Short Papers, 2010, p. 37-42.

ALVES, Everton L. G.; MACEDO, Augusto Q.; ANDRADE, Wilkerson L.; MACHADO, Patrícia D. L.; RAMALHO, Franklin S. Mapeando Modelos de Teste em UTP para a plataforma FreeRTOS. In: IV Brazilian Workshop on Systematic and Automated Software Testing (SAST 2010), 2010, Natal, Brazil. IV Brazilian Workshop on Systematic and Automated Software Testing (SAST 2010), 2010. p. 23-32.


2009


ANDRADE, Wilkerson L.; MACHADO, Patrícia  D. L. Interruption Testing of Reactive Systems. Lecture Notes in Computer Science, v. 5902, p. 37-53, 2009.

ANDRADE, Wilkerson L.; ALVES, Everton L. G.; ALMEIDA, Diego R.; MACHADO, Patrícia D. L. Automatic Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. Lecture Notes in Computer Science, v. 5902, p. 54-69, 2009.


2008


CARTAXO, Emanuela G.; ANDRADE, Wilkerson L.; Oliveira Neto, Francisco G.; MACHADO, Patrícia  D. L. LTSBT: A tool to Generate and Select Functional Test Cases for Embedded Systems. In: 23rd Annual ACM Symposium on Applied Computing (SAC 2008), 2008, Fortaleza, Brazil. SAC'08: Proceedings of the 2008 ACM symposium on Applied computing. New York, NY, USA : ACM Press, 2008. v. 2. p. 1540-1544.

ANDRADE, Wilkerson L.; MACHADO, Patrícia  D. L. Modeling and Testing Interruptions in Reactive Systems Using Symbolic Models. In: 2nd Brazilian Workshop on Systematic and Automated Software Testing (SAST 2008), 2008, Campinas, Brazil. 2nd Brazilian Workshop on Systematic and Automated Software Testing (SAST 2008), 2008. p. 34-43.


2007


BARBOSA, Daniel L.; LIMA, Helton S.; MACHADO, Patrícia  D. L.; FIGUEIREDO, Jorge C. A.; JUCÁ, Makelli A.; ANDRADE, Wilkerson L. Automating Functional Testing of Components from UML Specifications. International Journal of Software Engineering and Knowledge Engineering, v. 17, p. 339-358, 2007.

ANDRADE, Wilkerson L.; Oliveira Neto, Francisco G.; MACHADO, Patrícia  D. L. Geração de Casos de Teste de Interrupção para Aplicações de Celulares. In: VIII Workshop de Testes e Tolerância a Falhas (WTF 2007), 2007, Belém, Brasil. VIII Workshop de Testes e Tolerância a Falhas (WTF 2007). Porto Alegre : Sociedade Brasileira de Computação, 2007. p. 129-142.

MACHADO, Patrícia  D. L.; ANDRADE, Wilkerson L. The Oracle Problem for Testing against Quantified Properties. In: Seventh International Conference on Quality Software (QSIC 2007), 2007, Portland, USA. QSIC'07: Proceedings of the Seventh International Conference on Quality Software. Washington, DC, USA : IEEE Computer Society, 2007. p. 415-418.


2006


FIGUEIREDO, André L. L.; ANDRADE, Wilkerson L.; MACHADO, Patrícia D. L. Generating Interaction Test Cases for Mobile Phone Systems from Use Case Specifications. Software Engineering Notes, v. 31, p. 1-10, 2006.