Monday (16/December)
(Morning - Auditorio, first floor) Talk |
11:00 |
Opening |
Paulo Borba |
11:10 |
Systematic Derivation of Static Analyses for Software Product Lines |
Claus Braband |
12:10 |
Safe Evolution of Product Populations and Multi Product Lines |
Leopoldo Teixeira |
(Afternoon - Motorola Lab, second floor) Workshop |
15:00 |
Bringing Evidence About Collaboration Conflicts on Github Projects |
Paola Rodrigues |
15:30 |
Improving Modular Reasoning on Preprocessor-based Systems |
Jean Melo |
16:00 |
Coffee-break |
|
16:15 |
A product line of theories for reasoning about safe evolution of product lines |
Leopoldo Teixeira |
16:45 |
Modularizing Crosscutting Contracts with AspectJML |
Henrique Rebêlo |
Tuesday (17/December)
(Afternoon - Motorola Lab, second floor) Workshop |
14:00 |
Comparing Two Black-box Testing Strategies for Software Product Lines |
Paola Rodrigues |
14:30 |
Lightweight Testing for Configurable Systems |
Sabrina Souto |
15:00 |
Variability Specification and Realization in the Wild |
Andrzej Wasowski |
16:00 |
Coffee-break |
|
16:15 |
Rewriting Concurrent Haskell Programs to STM |
Francisco Soares |
16:40 |
Mechanisms to Support Empirical Studies in Software Engineering: a Systematic Mapping Study |
Waldemar Neto |
17:05 |
Automated Behavioral Testing of Refactoring Engines |
Gustavo Soares |
17:30 |
Investigating Preprocessor-Based Syntax Errors |
Flávio Medeiros |

Copyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback