Program

Below you can find the full program of ASE 2010. More details can be found in the respective subsections (Workshops, Tutorials, Invited Speakers)

Overview

Monday 20/09/2010 Tuesday 21/09/2010 Wednesday 22/09/2010 Thursday 23/09/2010 Friday 24/09/2010
Workshops
+
Tutorials
Workshops
+
Tutorials
+
Doctoral
Symposium
Keynote
+
Main
Conference
Keynote
+
Main
Conference
Keynote
+
Main
Conference
Lunch Lunch Lunch Lunch Lunch
Workshops
+
Tutorials
Workshops
+
Tutorials
+
Doctoral
Symposium
Main Conference
+
Posters
+
Tools
Main Conference
+
Posters
+
Tools
Main Conference
Reception Banquet Closing

Monday 20 September 2010

WORKSHOPS
WASDeTT-3:
3rd International Workshop on Academic Software Development Tools and Techniques
IWPSE-Evol 2010:
4th International Joint ERCIM/IWPSE Symposium on Software Evolution
FMICS 2010:
15th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
MOMPES 2010:
7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
ACoTA 2010:
1st International Workshop on Automated Configuration and Tailoring of Applications
TUTORIALS
T1: Infinite games and program synthesis from logical specifications
by Christof Loeding
(Morning session: 9:00-10:30, 11:00-12:30)
T2: Domain-Specific Modeling: Enabling Full Code Generation
by Juha-Pekka Tolvanen
(Afternoon session: 14:00-15:30, 16:00-17:30)
T5: Automated Component-Based Verification
by Dimitra Giannakopoulou & Corina Pãsãreanu
(Full day tutorial: 9:00-10:30, 11:00-12:30, 14:00-15:30, 16:00-17:30)

Tuesday 21 September 2010

WORKSHOPS
IWPSE-Evol 2010:
4th International Joint ERCIM/IWPSE Symposium on Software Evolution
FMICS 2010:
15th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Moves-Verif
LWI 2010
3rd Workshop on Living With Inconsistency in Software Development
TAV-WEB-10:
Workshop on Testing, Analysis and Verification of Web Software
TUTORIALS
T3: The use of text retrieval techniques in software engineering
by Andrian Marcus & Giuliano Antoniol
(Morning session: 9:00-10:30, 11:00-12:30)
T4: Research Methods in Computer Science
by Serge Demeyer
(Afternoon session: 14:00-15:30, 16:00-17:30)
DOCTORAL SYMPOSIUM
08:30 Registration
09:00 SESSION 1 - Keynote by Rupak Majumdar
(MPI-SWS, Kaiserslautern and UC Los Angeles)

Through the Looking Glass: Ph.D., Research, and Advising

Getting a doctoral degree, and preparing for a career in research, is not easy. Being an advisor is perhaps harder. I will recount some personal lessons I have learnt, and advice from others I have found helpful.

(Joint work with many others, whose advice has shaped my views)
10:30 Coffee break
11:00 SESSION 2

Error-Avoiding Adaptors for Black-Box Software Components
Casandra Holotescu
Politehnica University of Timisoara, Romania

Automated Model Grouping
Michael Becker
University of Leipzig, Germany
12:30 Lunch break
14:00 SESSION 3

Automatic inference of abstract type behavior
Mihai Balint
Politehnica University of Timisoara, Romania

Extraction and Visualization of Traceability Relationships between Documents and Source Code
Xiaofan Chen
University of Auckland, New Zealand
15:30 Lunch break
16:00 SESSION 4

Model Checking Graph Representation of Precise Boolean Inter-procedural Flow Analysis
Domnic Letarte
École Polytechnique de Montréal, Canada

The Influence of Multiple Artifacts on the Effectiveness of Software Testing
Matt Staats
University of Minnesota, USA
17:30 Closing discussion

Wednesday 22 September 2010

MAIN CONFERENCE
8:30
-
9:00
Registration
9:00
-
10:30
Opening
Keynote by Jan Bosch
“Towards Compositional Software Engineering”
10:30
-
11:00
Coffee Break
11:00
-
12:30
Parallel Sessions 2a and 2b
Session 2a: Design and Architecture

Analyzing Security Architectures
by Abi-Antoun, Barnes

