Photo by williamchp@flickr.

Description: View of Marina Bay Singapore from The Singapore Flyer

The photo is copyrighted by its owner. Unauthorized use is prohibited.

     ASE 2016
September 3-7, 2016
Singapore

ASE 2016
 
Program
Presentation Instruction
Keynotes
Registration
Proceedings
 
Organization
Program Committee
Important Dates
Calls
Workshops
Tutorials
Doctoral Symposium
Venue
Travel
Accommodation
Previous Years
Publicity Materials
Sponsors
 
Sponsored by:
Supported by:
Held in:


Program at a Glance

Download Program Booklet- http://ase2016.org/ASE2016-Booklet.pdf


Time Sat, Sep 3 Sun, Sep 4 Mon, Sep 5 Tue, Sep 6 Wed, Sep 7
  Morning Workshops Workshops Keynote
(Markus Püschel)
Keynote
(Wolfram Schulte)
Keynote
(David Rosenblum)
Tutorials Tutorials Main Conference Main Conference Main Conference
  Doctoral Symposium
  Afternoon Workshops Workshops Main Conference Main Conference Main Conference
Tutorials Tutorials
  Doctoral Symposium
  Evening Reception
@ SMU Library
Dinner @ Carlton Dinner @ Administration Building
and Social Event @ Night Safari *)
*) Please register here to reserve your seat for the last two social events on Sept 7 (Dinner and Night Safari) - only for participants who have registered to the main conference. Last registration date: August 18

Daily Schedules

Saturday, Sept 3 - School of Accountancy (SOA)

Time Workshops Tutorials
09:00

T1. Build Your Own Model Checker with PAT
(DONG Jin-Song, SUN Jun, LIU Yang)
Venue : Seminar Room 2.4

T2. Product Line Variability
(Klaus Pohl)
Venue : Seminar Room 2.5

10:30 Break
11:00

T1. Build Your Own Model Checker with PAT
(DONG Jin-Song, SUN Jun, LIU Yang)
Venue : Seminar Room 2.4

T2. Product Line Variability
(Klaus Pohl)
Venue : Seminar Room 2.5

13:00 Lunch
14.30

T4. Automated GUI Testing of Android Apps: Challenges, Approaches, Tools, and Best Practices
(Mario Linares-Vasquez,Kevin Moran and Denys Poshyvanyk)
Venue : Seminar Room 2.4

T5. Search Based Software Engineering: Foundations, Challenges and Recent Advances
(Marouane Kessentini and Ali Ouni)
Venue : Seminar Room 2.5

16:30 Break
17.00

T4. Automated GUI Testing of Android Apps: Challenges, Approaches, Tools, and Best Practices
(Mario Linares-Vasquez,Kevin Moran and Denys Poshyvanyk)
Venue : Seminar Room 2.4

T5. Search Based Software Engineering: Foundations, Challenges and Recent Advances
(Marouane Kessentini and Ali Ouni)
Venue : Seminar Room 2.5

18.30 End of presentations and demos of the day
Note : the start and end time of the workshop differs. Please refer to the workshop websites for the actual timing

Sunday, Sept 4 - School of Accountancy (SOA)

Time Doctoral Symposium
(Seminar Room 3.2)
Workshops Tutorials
09:00

Intro from the Program Chairs
Massimiliano Di Penta and Tien N. Nguyen
(09:00-09:15)

Keynote: "The good, the bad, and the ugly when pursuing a PhD"
Andrian Marcus
(University of Texas at Dallas, USA)

T6. Learn to Build Automated Software Analysis Tools with Graph Paradigm and Interactive Visual Framework
(Suresh Kothari and Ben Holland)
Venue : Seminar Room 2.4

T7. Testing Stochastic Software
(Matthew Patrick and Guoxin Su)
Venue : Seminar Room 2.5

T8. Mining and Modelling Unstructured Data
(Luca Ponzanelli , Andrea Mocci and Michele Lanza)
Venue : Seminar Room 3.1

10:30 Break
11:00

Developer Targeted Analytics: Supporting Software Development Decisions with Runtime
Jürgen Cito (University of Zurich, Switzerland)

API Recommendation System for Software Development
Ferdian Thung (Singapore Management University, Singapore)

Factoring Requirement Dependencies in Software Requirement Selection using Graphs and Integer Programming
Davoud Mougouei (Flinders University, Australia)

T6. Learn to Build Automated Software Analysis Tools with Graph Paradigm and Interactive Visual Framework
(Suresh Kothari and Ben Holland)
Venue : Seminar Room 2.4

T7. Testing Stochastic Software
(Matthew Patrick and Guoxin Su)
Venue : Seminar Room 2.5

T8. Mining and Modelling Unstructured Data
(Luca Ponzanelli , Andrea Mocci and Michele Lanza)
Venue : Seminar Room 3.1

13:00 Lunch
14.30

Automated Testing and Notification of Mobile App Privacy Leak-Cause Behaviours
Joo Keng Joseph Chan (Singapore Management University, Singapore)

Towards Efficient and Effective Automatic Program Repair
Le Dinh Xuan Bach (Singapore Management University, Singapore)

Statistical Analysis of Large Sets of Models
Önder Babur (Eindhoven University of Technology, Netherlands)

T6. Learn to Build Automated Software Analysis Tools with Graph Paradigm and Interactive Visual Framework
(Suresh Kothari and Ben Holland)
Venue : Seminar Room 2.4

T3. Software Analytics: Challenges and Opportunities
(Latifa Guerrouj,Olga Baysal,Foutse Khomh and Xin Xia)
Venue : Seminar Room 2.5

T9. Using Docker Containers to Improve Reproducibility in Software Engineering Research
(Jurgen Cito and Harald C. Gall)
Venue : Seminar Room 3.1

16:30 Break
17.00  

T6. Learn to Build Automated Software Analysis Tools with Graph Paradigm and Interactive Visual Framework
(Suresh Kothari and Ben Holland)
Venue : Seminar Room 2.4

T3. Software Analytics: Challenges and Opportunities
(Latifa Guerrouj,Olga Baysal,Foutse Khomh and Xin Xia)
Venue : Seminar Room 2.5

T9. Using Docker Containers to Improve Reproducibility in Software Engineering Research
(Jurgen Cito and Harald C. Gall)
Venue : Seminar Room 3.1

18.30 End of presentations and demos of the day
Note : the start and end time of the workshop differs. Please refer to the workshop websites for the actual timing

Monday, Sept 5 - SMU Administration Building

Time Track 1
(Mochtar Riady Auditorium)
Track 2
(Function Room 4.1 + 4.2)
Tool Demo
(Function Room 6.1)
09:00 Opening
Venue : Mochtar Riady Auditorium
09:30 Keynote: "Program Generation for Performance"
Markus Püschel (ETH Zurich, Switzerland)
Venue : Mochtar Riady Auditorium
10:30 Break
11:00

An Empirical Investigation into the Nature of Test Smells
Michele Tufano, Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrea De Lucia, Denys Poshyvanyk (College of William and Mary, USA; University of Salerno, Italy; University of Lugano, Switzerland; University of Sannio, Italy; University of Molise, Italy)

Evaluating Non-Adequate Test-Case Reduction
Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce (Oregon State University, USA; University of Illinois at Urbana-Champaign, USA)

Optimizing Customized Program Coverage
Peter Ohmann, David Bingham Brown, Naveen Neelakandan, Jeff Linderoth, Ben Liblit (University of Wisconsin-Madison, USA)

What Makes Killing a Mutant Hard?
Willem Visser (Stellenbosch University, South Africa)

Test Case Permutation to Improve Execution Time
Panagiotis Stratis, Ajitha Rajan (University of Edinburgh, UK)

Predicting Semantically Linkable Knowledge in Developer Online Forums via Convolutional Neural Network
Bowen Xu, Deheng Ye, Zhenchang Xing, Xin Xia, Guibin Chen, Shanping Li (Zhejiang University, China; Nanyang Technological University, Singapore)

Testing Advanced Driver Assistance Systems Using Multi-Objective Search and Neural Networks
Raja Ben Abdessalem, Shiva Nejati, Lionel Briand, Thomas Stifter (University of Luxembourg, Luxembourg; IEE, Luxembourg)

Privacy Preserving via Interval Covering Based Subclass Division and Manifold Learning Based Bi-Directional Obfuscation for Effort Estimation
Fumin Qi, Xiao-Yuan Jing, Xiaoke Zhu, Fei Wu, Li Cheng (Wuhan University, China)

Deep Learning Code Fragments for Code Clone Detection
Martin White, Michele Tufano, Christopher Vendome, Denys Poshyvanyk (College of William and Mary, USA)

Reflection-Aware Static Analysis of Android Apps
Li Li, Tegawendé F. Bissyandé, Damien Octeau, and Jacques Klein
(University of Luxembourg, Luxembourg; Pennsylvania State University, USA)

Relda2: An Effective Static Analysis Tool for Resource Leak Detection in Android Apps
Tianyong Wu, Jierui Liu, Xi Deng, Jun Yan, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China)

An End-User Oriented Tool Suite for Development of Mobile Applications
Zhongyi Zhai, Bo Cheng, Meng Niu, Zhaoning Wang, Yimeng Feng, and Junliang Chen
(Beijing University of Posts and Telecommunications, China)

Model Driven Design of Heterogeneous Synchronous Embedded Systems
Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; University of Illinois at Urbana-Champaign, USA)

MACKE: Compositional Analysis of Low-Level Vulnerabilities with Symbolic Execution
Saahil Ognawala, Martín Ochoa, Alexander Pretschner, and Tobias Limmer
(TU Munich, Germany; Singapore University of Technology and Design, Singapore; Siemens, Germany)

BovInspector: Automatic Inspection and Repair of Buffer Overflow Vulnerabilities
Fengjuan Gao, Linzhang Wang, and Xuandong Li
(Nanjing University, China)

13:00 Lunch
14:30

Automatically Recommending Code Reviewers Based on Their Expertise: An Empirical Comparison
Christoph Hannebauer, Michael Patalas, Sebastian Stünkel, Volker Gruhn (University of Duisburg-Essen, Germany)

Evaluating the Evaluations of Code Recommender Systems: A Reality Check
Sebastian Proksch, Sven Amann, Sarah Nadi, and Mira Mezini(TU Darmstadt, Germany)

Too Much Automation? The Bellwether Effect and Its Implications for Transfer Learning
Rahul Krishna, Tim Menzies, Wei Fu (North Carolina State University, USA)

Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding
Marcelino Cancio-Rodriguez, Benoit Combemale, and Benoit Baudry (University of Rennes 1, France; INRIA, France)

Visualization of Combinatorial Models and Test Plans
Rachel Tzoref-Brill, Paul Wojciak, Shahar Maoz (Tel Aviv University, Israel; IBM Research, Israel; IBM, USA)

Finding Access Control Bugs in Web Applications with CanCheck
Ivan Bocic, Tevfik Bultan (University of California at Santa Barbara, USA)

SOFIA: An Automated Security Oracle for Black-Box Testing of SQL-Injection Vulnerabilities (Best Paper Award)
Mariano Ceccato, Cu D. Nguyen, Dennis Appelt, Lionel Briand (Fondazione Bruno Kessler, Italy; University of Luxembourg, Luxembourg)

Supporting Oracle Construction via Static Analysis
Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie, Hong Mei (Peking University, China; University of Texas at Dallas, USA)

CORRECT: Code Reviewer Recommendation at GitHub for Vendasta Technologies
Mohammad Masudur Rahman, Chanchal K. Roy, Jesse Redl, and Jason Collins
(University of Saskatchewan, Canada; VendAsta Technologies, Canada; Google, USA)

ProcessPAIR: A Tool for Automated Performance Analysis and Improvement Recommendation in Software Development
Mushtaq Raza and João Faria
(University of Porto, Portugal; INESC TEC, Portugal)

CVExplorer: Identifying Candidate Developers by Mining and Exploring Their Open Source Contributions
Gillian J. Greene and Bernd Fischer
(Stellenbosch University, South Africa)

Lightweight Collection and Storage of Software Repository Data with DataRover
Thomas Kowark, Christoph Matthies, Matthias Uflacker, and Hasso Plattner
(HPI, Germany)

Visual Contract Extractor: A Tool for Reverse Engineering Visual Contracts using Dynamic Analysis
Abdullah Alshanqiti, Reiko Heckel, and Timo Kehrer
(University of Leicester, UK; Politecnico di Milano, Italy)

SuperMod: Tool Support for Collaborative Filtered Model-Driven Software Product Line Engineering
Felix Schwägerl and Bernhard Westfechtel
(University of Bayreuth, Germany)

AnModeler: A Tool Support for Generating Domain Models from Textual Specifications
Jitendra Singh Thakur and Atul Gupta
(IIITDM Jabalpur, India)

SimilarTech: Automatically Recommend Analogical Libraries across Different Programming Languages
Chunyang Chen and Zhenchang Xing
(Nanyang Technological University, Singapore)

