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
Message from the chairs (PDF)
pp. iii-xi
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
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
Promoting secondary orders of event pairs in randomized scheduling using a randomized stride (Abstract)
Mahmoud Abdelrasoul , North Carolina State University, USA
pp. 741-752
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
