The Community for Technology Leaders
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) (2017)
Urbana, IL, USA
Oct. 30, 2017 to Nov. 3, 2017
ISBN: 978-1-5386-3976-4
TABLE OF CONTENTS

[Front matter] (PDF)

pp. 1-2

Author index (PDF)

pp. 1034-1036

Contents (PDF)

pp. xiv-xx

Organization committee (PDF)

pp. vii-xii

Silver sponsors (PDF)

pp. xiii

Cobra — An interactive static code analyzer (PDF)

Gerard Holzmann , Nimble Research, Arcadia, CA 91006, USA
pp. 1

Mining structures from massive text data: Will it help software engineering? (PDF)

Jiawei Han , Abel Bliss Professor, Department of Computer Science, University of Illinois at Urbana-Champaign, USA
pp. 2

Software engineering without borders (PDF)

Arie van Deursen , Department of Software Technolgy, Delft University of Technology, The Netherlands
pp. 3

Systematically testing background services of mobile apps (Abstract)

Li Lyna Zhang , University of Science and Technology of China, China
Chieh-Jan Mike Liang , Microsoft Research, China
Yunxin Liu , Microsoft Research, China
Enhong Chen , University of Science and Technology of China, China
pp. 4-15

Crowd intelligence enhances automated mobile testing (Abstract)

Ke Mao , Facebook London, Facebook, 10 Brock Street, London, NW1 3FG, UK CREST, University College London, Malet Place, London, WC1E 6BT, UK
Mark Harman , Facebook London, Facebook, 10 Brock Street, London, NW1 3FG, UK CREST, University College London, Malet Place, London, WC1E 6BT, UK
Yue Jia , Facebook London, Facebook, 10 Brock Street, London, NW1 3FG, UK CREST, University College London, Malet Place, London, WC1E 6BT, UK
pp. 16-26

EHBDroid: Beyond GUI testing for Android applications (Abstract)

Wei Song , School of Computer Sci. & Eng., Nanjing University of Sci. & Tech., Nanjing, China
Xiangxing Qian , School of Computer Sci. & Eng., Nanjing University of Sci. & Tech., Nanjing, China
Jeff Huang , Parasol Laboratory, Texas A&M University, College Station, TX, USA
pp. 27-37

Sketch-guided GUI test generation for mobile applications (Abstract)

Chucheng Zhang , State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China
Haoliang Cheng , State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China
Enyi Tang , State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China
Xin Chen , State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China
Lei Bu , State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China
Xuandong Li , State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China
pp. 38-43

Saying ‘Hi!’ is not enough: Mining inputs for effective test generation (Abstract)

Luca Della Toffola , Department of Computer Science, ETH Zurich, Switzerland
Cristian-Alexandru Staicu , Department of Computer Science, TU Darmstadt, Germany
Michael Pradel , Department of Computer Science, TU Darmstadt, Germany
pp. 44-49

Learn&Fuzz: Machine learning for input fuzzing (Abstract)

Patrice Godefroid , Microsoft Research, USA
Hila Peleg , Technion, Israel
Rishabh Singh , Microsoft Research, USA
pp. 50-59

The impact of continuous integration on other software development practices: A large-scale empirical study (Abstract)

Yangyang Zhao , Nanjing University, China
Alexander Serebrenik , Eindhoven U of Technology, The Netherlands
Yuming Zhou , Nanjing Universit, China
Vladimir Filkov , UC Davis, USA
Bogdan Vasilescu , Carnegie Mellon University, USA
pp. 60-71

Perceived language complexity in GitHub issue discussions and their effect on issue resolution (Abstract)

David Kavaler , Department of Computer Science, University of California at Davis, USA
Sasha Sirovica , Department of Computer Science, University of California at Davis, USA
Vincent Hellendoorn , Department of Computer Science, University of California at Davis, USA
Raul Aranovich , Department of Linguistics, University of California at Davis, USA
Vladimir Filkov , Department of Computer Science, University of California at Davis, USA
pp. 72-83

Can automated pull requests encourage software developers to upgrade out-of-date dependencies? (Abstract)

Samim Mirhosseini , North Carolina State University, Raleigh, NC, USA
Chris Parnin , North Carolina State University, Raleigh, NC, USA
pp. 84-94

Are developers aware of the architectural impact of their changes? (Abstract)

Matheus Paixao , University College London, United Kingdom
Jens Krinke , University College London, United Kingdom
DongGyun Han , University College London, United Kingdom
Chaiyong Ragkhitwetsagul , University College London, United Kingdom
Mark Harman , University College London, United Kingdom
pp. 95-105

SentiCR: A customized sentiment analysis tool for code review interactions (Abstract)

Toufique Ahmed , Department of Computer Science & Engineering, Bangladesh University of Engineering and Technology, Dhaka, Bangladeshi
Amiangshu Bosu , Department of Computer Science, Southern Illinois University Carbondale, IL, USA
Anindya Iqbal , Department of Computer Science & Engineering, Bangladesh University of Engineering and Technology, Dhaka, Bangladeshi
Shahram Rahimi , Department of Computer Science, Southern Illinois University Carbondale, IL, USA
pp. 106-111

Detecting fragile comments (Abstract)

Inderjot Kaur Ratol , School of Computer Science, McGill University, Montreal, QC, Canada
Martin P. Robillard , School of Computer Science, McGill University, Montreal, QC, Canada
pp. 112-122

Improving software text retrieval using conceptual knowledge in source code (Abstract)

Zeqi Lin , Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, China, 100871
Yanzhen Zou , Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, China, 100871
Junfeng Zhao , Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, China, 100871
Bing Xie , Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, China, 100871
pp. 123-134

Automatically generating commit messages from diffs using neural machine translation (Abstract)

