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 |