~~NOTOC~~ ====== Program ====== //Below you can find the full program of ASE 2010. More details can be found in the respective subsections ([[:program:workshops|Workshops]], [[:program:tutorials|Tutorials]], [[:program:invitedspeakers|Invited Speakers]])// ===== Overview ===== | [[#Monday 20 September 2010|Monday 20/09/2010]] | | [[#Tuesday 21 September 2010|Tuesday 21/09/2010]] | | [[#Wednesday 22 September 2010|Wednesday 22/09/2010]] | | [[#Thursday 23 September 2010|Thursday 23/09/2010]] | | [[#Friday 24 September 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** ^^ | | | | | [[program/workshops#WASDeTT-3: 3rd International Workshop on Academic Software Development Tools and Techniques|WASDeTT-3:]] \\ 3rd International Workshop on Academic Software Development Tools and Techniques | | | [[program/workshops#IWPSE-Evol 2010: 4th International Joint ERCIM/IWPSE Symposium on Software Evolution|IWPSE-Evol 2010:]] \\ 4th International Joint ERCIM/IWPSE Symposium on Software Evolution | | | [[program/workshops#FMICS 2010: 15th International ERCIM Workshop on Formal Methods for Industrial Critical Systems|FMICS 2010:]] \\ 15th International ERCIM Workshop on Formal Methods for Industrial Critical Systems| | | [[program/workshops#MOMPES 2010: 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software|MOMPES 2010:]] \\ 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software | | | [[program/workshops#ACoTA: 1st International Workshop on Automated Configuration and Tailoring of Applications|ACoTA 2010:]] \\ 1st International Workshop on Automated Configuration and Tailoring of Applications | | | | ^ ** TUTORIALS** ^^ | | | | | [[:program:tutorials#T1: Infinite games and program synthesis from logical specifications|T1: Infinite games and program synthesis from logical specifications]] \\ by Christof Loeding \\ //(Morning session: 9:00-10:30, 11:00-12:30)// | | | [[:program:tutorials#T2: Domain-Specific Modeling: Enabling Full Code Generation|T2: Domain-Specific Modeling: Enabling Full Code Generation]] \\ by Juha-Pekka Tolvanen \\ //(Afternoon session: 14:00-15:30, 16:00-17:30)// | | | [[:program:tutorials#T5: Automated Component-Based Verification|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** ^^ | | | | | [[program/workshops#IWPSE-Evol 2010: 4th International Joint ERCIM/IWPSE Symposium on Software Evolution|IWPSE-Evol 2010:]] \\ 4th International Joint ERCIM/IWPSE Symposium on Software Evolution | | | [[program/workshops#FMICS 2010: 15th International ERCIM Workshop on Formal Methods for Industrial Critical Systems|FMICS 2010:]] \\ 15th International ERCIM Workshop on Formal Methods for Industrial Critical Systems| | | [[program/workshops#Moves-Verif|Moves-Verif]] | | | [[program/workshops#3rd Workshop on Living With Inconsistency in Software Development|LWI 2010]] \\ 3rd Workshop on Living With Inconsistency in Software Development | | | [[program/workshops#TAV-WEB-10: Workshop on Testing, Analysis and Verification of Web Software|TAV-WEB-10:]] \\ Workshop on Testing, Analysis and Verification of Web Software | | | | ^ ** TUTORIALS** ^^ | | | | | [[:program:tutorials#T3: The use of text retrieval techniques in software engineering|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)// | | | [[:program:tutorials#T4: Research Methods in Computer Science|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 **[[program:invitedspeakers#Jan Bosch (September 22, 2010)|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** \\ ([[http://soft.vub.ac.be/ase2010/news/poster_format_and_sizes|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** \\ ([[http://soft.vub.ac.be/ase2010/news/poster_format_and_sizes|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** \\ ([[http://soft.vub.ac.be/ase2010/news/poster_format_and_sizes|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 **[[program:invitedspeakers#Cordell Green (23 September, 2010)|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** \\ ([[http://soft.vub.ac.be/ase2010/news/poster_format_and_sizes|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** \\ ([[http://soft.vub.ac.be/ase2010/news/poster_format_and_sizes|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** \\ ([[http://soft.vub.ac.be/ase2010/news/poster_format_and_sizes|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 **[[program:invitedspeakers#Axel van Lamsweerde (24 September, 2010)|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 | | | | ^ ^ ^