Siyuan Jiang , Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA
Ameer Armaly , Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA
Collin McMillan , Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA
pp. 135-146

Improving missing issue-commit link recovery using positive and unlabeled data (Abstract)

Yan Sun , University of Chinese Academy of Sciences, Beijing, 100049, P.R. China
Celia Chen , Department of Computer Science, Occidental College, Los Angeles, CA
Qing Wang , University of Chinese Academy of Sciences, Beijing, 100049, P.R. China
Barry Boehm , Department of Computer Science, Occidental College, Los Angeles, CA
pp. 147-152

APIBot: Question answering bot for API documentation (Abstract)

Yuan Tian , School of Information Systems, Singapore Management University, Singapore
Ferdian Thung , School of Information Systems, Singapore Management University, Singapore
Abhishek Sharma , School of Information Systems, Singapore Management University, Singapore
David Lo , School of Information Systems, Singapore Management University, Singapore
pp. 153-158

Automatic summarization of API reviews (Abstract)

Gias Uddin , School of Computer Science, McGill University, Montréal, QC, Canada
Foutse Khomh , SWAT Lab Polytechnique, Montréal, QC, Canada
pp. 159-170

ICoq: Regression proof selection for large-scale verification projects (Abstract)

Ahmet Celik , University of Texas at Austin, Austin, TX-78712, USA
Karl Palmskog , University of Illinois at Urbana-Champaign, Urbana, IL-61801, USA
Milos Gligoric , University of Texas at Austin, Austin, TX-78712, USA
pp. 171-182

More effective interpolations in software model checking (Abstract)

Cong Tian , ICTT and ISN Lab, Xidian University, Xi'an 710071, P.R. China
Zhao Duan , ICTT and ISN Lab, Xidian University, Xi'an 710071, P.R. China
Zhenhua Duan , ICTT and ISN Lab, Xidian University, Xi'an 710071, P.R. China
C.-H. Luke Ong , Department of Computer Science, University of Oxford, UK
pp. 183-193

Proof-based coverage metrics for formal verification (Abstract)

Elaheh Ghassabani , Department of Computer Science & Engineering, University of Minnesota, MN, USA
Andrew Gacek , Rockwell Collins, Advanced Technology Center, IA, USA
Michael W. Whalen , Department of Computer Science & Engineering, University of Minnesota, MN, USA
Mats P. E. Heimdahl , Department of Computer Science & Engineering, University of Minnesota, MN, USA
Lucas Wagner , Rockwell Collins, Advanced Technology Center, IA, USA
pp. 194-199

Model checker execution reports (Abstract)

Rodrigo Castano , Departamento de Computación, FCEyN, UBA, CONICET, Buenos Aires, Argentina
Victor Braberman , Departamento de Computación, FCEyN, UBA, CONICET, Buenos Aires, Argentina
Diego Garbervetsky , Departamento de Computación, FCEyN, UBA, CONICET, Buenos Aires, Argentina
Sebastian Uchitel , Departamento de Computación, FCEyN, UBA, CONICET, Buenos Aires, Argentina
pp. 200-205

Modular verification of interrupt-driven software (Abstract)

Chungha Sung , University of Southern, California Los Angeles, CA, USA
Markus Kusano , Virginia Tech Blacksburg, VA, USA
Chao Wang , University of Southern California, Los Angeles, CA, USA
pp. 206-216

BProVe: A formal verification framework for business process models (Abstract)

Flavio Corradini , School of Science and Technology, University of Camerino, Camerino, Italy
Fabrizio Fornari , School of Science and Technology, University of Camerino, Camerino, Italy
Andrea Polini , School of Science and Technology, University of Camerino, Camerino, Italy
Barbara Re , School of Science and Technology, University of Camerino, Camerino, Italy
Francesco Tiezzi , School of Science and Technology, University of Camerino, Camerino, Italy
Andrea Vandin , DTU Compute, Technical University of Denmark, Lyngby, Denmark
pp. 217-228

Static detection of asymptotic resource side-channel vulnerabilities in web applications (Abstract)

Jia Chen , The University of Texas at Austin, United States
Oswaldo Olivo , The University of Texas at Austin, United States
Isil Dillig , The University of Texas at Austin, United States
Calvin Lin , The University of Texas at Austin, United States
pp. 229-239

PAD: Programming third-party web advertisement censorship (Abstract)

Weihang Wang , Department of Computer Science, Purdue University, West Lafayette, Indiana, USA
Yonghwi Kwon , Department of Computer Science, Purdue University, West Lafayette, Indiana, USA
Yunhui Zheng , IBM T.J. Watson Research Center, Yorktown Height, New York, USA
Yousra Aafer , Department of Computer Science, Purdue University, West Lafayette, Indiana, USA
I-Luk Kim , Department of Computer Science, Purdue University, West Lafayette, Indiana, USA
Wen-Chuan Lee , Department of Computer Science, Purdue University, West Lafayette, Indiana, USA
Yingqi Liu , Department of Computer Science, Purdue University, West Lafayette, Indiana, USA
Weijie Meng , Department of Computer Science, Purdue University, West Lafayette, Indiana, USA
Xiangyu Zhang , Department of Computer Science, Purdue University, West Lafayette, Indiana, USA
Patrick Eugster , Department of Computer Science, Purdue University, West Lafayette, Indiana, USA
pp. 240-251

All about activity injection: Threats, semantics, and detection (Abstract)

Sungho Lee , KAIST, Korea
Sungjae Hwang , LG Electronics, Korea
Sukyoung Ryu , KAIST, Korea
pp. 252-262

Detecting information flow by mutating input data (Abstract)