16.30 Break
17:00

Local-based Active Classification of Test Report to Assist Crowdsourced Testing
Junjie Wang, Song Wang, Qiang Cui, Qing Wang (Institute of Software at Chinese Academy of Sciences, China; University of Waterloo, Canada)

Multi-Objective Test Report Prioritization Using Image Understanding
Yang Feng, James Jones, Zhenyu Chen, Chunrong Fang (University of California at Irvine, USA; Nanjing University, China)

CrowdService: Optimizing Mobile Crowdsourcing and Service Composition
Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao (Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK)

QUICKAR: Automatic Query Reformulation for Concept Location Using Crowdsourced Knowledge
Mohammad Masudur Rahman, Chanchal K. Roy (University of Saskatchewan, Canada)

Taming Android Fragmentation: Characterizing and Detecting Compatibility Issues for Android Apps (Best Paper Award)
Lili Wei, Yepang Liu, Shing-Chi Cheung (Hong Kong University of Science and Technology, China)

Automated Model-Based Android GUI Testing Using Multi-Level GUI Comparison Criteria
Young-Min Baek, Doo-Hwan Bae (KAIST, South Korea)

HybriDroid: Static Analysis Framework for Android Hybrid Applications
Sungho Lee, Julian Dolby, Sukyoung Ryu (KAIST, South Korea; IBM Research, USA)

TeeVML: Tool Support for Semi-automatic Integration Testing Environment Emulation
Jian Liu, John Grundy, Iman Avazpour, and Mohamed Abdelrazek
(Swinburne University of Technology, Australia; Deakin University, Australia)

The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts
Martin Hentschel, Reiner Hähnle, and Richard Bubel
(TU Darmstadt, Germany)

Verifying Simulink Stateflow Model: Timed Automata Approach
Yixiao Yang, Yu Jiang, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; University of Illinois at Urbana-Champaign, USA)

GUICat: GUI Testing as a Service
Lin Cheng, Jialiang Chang, Zijiang Yang, and Chao Wang
(Western Michigan University, USA; Virginia Tech, USA)

An Automated Collaborative Requirements Engineering Tool for Better Validation of Requirements
Nor Aiza Moketar, Massila Kamalrudin, Safiah Sidek, Mark Robinson, and John Grundy
(Innovative Software System and Services Group, Malaysia; Fulgent, USA; Deakin University, Australia)

An Extensible Framework for Variable-Precision Data-Flow Analyses in MPS
Tamas Szabo, Simon Alperovich, Markus Voelter, and Sebastian Erdweg
(itemis, Germany; Delft University of Technology, Netherlands; JetBrains, Czechia)

18:30 End of presentations and demos of the day
19:30 Reception @ SMU Library

Tuesday, Sept 6 - SMU Administration Building

Time Track 1
(Mochtar Riady Auditorium)
Track 2
(Function Room 4.1 + 4.2)
Tool Demo
(Foyer outside Mochtar Riady Auditorium)
09:30 Keynote: "Changing Microsoft's Build : Revolution or Evolution"
Wolfram Schulte (Microsoft, USA)
Venue : Mochtar Riady Auditorium
10:30 Break
11:00

Locus: Locating Bugs from Software Changes
Ming Wen, Rongxin Wu, Shing-Chi Cheung (Hong Kong University of Science and Technology, China)

Fine-Tuning Spectrum Based Fault Localisation with Frequent Method Item Sets
Gulsher Laghari, Alessandro Murgia, Serge Demeyer (University of Antwerp, Belgium)

Recommending Relevant Classes for Bug Reports Using Multi-Objective Search
Rafi Almhana, Wiem Mkaouer, Marouane Kessentini, Ali Ouni (University of Michigan, USA; Osaka University, Japan)

An Empirical Study on Dependence Clusters for Effort-Aware Fault-Proneness Prediction
Yibiao Yang, Mark Harman, Jens Krinke, Syed Islam, Dave Binkley, Yuming Zhou, Baowen Xu (Nanjing University, China; University College London, UK; University of East London, UK; Loyola University Maryland, USA)

StraightTaint: Decoupled Offline Symbolic Taint Analysis
Jiang Ming, Dinghao Wu, Jun Wang, Gaoyao Xiao, Peng Liu (Pennsylvania State University, USA)

IncA: A DSL for the Definition of Incremental Program Analyses
Tamas Szabo, Sebastian Erdweg, Markus Voelter (itemis, Germany; Delft University of Technology, Netherlands)

