Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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) |
|
2 |
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) |
|
3 |
Material Type: Artigo
|
Towards the practical mutation testing of AspectJ programsFabiano Cutigi Ferrari Awais Rashid; José Carlos MaldonadoScience of Computer Programming Amsterdam : Elsevier v. 78, n. 9, p. 1639\20131662, set 2013Amsterdam 2013Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2343155 )(Acessar) |
|
4 |
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) |
|
5 |
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. |
|
6 |
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) |
|
7 |
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) |
|
8 |
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) |
|
9 |
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) |