Bjorn Mathis , Saarland University, Saarbrücken, Germany
Vitalii Avdiienko , Saarland University, Saarbrücken, Germany
Ezekiel O. Soremekun , Saarland University, Saarbrücken, Germany
Marcel Bohme , National University of Singapore, Singapore
Andreas Zeller , Saarland University, Saarbrücken, Germany
pp. 263-273

Automatically assessing crashes from heap overflows (Abstract)

Liang He , Trusted Computing and Information Assurance Laboratory, Institute of Software, Chinese Academy of Sciences, Beijing, China
Yan Cai , State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
Hong Hu , State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
Purui Su , Trusted Computing and Information Assurance Laboratory, Institute of Software, Chinese Academy of Sciences, Beijing, China
Zhenkai Liang , Department of Computer Science, National University of Singapore
Yi Yang , Trusted Computing and Information Assurance Laboratory, Institute of Software, Chinese Academy of Sciences, Beijing, China
Huafeng Huang , Trusted Computing and Information Assurance Laboratory, Institute of Software, Chinese Academy of Sciences, Beijing, China
Jia Yan , Trusted Computing and Information Assurance Laboratory, Institute of Software, Chinese Academy of Sciences, Beijing, China
Xiangkun Jia , Trusted Computing and Information Assurance Laboratory, Institute of Software, Chinese Academy of Sciences, Beijing, China
Dengguo Feng , Trusted Computing and Information Assurance Laboratory, Institute of Software, Chinese Academy of Sciences, Beijing, China
pp. 274-279

Learning to share: Engineering adaptive decision-support for online social networks (Abstract)

Yasmin Rafiq , Imperial College London UK
Luke Dickens , University College London, UK
Alessandra Russo , Imperial College London UK
Arosha K. Bandara , The Open University, UK
Mu Yang , University of Southampton, UK
Avelie Stuart , University of Exeter, UK
Mark Levine , University of Exeter, UK
Gul Calikli , Chalmers & University of Gothenburg, Sweden
Blaine A. Price , The Open University, UK
Bashar Nuseibeh , The Open University, UK
pp. 280-285

UI driven Android application reduction (Abstract)

Jianjun Huang , Department of Computer Science, Purdue University, USA
Yousra Aafer , Department of Computer Science, Purdue University, USA
David Perry , Department of Computer Science, Purdue University, USA
Xiangyu Zhang , Department of Computer Science, Purdue University, USA
Chen Tian , Huawei R&D, USA
pp. 286-296

SimplyDroid: Efficient event sequence simplification for android application (Abstract)

Bo Jiang , School of Computer Science and Engineering, Beihang University, Beijing, China
Yuxuan Wu , School of Computer Science and Engineering, Beihang University, Beijing, China
Teng Li , School of Computer Science and Engineering, Beihang University, Beijing, China
W. K. Chan , Department of Computer Science, City University of Hong Kong, Hong Kong
pp. 297-307

Automated cross-platform inconsistency detection for mobile apps (Abstract)

Mattia Fazzini , Georgia Institute of Technology, USA
Alessandro Orso , Georgia Institute of Technology, USA
pp. 308-318

In-memory fuzzing for binary code similarity analysis (Abstract)

Shuai Wang , The Pennsylvania State University, University Park, PA 16802, USA
Dinghao Wu , The Pennsylvania State University, University Park, PA 16802, USA
pp. 319-330

DSIbin: Identifying dynamic data structures in C/C++ binaries (Abstract)

Thomas Rupprecht , University of Bamberg, Germany
Xi Chen , Microsoft, Canada
David H. White , University of Bamberg, Germany
Jan H. Boockmann , University of Bamberg, Germany
Gerald Luttgen , University of Bamberg, Germany
Herbert Bos , Vrije Universiteit Amsterdam, The Netherlands
pp. 331-341

Towards robust instruction-level trace alignment of binary code (Abstract)

Ulf Kargen , Department of Computer and Information Science, Linköping University, Linköping, Sweden
Nahid Shahmehri , Department of Computer and Information Science, Linköping University, Linköping, Sweden
pp. 342-352

Testing intermediate representations for binary analysis (Abstract)

Soomin Kim , KAIST, Republic of Korea
Markus Faerevaag , KAIST, Republic of Korea
Minkyu Jung , KAIST, Republic of Korea
Seungll Jung , KAIST, Republic of Korea
DongYeop Oh , KAIST, Republic of Korea
JongHyup Lee , Gachon University, Republic of Korea
Sang Kil Cha , KAIST, Republic of Korea
pp. 353-364

Comprehensive failure characterization (Abstract)

Mitchell J. Gerrard , University of Nebraska-Lincoln, Lincoln, NE, USA
Matthew B. Dwyer , University of Nebraska-Lincoln, Lincoln, NE, USA
pp. 365-376

TrEKer: Tracing error propagation in operating system kernels (Abstract)

Nicolas Coppik , DEEDS Group, TU Darmstadt, Darmstadt, Germany
Oliver Schwahn , DEEDS Group, TU Darmstadt, Darmstadt, Germany
Stefan Winter , DEEDS Group, TU Darmstadt, Darmstadt, Germany
Neeraj Suri , DEEDS Group, TU Darmstadt, Darmstadt, Germany
pp. 377-387

RuntimeSearch: Ctrl+F for a running program (Abstract)

Matus Sulir , Technical University of Košice, Slovakia
Jaroslav Poruban , Technical University of Košice, Slovakia
pp. 388-393

Mining implicit design templates for actionable code reuse (Abstract)

Yun Lin , National University of Singapore, Singapore
Guozhu Meng , Nanyang Technological University, Singapore
Yinxing Xue , Nanyang Technological University, Singapore
Zhenchang Xing , Australia National University, Australia
Jun Sun , Singapore University of Technology and Design, Singapore
Xin Peng , Fudan University, China
Yang Liu , Nanyang Technological University, Singapore
Wenyun Zhao , Fudan University, China
Jinsong Dong , National University of Singapore, Singapore
pp. 394-404