VikiBuilder: end-user specification and generation of Visual Wikis
by Hirsch, Hosking, Grundy

Software Design Sketching with Calico
by Mangano, Baker, Dempsey, Navarro, Hoek
Session 2b: Natural Language Processing and Generation

Automatically Documenting Program Changes
by Buse, Weimer

Towards Automatically Generating Summary Comments for Java Methods
by Sridhara, Hill, Muppaneni, Pollock, Vijay-Shanker

Automatic Detection of Nocuous Ambiguities in Natural Language Requirements
by Yang, Willis, De Roeck, Nuseibeh
12:30
-
14:00
Lunch Break
14:00
-
15:30
Parallel Sessions 3a and 3b
Session 3a: Architecture and Product Lines

Flexible and Scalable Consistency Checking on Product Line Variability Models
by Vierhauser, Grünbacher, Egyed, Rabiser, Heider

Variability Modeling in The Real: A Perspective from The Operating Systems Domain
by Berger, She, Lotufo, Wasowski, Czarnecki

RESISTing Reliability Degradation through Proactive Reconfiguration
by Cooray, Malek, Roshandel, Kilgore
Session 3b: Bug Finding

Automatic Construction of an Effective Training Set for Prioritizing Static Analysis Warnings
by Liang, Wu, Wu, Wang, Xie, Mei

Finding Constant-Variable Pairing Bugs: A Hybrid Analysis-Mining Approach
by Lawall, Lo

Deviance from Perfection is a Better Criterion than Closeness to Evil when Identifying Risky Code
by Kessentini, Vaucher, Sahraoui
15:30
-
16:00
Coffee Break
16:00
-
17:30
Parallel Sessions P1, TP1 and TD1
Session P1: Poster Session
(Guidelines for presenters)

Seamlessly Integrated, but Loosely Coupled - Building UIs from Heterogeneous Components
by Heiko Paulheim

Tool Support for Quality-Driven Development of Software Architectures
by Suntae Kim, Dae-Kyoo Kim, Sooyong Park

MiTV: Multiple-Implementation Testing of User-Input Validators for Web Applications
by Kunal Taneja, Nuo Li, Madhuri Marri, Tao Xie, Nikolai Tillmann

Model Comparison with GenericDiff
by Zhenchang Xing

Reducing Combinatorics in Testing Product Lines
by Chang Hwan Peter Kim, Don Batory, Sarfraz Khurshid

A Visual Interactive Debugger Based on Symbolic Execution
by Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe

Model-Driven Reverse Engineering of Legacy Graphical User Interfaces
by Oscar Sánchez Ramón, Jesús Sánchez Cuadrado, Jesús García Molina

A Two-Step Technique for Extract Class Refactoring
by Gabriele Bavota, Andrea De Lucia, Andrian Marcus, Rocco Oliveto

Detecting User-Visible Failures in AJAX Web Applications by Analyzing Users' Interaction Behaviors
by Wanchun Li, Mary Jean Harrold, Carsten Görg

Architectural Style as an Independent Variable
by Hamid Bagheri, Yuanyuan Song, Kevin Sullivan

Text Mining in Supporting Software Systems Risk Assurance
by LiGuo Huang, Daniel Port, Liang Wang, Tao Xie, Tim Menzies
Session TP1: Tool Presentations
(Guidelines for presenters)

JCCD: A Flexible and Extensible API for Implementing Custom Code Clone Detectors
by Benjamin Biegel and Stephan Diehl

PeerUnit: A Framework for Testing Peer-to-Peer Systems
by João Eugenio Marynowski, Eduardo Cunha de Almeida, Gerson Sunye and Patrick Valduriez

Reconfigurable Run-Time Support for Distributed Service Component Architectures
by Rémi Mélisson , Philippe Merle, Daniel Romero , Romain Rouvoy and Lionel Seinturier

MoDisco: A Generic And Extensible Framework For Model Driven Reverse Engineering
by Hugo Brunelière , Jordi Cabot , Frédéric Jouault and Frédéric Madiot

Tool Support for Continuous Maintenance of State Machine Models in Program Code
by Moritz Balz , Michael Striewe and Michael Goedicke

