Program The following table shows the technical program of SBMF'09. Legend IT: Invited Talk SBMF: Technical Session of SBMF SAST: Technical Session of SAST SC: Short Course GC: Grand Challenge CEMF: CEMF meeting
Back to Top Wednesday, August 19th 09:00 - 10:00 - Invited Talk 1 Satisfiability Modulo Theories: An Appetizer Chair: David Déharbe Speaker: LEONARDO DE MOURA, Microsoft Research, United StateRead more... 10:30 - 12:00 - SBMF Technical Session 1 Chair: Andrew Butterfield A Mechanized Strategy for Safe Abstraction of CSP Specifications - Adriana Damasceno - Federal University of Pernambuco, Brazil
- Adalberto Farias - Federal University of Pernambuco, Brazil
- Alexandre Mota - Federal University of Pernambuco, Brazil
Corecursive Algebras: A Study of General Structured Corecursion- Venanzio Capretta - University of Nottingham, United Kingdom
- Tarmo Uustal - Tallin University of Technology, Estonia
- Varmo Vene - University of Tartu, Estonia
Towards Safe Design of Synchronous Bus Protocols in Event-B - Ricardo B. França - Institut de Recherche en Informatique de Toulouse, France
- Leandro Buss Becker - Federal University of Santa Catarina, Brazil
- Jean-Paul Bodevei - Institut de Recherche en Informatique de Toulouse, France
- Jean-Marie Farines - Federal University of Santa Catarina, Brazil
- Mamoun FILALI-AMINE - Institut de Recherche en Informatique de Toulouse, France
10:30 - 12:10 - SAST Technical Session 1 Chair: Silvia Regina VergilioUma Técnica MDT para a Geração Automática de Casos de Teste Usando Padrões de Teste- Camila Maciel - Federal University of Campina Grande, Brazil
- Patricia Machado - Federal University of Campina Grande, Brazil
- Franklin Ramalho - Federal University of Campina Grande, Brazil
Geração de Dados de Teste a Partir de Modelos de Sistemas Embarcados: Uma Revisão Sistemática- Rodrigo Fraxino Araujo - University of São Paulo, Brazil
- Vinícius Humberto Durelli - University of São Paulo, Brazil
- Marcio Delamaro - University of São Paulo, Brazil
- José Maldonado - University of São Paulo/São Carlos, Brazil
Oráculos de Teste para Domínios GUI: Uma Revisão Sistemática - Rafael Oliveira - University of São Paulo, Brazil
- Marcio Delamaro - University of São Paulo, Brazil
- Fatima Nunes - University of São Paulo, Brazil
Análise de Fluxo de Controle e Dados a partir do Diagrama de Atividades da UML 2.0
- Jeferson Ferreira - State University of Campinas, Brazil
- Eliane Martins - State University of Campinas, Brazil
14:00 - 15:30 - SBMF Technical Session 2 Chair: Juliano IyodaInterruption Testing of Reactive Systems - Wilkerson L. Andrade - Federal University of Campina Grande, Brazil
- Patricia Machado - Federal University of Campina Grande, Brazil
Reasoning About General Quantum Programs over Mixed States
- Juliana Vizzotto - UNIFRA, Brazil
- Giovani Rubert Librelotto - Federal University of Santa Maria, Brazil
- Amr Sabry - Indiana University, United States
A Simple and General Theoretical Account for Abstract Types
Hongwei Xi - Boston University, United States 14:00 - 15:35 - SAST Technical Session 2 Chair: Marcelo d'AmorimAnálise de Mutantes Aplicadas a Critérios de Cobertura de Teste a partir de MEFs
- Flávio Dusse - University of São Paulo, Brazil
- José Maldonado - University of São Paulo/São Carlos, Brazil
- Adenilso Simao - University of São Paulo, Brazil
Geração de Sentenças para Testes a partir de Descrições de Linguagens - Cleverton Hentz - Federal University of Rio Grande do Norte, Brazil
- Anamaria Martins Moreira - Federal University of Rio Grande do Norte, Brazil
Geração de Seqüências de Verificação baseado em Algoritmos Genéticos
- Paulo Henrique Ribeiro - Federal University of São Paulo, Brazil
- Jorge Francisco Cutigi - Federal University of São Paulo, Brazil
- Adenilso Simao - University of São Paulo, Brazil
Test Case Selector: Uma Ferramenta para Seleção de Testes
- Juliana Mafra - Federal University of Pernambuco, Brazil
- Breno Miranda - Federal University of Pernambuco, Brazil
- Juliano Iyoda - Federal University of Pernambuco, Brazil
- Augusto Sampaio - Federal University of Pernambuco, Brazil
16:00 - 17:30 - Panel Chair: Márcio DelamaroTrends of the Software Verification, Validation and Testing: academia and industry
- Avelino Zorzo (PUCRS)
- Ana Cavalcanti (York University)
- Elizangela Andrade Paiva (Dell)
- Andre Gobbi Farina (HP)
17:30 - 19:30 - Short Course 1 Introduction to Software TestingSpeaker: Márcio Eduardo Delamaro, University of São Paulo, Brazil. Read more... 17:30 - 19:30 - CEMF meeting 19:30 - 20:30 - Openning and Welcoming Reception
Back to Top Thursday, August 20th
09:00 - 10:00 - Invited Talk 2 Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software EngineeringChair: Anamaria Moreira Speaker: SEBASTIAN UCHITEL, University of Buenos Aires, Argentina.Read more...
10:30 - 12:00 - SBMF Technical Session 3 Chair: Moonzoo KimA Complete Set of Object Modeling Laws for Alloy
- Rohit Gheyi - Federal University of Campina Grande, Brazil
- Tiago Massoni - Federal University of Pernambuco, Brazil
- Paulo Borba - Federal University of Pernambuco, Brazil
- Augusto Sampaio - Federal University of Pernambuco, Brazil
Undecidability Results for Distributed Probabilistic Systems
- Sergio Giro - CONICET - FaMAF, Argentina
Formal Model of Microcontroller Instruction Set in B
- Valério Gutemberg Medeiros Jr - Federal University of Rio Grande do Norte, Brazil
- David Déharbe - Federal University of Rio Grande do Norte, Brazil
14:00 - 15:30 - SBMF Technical Session 4 Chair: Léo Freitas Formalisation and Analysis of Objects as CSP Processes - Renata Kaufman - Federal University of Pernambuco, Brazil
- Augusto Sampaio - Federal University of Pernambuco, Brazil
- Alexandre Mota - Federal University of Pernambuco, Brazil
Low-Level Code Verification Based on CSP Models
- Moritz Kleine - Technische Universität Berlin, Germany
- Steffen Helke - Technische Universität Berlin, Germany
Defining Behaviours by Quasi-Finality
- Luis Monteiro - New University of Lisbon, Portugal
- Elisabete Freire - University of Azores, Portugal
16:00 - 18:00 - Short Course 2 Formal Models for Automatic Test Case GenerationSpeakers: Patrícia D. L. Machado and Wilkerson L. Andrade, Federal University of Campina Grande, Brazil Read more... 20:00 - DinnerThe SBMF dinner will take place in the "Cantina Pastasciuta", www.pastasciutta.com.br, Av. Borges de Medeiros 2083. Tickets can be obtained at registration or during the event, for a fee of R$ 50,00.
Back to Top
Friday, August 21th
09:00 - 10:00 - Invited Talk 3 Speeding up Simulation of SystemC using Model Checking
Chair: Augusto Sampaio Speaker: DANIEL KROENING, Oxford University, United Kingdom.Read more...
10:30 - 12:00 - Grand Challenge Session 1 Chair: Ana Cavalcanti
Mechanising data-types for Kernel design in Z- Leo Freitas - University of York, United Kingdom
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B - Kriangsak Damchoom - University of Southampton, United Kingdom
- Michael Butler - University of Southampton, United Kingdom
An Integrated Formal Methods Tool-Chain and its Application to Verifying a File System Model
- Miguel A. Ferreira - University of Minho, Portugal
- Jose N. Oliveira - University of Minho, Portugal
14:00 - 15:30 - Grand Challenge Session 2 Chair: Rohit Gheyi Concurrent Models of Flash Memory Device Behaviour - Andrew Butterfield - Trinity College Dublin, Ireland
- Art O'Cathain - Trinity College Dublin, Ireland
Concolic Testing of the Multisector Read Operation for a Flash Memory- Moonzoo Kim - Korea Advanced Institute of Science and Technology, Korea
- Yunho Kim - Korea Advanced Institute of Science and Technology, Korea
Verifying Compiled File System Code- Jan Tobias Mühlberg and Gerald Lüttgen - University of Bamberg, Germany
16:00 - 17:00 - Grand Challenge Session 3 Chair: Ana Melo
Formalizing FreeRTOS: First Steps - David Deharbe - Federal University of Rio Grande do Norte, Brazil
- Stephenson Galvão - Federal University of Rio Grande do Norte, Brazil
- Anamaria Moreira - Federal University of Rio Grande do Norte, Brazil
Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS
- Wilkerson Andrade - Federal University of Campina Grande, Brazil
- Patricia Machado - Federal University of Campina Grande, Brazil
- Everton Alves - Federal University of Campina Grande, Brazil
- Diego Almeida - Federal University of Campina Grande, Brazil
Back to Top
|