Exploring regular expression comprehension (Abstract)

Carl Chapman , Sandia National Laboratories, Albuquerque, NM, USA
Peipei Wang , Department of Computer Science, North Carolina State University, USA
Kathryn T. Stolee , Department of Computer Science, North Carolina State University, USA
pp. 405-416

Automatically assessing code understandability: How far are we? (Abstract)

Simone Scalabrino , University of Molise, Italy
Gabriele Bavota , Università della Svizzera italiana (USI), Switzerland
Christopher Vendome , The College of William and Mary, USA
Mario Linares-Vasquez , Universidad de los Andes, Colombia
Denys Poshyvanyk , The College of William and Mary, USA
Rocco Oliveto , University of Molise, Italy
pp. 417-427

Improved query reformulation for concept location using CodeRank and document structures (Abstract)

Mohammad Masudur Rahman , Department of Computer Science, University of Saskatchewan, Canada
Chanchal K. Roy , Department of Computer Science, University of Saskatchewan, Canada
pp. 428-439

Understanding feature requests by leveraging fuzzy method and linguistic analysis (Abstract)

Lin Shi , Laboratory for Internet Software Technologies, Institute of Software Chinese Academy of Sciences, Beijing, China
Celia Chen , Center for Systems and Software Engineering, University of Southern California, Los Angeles, USA
Qing Wang , Laboratory for Internet Software Technologies, Institute of Software Chinese Academy of Sciences, Beijing, China
Shoubin Li , Laboratory for Internet Software Technologies, Institute of Software Chinese Academy of Sciences, Beijing, China
Barry Boehm , Center for Systems and Software Engineering, University of Southern California, Los Angeles, USA
pp. 440-450

O2O service composition with social collaboration (Abstract)

Wenyi Qian , School of Computer Science, Fudan University, Shanghai, China
Xin Peng , School of Computer Science, Fudan University, Shanghai, China
Jun Sun , Singapore University of Technology and Design, Singapore
Yijun Yu , School of Computing and Communications, The Open University, UK
Bashar Nuseibeh , School of Computing and Communications, The Open University, UK
Wenyun Zhao , School of Computer Science, Fudan University, Shanghai, China
pp. 451-461

Gremlin-ATL: A scalable model transformation framework (Abstract)

Gwendal Daniel , AtlanMod Team, Inria, IMT Atlantique, LS2N, Nantes, France
Frederic Jouault , TRAME Team, Groupe ESEO, Angers, France
Gerson Sunye , AtlanMod Team, Inria, IMT Atlantique, LS2N, Nantes, France
Jordi Cabot , ICREA, UOC, Barcelona, Spain
pp. 462-472

Diagnosing assumption problems in safety-critical products (Abstract)

Mona Rahimi , School of Computing, Depaul University, Chicago IL, USA
Wandi Xiong , Computer Science, Iowa State University, Ames, IA, USA
Jane Cleland-Huang , Computer Science and Eng., University of Notre Dame, South Bend IN, USA
Robyn Lutz , Computer Science, Iowa State University, Ames, IA, USA
pp. 473-484

Software performance self-adaptation through efficient model predictive control (Abstract)

Emilio Incerto , Gran Sasso Science Institute, Viale Francesco Crispi, 7, L'Aquila, Italy
Mirco Tribastone , IMT School for Advanced Studies, Piazza San Francesco, 19 Lucca, Italy
Catia Trubiani , Gran Sasso Science Institute, Viale Francesco Crispi, 7, L'Aquila, Italy
pp. 485-496

Transfer learning for performance modeling of configurable systems: An exploratory analysis (Abstract)

Pooyan Jamshidi , Carnegie Mellon University, USA
Norbert Siegmund , Bauhaus-University Weimar, Germany
Miguel Velez , Carnegie Mellon University, USA
Christian Kastner , Carnegie Mellon University, USA
Akshay Patel , Carnegie Mellon University, USA
Yuvraj Agarwal , Carnegie Mellon University, USA
pp. 497-508

A comprehensive study of real-world numerical bug characteristics (Abstract)

Anthony Di Franco , Department of Computer Science, University of California, Davis, USA
Hui Guo , Department of Computer Science, University of California, Davis, USA
Cindy Rubio-Gonzalez , Department of Computer Science, University of California, Davis, USA
pp. 509-519

A comprehensive study on real world concurrency bugs in Node.js (Abstract)

Jie Wang , State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, China
Wensheng Dou , State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, China
Yu Gao , State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, China
Chushu Gao , State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, China
Feng Qin , Dept. of Computer Science and Engineering, The Ohio State University, United States
Kang Yin , State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, China
Jun Wei , State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, China
pp. 520-531

Generating simpler AST edit scripts by considering copy-and-paste (Abstract)

Yoshiki Higo , Graduate School of Information Science and Technology, Osaka University, 1-5, Yamadaoka, Suita, Osaka, 565-0871, Japan
Akio Ohtani , Graduate School of Information Science and Technology, Osaka University, 1-5, Yamadaoka, Suita, Osaka, 565-0871, Japan
Shinji Kusumoto , Graduate School of Information Science and Technology, Osaka University, 1-5, Yamadaoka, Suita, Osaka, 565-0871, Japan
pp. 532-542

Renaming and shifted code in structured merging: Looking ahead for precision and performance (Abstract)

Olaf Lesenich , University of Passau, Germany
Sven Apel , University of Passau, Germany
Christian Kastner , Carnegie Mellon University, USA
Georg Seibt , University of Passau, Germany
Janet Siegmund , University of Passau, Germany
pp. 543-553

Semantics-assisted code review: An efficient tool chain and a user study (Abstract)

Massimiliano Menarini , Department of Computer Science and Engineering, University of California at San Diego, La Jolla, CA, USA
Yan Yan , Department of Computer Science and Engineering, University of California at San Diego, La Jolla, CA, USA
William G. Griswold , Department of Computer Science and Engineering, University of California at San Diego, La Jolla, CA, USA
pp. 554-565

Detecting unknown inconsistencies in web applications (Abstract)

Frolin S. Ocariza , University of British Columbia, Vancouver, BC, Canada
Karthik Pattabiraman , University of British Columbia, Vancouver, BC, Canada
Ali Mesbah , University of British Columbia, Vancouver, BC, Canada
pp. 566-577

Why and how JavaScript developers use linters (Abstract)

Kristin Fjola Tomasdottir , Delft University of Technology - The Netherlands
Mauricio Aniche , Delft University of Technology - The Netherlands
Arie van Deursen , Delft University of Technology - The Netherlands
pp. 578-589

Automatic testing of symbolic execution engines via program generation and differential testing (Abstract)

Timotej Kapus , Imperial College London, United Kingdom
Cristian Cadar , Imperial College London, United Kingdom
pp. 590-600

Floating-point symbolic execution: A case study in N-version programming (Abstract)

Daniel Liew , Imperial College London, United Kingdom
Daniel Schemmel , RWTH Aachen University, Germany
Cristian Cadar , Imperial College London, United Kingdom
Alastair F. Donaldson , Imperial College London, United Kingdom
Rafael Zahl , RWTH Aachen University, Germany
Klaus Wehrle , RWTH Aachen University, Germany
pp. 601-612

Rethinking pointer reasoning in symbolic execution (Abstract)

Emilio Coppa , Department of Computer, Control, and Management Engineering, Sapienza University of Rome, Italy
Daniele Cono D'Elia , Department of Computer, Control, and Management Engineering, Sapienza University of Rome, Italy
Camil Demetrescu , Department of Computer, Control, and Management Engineering, Sapienza University of Rome, Italy
pp. 613-618

Leveraging abstract interpretation for efficient dynamic symbolic execution (Abstract)

Eman Alatawi , School of Computing and Information Systems, The University of Melbourne, Victoria 3010, Australia
Harald Sondergaard , School of Computing and Information Systems, The University of Melbourne, Victoria 3010, Australia
Tim Miller , School of Computing and Information Systems, The University of Melbourne, Victoria 3010, Australia
pp. 619-624

Tortoise: Interactive system configuration repair (Abstract)

Aaron Weiss , Northeastern University, Boston, MA, USA 02115
Arjun Guha , University of Massachusetts, Amherst, Amherst, MA, USA 01003
Yuriy Brun , University of Massachusetts, Amherst, Amherst, MA, USA 01003
pp. 625-636

Contract-based program repair without the contracts (Abstract)

Liushan Chen , Department of Computing, The Hong Kong Polytechnic University, China
Yu Pei , Department of Computing, The Hong Kong Polytechnic University, China
Carlo A. Furia , Department of Computer Science and Engineering, Chalmers University of Technology, Sweden
pp. 637-647

Elixir: Effective object-oriented program repair (Abstract)

Ripon K. Saha , Fujitsu Laboratories of America, Sunnyvale, CA, USA
Yingjun Lyu , University of Southern California, Los Angeles, CA, USA
Hiroaki Yoshida , Fujitsu Laboratories of America, Sunnyvale, CA, USA
Mukul R. Prasad , Fujitsu Laboratories of America, Sunnyvale, CA, USA
pp. 648-659

Leveraging syntax-related code for automated program repair (Abstract)

Qi Xin , Department of Computer Science, Brown University, Providence, RI, USA
Steven P. Reiss , Department of Computer Science, Brown University, Providence, RI, USA
pp. 660-670

Boosting complete-code tool for partial program (Abstract)

Hao Zhong , Department of Computer Science and Engineering, Shanghai Jiao Tong University, China
Xiaoyin Wang , Department of Computer Science, University of Texas at San Antonio, USA
pp. 671-681

A language model for statements of software code (Abstract)

Yixiao Yang , School of Software, Tsinghua University, TNLIST, KLISS, Beijing, China
Yu Jiang , School of Software, Tsinghua University, TNLIST, KLISS, Beijing, China
Ming Gu , School of Software, Tsinghua University, TNLIST, KLISS, Beijing, China
Jiaguang Sun , School of Software, Tsinghua University, TNLIST, KLISS, Beijing, China
Jian Gao , School of Software, Tsinghua University, TNLIST, KLISS, Beijing, China
Han Liu , School of Software, Tsinghua University, TNLIST, KLISS, Beijing, China
pp. 682-687

Context-aware integrated development environment command recommender systems (Abstract)

Marko Gasparic , Free University of Bozen-Bolzano, Piazza Domenicani, 3, 39100 Bolzano, Italy
Tural Gurbanov , Free University of Bozen-Bolzano, Piazza Domenicani, 3, 39100 Bolzano, Italy
Francesco Ricci , Free University of Bozen-Bolzano, Piazza Domenicani, 3, 39100 Bolzano, Italy
pp. 688-693

Predicting relevance of change recommendations (Abstract)

Thomas Rolfsnes , Simula Research Laboratory, Oslo, Norway
Leon Moonen , Simula Research Laboratory, Oslo, Norway
David Binkley , Loyola University Maryland, Baltimore, Maryland, USA
pp. 694-705

AnswerBot: Automated generation of answer summary to developers' technical questions (Abstract)

Bowen Xu , College of Computer Science and Technology, Zhejiang University, China
Zhenchang Xing , School of Engineering and Computer Science, Australian National University, Australia
Xin Xia , Department of Computer Science, University of British Columbia, Canada
David Lo , School of Information Systems, Singapore Management University, Singapore
pp. 706-716

