Program At a Glance
The program is also available at Conference Publishing or Confero.
| Sun, Oct 29 | Mon, Oct 30 | Tue, Oct 31 | Wed, Nov 1 | Thu, Nov 2 | Fri, Nov 3 |
|---|---|---|---|---|---|
|
W/T/DS Reception |
Main Conference ASE Reception |
Main Conference ASE Banquet |
Main Conference NPCF Tour ASE Reception |
W/T Reception |
All events are full day unless specified "AM only" (half day in the morning) or "PM only" (half day in the afternoon).
Daily Schedules
Legend:
description Technical Research Paper
content_paste Experience Paper
lightbulb_outline New Idea Paper
import_contacts Journal First Paper
stars ACM Distinguished Paper
Sunday, October 29
Venue: Siebel Center for Computer Science
| Time | Room 2405 | |
|---|---|---|
| 08:00 AM - 08:30 AM | Registration and Continental Breakfast in front of Room 2405 | |
| 08:30 AM - 10:00 AM |
Workshop:
|
|
| 10:00 AM - 10:30 AM | Coffee Break | |
| 10:30 AM - 12:30 PM |
Workshop (cont.):
|
|
| 12:30 PM - 01:30 PM | Lunch | |
| 01:30 PM - 03:30 PM |
Workshop (cont.):
|
|
| 03:30 PM - 04:00 PM | Coffee Break | |
| 04:00 PM - 05:30 PM |
Workshop (cont.):
|
Monday, October 30
Venue: Siebel Center for Computer Science
| Time | Room 3403 | Room 3405 | Room 4403 | Room 4405 | Room 4407 |
|---|---|---|---|---|---|
| 08:30 AM - 09:00 AM | Registration and Continental Breakfast in front of Room 2405 | ||||
| 09:00 AM - 10:30 AM |
Workshop:
|
Tutorial:
|
Tutorial:
|
Doctoral Symposium |
Workshop:
|
| 10:30 AM - 11:00 AM | Coffee Break | ||||
| 11:00 AM - 12:30 PM |
Workshop (cont.):
|
Tutorial (cont.):
|
Tutorial (cont.):
|
Doctoral Symposium |
Workshop (cont.):
|
| 12:30 PM - 01:30 PM | Lunch | ||||
| 01:30 PM - 03:30 PM |
Workshop (cont.):
|
Tutorial (cont.):
|
Tutorial (cont.):
|
Doctoral Symposium |
Workshop (cont.):
|
| 03:30 PM - 04:00 PM | Coffee Break | ||||
| 04:00 PM - 05:30 PM |
Workshop (cont.):
|
Tutorial (cont.):
|
Tutorial (cont.):
|
Doctoral Symposium |
Workshop (cont.):
|
| 05:30 PM - 08:30 PM | Workshops / Tutorials / Doctoral Symposium Reception in front of Room 2405 | ||||
The doctoral symposium keynote, From PhD Candidate to Early-Career Researcher: Reflections on Science and Other Useful Stuff, by Claire Le Goues is open for all ASE attendees. It will be held at 9 AM in Room 4405.
Andreas Zeller will give a talk on Mining Input Grammars for Massive Security Testing at 4 PM in Room 2405. It is open for ASE attendees.
Tuesday, October 31
Venue: Illini Union
| Time | Illini Room A | Illini Room B | Illini Room C |
|---|---|---|---|
| 07:30 AM - 08:30 AM | Registration and Continental Breakfast in front of Illini Room A/B/C | ||
| 08:30 AM - 09:00 AM | Opening (Slides) | ||
| 09:00 AM - 10:00 AM |
Chair: Grigore Rosu
|
||
| 10:00 AM - 10:30 AM | Coffee Break | ||
| 10:30 AM - 12:30 PM |
Chair: Andreas Zeller
description
Systematically Testing Background Services of Mobile Apps
Li Lyna Zhang, Chieh-Jan Mike Liang, Yunxin Liu, and Enhong Chen
description
Crowd Intelligence Enhances Automated Mobile Testing
Ke Mao, Mark Harman, and Yue Jia
description
EHBDroid: Beyond GUI Testing for Android Applications
Wei Song, Xiangxing Qian, and Jeff Huang
lightbulb_outline
Sketch-Guided GUI Test Generation for Mobile Applications
Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li
lightbulb_outline
Saying 'Hi!' Is Not Enough: Mining Inputs for Effective Test Generation
Luca Della Toffola, Cristian Alexandru Staicu, and Michael Pradel
description
Learn&Fuzz: Machine Learning for Input Fuzzing
Patrice Godefroid, Hila Peleg, and Rishabh Singh
|
Chair: Sven Apel
description
The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study
Yangyang Zhao, Alexander Serebrenik, Yuming Zhou, Vladimir Filkov, and Bogdan Vasilescu
description
Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution
David Kavaler, Sasha Sirovica, Vincent Hellendoorn, Raul Aranovich, and Vladimir Filkov
description
Can Automated Pull Requests Encourage Software Developers to Upgrade Out-of-Date Dependencies?
Samim Mirhosseini and Chris Parnin
description
Are Developers Aware of the Architectural Impact of Their Changes?
Matheus Paixao, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, and Mark Harman
lightbulb_outline
SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions
Toufique Ahmed, Amiangshu Bosu, Anindya Iqbal, and Shahram Rahimi
|
Chair: Antonio Filieri
description
Automatic Loop-Invariant Generation and Refinement through Selective Sampling
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, and Shang-Wei Lin
description
stars
FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers
Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen
description
SymInfer: Inferring Program Invariants using Symbolic States
ThanhVu Nguyen, Matthew B. Dwyer, and Willem Visser
description
Parsimony: An IDE for Example-Guided Synthesis of Lexers and Parsers
Alan Leung and Sorin Lerner
lightbulb_outline
Mining Constraints for Event-based Monitoring in Systems of Systems
Thomas Krismayer, Rick Rabiser, and Paul Grünbacher
lightbulb_outline
Programming Bots by Synthesizing Natural Language Expressions into API Invocations
Shayan Zamanirad, Boualem Benatallah, Moshe Chai Barukh, Fabio Casati, and Carlos Rodriguez
|
| 12:30 PM - 01:30 PM | Lunch | ||
| 01:30 PM - 03:30 PM |
Chair: Paul Grünbacher
description
stars
Detecting Fragile Comments
Inderjot Kaur Ratol and Martin P. Robillard
description
Improving Software Text Retrieval using Conceptual Knowledge in Source Code
Zeqi Lin, Yanzhen Zou, Junfeng Zhao, and Bing Xie
description
Automatically Generating Commit Messages from Diffs using Neural Machine Translation
Siyuan Jiang, Ameer Armaly, and Collin McMillan
lightbulb_outline
Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data
Yan Sun, Celia Chen, Qing Wang, and Barry Boehm
lightbulb_outline
APIBot: Question Answering Bot for API Documentation
Yuan Tian, Ferdian Thung, Abhishek Sharma, and David Lo
description
Automatic Summarization of API Reviews
Gias Uddin and Foutse Khomh
|
Chair: Bernd Fischer
description
iCoq: Regression Proof Selection for Large-Scale Verification Projects
Ahmet Celik, Karl Palmskog, and Milos Gligoric
description
More Effective Interpolations in Software Model Checking
Cong Tian, Zhao Duan, Zhenhua Duan, and C.H. Luke Ong
lightbulb_outline
Proof-Based Coverage Metrics for Formal Verification
Elaheh Ghassabani, Andrew Gacek, Michael Whalen, Mats P. E. Heimdahl, and Lucas Wagner
lightbulb_outline
Model Checker Execution Reports
Rodrigo Castaño, Víctor Braberman, Diego Garbervetsky, and Sebastian Uchitel
description
Modular Verification of Interrupt-Driven Software
Chungha Sung, Markus Kusano, and Chao Wang
description
BProVe: A Formal Verification Framework for Business Process Models
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
|
Chair: Jeff Huang
description
Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications
Jia Chen, Oswaldo Olivo, Isil Dillig, and Calvin Lin
description
PAD: Programming Third-Party Web Advertisement Censorship
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I. Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster
description
All about Activity Injection: Threats, Semantics, and Detection
Sungho Lee, Sungjae Hwang, and Sukyoung Ryu
description
Detecting Information Flow by Mutating Input Data
Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, and Andreas Zeller
lightbulb_outline
Automatically Assessing Crashes from Heap Overflows
Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng
lightbulb_outline
Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks
Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh
|
| 03:30 PM - 04:00 PM | Coffee Break | ||
| 04:00 PM - 05:30 PM |
Chair: Mario Linares-Vásquez
description
UI Driven Android Application Reduction
Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, and Chen Tian
description
SimplyDroid: Efficient Event Sequence Simplification for Android Application
Bo Jiang, Yuxuan Wu, Teng Li, and W. K. Chan
description
Automated Cross-Platform Inconsistency Detection for Mobile Apps
Mattia Fazzini and Alessandro Orso
import_contacts
Detecting Plagiarized Mobile Apps using API Birthmarks
Daeyoung Kim, Amruta Gokhale, Vinod Ganapathy, and Abhinav Srivastava
|
Chair: Marcelo d'Amorim
description
Comprehensive Failure Characterization
Mitchell J. Gerrard and Matthew B. Dwyer
import_contacts
Fault Localization using Itemset Mining under Constraints
Mehdi Maamar, Nadjib Lazaar, Samir Loudni, and Yahia Lebbah
description
TrEKer: Tracing Error Propagation in Operating System Kernels
Nicolas Coppik, Oliver Schwahn, Stefan Winter, and Neeraj Suri
lightbulb_outline
RuntimeSearch: Ctrl+F for a Running Program
Matúš Sulír and Jaroslav Porubän
|
|
| 05:30 PM - 08:30 PM | ASE Reception at South Lounge | ||
Wednesday, November 1
Venue: Illini Union
| Time | Illini Room A | Illini Room B | Illini Room C |
|---|---|---|---|
| 08:00 AM - 09:00 AM | Registration and Continental Breakfast in front of Illini Room A/B/C | ||
| 09:00 AM - 10:00 AM |
Keynote: Jiawei Han - Mining Structures from Massive Text Data: Will It Help Software Engineering?
(Watch online)
Chair: Tien N. Nguyen
|
||
| 10:00 AM - 10:30 AM | Coffee Break | ||
| 10:30 AM - 12:30 PM |
Chair: Chris Parnin
description
Mining Implicit Design Templates for Actionable Code Reuse
Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong
description
Exploring Regular Expression Comprehension
Carl Chapman, Peipei Wang, Kathryn T. Stolee
description
stars
Automatically Assessing Code Understandability: How Far Are We?
Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto
description
Improved Query Reformulation for Concept Location using CodeRank and Document Structures
Mohammad Masudur Rahman and Chanchal K. Roy
description
Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis
Lin Shi, Celia Chen, Qing Wang, Shoubin Li, and Barry Boehm
|
Chair: Lars Grunske
description
O2O Service Composition with Social Collaboration
Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao
description
Gremlin-ATL: A Scalable Model Transformation Framework
Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, and Jordi Cabot
description
Diagnosing Assumption Problems in Safety-Critical Products
Mona Rahimi, Wandi Xiong, Jane Cleland-Huang, and Robyn Lutz
description
Software Performance Self-Adaptation through Efficient Model Predictive Control
Emilio Incerto, Mirco Tribastone, and Catia Trubiani
description
Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis
Pooyan Jamshidi, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, and Yuvraj Agarwal
|
Chair: Willem Visser
SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android
Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic
Visualization Support for Requirements Monitoring in Systems of Systems
Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
A Demonstration of Simultaneous Execution and Editing in a Development Environment
Steven P. Reiss and Qi Xin
TREM: A Tool for Mining Timed Regular Specifications from System Traces
Lukas Schmidt, Apurva Narayan, and Sebastian Fischmeister
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
Incrementally Slicing Editable Submodels
Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
|
| 12:30 PM - 01:30 PM | Lunch | ||
| 01:30 PM - 03:30 PM |
Chair: Michael Whalen
description
A Comprehensive Study of Real-World Numerical Bug Characteristics
Anthony Di Franco, Hui Guo, and Cindy Rubio-González
description
A Comprehensive Study on Real World Concurrency Bugs in Node.js
Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei
import_contacts
An Effective Change Recommendation Approach for Supplementary Bug Fixes
Xin Xia and David Lo
import_contacts
Understanding the Value of Considering Client Usage Context in Package Cohesion for Fault-Proneness Prediction
Yangyang Zhao, Yibiao Yang, Hongmin Lu, Jinping Liu, Hareton Leung, Yansong Wu, Yuming Zhou, and Baowen Xu
import_contacts
Meta-learning Based Selection of Software Reliability Models
Rafael Caiuta, Aurora Pozo, and Silvia Regina Vergilio
|
Chair: Mark Hills
description
Generating Simpler AST Edit Scripts by Considering Copy-and-Paste
Yoshiki Higo, Akio Ohtani, and Shinji Kusumoto
description
Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance
Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, and Janet Siegmund
description
Semantics-Assisted Code Review: An Efficient Toolchain and a User Study
Massimiliano Menarini, Yan Yan, and William G. Griswold
description
Detecting Unknown Inconsistencies in Web Applications
Frolin S. Ocariza, Jr., Karthik Pattabiraman, and Ali Mesbah
description
Why and How JavaScript Developers Use Linters
Kristín Fjóla Tómasdóttir, Maurício F. Aniche, and Arie van Deursen
|
Chair: Marcelo d'Amorim
A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
taco: A Tool to Generate Tensor Algebra Kernels
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe
STARTS: STAtic Regression Test Selection
Owolabi Legunsen, August Shi, and Darko Marinov
EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests
Jonathan A. Saddler and Myra B. Cohen
ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large
Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment
|
| 03:30 PM - 04:00 PM | Coffee Break | ||
| 04:00 PM - 05:30 PM |
Chair: Marsha Chechik
content_paste
Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing
Timotej Kapus and Cristian Cadar
content_paste
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, and Klaus Wehrle
lightbulb_outline
Rethinking Pointer Reasoning in Symbolic Execution
Emilio Coppa, Daniele Cono D'Elia, and Camil Demetrescu
lightbulb_outline
Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution
Eman Alatawi, Harald Søndergaard, and Tim Miller
|
Chair: Kathryn T. Stolee
description
Tortoise: Interactive System Configuration Repair
Aaron Weiss, Arjun Guha, and Yuriy Brun
description
Contract-Based Program Repair without the Contracts
Liushan Chen, Yu Pei, and Carlo A. Furia
description
ELIXIR: Effective Object Oriented Program Repair
Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad
description
Leveraging Syntax-Related Code for Automated Program Repair
Qi Xin and Steven P. Reiss
|
Chair: Alexander Serebrenik
FEMIR: A Tool for Recommending Framework Extension Examples
Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
Opiner: An Opinion Search and Summarization Engine for APIs
Gias Uddin and Foutse Khomh
Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default
Raffi Khatchadourian and Hidehiko Masuhara
Kobold: Web Usability as a Service
Julián Grigera, Alejandra Garrido, and Gustavo Rossi
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
|
| 06:00 PM | ASE Banquet at Alice Campbell Alumni Center (Ballroom) | ||
No Comment A Cappella will perform at the banquet.
Thursday, November 2
Venue: Illini Union
| Time | Illini Room A | Illini Room B | Illini Room C |
|---|---|---|---|
| 08:00 AM - 09:00 AM | Registration and Continental Breakfast in front of Illini Room A/B/C | ||
| 09:00 AM - 10:00 AM |
Chair: Massimiliano Di Penta
|
||
| 10:00 AM - 10:30 AM | Coffee Break | ||
| 10:30 AM - 12:30 PM |
Chair: Bogdan Vasilescu
description
Boosting Complete-Code Tool for Partial Program
Hao Zhong and Xiaoyin Wang
lightbulb_outline
A Language Model for Statements of Software Code
Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu
lightbulb_outline
Context-Aware Integrated Development Environment Command Recommender Systems
Marko Gasparic, Tural Gurbanov, and Francesco Ricci
description
Predicting Relevance of Change Recommendations
Thomas Rolfsnes, Leon Moonen, and David Binkley
description
AnswerBot: Automated Generation of Answer Summary to Developers' Technical Questions
Bowen Xu, Zhenchang Xing, Xin Xia, and David Lo
lightbulb_outline
Recommending Crowdsourced Software Developers in Consideration of Skill Improvement
Zizhe Wang, Hailong Sun, Yang Fu, and Luting Ye
lightbulb_outline
The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks
Sara Pérez-Soler, Esther Guerra, Juan de Lara, and Francisco Jurado
|
Chair: Darko Marinov
description
UNDEAD: Detecting and Preventing Deadlocks in Production Software
Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu
description
Promoting Secondary Orders of Event Pairs in Randomized Scheduling using a Randomized Stride
Mahmoud Abdelrasoul
description
Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances
Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato
description
Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications
Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, and Yu David Liu
lightbulb_outline
Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling
Patrick Metzler, Habib Saissi, Péter Bokor, and Neeraj Suri
|
SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android
Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic
Visualization Support for Requirements Monitoring in Systems of Systems
Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
TREM: A Tool for Mining Timed Regular Specifications from System Traces
Lukas Schmidt, Apurva Narayan, and Sebastian Fischmeister
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
Incrementally Slicing Editable Submodels
Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
taco: A Tool to Generate Tensor Algebra Kernels
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe
|
| 12:30 PM - 01:30 PM | Lunch | ||
| 01:30 PM - 03:30 PM |
Chair: Cristian Cadar
description
In-Memory Fuzzing for Binary Code Similarity Analysis
Shuai Wang and Dinghao Wu
description
DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries
Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, and Herbert Bos
description
Towards Robust Instruction-Level Trace Alignment of Binary Code
Ulf Kargén and Nahid Shahmehri
description
Testing Intermediate Representations for Binary Analysis
Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha
|
Chair: Milos Gligoric
description
Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact
Jeanderson Candido, Luis Melo, and Marcelo d'Amorim
description
Systematic Reduction of GUI Test Sequences
Lin Cheng, Zijiang Yang, and Chao Wang
description
Automatically Reducing Tree-Structured Test Inputs
Satia Herfert, Jibesh Patra, and Michael Pradel
import_contacts
Analysing the Fitness Landscape of Search-Based Software Testing Problems
Aldeida Aleti, I. Moser, and Lars Grunske
description
Synthetic Data Generation for Statistical Testing
Ghanem Soltana, Mehrdad Sabetzadeh, and Lionel C. Briand
|
STARTS: STAtic Regression Test Selection
Owolabi Legunsen, August Shi, and Darko Marinov
EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests
Jonathan A. Saddler and Myra B. Cohen
ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large
Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment
FEMIR: A Tool for Recommending Framework Extension Examples
Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
Opiner: An Opinion Search and Summarization Engine for APIs
Gias Uddin and Foutse Khomh
Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default
Raffi Khatchadourian and Hidehiko Masuhara
Kobold: Web Usability as a Service
Julián Grigera, Alejandra Garrido, and Gustavo Rossi
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
A Demonstration of Simultaneous Execution and Editing in a Development Environment
Steven P. Reiss and Qi Xin
|
| 03:30 PM - 04:00 PM | Coffee Break | ||
| 04:00 PM - 04:30 PM | Closing | ||
| 04:30 PM - 06:00 PM | Tours of the National Petascale Computing Facility and the Blue Waters Supercomputer | ||
| 06:30 PM - 09:00 PM | ASE Reception at I Hotel and Conference Center (Lincoln Room) | ||
Friday, November 3
Venue: Siebel Center for Computer Science
| Time | Room 3405 | Room 4403 | Room 4405 |
|---|---|---|---|
| 08:30 AM - 09:00 AM | Registration and Continental Breakfast in front of Room 2405 | ||
| 09:00 AM - 10:15 AM |
Workshop:
|
Tutorial:
|
|
| 10:15 AM - 10:40 AM | Coffee Break | ||
| 10:40 AM - 12:00 PM |
Workshop (cont.):
|
Tutorial (cont.):
|
|
| 12:00 PM - 01:15 PM | Lunch | ||
| 01:15 PM - 02:35 PM |
Workshop:
|
Workshop (cont.):
|
Tutorial:
|
| 02:35 PM - 03:00 PM | Coffee Break | ||
| 03:00 PM - 05:30 PM |
Workshop (cont.):
|
Workshop (cont.):
|
Tutorial (cont.):
|
| 05:30 PM - 08:30 PM | Workshops / Tutorials Reception in front of Room 2405 | ||
Andrew W. Appel will give a talk on Verifiable C, a logic and tool for deductive verification of the correctness of C programs at 2 PM in Room 3403. It is open for ASE attendees.