ASE 2012

Program

Please find the detailed preliminary program below.

Monday	Room 7	Room 5 & 6
07:30 – 08:00	Registration (Central Area) & Welcome Coffee
08:00 – 08:30 08:30 – 09:00 09:00 – 09:30 09:30 – 10:00	Tutorial 1 Software Developer Skills and Tools in Iterative and Agile Development	Workshop 1 CVSM 2012
10:00 – 10:30	Break
10:30 – 11:00 11:00 – 11:30 11:30 – 12:00	Tutorial 1 unfortunately this tutorial is canceled	Workshop 1 (continued)
12:00 – 12:30 12:30 – 13:00 13:00 – 13:30	Lunch
13:30 – 14:00 14:00 – 14:30 14:30 – 15:00	Tutorial 2 Automatic Structural Unit Testing of C Code	Workshop 1 (continued)
15:00 – 15:30	Break
15:30 – 16:00 16:00 – 16:30 16:30 – 17:00 17:00 – 17:30	Tutorial 2 (continued)	Workshop 1 (continued)

 

Tuesday	Room 7	Room 5 & 6	Room 8 & 9
07:30 – 08:00	Registration (CentralArea) & WelcomeCoffee
08:00 – 08:30 08:30 – 09:00 09:00 – 09:30 09:30 – 10:00	Tutorial 3 The Use of Text Retrieval Techniques in Software-Engineering	Workshop 2 MOMPES 2012 (starts at 9:00)
10:00 – 10:30	Break
10:30 – 11:00 11:00 – 11:30 11:30 – 12:00	Tutorial 3 (continued)	Workshop 2 (continued)	Doctoral Symposium
12:00 – 12:30 12:30 – 13:00 13:00 – 13:30	Lunch
13:30 – 14:00 14:00 – 14:30 14:30 – 15:00	Tutorial 4 Safety, Dependability and Performance Analysis of Extended AADL Models	Workshop 2 (continued)	Doctoral Symposium (continued)
15:00 – 15:30	Break
15:30 – 16:00 16:00 – 16:30 16:30 – 17:00 17:00 – 17:30	Tutorial 4 (continued)	Workshop 2 (continued till 17:10)	Doctoral Symposium (continued)

 

Wednesday	Room 1	Room 2
08:30 – 09:00	Registration (Central Area) & Welcome Coffee
09:00 – 09:30 09:30 – 10:00	Keynote 1 Mark Harman
10:00 – 10:30	Break
10:30 – 11:00 11:00 – 11:30 11:30 – 12:00	Papers 1	Short Papers 1
12:00 – 12:30 12:30 – 13:00 13:00 – 13:30	Lunch
13:30 – 14:00 14:00 – 14:30 14:30 – 15:00	Papers 2	Papers 3
15:00 – 15:30	Break
15:30 – 16:00 16:00 – 16:30	Tool Teasers
16:30 – 17:00
17:00 – 17:30 17:30 – 18:00 18:00 – 18:30 18:30 – 19:00 19:00 – 19:30	Room 3 & 4 Tool Demos With Welcome Reception (cont.)
19:30 – 20:00		ASE Steering Committee Meeting
20:00 – 20:30 20:30 – 21:00 21:00 – 21:30 21:30 – 22:00 22:00 – 22:30 22:30 – 23:00 23:00 – 23:30

 

Thursday	Room 1	Room 2
08:00 – 08:30	Registration (Central Area) & Welcome Coffee
08:30 – 09:00 09:00 – 09:30 09:30 – 10:00	Papers 4	Short Papers 2
10:00 – 10:30	Break
10:30 – 11:00 11:00 – 11:30 11:30 – 12:00	Papers 5	Short Papers 3
12:00 – 12:30 12:30 – 13:00 13:00 – 13:30	Lunch
13:30 – 14:00 14:00 – 14:30 14:30 – 15:00	Panel: “Benchmarks in (A)SE”
15:00 – 15:30 15:30 – 16:00	Tool Teasers
16:00 – 16:30 16:30 – 17:00 17:00 – 17:30 17:30 – 18:00		Room 3 & 4 Tool Demos (with coffee break)
18:00 – 18:30 18:30 – 19:00
19:00 – 19:30 19:30 – 20:00 20:00 – 20:30 20:30 – 21:00 21:00 – 21:30 21:30 – 22:00 22:00 – 22:30 22:30 – 23:00	ASE Conference Dinner Landhaus Restaurant Grugapark

 

Friday	Room 1	Room 2
08:00 – 08:30	Registration (Central Area) & Welcome Coffee
08:30 – 09:00 09:00 – 09:30 09:30 – 10:00	Papers 6	Short Papers 4
10:00 – 10:30	Break
10:30 – 11:00 11:00 – 11:30 11:30 – 12:00	Papers 7	Short Papers 5
12:00 – 12:30 12:30 – 13:00 13:00 – 13:30	Lunch
13:30 – 14:00 14:00 – 14:30	Keynote 2 Ivar Jacobson
14:30 – 15:00 15:00 – 15:30	Closing Session

 

Preliminary Program

