Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Integration testing of object-oriented and aspect-oriented programs a structural pairwise approach for javaOtávio Augusto Lazzarini Lemos Ivan Gustavo Franchin; Paulo Cesar MasieroScience of Computer Programming v.74, n. 10, p. 861-878, 20092009Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Artigo
|
Formalization of an architectural model for exception handling coordination based on CA action conceptsDavid Paulo Pereira Ana Cristina Vieira de MeloScience of Computer Programming Amsterdam v. 75, n. 5, p. 333-349, 2010Amsterdam 2010Localização: IME - Inst. Matemática e Estatística (PROD-1852858 )(Acessar) |
|
3 |
Material Type: Artigo
|
Mitigating the effects of equivalent mutants with mutant classification strategiesMike Papadakis Márcio Eduardo Delamaro; Yves Le TraonScience of Computer Programming Amsterdam : Elsevier B. V. v. 95, pt. 3, p. 298-319, dez 2014Amsterdam 2014Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2510475 )(Acessar) |
|
4 |
Material Type: Artigo
|
An experimental comparison of edge, edge-pair, and prime path criteriaVinícius H. S Durelli (Vinícius Humberto Serapilha Durelli) Márcio Eduardo Delamaro; Jeff OffuttScience of Computer Programming Amsterdam : Elsevier B. V. v. 152, p. 99-115, Jan. 2018Amsterdam 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2859175 )(Acessar) |
|
5 |
Material Type: Artigo
|
A semi-automatic system to evaluate the performance and scalability of ontology persistent APIsEndhe Elias (Endhe Elias Soares) Jário Santos; Ig Ibert Bittencourt (Ig Ibert Bittencourt Santana Pinto); Seiji Isotani; O Holanda (Olavo de Holanda Cavalcanti Neto)Science of Computer Programming Amsterdam : Elsevier B. V. v. 136, p. 43-59, Mar. 2014Amsterdam 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2833263 )(Acessar) |
|
6 |
Material Type: Artigo
|
Coverage testing of java programs and componentsAuri Marcelo Rizzo Vincenzi José Carlos Maldonado; W Eric Wong; Márcio Eduardo DelamaroScience of Computer Programming v. 56, p 211-230, 20052005Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1440224 )(Acessar) |
|
7 |
Material Type: Artigo
|
Formalization of an architectural model for exception handling coordination based on CA action conceptsDavid Paulo Pereira Ana Cristina Vieira de MeloScience of Computer Programming Amsterdam v. 75, n. 5, p. 333-349, 2010Amsterdam 2010Localização: IME - Inst. Matemática e Estatística (PROD-1852858 )(Acessar) |
|
8 |
Material Type: Artigo
|
A practical approach for testing timed deterministic finite state machines with single clockKhaled El-Fakih Nina Yevtushenko; Adenilso da Silva SimãoScience of Computer Programming Amsterdam : Elsevier B. V. v. 80, parte B, p. 343-355, fev 2014Amsterdam 2014Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2420091 )(Acessar) |
|
9 |
Material Type: Livro
|
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)... [Prefácio]Adenilso da Silva Simão Carroll MorganScience of Computer Programming Amsterdam : Elsevier, 2014 v. 92, part B, p. 85, out 2014Amsterdam Elsevier 2014Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2668328 )(Acessar) |
|
10 |
Material Type: Artigo
|
Hierarchical featured state machinesVanderson Hafemann Fragal Adenilso da Silva Simão; Mohammad Reza MousaviScience of Computer Programming Amsterdam : Elsevier B. V. v. 171, p. 67-88, Feb. 2019Amsterdam 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2921266 )(Acessar) |