Recommending crowdsourced software developers in consideration of skill improvement (Abstract)

Zizhe Wang , State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University, Beijing, China
Hailong Sun , State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University, Beijing, China
Yang Fu , State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University, Beijing, China
Luting Ye , State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University, Beijing, China
pp. 717-722

The rise of the (modelling) bots: Towards assisted modelling via social networks (Abstract)

Sara Perez-Soler , Universidad Autónoma de Madrid (Spain)
Esther Guerra , Universidad Autónoma de Madrid (Spain)
Juan de Lara , Universidad Autónoma de Madrid (Spain)
Francisco Jurado , Universidad Autónoma de Madrid (Spain)
pp. 723-728

UNDEAD: Detecting and preventing deadlocks in production software (Abstract)

Jinpeng Zhou , Department of Computer Science, University of Texas at San Antonio, USA
Sam Silvestro , Department of Computer Science, University of Texas at San Antonio, USA
Hongyu Liu , Department of Computer Science, University of Texas at San Antonio, USA
Yan Cai , State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
Tongping Liu , Department of Computer Science, University of Texas at San Antonio, USA
pp. 729-740

Parallel bug-finding in concurrent programs via reduced interleaving instances (Abstract)

Truc L. Nguyen , University of Southampton, UK
Peter Schrammel , University of Sussex, UK
Bernd Fischer , Stellenbosch University, South Africa
Salvatore La Torre , Universita degli Studi di Salerno, Italy
Gennaro Parlato , University of Southampton, UK
pp. 753-764

Understanding and overcoming parallelism bottlenecks in ForkJoin applications (Abstract)

Gustavo Pinto , UFPA, Brazil
Anthony Canino , SUNY Binghamton, USA
Fernando Castor , UFPE, Brazil
Guoqing Xu , UC Irvine, USA
Yu David Liu , SUNY Binghamton, USA
pp. 765-775

Quick verification of concurrent programs by iteratively relaxed scheduling (Abstract)

Patrick Metzler , Technische Univeristät Darmstadt, Germany
Habib Saissi , Technische Univeristät Darmstadt, Germany
Peter Bokor , Technische Univeristät Darmstadt, Germany
Neeraj Suri , Technische Univeristät Darmstadt, Germany
pp. 776-781

Automatic loop-invariant generation anc refinement through selective sampling (Abstract)

Jiaying Li , Singapore University of Technology and Design, Singapore
Jun Sun , Singapore University of Technology and Design, Singapore
Li Li , Singapore University of Technology and Design, Singapore
Quang Loc Le , School of Computing, Teesside University, United Kingdom
Shang-Wei Lin , School of Computer Science and Engineering, Nanyang Technological University, Singapore
pp. 782-792

FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers (Abstract)

Shang-Wei Lin , School of Computer Science and Engineering, Nanyang Technological University, Singapore
Jun Sun , Singapore University of Technology and Design, Singapore
Hao Xiao , School of Computer Science and Engineering, Nanyang Technological University, Singapore
Yang Liu , School of Computer Science and Engineering, Nanyang Technological University, Singapore
David Sanan , School of Computer Science and Engineering, Nanyang Technological University, Singapore
Henri Hansen , Tampere University of Technology, Finland
pp. 793-803

Symlnfer: Inferring program invariants using symbolic states (Abstract)

ThanhVu Nguyen , University of Nebraska-Lincoln, USA
Matthew B. Dwyer , University of Nebraska-Lincoln, USA
Willem Visser , Stellenbosch University, South Africa
pp. 804-814

Parsimony: An IDE for example-guided synthesis of lexers and parsers (Abstract)

Alan Leung , University of California, San Diego, USA
Sorin Lerner , University of California, San Diego, USA
pp. 815-825

Mining constraints for event-based monitoring in systems of systems (Abstract)

Thomas Krismayer , Christian Doppler Laboratory MEVSS, Institute for Software Systems Engineering, Johannes Kepler University Linz, Austria
Rick Rabiser , Christian Doppler Laboratory MEVSS, Institute for Software Systems Engineering, Johannes Kepler University Linz, Austria
Paul GrUnbacher , Christian Doppler Laboratory MEVSS, Institute for Software Systems Engineering, Johannes Kepler University Linz, Austria
pp. 826-831

Programming bots by synthesizing natural language expressions into API invocations (Abstract)

Shayan Zamanirad , School of Computer Science and Engineering, University of New South Wales (UNSW), Sydney, NSW 2052
Boualem Benatallah , School of Computer Science and Engineering, University of New South Wales (UNSW), Sydney, NSW 2052
Moshe Chai Barukh , School of Computer Science and Engineering, University of New South Wales (UNSW), Sydney, NSW 2052
Fabio Casati , University of Trento, Italy / Tomsk Polytechnic University, Russia
Carlos Rodriguez , School of Computer Science and Engineering, University of New South Wales (UNSW), Sydney, NSW 2052
pp. 832-837

Test suite parallelization in open-source projects: A study on its usage and impact (Abstract)

Jeanderson Candido , Federal University of Pernambuco, Pernambuco, Brazil
Luis Melo , Federal University of Pernambuco, Pernambuco, Brazil
Marcelo d'Amorim , Federal University of Pernambuco, Pernambuco, Brazil
pp. 838-848

Systematic reduction of GUI test sequences (Abstract)

Lin Cheng , Western Michigan University, Kalamazoo, MI, USA
Zijiang Yang , Western Michigan University, Kalamazoo, MI, USA
Chao Wang , University of Southern California, Los Angeles, CA, USA
pp. 849-860

Automatically reducing tree-structured test inputs (Abstract)

