April 1, 2011
9:00-10:00 in E2.2   Invited Talk: Marta Kwiatkowska
10:00-10:30 Coffee break
Friday 10:30-12:30
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
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  

Who's online

We have 26 guests and no members online

Site Hosted by