Reac2o: A Runtime for Enterprise System Models
by Cameron Hine, Jean-Guy Schneider and Steve Versteeg

Symbolic Pathfinder: Symbolic Execution of Java Bytecode
by Corina Pasareanu and Neha Rungta

Enumeration Refactoring: Automatically Converting Java Constants to Enumerated Types
by Raffi Khatchadourian and Benjamin Muskalla
Session TD1: Tool Demos
(Guidelines for presenters)

(same as Session TP2 on Thursday)
SOCIAL EVENT
19:00
-
21:00
Conference Reception at Antwerp Stadhuis (city hall)

Thursday 23 September 2010

MAIN CONFERENCE
9:00
-
10:30
25th Anniversary Keynote by Cordell Green
“The Actual Implementation Will Be Derived from the Formal Specification” – KBSA, 1983
10:30
-
11:00
Coffee Break
11:00
-
12:30
Parallel Sessions 2a and 2b
Session 2a: Model-Driven Development

Verification-Driven Slicing of UML/OCL Models
by Shaikh, Viladrosa, Wiil, Memon

Automated Support for Repairing Input-Model Faults
by Mani, Sinha, Dhoolia, Sinha

Security-Driven Model-Based Dynamic Adaptation
by Morin, Mouelhi, Fleurey, Le Traon, Barais, Jézéquel
Session 2b: Model Checking

JRF-E: Using Model Checking to give Advice on Eliminating Memory Model-related Bugs
by Kim, Yavuz-Kahveci, Sanders

A Bounded Statistical Approach for Model Checking of Unbounded Until Properties
by He, Basu, Ghosh, Wu

Eliminating Navigation Errors in Web Applications via Model Checking and Runtime Enforcement of Navigation State Machines
by Halle, Ettema, Bunch, Bultan
12:30
-
14:00
Lunch Break
14:00
-
15:00
Parallel Sessions 3a and 3b
Session 3a: Requirements

Towards Mining Replacement Queries for Hard-to-Retrieve Traces
by Gibiec, Czauderna, Cleland-Huang

Tool Support for Essential Use Cases to Better Capture Software Requirements
by Kamalrudin, Grundy, Hosking
Session 3b: Mining Software Repositories

Timesheet Assistant: Mining and Reporting Developer Effort
by Sindhgatta, Narendra, Sengupta, Visweswariah, Ryman

An Experience Report on Scaling Tools for Mining Software Repositories Using MapReduce
by Shang, Adams, Hassan
15:00
-
15:30
Coffee Break
15:30
-
17:30
Parallel Sessions P2, TP2 and TD2
Session P2: Poster Session
(Guidelines for presenters)

Assisting End-User Programming for the Service-Oriented Web
by Xuanzhe Liu, Gang Huang, Qi Zhao, Zhi Jin, Hong Mei

MODA: Automated Test Generation for Database Applications via Mock Objects
by Kunal Taneja, Yi Zhang, Tao Xie

Random Unit-Test Generation with MUT-aware Sequence Recommendation
by Wujie Zheng, Qirun Zhang, Michael Lyu, Tao Xie

End-User Oriented Critic Specification for Domain-Specific Visual Language Tools
by Norhayati Mohd. Ali, John Hosking, John Grundy, Jun Huh

Checking Roundoff Errors using Counterexample-Guided Narrowing
by Ngoc Thi Bich Do, Mizuhito Ogawa

Realizing Architecture Frameworks through Megamodelling techniques
by Rich Hilliard, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione

Recovering Inter-Project Dependencies in Software Ecosystems
by Mircea Lungu, Romain Robbes, Michele Lanza

Automated Program Repair through the Evolution of Assembly Code
by Eric Schulte, Stephanie Forrest, Westley Weimer

Integrating Model Verification and Self-Adaptation
by Rafael V. Borges, Artur d'Avila Garcez, Luis C. Lamb

When to Use Data from Other Projects for Effort Estimation
by Ekrem Kocaguneli, Gregory Gay, Tim Menzies, Ye Yang, Jacky Keung

KADRE: Domain-Specific Architectural Recovery For Scientific Software Systems
by David Woollard, Chris A. Mattmann, Daniel Popescu, Nenad Medvidovic

Automated SQL Query Generation for Systematic Testing of Database Engines
by Shadi Abdul Khalek, Sarfraz Khurshid