Wednesday, September 5th:

10:30 – 12:00
Debugging I (Paper 1)	Re-engineering, Program Understanding & Model Transformation (Short Paper 1)
“Practical Isolation of Failure-Inducing Changes for Debugging Regression Faults” - Kai Yu, Mengxiang Lin, Jin Chen, Xiangyu Zhang	“Supporting Automated Software Re-Engineering Using “Re-Aspects”” - Mohamed Almorsy, John Grundy, Amani S. Ibrahim
	“Supporting Operating System Kernel Data Disambiguation using Points-to Analysis” - Amani S. Ibrahim, John Grundy, James Hamlyn-Harris, Mohamed Almorsy
“Diversity Maximization Speedup for Fault Localization” - Liang Gong, David Lo, Lingxiao Jiang, Hongyu Zhang	“Automatic Recovery of Statecharts from Procedural Code” - Moria Abadi, Yishai A. Feldman
	“Locating Distinguishing Features Using Diff Sets” - Julia Rubin, Marsha Chechik
“Improving the Effectiveness of Spectra-based Fault Localization using Specifications” - Divya Gopinath, Razieh Zaeem, Sarfraz Khurshid	“Slicing and Replaying Code Change History” - Katsuhisa Maruyama, Eijiro Kitsu, Takayuki Omori, Shinpei Hayashi
	“Generating Model Transformation Rules from Examples using an Evolutionary Algorithm” - Martin Faunes, Houari Sahraoui, Mounir Boukadoum
13:30 – 15:00
Debugging II (Paper 2)	Privacy, Security & Performance (Paper 3)
“To What Extent Could We Detect Field Defects? —An Empirical Study of False Negatives in Static Bug Finding Tools” - Ferdian Thung, Lucia Lucia, David Lo, Lingxiao Jiang, Foyzur Rahman, Premkumar Devanbu	“User-Aware Privacy Control via Extended Static-Information-Flow Analysis” - Xusheng Xiao, Nikolai Tillmann, Manuel Fahndrich, Jonathan Halleux, Michal Moskal
“Diagnosys: Automatic Generation of a Debugging Interface to the Linux kernel” - Tegawende F. Bissyande, Laurent Reveillere, Julia Lawall, Gilles Muller	“Automatic Query Performance Assessment during the Retrieval of Software Artifacts” - Sonia Haiduc, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, Andrian Marcus
“Duplicate Bug Report Detection with a Combination of Information Retrieval and Topic Modeling” - Anh Tuan Nguyen, Tung Nguyen, Tien Nguyen, David Lo, Chengnian Sun	“Supporting Automated Vulnerability Analysis using Formalized Vulnerability Signatures” - Mohamed Almorsy, John Grundy, Amani S. Ibrahim

Thursday, September 6th:

8:30 – 10:00
Configuration Management & QoS (Paper 4)	Testing & Code Analysis (Short Paper 2)
“A Qualitative Study on User Guidance Capabilities in Product Configuration Tools” - Rick Rabiser, Paul Grunbacher, Martin Lehofer	“Augmented Dynamic Symbolic Execution” - Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan Halleux
	“Using GUI Ripping for Automated Testing of Android Applications” - Domenico Amalfitano, Anna Fasolino, Salvatore De Carmine, Atif Memon, Porfirio Tramontana
“Structured Merge with Auto-Tuning: Balancing Precision and Performance” - Sven Apel, Olaf Lessenich, Christian Lengauer	“kbe-Anonymity: Test Data Anonymization for Evolving Programs” - Lucia Lucia, David Lo, Lingxiao Jiang, Aditya Budi
	“Selection of Regression System Tests for Security Policy Evolution” - JeeHyun Hwang, Tao Xie, Donia El Kateb, Tejeddine Mouelhi, Yves Le Traon
“An Automated Approach to Forecasting QoS Attributes Based on Linear and Non-Linear Time Series Modeling” - Ayman Amin, Lars Grunske, Alan Colman	“Fast and Precise Points-to Analysis with Incremental CFL-Reachability Summarisation: Preliminary Experience” - Lei Shang, Yi Lu, Jingling Xue
10:30 – 12:00
Testing & Monitoring (Paper 5)	Detection & Refactoring (Short Paper 3)
“Puzzle-based Automatic Testing: bringing humans into the loop by solving puzzles” - Ning Chen, Sunghun Kim	“Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android” - Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon
	“Support Vector Machines for Anti-Pattern Detection” - Abddou Maiga, Nasir Ali, Neelesh Bhattacharya, Aminata Sabane, Yann-Gael Gueheneuc, Giuliano Antoniol, Esma Aimeur
“Using Unfoldings in Automated Testing of Multithreaded Programs“, Kari Kahkonen, Olli Saarikivi, Keijo Heljanko” - Kari Kahkonen, Olli Saarikivi, Keijo Heljanko	“Detection of Embedded Code Smells in Dynamic Web Applications” - Hung Viet Nguyen, Hoan Nguyen, Tung Nguyen, Anh Nguyen, Tien Nguyen
	“Boreas: an Accurate and Scalable Token-based approach to code clone detection” - Yang Yuan, Yao Guo
