| April 1, 2011 | ||
| Friday | ||
| 9:00-10:00 in E2.2 Invited Talk: Marta Kwiatkowska | ||
| 10:00-10:30 Coffee break | ||
| Friday 10:30-12:30 | ||
| FASE | ESOP | TOSCA |
| Testing in Practice | Concurrency | in E1.4/24 |
| in E2.1/007 | in E1.3/002 | |
| Retrofitting unit tests for parameterized unit testing | Type-based Access Control in Data-Centric Systems | |
| Suresh Thummalapenta, Madhuri Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux | Luis Caires, Jorge A. Perez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão | |
| Evolving a test oracle in black-box testing | Typing Copyless Message Passing | |
| Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang | Viviana Bono, Chiara Messa, Luca Padovani | |
| Automatic driver generation for analysis of web applications | A Testing Theory for a Higher-Order Cryptographic Language | |
| Oksana Tkachuk | Vasileios Koutavas, Matthew Hennessy | |
| Model-based regression testing of services using dependency analysis of visual contracts | Biochemical Reaction Rules with Constraints |
|
| Tamim Khan, Reiko Heckel | Mathias John, Cedric Lhoussaine, Joachim Niehren, Cristian Versari | |
| 12:30-14:00 Lunch | ||
| Friday 14:00-16:00 | ||
| FASE | ESOP | TOSCA SVARM QAPL |
| Code Development and Analysis | Program analysis | E1.4/24 E1.3/001 E1.3/003 |
| in E2.1/007 | in E1.3/002 | |
| Incremental Code Clone Detection and Elimination for Erlang Programs | Typing Local Control and State Using Flow Analysis | |
| Huiqing Li, Simon Thompson | Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi | |
| Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? | Precise Interprocedural Analysis in the Presence of Pointers to the Stack | |
| Bashar Gharaibeh, Hridesh Rajan, J. Morris Chang | Pascal Sotin, Bertrand Jeannet | |
| Flow-Augmented Call Graph: A New Foundation for Taming API Complexity | Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs | |
| Qirun Zhang, Wujie Zheng, Michael R. Lyu | Antoine Miné | |
| A music-inspired approach for design defects detection | Dataflow Analysis for Datarace-Free Programs | |
| Marouane Kessentini, Houari Sahraoui, Mounir Boukadoum , Manuel Wimmer | Arnab De, Deepak D'Souza, Rupesh Nasre | |
| 16:00-16:30 Coffee break | ||
| Friday 16:30 - 18:00 | ||
| FASE | TOSCA SVARM QAPL | |
| Empirical Studies | in E1.4/24 in E1.3/001 in E1.3/003 | |
| in E2.1/007 | ||
| An Empirical Study on Evolution of API Documentation | ||
| Lin Shi, Hao Zhong, Tao Xie, Mingshu Li | ||
| An Empirical Study of Long-Lived Code Clones | ||
| Dongxiang Cai, Miryung Kim | ||
| Where the truth lies: AOP and its impact on software modularity | ||
| Adam Przybylek | ||