What Developers Want and Need from Program Analysis: An Empirical Study
Maria Christakis, Christian Bird (Microsoft Research, USA)

DistIA: A Cost-Effective Dynamic Impact Analysis for Distributed Programs
Haipeng Cai, Douglas Thain (Washington State University, USA; University of Notre Dame, USA)

Reflection-Aware Static Analysis of Android Apps
Li Li, Tegawendé F. Bissyandé, Damien Octeau, and Jacques Klein
(University of Luxembourg, Luxembourg; Pennsylvania State University, USA)

Relda2: An Effective Static Analysis Tool for Resource Leak Detection in Android Apps
Tianyong Wu, Jierui Liu, Xi Deng, Jun Yan, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China)

An End-User Oriented Tool Suite for Development of Mobile Applications
Zhongyi Zhai, Bo Cheng, Meng Niu, Zhaoning Wang, Yimeng Feng, and Junliang Chen
(Beijing University of Posts and Telecommunications, China)

Model Driven Design of Heterogeneous Synchronous Embedded Systems
Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; University of Illinois at Urbana-Champaign, USA)

MACKE: Compositional Analysis of Low-Level Vulnerabilities with Symbolic Execution
Saahil Ognawala, Martín Ochoa, Alexander Pretschner, and Tobias Limmer
(TU Munich, Germany; Singapore University of Technology and Design, Singapore; Siemens, Germany)

BovInspector: Automatic Inspection and Repair of Buffer Overflow Vulnerabilities
Fengjuan Gao, Linzhang Wang, and Xuandong Li
(Nanjing University, China)

13:00 Lunch
14:30

Radius Aware Probabilistic Testing of Deadlocks with Guarantees
Yan Cai, Zijiang Yang (Institute of Software at Chinese Academy of Sciences, China; Western Michigan University, USA)

LockPeeker: Detecting Latent Locks in Java APIs
Ziyi Lin, Hao Zhong, Yuting Chen, Jianjun Zhao (Shanghai Jiao Tong University, China; Kyushu University, Japan)

Sound Static Deadlock Analysis for C/Pthreads
Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter (University of Oxford, UK; University of Sussex, UK; SSW-Trading, Germany)

Static Race Detection for Device Drivers : The Goblint Approach
Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, Ralf Vogler (University of Tartu, Estonia; TU Munich, Germany)

An Empirical Evaluation of Two User Interfaces of an Interactive Program Verifier
Martin Hentschel, Reiner Hähnle, Richard Bubel (TU Darmstadt, Germany)

Traceability Maintenance: Factors and Guidelines
Salome Maro, Anthony Anjorin, Rebekka Wohlrab, Jan-Philipp Steghöfer(Chalmers University of Technology, Sweden)

Usage, Costs, and Benefits of Continuous Integration in Open-Source Projects
Michael Hilton, Timothy Tunnell, Kai Huang, Darko Marinov, Danny Dig (Oregon State University, USA; University of Illinois at Urbana-Champaign, USA)

DSL-maps: From Requirements to Design of Domain-Specific Languages
Ana Pescador, Juan de Lara (Autonomous University of Madrid, Spain)

The IDE as a Scriptable Information System
Dimitar Asenov, Peter Müller, Lukas Vogel (ETH Zurich, Switzerland; Ergon Informatik, Switzerland)

CORRECT: Code Reviewer Recommendation at GitHub for Vendasta Technologies
Mohammad Masudur Rahman, Chanchal K. Roy, Jesse Redl, and Jason Collins
(University of Saskatchewan, Canada; VendAsta Technologies, Canada; Google, USA)

ProcessPAIR: A Tool for Automated Performance Analysis and Improvement Recommendation in Software Development
Mushtaq Raza and João Faria
(University of Porto, Portugal; INESC TEC, Portugal)

CVExplorer: Identifying Candidate Developers by Mining and Exploring Their Open Source Contributions
Gillian J. Greene and Bernd Fischer
(Stellenbosch University, South Africa)

Lightweight Collection and Storage of Software Repository Data with DataRover
Thomas Kowark, Christoph Matthies, Matthias Uflacker, and Hasso Plattner
(HPI, Germany)

Visual Contract Extractor: A Tool for Reverse Engineering Visual Contracts using Dynamic Analysis
Abdullah Alshanqiti, Reiko Heckel, and Timo Kehrer
(University of Leicester, UK; Politecnico di Milano, Italy)