Satia Herfert , Department of Computer Science, TU Darmstadt, Germany
Jibesh Patra , Department of Computer Science, TU Darmstadt, Germany
Michael Pradel , Department of Computer Science, TU Darmstadt, Germany
pp. 861-871

Synthetic data generation for statistical testing (Abstract)

Ghanem Soltana , SnT Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
Mehrdad Sabetzadeh , SnT Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
Lionel C. Briand , SnT Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
pp. 872-882

SEALANT: A detection and visualization tool for inter-app security vulnerabilities in androic (Abstract)

Youn Kyu Lee , Computer Science Department, University of Southern California, 941 Bloom Walk, Los Angeles, California, USA 90089
Peera Yoodee , Computer Science Department, University of Southern California, 941 Bloom Walk, Los Angeles, California, USA 90089
Arman Shahbazian , Computer Science Department, University of Southern California, 941 Bloom Walk, Los Angeles, California, USA 90089
Daye Nam , Computer Science Department, University of Southern California, 941 Bloom Walk, Los Angeles, California, USA 90089
Nenad Medvidovic , Computer Science Department, University of Southern California, 941 Bloom Walk, Los Angeles, California, USA 90089
pp. 883-888

Visualization support for requirements monitoring in systems of systems (Abstract)

Lisa Maria Kritzinger , Christian Doppler Lab MEVSS, ISSE, Johannes Kepler University Linz, Austria
Thomas Krismayer , Christian Doppler Lab MEVSS, ISSE, Johannes Kepler University Linz, Austria
Michael Vierhauser , Computer Science and Engineering, University of Notre Dame, IN, USA
Rick Rabiser , Christian Doppler Lab MEVSS, ISSE, Johannes Kepler University Linz, Austria
Paul Grunbacher , Christian Doppler Lab MEVSS, ISSE, Johannes Kepler University Linz, Austria
pp. 889-894

A demonstration of simultaneous execution and editing in a development environment (Abstract)

Steven P. Reiss , Department of Computer Science, Brown University, Providence, RI 02912, USA
Qi Xin , Department of Computer Science, Brown University, Providence, RI 02912, USA
pp. 895-900

TREM: A tool for mining timed regular specifications from system traces (Abstract)

Lukas Schmidt , Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, ON N2L 3G1, Canada
Apurva Narayan , Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, ON N2L 3G1, Canada
Sebastian Fischmeister , Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, ON N2L 3G1, Canada
pp. 901-906

ModelWriter: Text and model-synchronized document engineering platform (Abstract)

Ferhat Erata , Information Technology Group, Wageningen University and Research Centre, The Netherlands
Claire Gardent , CNRS, LORIA, UMR 7503 Vandoeuvre-les-Nancy, F-54500, Nancy, France
Bikash Gyawali , CNRS, LORIA, UMR 7503 Vandoeuvre-les-Nancy, F-54500, Nancy, France
Anastasia Shimorina , CNRS, LORIA, UMR 7503 Vandoeuvre-les-Nancy, F-54500, Nancy, France
Yvan Lussaud , System Engineering Platforms, Airbus Group Innovations, Toulouse, France
Bedir Tekinerdogan , Information Technology Group, Wageningen University and Research Centre, The Netherlands
Geylani Kardas , Ege University, International Computer Institute, Izmir, Turkey
Anne Monceaux , UNIT Information Technologies R&D Ltd., Izmir, Turkey
pp. 907-912

Incrementally slicing editable submodels (Abstract)

Christopher Pietsch , Software Engineering Group, University of Siegen, Germany
Manuel Ohrndorf , Software Engineering Group, University of Siegen, Germany
Udo Kelter , Software Engineering Group, University of Siegen, Germany
Timo Kehrer , Department of Computer Science, Humboldt-University of Berlin, Germany
pp. 913-918

DSSynth: An automated digital controller synthesis tool for physical plants (Abstract)

Alessandro Abate , University of Oxford, Oxford, United Kingdom
Iury Bessa , Federal University of Amazonas, Manaus, Brazil
Dario Cattaruzza , University of Oxford, Oxford, United Kingdom
Lennon Chaves , Federal University of Amazonas, Manaus, Brazil
Lucas Cordeiro , University of Oxford, Oxford, United Kingdom
Cristina David , University of Oxford, Oxford, United Kingdom
Pascal Kesseli , University of Oxford, Oxford, United Kingdom
Daniel Kroening , University of Oxford, Oxford, United Kingdom
Elizabeth Polgreen , University of Oxford, Oxford, United Kingdom
pp. 919-924

A static analysis tool with optimizations for reachability determination (Abstract)

Yuexing Wang , Key Laboratory for Information System Security, Ministry of Education, China
Min Zhou , Key Laboratory for Information System Security, Ministry of Education, China
Yu Jiang , Key Laboratory for Information System Security, Ministry of Education, China
Xiaoyu Song , Electrical and Computer Engineering, Portland State University, USA
Ming Gu , Key Laboratory for Information System Security, Ministry of Education, China
Jiaguang Sun , Key Laboratory for Information System Security, Ministry of Education, China
pp. 925-930

CogniCrypt: Supporting developers in using cryptography (Abstract)

Stefan Kruger , Paderborn University, Germany
Sarah Nadi , University of Alberta, Canada
Michael Reif , Technische Universität Darmstadt, Germany
Karim Ali , University of Alberta, Canada
Mira Mezini , Technische Universität Darmstadt, Germany
Eric Bodden , Paderborn University, Germany
Florian Gopfert , Technische Universität Darmstadt, Germany
Felix Gunther , Technische Universität Darmstadt, Germany
Christian Weinert , Technische Universität Darmstadt, Germany
Daniel Demmler , Technische Universität Darmstadt, Germany
Ram Kamath , Technische Universität Darmstadt, Germany
pp. 931-936

