dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Wilkerson de L. Andrade Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilkerson de L. Andrade, Patrícia D. L. Machado: Testing interruptions in reactive systems. Formal Asp. Comput. 24(3): 331-353 (2012)
2009
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilkerson de L. Andrade, Patrícia D. L. Machado: Interruption Testing of Reactive Systems. SBMF 2009: 37-53
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilkerson de L. Andrade, Patrícia D. L. Machado, Everton L. G. Alves, Diego R. Almeida: Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. SBMF 2009: 54-69
2008
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuela G. Cartaxo, Wilkerson de L. Andrade, Francisco G. Oliveira Neto, Patrícia D. L. Machado: LTS-BT: a tool to generate and select functional test cases for embedded systems. SAC 2008: 1540-1544
2007
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrícia D. L. Machado, Wilkerson de L. Andrade: The Oracle Problem for Testing against Quantified Properties. QSIC 2007: 415-418
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel L. Barbosa, Helton S. Lima, Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Makelli A. Jucá, Wilkerson de L. Andrade: Automating Functional Testing of Components from UML Specifications. International Journal of Software Engineering and Knowledge Engineering 17(3): 339-358 (2007)
2006
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré L. L. de Figueiredo, Wilkerson de L. Andrade, Patrícia D. L. Machado: Generating interaction test cases for mobile phone systems from use case specifications. ACM SIGSOFT Software Engineering Notes 31(6): 1-10 (2006)
2005
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiao Ribeiro de Almeida, Cláudio de Souza Baptista, Elvis Rodrigues da Silva, Cláudio E. C. Campelo, Camilo Porto Nunes, Bruno A. D. da Costa, Wilkerson de L. Andrade, Jairson M. Cabral: Using Service-Oriented Architecture in Context-Aware Applications. GeoInfo 2005: 15-29

Coauthor Index

1Damiao Ribeiro de Almeida [1]
2Diego R. Almeida [6]
3Everton L. G. Alves [6]
4Cláudio de Souza Baptista [1]
5Daniel L. Barbosa [3]
6Jairson M. Cabral [1]
7Cláudio Elízio Calazans Campelo (Cláudio E. C. Campelo) [1]
8Emanuela G. Cartaxo [5]
9Bruno A. D. da Costa [1]
10André L. L. de Figueiredo [2]
11Jorge C. A. de Figueiredo (Jorge Cesar Abrantes de Figueiredo) [3]
12Makelli A. Jucá [3]
13Helton S. Lima [3]
14Patrícia D. L. Machado [2] [3] [4] [5] [6] [7] [8]
15Francisco G. Oliveira Neto [5]
16Camilo Porto Nunes [1]
17Elvis Rodrigues da Silva [1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page