8.30 |
8.45 |
Welcome, Introduction – General and Program Chairs |
8.45 |
9.45 |
Keynote: Paul Jansen - Is source code analysis able to predict defects? The first steps of a long journey |
9.45 |
10.00 |
Coffee break |
10.00 |
11.15 |
Session1: Dependency Analysis - Session Chair: Paul Anderson |
|
|
Árpád Beszédes, Lajos Schrettner, Béla Csaba, Tamás Gergely, Judit Jász and Tibor Gyimóthy. Empirical Investigation of SEA-Based Dependence Cluster Properties |
|
|
Ahmad Jbara and Dror Feitelson. Characterization and Assessment of the Linux Configuration Complexity |
|
|
Tosin Daniel Oyetoyan, Daniela S. Cruzes and Reidar Conradi. Criticality of Defects in Cyclic Dependent Components |
|
|
[DEMO] Annervaz K M, Vikrant Kaulgud, Janardan Misra, Shubhashis Sengupta, Gary Titus and Azmat Munshi. Code Clustering Workbench |
|
|
[DEMO] Jeffrey Svajlenko, Chanchal K. Roy and Slawomir Duszynski. ForkSim: Generating Software Forks for Evaluating Cross-Project Similarity Analysis Tools |
11.15 |
11.30 |
Coffee break |
11.30 |
12.30 |
Session 2: Static Source code analysis - Session Chair: Mike Godfrey |
|
|
Diego Mendez, Benoit Baudry and Martin Monperrus. Empirical Evidence of Large-Scale Diversity in API Usage of Object=Oriented Software |
|
|
Johan Fabry, Coen De Roover and Viviane Jonckers. Aspectual Source Code Analysis with GASR |
|
|
[DEMO] Sven Mattsen, Pascal Cuoq and Sibylle Schupp. Driving a Sound Static Software Analyzer with Branch-and-Bound |
|
|
[DEMO] Sebastian Biallas, Mads Chr. Olesen, Franck Cassez and Ralf Huuck. PtrTracker: Pragmatic Pointer Analysis |
12.30 |
13.45 |
Lunch break |
13.45 |
15.00 |
Session 3: Dynamic analysis - Session Chair: Leon Moonen |
|
|
David Baca. Tracing with Minimal Number of Probes |
|
|
Yan Wang, Min Feng, Rajiv Gupta and Iulian Neamtiu. A State Alteration and Inspection-based Interactive Debugger |
|
|
[DEMO] Mike Papadakis, Marcio Eduardo Delamaro and Yves Le Traon. Proteum/FL: a Mutation-based Fault Localization Tool |
|
|
[DEMO] Antoine Floc’h, Tomofumi Yuki, Ali El-Moussawi, Antoine Morvan, Kevin Martin, Maxime Naullet, Mythri Alle, Ludovic L’hours, Nicolas Simon, Steven Derrien, Franois Charot, Christophe Wolinski and Olivier Sentieys.GeCoS: A Framework for Prototyping Custom Hardware Design Flows |
15.00 |
15.15 |
Coffee break |
15.15 |
16.15 |
Working/Discussion session |
16.15 |
16.30 |
Coffee break |
16.30 |
17.30 |
Working/discussion session presentations |