“Runtime Monitoring of Software Energy Hotspots” - Adel Noureddine, Aurelien Bourdon, Romain Rouvoy, Lionel Seinturier	“Refactorings without Names” - Friedrich Steimann, Jens Von Pilgrim
	“Automated API migration in a User-Extensible Refactoring Tool for Erlang Programs” - Huiqing Li, Simon Thompson

Friday, September 7th:

8:30 – 10:00
Prediction (Paper 6)	Requirements Engineering & Model based Development (Short Paper 4)
“Can I Clone This Piece of Code Here?” - Xiaoyin Wang, Yingnong Dang, Lu Zhang, Dongmei Zhang, Erica Lan, Hong Mei	“Using Mobile Devices for Collaborative Requirements Engineering” - Rainer Lutz, Sascha Schafer, Stephan Diehl
	“Automatically Generating and Adapting Model Constraints to Support Co-Evolution of Design Models” - Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed
“Predicting Recurring Crash Stacks” - Hyunmin Seo, Sunghun Kim	“Adaptability of Model Comparison Tools” - Timo Kehrer, Udo Kelter, Pit Pietsch, Maik Schmidt
fffff
“Automated Inference of Goal-oriented Performance Prediction Functions” - Dennis Westermann, Jens Happe, Rouven Krebs, Roozbeh Farahbod
10:30 – 12:00
Validation, Verification & Consistency (Paper 7)	Defect Prediction & Recovery (Short Paper 5)
“Code Patterns for Automatically Validating Requirements-to-Code Traces” - Achraf Ghabi, Alexander Egyed	“Predicting Common Web Application Vulnerabilities from Input Validation and Sanitization Code Patterns” - Lwin Khin Shar, Hee Beng Kuan Tan
	“Software Defect Prediction using Semi-Supervised Learning with Dimension Reduction” - Huihua Lu, Bojan Cukic, Mark Culp
“Unbounded Data Model Verification Using SMT Solvers” - Jaideep Nijjar, Tevfik Bultan	“Healing Online Service Systems via Mining Historical Issue Repositories” - Rui Ding, Jiajun Shen, Qiang Fu, Jian-guang Lou, Qingwei Lin, Dongmei Zhang, Tao Xie
	“Automated Evaluation of Syntax Error Recovery” - Maartje De Jonge, Eelco Visser
“Computing Repair Trees for Resolving Inconsistencies in Design Models” - Alexander Reder, Alexander Egyed

 

Tool Demonstrations

Wednesday, September 5th:

17:00 – 20:00

“MarmaAl: Tool Support for Capturing and Managing Consistency of Multi-lingual Requirements” – Massila Kamalrudin, John Grundy, John Hosking

“GUITest: A Java Library for Fully Automated GUI Robustness Testing” – Sebastian Bauersfeld, Tanja E. J. Vos

“Observatory of Trends in Software Related Microblogs” – Palakorn Achananuparp, Ibrahim Lubis, Yuan Tian, David Lo, Ee-Peng Lim

“Arcade.PLC: A Verification Platform for Programmable Logic Controllers” – Sebastian Biallas, Joerg Brauer, Stefan Kowalewski

“Test Suite Selection Based on Traceability Annotations” – Yves Ledru, German Vega, Taha Triki, Lydie Du Bousquet

“PuMoC: A CTL Model-Checker for Sequential Programs” – Fu Song, Tayssir Touili

“Weave Droid: Aspect-Oriented Programming on Android Devices, Fully Embedded or in the Cloud” – Ylies Falcone, Sebastian Currea

“Caprice: A Tool for Engineering Adaptive Privacy” – Inah Omoronyia, Liliana Pasquale, Mazeiar Salehie, Luca Cavallaro, Gavin Doherty, Bashar Nuseibeh

“REInDetector: A Framework for Knowledge-Based Requirements Engineering” - Tuong Huan Nguyen, Bao Quoc Vo, Markus Lumpe, John Grundy

Thursday, September 6th:

15:30 – 17:30

“JStereoCode: Automatically Identifying Method and Class Stereotypes in Java Code” - Laura Moreno, Andrian Marcus

“CHESS: A Model-Driven Engineering Tool Environment for Aiding the Development of Complex Industrial Systems” - Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini, Stefano Puri, Marco Panunzio, Tullio Vardanega, Alessandro Zovi

“SYMake: A Build Code Analysis and Refactoring Tool for Makefiles” - Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, Tien Nguyen

“Quokka: Visualising Interactions of Enterprise Software Environment Emulators” -Cameron Hine, Jean-Guy Schneider, Jun Han, Steve Versteeg

“Communicationg Continuous Integration Servers for Increasing Effectiveness of Automated Testing” - Stefan Dösinger, Richard Mordinyi, Stefan Biffl

“GZoltar: An Eclipse Plug-In for Testing and Debugging” - José Campos, André Riboira, Alexandre Perez, Rui Abreu

“Semantic Patch Inference” - Jesper Andersen, Anh Cuong Nguyen, David Lo, Julia L. Lawall, Siau-Cheng Khoo