Instrumentação eficiente de programas em sistemas embarcados críticos
Harry Trinta Pereira da Costa Márcio Eduardo Delamaro; Marcos Lordello Chaim; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Simpósio Brasileiro de Engenharia de Software - SBES 2011 (25. 2011 São Paulo, SP); Simpósio Brasileiro de Linguagens de Programação - SBLP 2011 (15. 2011 São Paulo, SP); Simpósio Brasileiro de Métodos Formais - SBMF 2011 (14. 2011 São Paulo, SP); Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - SBCARS 2011 (5. 2011 São Paulo, SP); Workshop of Theses and Dissertations of the CBSoft - WTDSoft 2011 (2011 São Paulo, SP)
Anais Porto Alegre : SBC, 2011
Porto Alegre SBC 2011
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-2217278 ) e outros locais(Acessar)
Subsídios para a aplicação de métodos de geração de casos de teste baseados em máquinas de estados no contexto de sistemas embarcados
Arineiza Cristina Pinheiro Adenilso da Silva Simão; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Simpósio Brasileiro de Engenharia de Software - SBES 2011 (25. 2011 São Paulo, SP); Simpósio Brasileiro de Linguagens de Programação - SBLP 2011 (15. 2011 São Paulo, SP); Simpósio Brasileiro de Métodos Formais - SBMF 2011 (14. 2011 São Paulo, SP); Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - SBCARS 2011 (5. 2011 São Paulo, SP); Workshop of Theses and Dissertations of the CBSoft - WTDSoft 2011 (2011 São Paulo, SP)
Anais Porto Alegre : SBC, 2011
Porto Alegre SBC 2011
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-2216766 ) e outros locais(Acessar)
Avaliação do custo e efetividade do teste estrutural para programas concorrentes com memória compartilhada
Silvana Morita Melo Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Simpósio Brasileiro de Engenharia de Software - SBES 2011 (25. 2011 São Paulo, SP); Simpósio Brasileiro de Linguagens de Programação - SBLP 2011 (15. 2011 São Paulo, SP); Simpósio Brasileiro de Métodos Formais - SBMF 2011 (14. 2011 São Paulo, SP); Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - SBCARS 2011 (5. 2011 São Paulo, SP); Workshop of Theses and Dissertations of the CBSoft - WTDSoft 2011 (2011 São Paulo, SP)
Anais Porto Alegre : SBC, 2011
Porto Alegre SBC 2011
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-2217301 ) e outros locais(Acessar)
Teste de mutação aplicado a programas concorrentes em MPI
Rodolfo Adamshuk Silva Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Simpósio Brasileiro de Engenharia de Software - SBES 2011 (25. 2011 São Paulo, SP); Simpósio Brasileiro de Linguagens de Programação - SBLP 2011 (15. 2011 São Paulo, SP); Simpósio Brasileiro de Métodos Formais - SBMF 2011 (14. 2011 São Paulo, SP); Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - SBCARS 2011 (5. 2011 São Paulo, SP); Workshop of Theses and Dissertations of the CBSoft - WTDSoft 2011 (2011 São Paulo, SP)
Anais Porto Alegre : SBC, 2011
Porto Alegre SBC 2011
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-2217086 ) e outros locais(Acessar)