ASE 2017
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)

2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), October 30 – November 3, 2017, Urbana-Champaign, IL, USA

Phone Layout
No Pictures
Update
Sunday, October 29, 2017
Intl. Workshop on Intelligent Software Engineering (WISE 2017) (Workshops)
08:30 – 17:30, Room 2405
Monday, October 30, 2017
Doctoral Symposium
09:00 – 17:30, Room 4405
Learning Effective Changes for Software Projects
Rahul Krishna
(North Carolina State University, USA)
Characterizing and Taming Non-deterministic Bugs in JavaScript Applications
Jie Wang
(Institute of Software at Chinese Academy of Sciences, China)
Towards API-Specific Automatic Program Repair
(Otto von Guericke University Magdeburg, Germany)
Managing Software Evolution through Semantic History Slicing
(University of Toronto, Canada)
Preprint
Towards the Automatic Classification of Traceability Links
Chris Mills
(Florida State University, USA)
Towards a Software Vulnerability Prediction Model using Traceable Code Patterns and Software Metrics
Kazi Zakia Sultana
(Mississippi State University, USA)
Towards Search-Based Modelling and Analysis of Requirements and Architecture Decisions
Saheed A. Busari
(University College London, UK)
Privacy-Aware Data-Intensive Applications
Michele Guerriero
(Politecnico di Milano, Italy)
International Workshop on Software Mining (SoftwareMining) (Workshops)
09:00 – 17:30, Room 3403
Probabilistic Programming and Analysis for Software Engineers (Tutorials)
09:00 – 17:30, Room 3405
Theorem Proving with Vampire for Rigorous Systems Engineering (Tutorials)
09:00 – 17:30, Room 4403
NSF Sponsored Workshop on Infrastructures and Instruments For Software Architecture (REINFORCE) (Workshops)
09:00 – 17:30, Room 4407
Tuesday, October 31, 2017
Plenary
08:30 – 09:00, Illini Union
Message from the Chairs
Grigore Rosu, Massimiliano Di Penta, and Tien N. Nguyen
(University of Illinois at Urbana-Champaign, USA; University of Sannio, Italy; University of Texas at Dallas, USA)
Keynotes
09:00 – 10:00, Illini Union
Cobra - An Interactive Static Code Analyzer
Gerard Holzmann
(Nimble Research, USA)
Test Generation (Technical Research)
10:30 – 12:30, Illini Room A, Chair: Andreas Zeller
Systematically Testing Background Services of Mobile Apps
Li Lyna Zhang, Chieh-Jan Mike Liang, Yunxin Liu, and Enhong Chen
(University of Science and Technology of China, China; Microsoft Research, China)
Crowd Intelligence Enhances Automated Mobile Testing
Ke Mao, Mark Harman, and Yue Jia
(University College London, UK)
EHBDroid: Beyond GUI Testing for Android Applications
Wei Song, Xiangxing Qian, and Jeff Huang
(Nanjing University of Science and Technology, China; Texas A&M University, USA)
Preprint Info
Sketch-Guided GUI Test Generation for Mobile Applications
Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li
(Nanjing University, China)
Saying ’Hi!’ Is Not Enough: Mining Inputs for Effective Test Generation
(ETH Zurich, Switzerland; TU Darmstadt, Germany)
Preprint Info
Learn&Fuzz: Machine Learning for Input Fuzzing
Patrice Godefroid, Hila Peleg, and Rishabh Singh
(Microsoft Research, USA; Technion, Israel)
Developers’ Practice and Behavior (Technical Research)
10:30 – 12:30, Illini Room B, Chair: Sven Apel
The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study
(Nanjing University, China; Eindhoven University of Technology, Netherlands; University of California at Davis, USA; Carnegie Mellon University, USA)
Preprint
Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution
David Kavaler, Sasha Sirovica, Vincent Hellendoorn, Raul Aranovich, and Vladimir Filkov
(University of California at Davis, USA)
Preprint
Can Automated Pull Requests Encourage Software Developers to Upgrade Out-of-Date Dependencies?
Samim Mirhosseini and Chris Parnin
(North Carolina State University, USA)
Preprint
Are Developers Aware of the Architectural Impact of Their Changes?
Matheus Paixao, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, and Mark Harman
(University College London, UK)
Preprint Info
SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions
Toufique Ahmed, Amiangshu Bosu, Anindya Iqbal, and Shahram Rahimi
(Bangladesh University of Engineering and Technology, Bangladesh; Southern Illinois University at Carbondale, USA)
Preprint
Program Synthesis (Technical Research)
10:30 – 12:30, Illini Room C, Chair: Antonio Filieri
Automatic Loop-Invariant Generation and Refinement through Selective Sampling
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, and Shang-Wei Lin
(Singapore University of Technology and Design, Singapore; Teesside University, UK; Nanyang Technological University, Singapore)
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
(Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; Tampere University of Technology, Finland)
SymInfer: Inferring Program Invariants using Symbolic States
ThanhVu Nguyen, Matthew B. Dwyer, and Willem Visser
(University of Nebraska-Lincoln, USA; Stellenbosch University, South Africa)
Preprint Info
Parsimony: An IDE for Example-Guided Synthesis of Lexers and Parsers
Alan Leung and Sorin Lerner
(University of California at San Diego, USA)
Mining Constraints for Event-based Monitoring in Systems of Systems
(JKU Linz, Austria)
Programming Bots by Synthesizing Natural Language Expressions into API Invocations
Shayan Zamanirad, Boualem Benatallah, Moshe Chai Barukh, Fabio Casati, and Carlos Rodriguez
(UNSW, Australia; University of Trento, Russia)
Documentation (Technical Research)
13:30 – 15:30, Illini Room A, Chair: Paul Grünbacher
Detecting Fragile Comments
(McGill University, Canada)
Preprint Info
Improving Software Text Retrieval using Conceptual Knowledge in Source Code
Zeqi Lin, Yanzhen Zou, Junfeng Zhao, and Bing Xie
(Peking University, China)
Automatically Generating Commit Messages from Diffs using Neural Machine Translation
Siyuan Jiang, Ameer Armaly, and Collin McMillan
(University of Notre Dame, USA)
Preprint Info
Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data
Yan Sun, Celia Chen, Qing Wang, and Barry Boehm
(University at Chinese Academy of Sciences, China; Occidental College, USA)
APIBot: Question Answering Bot for API Documentation
Yuan Tian, Ferdian Thung, Abhishek Sharma, and David Lo
(Singapore Management University, Singapore)
Automatic Summarization of API Reviews
Gias Uddin and Foutse Khomh
(McGill University, Canada; Polytechnique Montréal, Canada)
Formal Verification (Technical Research)
13:30 – 15:30, Illini Room B, Chair: Bernd Fischer
iCoq: Regression Proof Selection for Large-Scale Verification Projects
Ahmet Celik, Karl Palmskog, and Milos Gligoric
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)
More Effective Interpolations in Software Model Checking
Cong Tian, Zhao Duan, Zhenhua Duan, and C.-H. Luke Ong
(Xidian University, China; University of Oxford, UK)
Proof-Based Coverage Metrics for Formal Verification
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats P. E. Heimdahl, and Lucas Wagner
(University of Minnesota, USA; Rockwell Collins, USA)
Info
Model Checker Execution Reports
(University of Buenos Aires, Argentina)
Preprint
Modular Verification of Interrupt-Driven Software
Chungha Sung, Markus Kusano, and Chao Wang
(University of Southern California, USA; Virginia Tech, USA)
BProVe: A Formal Verification Framework for Business Process Models
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
Security (Technical Research)
13:30 – 15:30, Illini Room C, Chair: Jeff Huang
Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications
Jia Chen, Oswaldo Olivo, Isil Dillig, and Calvin Lin
(University of Texas at Austin, USA)
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
(Purdue University, USA; IBM Research, USA; Purdue University, Germany)
All about Activity Injection: Threats, Semantics, and Detection
(KAIST, South Korea; LG Electronics, South Korea)
Detecting Information Flow by Mutating Input Data
(Saarland University, Germany; National University of Singapore, Singapore)
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
(Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore)
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
(Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; Open University, Ireland)
Mobile Development (Technical Research)
16:00 – 17:30, Illini Room A, Chair: Mario Linares-Vásquez
UI Driven Android Application Reduction
Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, and Chen Tian
(Purdue University, USA; Huawei, USA)
Preprint
SimplyDroid: Efficient Event Sequence Simplification for Android Application
Bo Jiang, Yuxuan Wu, Teng Li, and W. K. Chan
(Beihang University, China; City University of Hong Kong, China)
Automated Cross-Platform Inconsistency Detection for Mobile Apps
(Georgia Institute of Technology, USA)
Detecting Plagiarized Mobile Apps using API Birthmarks
Daeyoung Kim, Amruta Gokhale, Vinod Ganapathy, and Abhinav Srivastava
(Rutgers University, USA; AT&T Labs at Bedminster, USA)
Publisher's Version
From Failures to Faults (Technical Research)
16:00 – 17:30, Illini Room B, Chair: Marcelo D'Amorim
Comprehensive Failure Characterization
Mitchell J. Gerrard and Matthew B. Dwyer
(University of Nebraska-Lincoln, USA)
Preprint Info
Fault Localization using Itemset Mining under Constraints
Mehdi Maamar, Nadjib Lazaar, Samir Loudni, and Yahia Lebbah
(University of Oran 1, Algeria; CNRS, France; University of Caen, France)
Publisher's Version
TrEKer: Tracing Error Propagation in Operating System Kernels
Nicolas Coppik, Oliver Schwahn, Stefan Winter, and Neeraj Suri
(TU Darmstadt, Germany)
RuntimeSearch: Ctrl+F for a Running Program
Matúš Sulír and Jaroslav Porubän
(Technical University of Košice, Slovakia)
Preprint
Social
18:00 – 22:00, South Lounge
Wednesday, November 1, 2017
Keynotes
09:00 – 10:00, Illini Union
Mining Structures from Massive Text Data: Will It Help Software Engineering?
(University of Illinois at Urbana-Champaign, USA)
Program Comprehension (Technical Research)
10:30 – 12:30, Illini Room A, Chair: Chris Parnin
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
(National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; National University of Singapore, Australia)
Preprint Video
Exploring Regular Expression Comprehension
Carl Chapman, Peipei Wang, and Kathryn T. Stolee
(Sandia National Laboratories, USA; North Carolina State University, USA)
Preprint Info
Automatically Assessing Code Understandability: How Far Are We?
(University of Molise, Italy; University of Lugano, Switzerland; College of William and Mary, USA; Universidad de los Andes, Colombia)
Preprint Info
Improved Query Reformulation for Concept Location using CodeRank and Document Structures
Mohammad Masudur Rahman and Chanchal K. Roy
(University of Saskatchewan, Canada)
Preprint Info
Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis
Lin Shi, Celia Chen, Qing Wang, Shoubin Li, and Barry Boehm
(Institute of Software at Chinese Academy of Sciences, China; University of Southern California, USA)
Info
Models (Technical Research)
10:30 – 12:30, Illini Room B, Chair: Lars Grunske
O2O Service Composition with Social Collaboration
Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao
(Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; Open University, Ireland)
Preprint
Gremlin-ATL: A Scalable Model Transformation Framework
Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, and Jordi Cabot
(AtlanMod, France; Groupe ESEO, France; ICREA, Spain)
Preprint
Diagnosing Assumption Problems in Safety-Critical Products
Mona Rahimi, Wandi Xiong, Jane Cleland-Huang, and Robyn Lutz
(DePaul University, USA; Iowa State University, USA; University of Notre Dame, USA)
Preprint
Software Performance Self-Adaptation through Efficient Model Predictive Control
(Gran Sasso Science Institute, Italy; IMT School for Advanced Studies Lucca, Italy)
Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis
(Carnegie Mellon University, USA; Bauhaus-University Weimar, Germany)
Preprint Info
Visualization, Models, and Synthesis (Tool Demonstrations)
10:30 – 12:30, Illini Room C, 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
(University of Southern California, USA)
Video
Visualization Support for Requirements Monitoring in Systems of Systems
Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria; University of Notre Dame, USA)
A Demonstration of Simultaneous Execution and Editing in a Development Environment
(Brown University, USA)
Video
TREM: A Tool for Mining Timed Regular Specifications from System Traces
Lukas Schmidt, Apurva Narayan, and Sebastian Fischmeister
(University of Waterloo, Canada)
Preprint Video
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
(Wageningen University and Research, Turkey; CNRS, France; OBEO, France; Wageningen University and Research, Netherlands; Ege University, Turkey; Airbus Group Innovations, France)
Preprint Video Info
Incrementally Slicing Editable Submodels
Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer
(University of Siegen, Germany; Humboldt University of Berlin, Germany)
Video Info
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
(University of Oxford, UK; Federal University of Amazonas, Brazil; University of Oxford, Brazil)
Preprint Video Info
Reliability and Bugs (Technical Research)
13:30 – 15:30, Illini Room A, Chair: Michael Whalen
A Comprehensive Study of Real-World Numerical Bug Characteristics
Anthony Di Franco, Hui Guo, and Cindy Rubio-González
(University of California at Davis, USA)
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
(Institute of Software at Chinese Academy of Sciences, China; Ohio State University, USA)
Preprint
An Effective Change Recommendation Approach for Supplementary Bug Fixes
Xin Xia and David Lo
(Zhejiang University, China; Singapore Management University, Singapore)
Publisher's Version
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
(Nanjing University, China; Hong Kong Polytechnic University, China)
Publisher's Version
Meta-learning Based Selection of Software Reliability Models
Rafael Caiuta, Aurora Pozo, and Silvia Regina Vergilio
(Federal University of Paraná, Brazil)
Publisher's Version
Source Code Analysis (Technical Research)
13:30 – 15:30, Illini Room B, Chair: Mark Hills
Generating Simpler AST Edit Scripts by Considering Copy-and-Paste
Yoshiki Higo, Akio Ohtani, and Shinji Kusumoto
(Osaka University, Japan)
Preprint
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
(University of Passau, Germany; Carnegie Mellon University, USA)
Preprint
Semantics-Assisted Code Review: An Efficient Toolchain and a User Study
Massimiliano Menarini, Yan Yan, and William G. Griswold
(University of California at San Diego, USA)
Detecting Unknown Inconsistencies in Web Applications
Frolin S. Ocariza, Jr., Karthik Pattabiraman, and Ali Mesbah
(University of British Columbia, Canada)
Preprint
Why and How JavaScript Developers Use Linters
Kristín Fjóla Tómasdóttir, Maurício Aniche, and Arie van Deursen
(Delft University of Technology, Netherlands)
Preprint
Analysis and Testing (Tool Demonstrations)
13:30 – 15:30, Illini Room C, 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
(Tsinghua University, China; Portland State University, USA)
Video
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
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany)
Video
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
Video
taco: A Tool to Generate Tensor Algebra Kernels
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA)
Preprint Video Info
STARTS: STAtic Regression Test Selection
Owolabi Legunsen, August Shi, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests
Jonathan A. Saddler and Myra B. Cohen
(University of Nebraska-Lincoln, USA)
Preprint Video
ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large
Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment
(Inria, France; Saarland University, Germany; University of Lille, France; Telecom Nancy, France)
Preprint Video Info
Symbolic Execution (Technical Research)
16:00 – 17:30, Illini Room A, Chair: Marsha Chechik
Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing
Timotej Kapus and Cristian Cadar
(Imperial College London, UK)
Preprint
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
(Imperial College London, UK; RWTH Aachen University, Germany)
Preprint
Rethinking Pointer Reasoning in Symbolic Execution
(Sapienza University of Rome, Italy)
Preprint Info
Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution
Eman Alatawi, Harald Søndergaard, and Tim Miller
(University of Melbourne, Australia)
Program Repair (Technical Research)
16:00 – 17:30, Illini Room B, Chair: Kathryn T. Stolee
Tortoise: Interactive System Configuration Repair
Aaron Weiss, Arjun Guha, and Yuriy Brun
(Northeastern University, USA; University of Massachusetts at Amherst, USA)
Preprint
Contract-Based Program Repair without the Contracts
Liushan Chen, Yu Pei, and Carlo A. Furia
(Hong Kong Polytechnic University, China; Chalmers University of Technology, Sweden)
Preprint Info
ELIXIR: Effective Object Oriented Program Repair
Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad
(Fujitsu Labs, USA; University of Southern California, USA)
Leveraging Syntax-Related Code for Automated Program Repair
(Brown University, USA)
Preprint Info
Search and Editing (Tool Demonstrations)
16:00 – 17:30, Illini Room C, Chair: Alexander Serebrenik
FEMIR: A Tool for Recommending Framework Extension Examples
Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou
(University of Saskatchewan, Canada; Clarkson University, USA)
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
(University of Notre Dame, USA; DePaul University, USA)
Preprint Video
Opiner: An Opinion Search and Summarization Engine for APIs
Gias Uddin and Foutse Khomh
(McGill University, Canada; Polytechnique Montréal, Canada)
Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default
Raffi Khatchadourian and Hidehiko Masuhara
(City University of New York, USA; Tokyo Institute of Technology, Japan)
Preprint Video Info
Kobold: Web Usability as a Service
Julián Grigera, Alejandra Garrido, and Gustavo Rossi
(Universidad Nacional de La Plata, Argentina)
Video Info
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
Video Info
Social
18:00 – 22:00, Alice Campbell Alumni Center
Thursday, November 2, 2017
Keynotes
09:00 – 10:00, Illini Union
Software Engineering without Borders
Arie van Deursen
(Delft University of Technology, Netherlands)
Recommender Systems (Technical Research)
10:30 – 12:30, Illini Room A, Chair: Bogdan Vasilescu
Boosting Complete-Code Tool for Partial Program
(Shanghai Jiao Tong University, China; University of Texas at San Antonio, USA)
A Language Model for Statements of Software Code
Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu
(Tsinghua University, China)
Context-Aware Integrated Development Environment Command Recommender Systems
Marko Gasparic, Tural Gurbanov, and Francesco Ricci
(Free University of Bolzano, Italy)
Predicting Relevance of Change Recommendations
Thomas Rolfsnes, Leon Moonen, and David Binkley
(Simula Research Laboratory, Norway; Loyola University Maryland, USA)
Preprint Info
AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions
Bowen Xu, Zhenchang Xing, Xin Xia, and David Lo
(Zhejiang University, Singapore; Australian National University, Australia; University of British Columbia, China; Singapore Management University, Singapore)
Preprint
Recommending Crowdsourced Software Developers in Consideration of Skill Improvement
Zizhe Wang, Hailong Sun, Yang Fu, and Luting Ye
(Beihang University, China)
The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks
(Autonomous University of Madrid, Spain)
Preprint Info
Concurrency (Technical Research)
10:30 – 12:30, Illini Room B, Chair: Darko Marinov
UNDEAD: Detecting and Preventing Deadlocks in Production Software
Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu
(University of Texas at San Antonio, USA; Institute of Software at Chinese Academy of Sciences, China)
Promoting Secondary Orders of Event Pairs in Randomized Scheduling using a Randomized Stride
Mahmoud Abdelrasoul
(North Carolina State University, USA)
Preprint
Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances
(University of Southampton, UK; University of Sussex, UK; Stellenbosch University, South Africa; University of Salerno, Italy)
Info
Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications
Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, and Yu David Liu
(Federal University of Paríç, Brazil; SUNY Binghamton, USA; Federal University of Pernambuco, Brazil; University of California at Irvine, USA)
Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling
Patrick Metzler, Habib Saissi, Péter Bokor, and Neeraj Suri
(TU Darmstadt, Germany)
Preprint
Visualization, Models, and Analysis (Hands On) (Tool Demonstrations)
10:30 – 12:30, Illini Room C
Binary Analysis (Technical Research)
13:30 – 15:30, Illini Room A, Chair: Cristian Cadar
In-Memory Fuzzing for Binary Code Similarity Analysis
Shuai Wang and Dinghao Wu
(Pennsylvania State University, USA)
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
(University of Bamberg, Germany; Microsoft, Canada; VU University Amsterdam, Netherlands)
Towards Robust Instruction-Level Trace Alignment of Binary Code
Ulf Kargén and Nahid Shahmehri
(Linköping University, Sweden)
Testing Intermediate Representations for Binary Analysis
Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha
(KAIST, South Korea; Gachon University, South Korea)
Preprint
Testing (Technical Research)
13:30 – 15:30, Illini Room B, Chair: Milos Gligoric
Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact
(Federal University of Pernambuco, Brazil)
Info
Systematic Reduction of GUI Test Sequences
Lin Cheng, Zijiang Yang, and Chao Wang
(Western Michigan University, USA; University of Southern California, USA)
Automatically Reducing Tree-Structured Test Inputs
Satia Herfert, Jibesh Patra, and Michael Pradel
(TU Darmstadt, Germany)
Preprint
Analysing the Fitness Landscape of Search-Based Software Testing Problems
Aldeida Aleti, I. Moser, and Lars Grunske
(Monash University, Australia; Swinburne University of Technology, Australia; University of Stuttgart, Germany)
Publisher's Version
Synthetic Data Generation for Statistical Testing
Ghanem Soltana, Mehrdad Sabetzadeh, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
Preprint Info
Testing, Search, and Editing (Hands On) (Tool Demonstrations)
13:30 – 15:30, Illini Room C
Plenary
16:00 – 16:30, Illini Room C
Friday, November 3, 2017
Java Pathfinder Workshop 2017 (JPF) (Workshops)
09:00 – 17:30, Room 4403
Program Analysis on Thousands of Projects (Tutorials)
09:00 – 12:00, Room 4405
Towards a National Java Resource (NJR) (Workshops)
13:15 – 17:30, Room 3405
Network Verification From Algorithms To Deployment (Tutorials)
13:15 – 17:30, Room 4405

Time stamp: 2017-11-21T02:37:44+01:00