Tag and Prune: A Pragmatic Approach to Software Product Line Implementation
by Quentin Boucher, Andreas Classen, Patrick Heymans, Arnaud Bourdoux, Laurent Demonceau

Reducing Estimation Uncertainty with Continuous Assessment: Tracking the “Cone of Uncertainty”
by Pongtip Aroonvatanaporn, Chatchai Sinthop, Barry Boehm

Feature Location Using Transitive Changesets to Join Semantic and Syntactic Knowledge
by Sukanya Ratanotayanon, Hye Jung Choi, Susan Elliott Sim
Session TP2: Tool Presentations
(Guidelines for presenters)

RuMoR: Monitoring and Recovery for BPEL Applications
by Jocelyn Simmonds and Marsha Chechik

Model/Analyzer: A Tool for Detecting, Visualizing and Fixing Design Errors in UML
by Alexander Reder and Alexander Egyed

CoGenTe: A Tool for Code Generator Testing
by A. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar and S Ramesh

Impendulo: Debugging the Programmer
by Willem Visser and Jaco Geldenhuys

SpecDiff: Debugging Formal Specifications
by Zhenchang Xing , Jun Sun , Yang Liu and Jin Song Dong

Deriving Behavior of Multi-User Processes From Interactive Requirements Validation
by Gregor Gabrysiak, Holger Giese and Andreas Seibel

Tool Support for Code Generation from a UMLsec Property
by Lionel Montrieux, Jan Jürjens, Charles B. Haley, Yijun Yu , Pierre-Yves Schobbens and Hubert Toussaint

PlayGo: Towards a Comprehensive Tool for Scenario Based Programming
by David Harel , Shahar Maoz , Smadar Szekely and Daniel Barkan

REMES Tool-chain: A Set of Integrated Tools for Behavior Modeling and Analysis of Embedded Systems
by Dinko Ivanov, Marin Orlić, Cristina Seceleanu and Aneta Vulgarakis

C2O: A Tool for Guided Decision-Making
by Alexander Nöhrer and Alexander Egyed
Session TD2: Tool Demos
(Guidelines for presenters)

(same as Session TP1 on Wednesday)
SOCIAL EVENT
19:00
-
23:00
Conference Banquet at the Marble Hall, Antwerp Zoo

Friday 24 September 2010

MAIN CONFERENCE
9:00
-
10:30
Keynote by Axel van Lamsweerde
“Model Engineering for Model-Driven Engineering”
10:30
-
11:00
Coffee Break
11:00
-
12:30
Parallel Sessions 2a and 2b
Session 2a: Specification and Verification

Search Carrying Code
by Taleghani, Atlee

Solving String Constraints Lazily
by Hooimeijer, Weimer

Scenario-Based with Value-Based Specification Mining: Better Together
by Lo, Maoz
Session 2b: Testing and Debugging

Test Generation to Expose Changes in Evolving Programs
by Qi, Roychoudhury, Liang

How did you specify your test suite?
by Holzer, Schallhart, Tautschnig, Veith

Dynamic and Transparent Analysis of Commodity Production Systems
by Fattori, Paleari, Martignoni, Monga
12:30
-
14:00
Lunch Break
14:00
-
15:30
Parallel Sessions 3a and 3b
Session 3a: Reuse and Component-Based Development

Apt-pbo: Solving the Software Dependency Problem using Pseudo-Boolean Optimization
by Trezentos, Lynce, Oliveira

A sentence-matching method for automatic license identification of source code files
by German, Manabe, Inoue

Detection of Recurring Software Vulnerabilities
by Pham, Nguyen, Nguyen, Nguyen
Session 3b: Software Evolution

Matching Dependence-Related Queries in the System Dependence Graph
by Wang, Lo, Cheng, Zhang, Mei, Yu

PLASMA: a Plan-based Layered Architecture for Software Model-driven Adaptation
by Tajalli, Garcia, Edwards, Medvidovic

Vdiff: A Program Differencing Algorithm for Verilog HDL
by Duley, Spandikow, Kim
15:30 Conference Closing
program.txt · Last modified: 20.09.2010 15:51 by Dirk Deridder
Driven by DokuWiki