SuperMod: Tool Support for Collaborative Filtered Model-Driven Software Product Line Engineering
Felix Schwägerl and Bernhard Westfechtel
(University of Bayreuth, Germany)

AnModeler: A Tool Support for Generating Domain Models from Textual Specifications
Jitendra Singh Thakur and Atul Gupta
(IIITDM Jabalpur, India)

SimilarTech: Automatically Recommend Analogical Libraries across Different Programming Languages
Chunyang Chen and Zhenchang Xing
(Nanyang Technological University, Singapore)

16.30 Break
17:00

Inferring Annotations for Device Drivers from Verification Histories (Best Paper Award)
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma (New York University, USA; Microsoft Research, India; Stanford University, USA)

Array Length Inference for C Library Bindings(Best Paper Award)
Alisa J. Maas, Henrique Nazaré, Ben Liblit (University of Wisconsin-Madison, USA; Federal University of Minas Gerais, Brazil)

APEx: Automated Inference of Error Specifications for C APIs
Yuan Kang, Baishakhi Ray, Suman Jana (Columbia University, USA; University of Virginia, USA)

On Essential Configuration Complexity: Measuring Interactions In Highly-Configurable Systems
Jens Meinicke, Chu-Pan Wong, Christian Kästner, Thomas Thüm, Gunter Saake (University of Magdeburg, Germany; Carnegie Mellon University, USA; TU Braunschweig, Germany)

Precise Semantic History Slicing Through Dynamic Delta Refinement
Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik (University of Toronto, Canada; Massachusetts Institute of Technology, USA)

Goal-Conflict Detection Based on Temporal Satisfiability Checking
Renzo Degiovanni, Nicolas Ricci, Dalal Alrajeh, Pablo Castro, Nazareno Aguirre (Universidad Nacional de Río Cuarto, Argentina; CONICET, Argentina; Imperial College London, UK)

TeeVML: Tool Support for Semi-automatic Integration Testing Environment Emulation
Jian Liu, John Grundy, Iman Avazpour, and Mohamed Abdelrazek
(Swinburne University of Technology, Australia; Deakin University, Australia)

The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts
Martin Hentschel, Reiner Hähnle, and Richard Bubel
(TU Darmstadt, Germany)

Verifying Simulink Stateflow Model: Timed Automata Approach
Yixiao Yang, Yu Jiang, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; University of Illinois at Urbana-Champaign, USA)

GUICat: GUI Testing as a Service
Lin Cheng, Jialiang Chang, Zijiang Yang, and Chao Wang
(Western Michigan University, USA; Virginia Tech, USA)

An Automated Collaborative Requirements Engineering Tool for Better Validation of Requirements
Nor Aiza Moketar, Massila Kamalrudin, Safiah Sidek, Mark Robinson, and John Grundy
(Innovative Software System and Services Group, Malaysia; Fulgent, USA; Deakin University, Australia)

An Extensible Framework for Variable-Precision Data-Flow Analyses in MPS
Tamas Szabo, Simon Alperovich, Markus Voelter, and Sebastian Erdweg
(itemis, Germany; Delft University of Technology, Netherlands; JetBrains, Czechia)

18:30 End of presentations and demos of the day
19:30 Dinner @ Carlton Hotel

Wednesday, Sept 7 - SMU Administration Building

Time Track 1
(Mochtar Riady Auditorium)
Track 2
(Function Room 4.1 + 4.2)
09:30 Keynote: "The Power of Probabilistic Thinking"
David S. Rosenblum (National University of Singapore, Singapore)
Venue : Mochtar Riady Auditorium
10:30 Break
11:00

Symbolic Execution of Stored Procedures in Database Management Systems
Muhammad Suleman Mahmood, Maryam Abdul Ghafoor, Junaid Haroon Siddiqui
(Lahore University of Management Sciences, Pakistan)

Conc-iSE: Incremental Symbolic Execution of Concurrent Software
Shengjian Guo, Markus Kusano, Chao Wang
(Virginia Tech, USA)

Model-based Whitebox Fuzzing for Program Binaries
Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
(National University of Singapore, Singapore)

Symbolic Execution of Complex Program Driven by Machine Learning Based Constraint Solving
Xin Li, Yongjuan Liang, Hong Qian, Yiqi Hu, Lei Bu, Yang Yu, Xin Chen, Xuandong Li
(Nanjing University, China)