BProVe: Tool support for business process verification (Abstract)

Flavio Corradini , University of Camerino, Italy
Fabrizio Fornari , University of Camerino, Italy
Andrea Polini , University of Camerino, Italy
Barbara Re , University of Camerino, Italy
Francesco Tiezzi , University of Camerino, Italy
Andrea Vandin , DTU Compute, Denmark
pp. 937-942

Taco: A tool to generate tensor algebra kernels (Abstract)

Fredrik Kjolstad , MIT CSAIL, USA
Stephen Chou , MIT CSAIL, USA
David Lugato , CEA, France
Shoaib Kamil , Adobe, USA
Saman Amarasinghe , MIT CSAIL, USA
pp. 943-948

STARTS: STAtic regression test selection (Abstract)

Owolabi Legunsen , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
August Shi , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
Darko Marinov , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
pp. 949-954

EventFlowSlicer: A tool for generating realistic goal-driven GUI tests (Abstract)

Jonathan A. Saddler , Department of Computer Science & Engineering, University of Nebraska-Lincoln, Lincoln, NE 68588-0115, USA
Myra B. Cohen , Department of Computer Science & Engineering, University of Nebraska-Lincoln, Lincoln, NE 68588-0115, USA
pp. 955-960

ANDROFLEET: Testing WiFi peer-to-peer mobile apps in the large (Abstract)

Lakhdar Meftah , Inria / University of Lille, France
Maria Gomez , Saarland University, Germany
Romain Rouvoy , University of Lille / Inria / Institut Universitaire de France, France
Isabelle Chrisment , Telecom Nancy / Inria, France
pp. 961-966

FEMIR: A tool for recommending framework extension examples (Abstract)

Muhammad Asaduzzaman , Department of Computer Science, University of Saskatchewan, Canada
Chanchal K. Roy , Department of Computer Science, University of Saskatchewan, Canada
Kevin A. Schneider , Department of Computer Science, University of Saskatchewan, Canada
Daqing Hou , Electrical and Computer Engineering Department, Clarkson University, USA
pp. 967-972

TiQi: A natural language interface for querying software project data (Abstract)

Jinfeng Lin , University of Notre Dame, South Bend, IN, USA
Yalin Liu , University of Notre Dame, South Bend, IN, USA
Jin Guo , University of Notre Dame, South Bend, IN, USA
Jane Cleland-Huang , University of Notre Dame, South Bend, IN, USA
William Goss , School of Computing, DePaul University, Chicago, USA
Wenchuang Liu , School of Computing, DePaul University, Chicago, USA
Sugandha Lohar , School of Computing, DePaul University, Chicago, USA
Natawut Monaikul , School of Computing, DePaul University, Chicago, USA
Alexander Rasin , School of Computing, DePaul University, Chicago, USA
pp. 973-977

Opiner: An opinion search and summarization engine for APIs (Abstract)

Gias Uddin , School of Computer Science, McGill University, Montréal, QC, Canada
Foutse Khomh , SWAT Lab, Polytechnique Montréal, QC, Canada
pp. 978-983

Defaultification refactoring: A tool for automatically converting Java methods to default (Abstract)

Raffi Khatchadourian , City University of New York, USA
Hidehiko Masuhara , Tokyo Institute of Technology, Japan
pp. 984-989

Kobold: Web usability as a service (Abstract)

Julian Grigera , LIFIA, Universidad Nacional de La Plata, Argentina, Also at CIC, Argentina
Alejandra Garrido , LIFIA, Universidad Nacional de La Plata, Argentina, Also at CONICET, Argentina
Gustavo Rossi , LIFIA, Universidad Nacional de La Plata, Argentina, Also at CONICET, Argentina
pp. 990-995

IntPTI: Automatic integer error repair with proper-type inference (Abstract)

Xi Cheng , School of Software, TNLIST, KLISS, Tsinghua University, China
Min Zhou , School of Software, TNLIST, KLISS, Tsinghua University, China
Xiaoyu Song , Electrical and Computer Engineering, Portland State University, USA
Ming Gu , School of Software, TNLIST, KLISS, Tsinghua University, China
Jiaguang Sun , School of Software, TNLIST, KLISS, Tsinghua University, China
pp. 996-1001

Learning effective changes for software projects (Abstract)

Rahul Krishna , Comptuer Science, North Carolina State University, USA
pp. 1002-1005

Characterizing and taming non-deterministic bugs in Javascript applications (Abstract)

Jie Wang , State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, China, University of Chinese Academy of Sciences, China
pp. 1006-1009

Towards API-specific automatic program repair (Abstract)

Sebastian Nielebock , Chair of Software Engineering, Faculty of Computer Science, Otto-von-Guericke University Magdeburg, Germany
pp. 1010-1013

Managing software evolution through semantic history slicing (Abstract)

Yi Li , Department of Computer Science, University of Toronto, Toronto, ON, Canada
pp. 1014-1017

Towards the automatic classification of traceability links (Abstract)

Chris Mills , Department of Computer Science, Florida State University, Tallahassee, USA
pp. 1018-1021

Towards a software vulnerability prediction model using traceable code patterns and software metrics (Abstract)

Kazi Zakia Sultana , Department of Computer Science and Engineering, Mississippi State University, MS, USA
pp. 1022-1025

Towards search-based modelling and analysis of requirements and architecture decisions (Abstract)

Saheed A. Busari , Software Systems Engineering, Department of Computer Science, University College London, United Kingdom
pp. 1026-1029

Privacy-aware data-intensive applications (Abstract)

Michele Guerriero , Politecnico di Milano, DEIB, Italy
pp. 1030-1033
100 ms
(Ver 3.3 (11022016))