Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
On test oracles for Simulink-like modelsNardi, Paulo AugustoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2013-12-12Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Artigo
|
Combination and mutation strategies to support test data generation in the context of autonomous vehiclesVânia de Oliveira Neves Márcio Eduardo Delamaro; Paulo Cesar MasieroInternational Journal of Embedded Systems (IJES) Olney, Bucks, UK : Inderscience Publishers v. 8, n. 5/6, p. 464-482, 2016Olney, Bucks, UK 2016Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2839940 )(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Specifying automated oracles for Simulink modelsPaulo Augusto Nardi Márcio Eduardo Delamaro; Luciano Baresi; IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (2013 Taipei, Taiwan)Proceedings Piscataway : IEEE, 2013Piscataway IEEE 2013Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2962237 )(Acessar) |