Towards Bounded Model Checking Using Nonlinear Programming Solver
Masataka Nishi
(Hitachi Research Lab, Japan)

Identifying Domain Elements from Textual Specifications
Jitendra Singh Thakur, Atul Gupta (IIITDM Jabalpur, India)

Continuous Detection of Design Flaws in Evolving Object-Oriented Programs Using Incremental Multi-Pattern Matching
Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze (University of Koblenz-Landau, Germany; TU Darmstadt, Germany; TU Hamburg, Germany)

Efficient Detection of Inconsistencies in a Multi-Developer Engineering Environment
Andreas Demuth, Markus Riedl-Ehrenleitner, Alexander Egyed (JKU Linz, Austria)

How Good Are the Specs? A Study of the Bug-Finding Effectiveness of Existing Java API Specifications (Best Paper Award)
Owolabi Legunsen, Wajih Ul Hassan, Xinyue Xu, Grigore Rosu, Darko Marinov (University of Illinois at Urbana-Champaign, USA)

13:00 Lunch
14:30

Greedy Combinatorial Test Case Generation Using Unsatisfiable Cores
Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Armin Biere (University of Innsbruck, Austria; NAIST, Japan; JKU Linz, Austria)

Towards Automatically Generating Descriptive Names for Unit Tests
Benwen Zhang, Emily Hill, James Clause (University of Delaware, USA; Drew University, USA)

Applying Combinatorial Test Data Generation to Big Data Applications
Nan Li, Jeff Lei, Haider Riaz, Jingshu Liu, Yun Guo (Medidata Solutions, USA; University of Texas at Arlington, USA; George Mason University, USA)

Generating Test Cases to Expose Concurrency Bugs in Android Applications
Hongyin Tang, Guoquan Wu, Jun Wei, Hua Zhong (Institute of Software at Chinese Academy of Sciences, China)

Automatic Test Image Generation Using Procedural Noise
Matthew Patrick, Matthew D Castle, Richard OJH Stutt, Christopher A Gilligan (University of Cambridge, UK)

Move Optimized Source Code Tree Differencing
Georg Dotzler, Michael Philippsen (University of Erlangen-Nuremberg, Germany)

Migrating Cascading Style Sheets to Preprocessors by Introducing Mixins
Davood Mazinanian, Nikolaos Tsantalis (Concordia University, Canada)

Automatic Runtime Recovery via Error Handler Synthesis
Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lu, Zhendong Su (Nanjing University, China; University of California at Davis, USA)

Mining Revision Histories to Detect Cross-Language Clones without Intermediates
Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao (Shanghai Jiao Tong University, China; Singapore Management University, Singapore; Kyushu University, Japan)

Battery-Aware Transformations in Mobile Applications
Jürgen Cito, Julia Rubin, Phillip Stanley-Marbell, Martin Rinard (University of Zurich, Switzerland; Massachusetts Institute of Technology, USA)

16.30 Break
17:00

Bugram: Bug Detection with N-gram Language Models
Song Wang, Devin Chollak, Dana Movshovitz-Attias, and Lin Tan
(University of Waterloo, Canada; Carnegie Mellon University, USA)

Mining Input Grammars from Dynamic Taints
Matthias Höschele and Andreas Zeller
(Saarland University, Germany)

Phrase-Based Extraction of User Opinions in Mobile App Reviews
Phong Minh Vu, Tam The Nguyen, Hung Viet Pham, and Tung Thanh Nguyen
(Utah State University, USA)

Practical Guidelines for Change Recommendation using Association Rule Mining
Leon Moonen, Stefano Di Alesio, David Binkley, and Thomas Rolfsnes
(Simula Research Laboratory, Norway; Loyola University Maryland, USA)

Learning a Dual-Language Vector Space for Domain-Specific Cross-Lingual Question Retrieval
Guibin Chen, Chunyang Chen, Zhenchang Xing, and Bowen Xu
(Nanyang Technological University, Singapore; Zhejiang University, China)

18:00 Closing and Presentation of ASE 2017
18:30 Dinner @ Administration Building
19:30 Social Event @ Night Safari (until midnight) *)
*) Please register here to reserve your seat for the last two social events on Sept 7 (Dinner and Night Safari) - only for participants who have registered to the main conference. Last registration date: August 18




Hosted by Singapore Management University, Singapore.
Webmaster: Pavneet Singh and Ferdian Thung