ASE 2017 – Author Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

	Aafer, Yousra	ASE '17: "PAD: Programming Third-Party ..." PAD: Programming Third-Party Web Advertisement Censorship Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster (Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany) @InProceedings{ASE17p544, author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster}, title = {PAD: Programming Third-Party Web Advertisement Censorship}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {544-543}, doi = {}, year = {2017}, } Article: ase17main-mainp431-p (type: Technical Research) doi: ASE '17: "UI Driven Android Application ..." UI Driven Android Application Reduction Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, and Chen Tian (Purdue University, USA; Huawei, USA) @InProceedings{ASE17p592, author = {Jianjun Huang and Yousra Aafer and David Perry and Xiangyu Zhang and Chen Tian}, title = {UI Driven Android Application Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {592-591}, doi = {}, year = {2017}, } Article: ase17main-mainp335-p (type: Technical Research) doi:
	Abate, Alessandro	ASE '17: "DSSynth: An Automated Digital ..." DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen (University of Oxford, UK; Federal University of Amazonas, Brazil) @InProceedings{ASE17p1252, author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen}, title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1252-1251}, doi = {}, year = {2017}, } Article: ase17demo-demoid12-p (type: Short Paper) doi:
	Abdelrasoul, Mahmoud	ASE '17: "Promoting Secondary Orders ..." Promoting Secondary Orders of Event Pairs in Randomized Scheduling using a Randomized Stride Mahmoud Abdelrasoul (North Carolina State University, USA) @InProceedings{ASE17p1066, author = {Mahmoud Abdelrasoul}, title = {Promoting Secondary Orders of Event Pairs in Randomized Scheduling using a Randomized Stride}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1066-1065}, doi = {}, year = {2017}, } Article: ase17main-mainp481-p (type: Technical Research) doi:
	Agarwal, Yuvraj	ASE '17: "Transfer Learning for Performance ..." Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis Pooyan Jamshidi, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, and Yuvraj Agarwal (Carnegie Mellon University, USA; Bauhaus-University Weimar, Germany) @InProceedings{ASE17p814, author = {Pooyan Jamshidi and Norbert Siegmund and Miguel Velez and Christian Kästner and Akshay Patel and Yuvraj Agarwal}, title = {Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {814-813}, doi = {}, year = {2017}, } Article: ase17main-mainp258-p (type: Technical Research) doi:
	Ahmed, Toufique	ASE '17: "SentiCR: A Customized Sentiment ..." SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions Toufique Ahmed, Amiangshu Bosu, Anindya Iqbal, and Shahram Rahimi (Bangladesh University of Engineering and Technology, Bangladesh; Southern Illinois University at Carbondale, USA) @InProceedings{ASE17p406, author = {Toufique Ahmed and Amiangshu Bosu and Anindya Iqbal and Shahram Rahimi}, title = {SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {406-405}, doi = {}, year = {2017}, } Article: ase17main-mainp111-p (type: New Ideas) doi:
	Alatawi, Eman	ASE '17: "Leveraging Abstract Interpretation ..." Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution Eman Alatawi, Harald Søndergaard, and Tim Miller (University of Melbourne, Australia) @InProceedings{ASE17p940, author = {Eman Alatawi and Harald Søndergaard and Tim Miller}, title = {Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {940-939}, doi = {}, year = {2017}, } Article: ase17main-mainp324-p (type: New Ideas) doi:
	Ali, Karim	ASE '17: "CogniCrypt: Supporting Developers ..." CogniCrypt: Supporting Developers in Using Cryptography Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath (University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany) @InProceedings{ASE17p1264, author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath}, title = {CogniCrypt: Supporting Developers in Using Cryptography}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1264-1263}, doi = {}, year = {2017}, } Article: ase17demo-demoid7-p (type: Short Paper) doi:
	Amarasinghe, Saman	ASE '17: "taco: A Tool to Generate Tensor ..." taco: A Tool to Generate Tensor Algebra Kernels Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA) @InProceedings{ASE17p1276, author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe}, title = {taco: A Tool to Generate Tensor Algebra Kernels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1276-1275}, doi = {}, year = {2017}, } Article: ase17demo-demoid16-p (type: Short Paper) doi:
	Aniche, Maurício	ASE '17: "Why and How JavaScript Developers ..." Why and How JavaScript Developers Use Linters Kristín Fjóla Tómasdóttir, Maurício Aniche, and Arie van Deursen (Delft University of Technology, Netherlands) @InProceedings{ASE17p898, author = {Kristín Fjóla Tómasdóttir and Maurício Aniche and Arie van Deursen}, title = {Why and How JavaScript Developers Use Linters}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {898-897}, doi = {}, year = {2017}, } Article: ase17main-mainp262-p (type: Technical Research) doi:
	Apel, Sven	ASE '17: "Renaming and Shifted Code ..." Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, and Janet Siegmund (University of Passau, Germany; Carnegie Mellon University, USA) @InProceedings{ASE17p862, author = {Olaf Leßenich and Sven Apel and Christian Kästner and Georg Seibt and Janet Siegmund}, title = {Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {862-861}, doi = {}, year = {2017}, } Article: ase17main-mainp356-p (type: Technical Research) doi:
	Aranovich, Raul	ASE '17: "Perceived Language Complexity ..." Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution David Kavaler, Sasha Sirovica, Vincent Hellendoorn, Raul Aranovich, and Vladimir Filkov (University of California at Davis, USA) @InProceedings{ASE17p370, author = {David Kavaler and Sasha Sirovica and Vincent Hellendoorn and Raul Aranovich and Vladimir Filkov}, title = {Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {370-369}, doi = {}, year = {2017}, } Article: ase17main-mainp352-p (type: Technical Research) doi:
	Armaly, Ameer	ASE '17: "Automatically Generating Commit ..." Automatically Generating Commit Messages from Diffs using Neural Machine Translation Siyuan Jiang, Ameer Armaly, and Collin McMillan (University of Notre Dame, USA) @InProceedings{ASE17p436, author = {Siyuan Jiang and Ameer Armaly and Collin McMillan}, title = {Automatically Generating Commit Messages from Diffs using Neural Machine Translation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {436-435}, doi = {}, year = {2017}, } Article: ase17main-mainp041-p (type: Technical Research) doi:
	Asaduzzaman, Muhammad	ASE '17: "FEMIR: A Tool for Recommending ..." FEMIR: A Tool for Recommending Framework Extension Examples Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou (University of Saskatchewan, Canada; Clarkson University, USA) @InProceedings{ASE17p1300, author = {Muhammad Asaduzzaman and Chanchal K. Roy and Kevin A. Schneider and Daqing Hou}, title = {FEMIR: A Tool for Recommending Framework Extension Examples}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1300-1299}, doi = {}, year = {2017}, } Article: ase17demo-demoid32-p (type: Short Paper) doi:
	Avdiienko, Vitalii	ASE '17: "Detecting Information Flow ..." Detecting Information Flow by Mutating Input Data Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, and Andreas Zeller (Saarland University, Germany; National University of Singapore, Singapore) @InProceedings{ASE17p568, author = {Björn Mathis and Vitalii Avdiienko and Ezekiel O. Soremekun and Marcel Böhme and Andreas Zeller}, title = {Detecting Information Flow by Mutating Input Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {568-567}, doi = {}, year = {2017}, } Article: ase17main-mainp148-p (type: Technical Research) doi:
	Bandara, Arosha K.	ASE '17: "Learning to Share: Engineering ..." Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh (Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland) @InProceedings{ASE17p586, author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh}, title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {586-585}, doi = {}, year = {2017}, } Article: ase17main-mainp093-p (type: New Ideas) doi:
	Bavota, Gabriele	ASE '17: "Automatically Assessing Code ..." Automatically Assessing Code Understandability: How Far Are We? Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto (University of Molise, Italy; University of Lugano, Switzerland; College of William and Mary, USA; Universidad de los Andes, Colombia) @InProceedings{ASE17p730, author = {Simone Scalabrino and Gabriele Bavota and Christopher Vendome and Mario Linares-Vásquez and Denys Poshyvanyk and Rocco Oliveto}, title = {Automatically Assessing Code Understandability: How Far Are We?}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {730-729}, doi = {}, year = {2017}, } Article: ase17main-mainp213-p (type: Technical Research) doi:
	Benatallah, Boualem	ASE '17: "Programming Bots by Synthesizing ..." Programming Bots by Synthesizing Natural Language Expressions into API Invocations Shayan Zamanirad, Boualem Benatallah, Moshe Chai Barukh, Fabio Casati, and Carlos Rodriguez (UNSW, Australia; University of Trento, Italy; Tomsk Polytechnic University, Russia) @InProceedings{ASE17p1162, author = {Shayan Zamanirad and Boualem Benatallah and Moshe Chai Barukh and Fabio Casati and Carlos Rodriguez}, title = {Programming Bots by Synthesizing Natural Language Expressions into API Invocations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1162-1161}, doi = {}, year = {2017}, } Article: ase17main-mainp054-p (type: New Ideas) doi:
	Bessa, Iury	ASE '17: "DSSynth: An Automated Digital ..." DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen (University of Oxford, UK; Federal University of Amazonas, Brazil) @InProceedings{ASE17p1252, author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen}, title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1252-1251}, doi = {}, year = {2017}, } Article: ase17demo-demoid12-p (type: Short Paper) doi:
	Binkley, David	ASE '17: "Predicting Relevance of Change ..." Predicting Relevance of Change Recommendations Thomas Rolfsnes, Leon Moonen, and David Binkley (Simula Research Laboratory, Norway; Loyola University Maryland, USA) @InProceedings{ASE17p1018, author = {Thomas Rolfsnes and Leon Moonen and David Binkley}, title = {Predicting Relevance of Change Recommendations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1018-1017}, doi = {}, year = {2017}, } Article: ase17main-mainp484-p (type: Technical Research) doi:
	Bodden, Eric	ASE '17: "CogniCrypt: Supporting Developers ..." CogniCrypt: Supporting Developers in Using Cryptography Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath (University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany) @InProceedings{ASE17p1264, author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath}, title = {CogniCrypt: Supporting Developers in Using Cryptography}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1264-1263}, doi = {}, year = {2017}, } Article: ase17demo-demoid7-p (type: Short Paper) doi:
	Boehm, Barry	ASE '17: "Improving Missing Issue-Commit ..." Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data Yan Sun, Celia Chen, Qing Wang, and Barry Boehm (University at Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Occidental College, USA; University of Southern California, USA) @InProceedings{ASE17p448, author = {Yan Sun and Celia Chen and Qing Wang and Barry Boehm}, title = {Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {448-447}, doi = {}, year = {2017}, } Article: ase17main-mainp161-p (type: New Ideas) doi: ASE '17: "Understanding Feature Requests ..." Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis Lin Shi, Celia Chen, Qing Wang, Shoubin Li, and Barry Boehm (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; University of Southern California, USA; Occidental College, USA) @InProceedings{ASE17p754, author = {Lin Shi and Celia Chen and Qing Wang and Shoubin Li and Barry Boehm}, title = {Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {754-753}, doi = {}, year = {2017}, } Article: ase17main-mainp060-p (type: Technical Research) doi:
	Böhme, Marcel	ASE '17: "Detecting Information Flow ..." Detecting Information Flow by Mutating Input Data Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, and Andreas Zeller (Saarland University, Germany; National University of Singapore, Singapore) @InProceedings{ASE17p568, author = {Björn Mathis and Vitalii Avdiienko and Ezekiel O. Soremekun and Marcel Böhme and Andreas Zeller}, title = {Detecting Information Flow by Mutating Input Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {568-567}, doi = {}, year = {2017}, } Article: ase17main-mainp148-p (type: Technical Research) doi:
	Bokor, Péter	ASE '17: "Quick Verification of Concurrent ..." Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling Patrick Metzler, Habib Saissi, Péter Bokor, and Neeraj Suri (TU Darmstadt, Germany) @InProceedings{ASE17p1102, author = {Patrick Metzler and Habib Saissi and Péter Bokor and Neeraj Suri}, title = {Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1102-1101}, doi = {}, year = {2017}, } Article: ase17main-mainp185-p (type: New Ideas) doi:
	Boockmann, Jan H.	ASE '17: "DSIbin: Identifying Dynamic ..." DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, and Herbert Bos (University of Bamberg, Germany; Microsoft, Canada; VU University Amsterdam, Netherlands) @InProceedings{ASE17p640, author = {Thomas Rupprecht and Xi Chen and David H. White and Jan H. Boockmann and Gerald Lüttgen and Herbert Bos}, title = {DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {640-639}, doi = {}, year = {2017}, } Article: ase17main-mainp483-p (type: Technical Research) doi:
	Bos, Herbert	ASE '17: "DSIbin: Identifying Dynamic ..." DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, and Herbert Bos (University of Bamberg, Germany; Microsoft, Canada; VU University Amsterdam, Netherlands) @InProceedings{ASE17p640, author = {Thomas Rupprecht and Xi Chen and David H. White and Jan H. Boockmann and Gerald Lüttgen and Herbert Bos}, title = {DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {640-639}, doi = {}, year = {2017}, } Article: ase17main-mainp483-p (type: Technical Research) doi:
	Bosu, Amiangshu	ASE '17: "SentiCR: A Customized Sentiment ..." SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions Toufique Ahmed, Amiangshu Bosu, Anindya Iqbal, and Shahram Rahimi (Bangladesh University of Engineering and Technology, Bangladesh; Southern Illinois University at Carbondale, USA) @InProceedings{ASE17p406, author = {Toufique Ahmed and Amiangshu Bosu and Anindya Iqbal and Shahram Rahimi}, title = {SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {406-405}, doi = {}, year = {2017}, } Article: ase17main-mainp111-p (type: New Ideas) doi:
	Braberman, Víctor	ASE '17: "Model Checker Execution Reports ..." Model Checker Execution Reports Rodrigo Castaño, Víctor Braberman, Diego Garbervetsky, and Sebastian Uchitel (University of Buenos Aires, Argentina; CONICET, Argentina) @InProceedings{ASE17p502, author = {Rodrigo Castaño and Víctor Braberman and Diego Garbervetsky and Sebastian Uchitel}, title = {Model Checker Execution Reports}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {502-501}, doi = {}, year = {2017}, } Article: ase17main-mainp248-p (type: New Ideas) doi:
	Briand, Lionel C.	ASE '17: "Synthetic Data Generation ..." Synthetic Data Generation for Statistical Testing Ghanem Soltana, Mehrdad Sabetzadeh, and Lionel C. Briand (University of Luxembourg, Luxembourg) @InProceedings{ASE17p1204, author = {Ghanem Soltana and Mehrdad Sabetzadeh and Lionel C. Briand}, title = {Synthetic Data Generation for Statistical Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1204-1203}, doi = {}, year = {2017}, } Article: ase17main-mainp079-p (type: Technical Research) doi:
	Brun, Yuriy	ASE '17: "Tortoise: Interactive System ..." Tortoise: Interactive System Configuration Repair Aaron Weiss, Arjun Guha, and Yuriy Brun (Northeastern University, USA; University of Massachusetts at Amherst, USA) @InProceedings{ASE17p946, author = {Aaron Weiss and Arjun Guha and Yuriy Brun}, title = {Tortoise: Interactive System Configuration Repair}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {946-945}, doi = {}, year = {2017}, } Article: ase17main-mainp094-p (type: Technical Research) doi:
	Bu, Lei	ASE '17: "Sketch-Guided GUI Test Generation ..." Sketch-Guided GUI Test Generation for Mobile Applications Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li (Nanjing University, China) @InProceedings{ASE17p334, author = {Chucheng Zhang and Haoliang Cheng and Enyi Tang and Xin Chen and Lei Bu and Xuandong Li}, title = {Sketch-Guided GUI Test Generation for Mobile Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {334-333}, doi = {}, year = {2017}, } Article: ase17main-mainp022-p (type: New Ideas) doi:
	Busari, Saheed A.	ASE '17: "Towards Search-Based Modelling ..." Towards Search-Based Modelling and Analysis of Requirements and Architecture Decisions Saheed A. Busari (University College London, UK) @InProceedings{ASE17p1360, author = {Saheed A. Busari}, title = {Towards Search-Based Modelling and Analysis of Requirements and Architecture Decisions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1360-1359}, doi = {}, year = {2017}, } Article: ase17doc-doc2-p (type: Doctoral symposium (4 pages)) doi:
	Cabot, Jordi	ASE '17: "Gremlin-ATL: A Scalable Model ..." Gremlin-ATL: A Scalable Model Transformation Framework Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, and Jordi Cabot (AtlanMod, France; Inria, France; Groupe ESEO, France; ICREA, Spain; Open University of Catalonia, Spain) @InProceedings{ASE17p778, author = {Gwendal Daniel and Frédéric Jouault and Gerson Sunyé and Jordi Cabot}, title = {Gremlin-ATL: A Scalable Model Transformation Framework}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {778-777}, doi = {}, year = {2017}, } Article: ase17main-mainp191-p (type: Technical Research) doi:
	Cadar, Cristian	ASE '17: "Automatic Testing of Symbolic ..." Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing Timotej Kapus and Cristian Cadar (Imperial College London, UK) @InProceedings{ASE17p910, author = {Timotej Kapus and Cristian Cadar}, title = {Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {910-909}, doi = {}, year = {2017}, } Article: ase17main-mainp329-p (type: Experience) doi: ASE '17: "Floating-Point Symbolic Execution: ..." Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, and Klaus Wehrle (Imperial College London, UK; RWTH Aachen University, Germany) @InProceedings{ASE17p922, author = {Daniel Liew and Daniel Schemmel and Cristian Cadar and Alastair F. Donaldson and Rafael Zähl and Klaus Wehrle}, title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {922-921}, doi = {}, year = {2017}, } Article: ase17main-mainp252-p (type: Experience) doi:
	Cai, Yan	ASE '17: "UNDEAD: Detecting and Preventing ..." UNDEAD: Detecting and Preventing Deadlocks in Production Software Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu (University of Texas at San Antonio, USA; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{ASE17p1054, author = {Jinpeng Zhou and Sam Silvestro and Hongyu Liu and Yan Cai and Tongping Liu}, title = {UNDEAD: Detecting and Preventing Deadlocks in Production Software}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1054-1053}, doi = {}, year = {2017}, } Article: ase17main-mainp051-p (type: Technical Research) doi: ASE '17: "Automatically Assessing Crashes ..." Automatically Assessing Crashes from Heap Overflows Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng (Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore) @InProceedings{ASE17p580, author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng}, title = {Automatically Assessing Crashes from Heap Overflows}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {580-579}, doi = {}, year = {2017}, } Article: ase17main-mainp011-p (type: New Ideas) doi:
	Calikli, Gul	ASE '17: "Learning to Share: Engineering ..." Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh (Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland) @InProceedings{ASE17p586, author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh}, title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {586-585}, doi = {}, year = {2017}, } Article: ase17main-mainp093-p (type: New Ideas) doi:
	Candido, Jeanderson	ASE '17: "Test Suite Parallelization ..." Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact Jeanderson Candido, Luis Melo, and Marcelo d’Amorim (Federal University of Pernambuco, Brazil) @InProceedings{ASE17p1168, author = {Jeanderson Candido and Luis Melo and Marcelo d’Amorim}, title = {Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1168-1167}, doi = {}, year = {2017}, } Article: ase17main-mainp397-p (type: Technical Research) doi:
	Canino, Anthony	ASE '17: "Understanding and Overcoming ..." Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, and Yu David Liu (Federal University of Paríç, Brazil; SUNY Binghamton, USA; Federal University of Pernambuco, Brazil; University of California at Irvine, USA) @InProceedings{ASE17p1090, author = {Gustavo Pinto and Anthony Canino and Fernando Castor and Guoqing Xu and Yu David Liu}, title = {Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1090-1089}, doi = {}, year = {2017}, } Article: ase17main-mainp311-p (type: Technical Research) doi:
	Casati, Fabio	ASE '17: "Programming Bots by Synthesizing ..." Programming Bots by Synthesizing Natural Language Expressions into API Invocations Shayan Zamanirad, Boualem Benatallah, Moshe Chai Barukh, Fabio Casati, and Carlos Rodriguez (UNSW, Australia; University of Trento, Italy; Tomsk Polytechnic University, Russia) @InProceedings{ASE17p1162, author = {Shayan Zamanirad and Boualem Benatallah and Moshe Chai Barukh and Fabio Casati and Carlos Rodriguez}, title = {Programming Bots by Synthesizing Natural Language Expressions into API Invocations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1162-1161}, doi = {}, year = {2017}, } Article: ase17main-mainp054-p (type: New Ideas) doi:
	Castaño, Rodrigo	ASE '17: "Model Checker Execution Reports ..." Model Checker Execution Reports Rodrigo Castaño, Víctor Braberman, Diego Garbervetsky, and Sebastian Uchitel (University of Buenos Aires, Argentina; CONICET, Argentina) @InProceedings{ASE17p502, author = {Rodrigo Castaño and Víctor Braberman and Diego Garbervetsky and Sebastian Uchitel}, title = {Model Checker Execution Reports}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {502-501}, doi = {}, year = {2017}, } Article: ase17main-mainp248-p (type: New Ideas) doi:
	Castor, Fernando	ASE '17: "Understanding and Overcoming ..." Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, and Yu David Liu (Federal University of Paríç, Brazil; SUNY Binghamton, USA; Federal University of Pernambuco, Brazil; University of California at Irvine, USA) @InProceedings{ASE17p1090, author = {Gustavo Pinto and Anthony Canino and Fernando Castor and Guoqing Xu and Yu David Liu}, title = {Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1090-1089}, doi = {}, year = {2017}, } Article: ase17main-mainp311-p (type: Technical Research) doi:
	Cattaruzza, Dario	ASE '17: "DSSynth: An Automated Digital ..." DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen (University of Oxford, UK; Federal University of Amazonas, Brazil) @InProceedings{ASE17p1252, author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen}, title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1252-1251}, doi = {}, year = {2017}, } Article: ase17demo-demoid12-p (type: Short Paper) doi:
	Celik, Ahmet	ASE '17: "iCoq: Regression Proof Selection ..." iCoq: Regression Proof Selection for Large-Scale Verification Projects Ahmet Celik, Karl Palmskog, and Milos Gligoric (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE17p472, author = {Ahmet Celik and Karl Palmskog and Milos Gligoric}, title = {iCoq: Regression Proof Selection for Large-Scale Verification Projects}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {472-471}, doi = {}, year = {2017}, } Article: ase17main-mainp407-p (type: Technical Research) doi:
	Cha, Sang Kil	ASE '17: "Testing Intermediate Representations ..." Testing Intermediate Representations for Binary Analysis Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha (KAIST, South Korea; Gachon University, South Korea) @InProceedings{ASE17p664, author = {Soomin Kim and Markus Faerevaag and Minkyu Jung and SeungIl Jung and DongYeop Oh and JongHyup Lee and Sang Kil Cha}, title = {Testing Intermediate Representations for Binary Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {664-663}, doi = {}, year = {2017}, } Article: ase17main-mainp491-p (type: Technical Research) doi:
	Chai Barukh, Moshe	ASE '17: "Programming Bots by Synthesizing ..." Programming Bots by Synthesizing Natural Language Expressions into API Invocations Shayan Zamanirad, Boualem Benatallah, Moshe Chai Barukh, Fabio Casati, and Carlos Rodriguez (UNSW, Australia; University of Trento, Italy; Tomsk Polytechnic University, Russia) @InProceedings{ASE17p1162, author = {Shayan Zamanirad and Boualem Benatallah and Moshe Chai Barukh and Fabio Casati and Carlos Rodriguez}, title = {Programming Bots by Synthesizing Natural Language Expressions into API Invocations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1162-1161}, doi = {}, year = {2017}, } Article: ase17main-mainp054-p (type: New Ideas) doi:
	Chan, W. K.	ASE '17: "SimplyDroid: Efficient Event ..." SimplyDroid: Efficient Event Sequence Simplification for Android Application Bo Jiang, Yuxuan Wu, Teng Li, and W. K. Chan (Beihang University, China; City University of Hong Kong, China) @InProceedings{ASE17p604, author = {Bo Jiang and Yuxuan Wu and Teng Li and W. K. Chan}, title = {SimplyDroid: Efficient Event Sequence Simplification for Android Application}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {604-603}, doi = {}, year = {2017}, } Article: ase17main-mainp016-p (type: Technical Research) doi:
	Chapman, Carl	ASE '17: "Exploring Regular Expression ..." Exploring Regular Expression Comprehension Carl Chapman, Peipei Wang, and Kathryn T. Stolee (Sandia National Laboratories, USA; North Carolina State University, USA) @InProceedings{ASE17p718, author = {Carl Chapman and Peipei Wang and Kathryn T. Stolee}, title = {Exploring Regular Expression Comprehension}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {718-717}, doi = {}, year = {2017}, } Article: ase17main-mainp104-p (type: Technical Research) doi:
	Chaves, Lennon	ASE '17: "DSSynth: An Automated Digital ..." DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen (University of Oxford, UK; Federal University of Amazonas, Brazil) @InProceedings{ASE17p1252, author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen}, title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1252-1251}, doi = {}, year = {2017}, } Article: ase17demo-demoid12-p (type: Short Paper) doi:
	Chen, Celia	ASE '17: "Improving Missing Issue-Commit ..." Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data Yan Sun, Celia Chen, Qing Wang, and Barry Boehm (University at Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Occidental College, USA; University of Southern California, USA) @InProceedings{ASE17p448, author = {Yan Sun and Celia Chen and Qing Wang and Barry Boehm}, title = {Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {448-447}, doi = {}, year = {2017}, } Article: ase17main-mainp161-p (type: New Ideas) doi: ASE '17: "Understanding Feature Requests ..." Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis Lin Shi, Celia Chen, Qing Wang, Shoubin Li, and Barry Boehm (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; University of Southern California, USA; Occidental College, USA) @InProceedings{ASE17p754, author = {Lin Shi and Celia Chen and Qing Wang and Shoubin Li and Barry Boehm}, title = {Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {754-753}, doi = {}, year = {2017}, } Article: ase17main-mainp060-p (type: Technical Research) doi:
	Chen, Enhong	ASE '17: "Systematically Testing Background ..." Systematically Testing Background Services of Mobile Apps Li Lyna Zhang, Chieh-Jan Mike Liang, Yunxin Liu, and Enhong Chen (University of Science and Technology of China, China; Microsoft Research, China) @InProceedings{ASE17p298, author = {Li Lyna Zhang and Chieh-Jan Mike Liang and Yunxin Liu and Enhong Chen}, title = {Systematically Testing Background Services of Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {298-297}, doi = {}, year = {2017}, } Article: ase17main-mainp072-p (type: Technical Research) doi:
	Chen, Jia	ASE '17: "Static Detection of Asymptotic ..." Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications Jia Chen, Oswaldo Olivo, Isil Dillig, and Calvin Lin (University of Texas at Austin, USA) @InProceedings{ASE17p532, author = {Jia Chen and Oswaldo Olivo and Isil Dillig and Calvin Lin}, title = {Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {532-531}, doi = {}, year = {2017}, } Article: ase17main-mainp010-p (type: Technical Research) doi:
	Chen, Liushan	ASE '17: "Contract-Based Program Repair ..." Contract-Based Program Repair without the Contracts Liushan Chen, Yu Pei, and Carlo A. Furia (Hong Kong Polytechnic University, China; Chalmers University of Technology, Sweden) @InProceedings{ASE17p958, author = {Liushan Chen and Yu Pei and Carlo A. Furia}, title = {Contract-Based Program Repair without the Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {958-957}, doi = {}, year = {2017}, } Article: ase17main-mainp157-p (type: Technical Research) doi:
	Chen, Xi	ASE '17: "DSIbin: Identifying Dynamic ..." DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, and Herbert Bos (University of Bamberg, Germany; Microsoft, Canada; VU University Amsterdam, Netherlands) @InProceedings{ASE17p640, author = {Thomas Rupprecht and Xi Chen and David H. White and Jan H. Boockmann and Gerald Lüttgen and Herbert Bos}, title = {DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {640-639}, doi = {}, year = {2017}, } Article: ase17main-mainp483-p (type: Technical Research) doi:
	Chen, Xin	ASE '17: "Sketch-Guided GUI Test Generation ..." Sketch-Guided GUI Test Generation for Mobile Applications Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li (Nanjing University, China) @InProceedings{ASE17p334, author = {Chucheng Zhang and Haoliang Cheng and Enyi Tang and Xin Chen and Lei Bu and Xuandong Li}, title = {Sketch-Guided GUI Test Generation for Mobile Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {334-333}, doi = {}, year = {2017}, } Article: ase17main-mainp022-p (type: New Ideas) doi:
	Cheng, Haoliang	ASE '17: "Sketch-Guided GUI Test Generation ..." Sketch-Guided GUI Test Generation for Mobile Applications Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li (Nanjing University, China) @InProceedings{ASE17p334, author = {Chucheng Zhang and Haoliang Cheng and Enyi Tang and Xin Chen and Lei Bu and Xuandong Li}, title = {Sketch-Guided GUI Test Generation for Mobile Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {334-333}, doi = {}, year = {2017}, } Article: ase17main-mainp022-p (type: New Ideas) doi:
	Cheng, Lin	ASE '17: "Systematic Reduction of GUI ..." Systematic Reduction of GUI Test Sequences Lin Cheng, Zijiang Yang, and Chao Wang (Western Michigan University, USA; University of Southern California, USA) @InProceedings{ASE17p1180, author = {Lin Cheng and Zijiang Yang and Chao Wang}, title = {Systematic Reduction of GUI Test Sequences}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1180-1179}, doi = {}, year = {2017}, } Article: ase17main-mainp168-p (type: Technical Research) doi:
	Cheng, Xi	ASE '17: "IntPTI: Automatic Integer ..." IntPTI: Automatic Integer Error Repair with Proper-Type Inference Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA) @InProceedings{ASE17p1330, author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1330-1329}, doi = {}, year = {2017}, } Article: ase17demo-demoid9-p (type: Short Paper) doi:
	Chou, Stephen	ASE '17: "taco: A Tool to Generate Tensor ..." taco: A Tool to Generate Tensor Algebra Kernels Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA) @InProceedings{ASE17p1276, author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe}, title = {taco: A Tool to Generate Tensor Algebra Kernels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1276-1275}, doi = {}, year = {2017}, } Article: ase17demo-demoid16-p (type: Short Paper) doi:
	Chrisment, Isabelle	ASE '17: "ANDROFLEET: Testing WiFi Peer-to-Peer ..." ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment (Inria, France; University of Lille, France; Saarland University, Germany; Institut Universitaire de France, France; Telecom Nancy, France) @InProceedings{ASE17p1294, author = {Lakhdar Meftah and Maria Gomez and Romain Rouvoy and Isabelle Chrisment}, title = {ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1294-1293}, doi = {}, year = {2017}, } Article: ase17demo-demoid19-p (type: Short Paper) doi:
	Cleland-Huang, Jane	ASE '17: "TiQi: A Natural Language Interface ..." TiQi: A Natural Language Interface for Querying Software Project Data Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin (University of Notre Dame, USA; DePaul University, USA) @InProceedings{ASE17p1306, author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin}, title = {TiQi: A Natural Language Interface for Querying Software Project Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1306-1305}, doi = {}, year = {2017}, } Article: ase17demo-demoid26-p (type: Short Paper) doi: ASE '17: "Diagnosing Assumption Problems ..." Diagnosing Assumption Problems in Safety-Critical Products Mona Rahimi, Wandi Xiong, Jane Cleland-Huang, and Robyn Lutz (DePaul University, USA; Iowa State University, USA; University of Notre Dame, USA) @InProceedings{ASE17p790, author = {Mona Rahimi and Wandi Xiong and Jane Cleland-Huang and Robyn Lutz}, title = {Diagnosing Assumption Problems in Safety-Critical Products}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {790-789}, doi = {}, year = {2017}, } Article: ase17main-mainp008-p (type: Technical Research) doi:
	Cohen, Myra B.	ASE '17: "EventFlowSlicer: A Tool for ..." EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests Jonathan A. Saddler and Myra B. Cohen (University of Nebraska-Lincoln, USA) @InProceedings{ASE17p1288, author = {Jonathan A. Saddler and Myra B. Cohen}, title = {EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1288-1287}, doi = {}, year = {2017}, } Article: ase17demo-demoid29-p (type: Short Paper) doi:
	Coppa, Emilio	ASE '17: "Rethinking Pointer Reasoning ..." Rethinking Pointer Reasoning in Symbolic Execution Emilio Coppa, Daniele Cono D’Elia, and Camil Demetrescu (Sapienza University of Rome, Italy) @InProceedings{ASE17p934, author = {Emilio Coppa and Daniele Cono D’Elia and Camil Demetrescu}, title = {Rethinking Pointer Reasoning in Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {934-933}, doi = {}, year = {2017}, } Article: ase17main-mainp086-p (type: New Ideas) doi:
	Coppik, Nicolas	ASE '17: "TrEKer: Tracing Error Propagation ..." TrEKer: Tracing Error Propagation in Operating System Kernels Nicolas Coppik, Oliver Schwahn, Stefan Winter, and Neeraj Suri (TU Darmstadt, Germany) @InProceedings{ASE17p688, author = {Nicolas Coppik and Oliver Schwahn and Stefan Winter and Neeraj Suri}, title = {TrEKer: Tracing Error Propagation in Operating System Kernels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {688-687}, doi = {}, year = {2017}, } Article: ase17main-mainp167-p (type: Technical Research) doi:
	Cordeiro, Lucas	ASE '17: "DSSynth: An Automated Digital ..." DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen (University of Oxford, UK; Federal University of Amazonas, Brazil) @InProceedings{ASE17p1252, author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen}, title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1252-1251}, doi = {}, year = {2017}, } Article: ase17demo-demoid12-p (type: Short Paper) doi:
	Corradini, Flavio	ASE '17: "BProVe: Tool Support for Business ..." BProVe: Tool Support for Business Process Verification Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin (University of Camerino, Italy; DTU, Denmark) @InProceedings{ASE17p1270, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, title = {BProVe: Tool Support for Business Process Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1270-1269}, doi = {}, year = {2017}, } Article: ase17demo-demoid15-p (type: Short Paper) doi: ASE '17: "BProVe: A Formal Verification ..." BProVe: A Formal Verification Framework for Business Process Models Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin (University of Camerino, Italy; DTU, Denmark) @InProceedings{ASE17p520, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, title = {BProVe: A Formal Verification Framework for Business Process Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {520-519}, doi = {}, year = {2017}, } Article: ase17main-mainp272-p (type: Technical Research) doi:
	D’Amorim, Marcelo	ASE '17: "Test Suite Parallelization ..." Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact Jeanderson Candido, Luis Melo, and Marcelo d’Amorim (Federal University of Pernambuco, Brazil) @InProceedings{ASE17p1168, author = {Jeanderson Candido and Luis Melo and Marcelo d’Amorim}, title = {Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1168-1167}, doi = {}, year = {2017}, } Article: ase17main-mainp397-p (type: Technical Research) doi:
	Daniel, Gwendal	ASE '17: "Gremlin-ATL: A Scalable Model ..." Gremlin-ATL: A Scalable Model Transformation Framework Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, and Jordi Cabot (AtlanMod, France; Inria, France; Groupe ESEO, France; ICREA, Spain; Open University of Catalonia, Spain) @InProceedings{ASE17p778, author = {Gwendal Daniel and Frédéric Jouault and Gerson Sunyé and Jordi Cabot}, title = {Gremlin-ATL: A Scalable Model Transformation Framework}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {778-777}, doi = {}, year = {2017}, } Article: ase17main-mainp191-p (type: Technical Research) doi:
	David, Cristina	ASE '17: "DSSynth: An Automated Digital ..." DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen (University of Oxford, UK; Federal University of Amazonas, Brazil) @InProceedings{ASE17p1252, author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen}, title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1252-1251}, doi = {}, year = {2017}, } Article: ase17demo-demoid12-p (type: Short Paper) doi:
	De Lara, Juan	ASE '17: "The Rise of the (Modelling) ..." The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks Sara Pérez-Soler, Esther Guerra, Juan de Lara, and Francisco Jurado (Autonomous University of Madrid, Spain) @InProceedings{ASE17p1048, author = {Sara Pérez-Soler and Esther Guerra and Juan de Lara and Francisco Jurado}, title = {The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1048-1047}, doi = {}, year = {2017}, } Article: ase17main-mainp224-p (type: New Ideas) doi:
	D’Elia, Daniele Cono	ASE '17: "Rethinking Pointer Reasoning ..." Rethinking Pointer Reasoning in Symbolic Execution Emilio Coppa, Daniele Cono D’Elia, and Camil Demetrescu (Sapienza University of Rome, Italy) @InProceedings{ASE17p934, author = {Emilio Coppa and Daniele Cono D’Elia and Camil Demetrescu}, title = {Rethinking Pointer Reasoning in Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {934-933}, doi = {}, year = {2017}, } Article: ase17main-mainp086-p (type: New Ideas) doi:
	Della Toffola, Luca	ASE '17: "Saying ’Hi!’ Is Not Enough: ..." Saying ’Hi!’ Is Not Enough: Mining Inputs for Effective Test Generation Luca Della Toffola, Cristian Alexandru Staicu, and Michael Pradel (ETH Zurich, Switzerland; TU Darmstadt, Germany) @InProceedings{ASE17p340, author = {Luca Della Toffola and Cristian Alexandru Staicu and Michael Pradel}, title = {Saying ’Hi!’ Is Not Enough: Mining Inputs for Effective Test Generation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {340-339}, doi = {}, year = {2017}, } Article: ase17main-mainp233-p (type: New Ideas) doi:
	Demetrescu, Camil	ASE '17: "Rethinking Pointer Reasoning ..." Rethinking Pointer Reasoning in Symbolic Execution Emilio Coppa, Daniele Cono D’Elia, and Camil Demetrescu (Sapienza University of Rome, Italy) @InProceedings{ASE17p934, author = {Emilio Coppa and Daniele Cono D’Elia and Camil Demetrescu}, title = {Rethinking Pointer Reasoning in Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {934-933}, doi = {}, year = {2017}, } Article: ase17main-mainp086-p (type: New Ideas) doi:
	Demmler, Daniel	ASE '17: "CogniCrypt: Supporting Developers ..." CogniCrypt: Supporting Developers in Using Cryptography Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath (University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany) @InProceedings{ASE17p1264, author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath}, title = {CogniCrypt: Supporting Developers in Using Cryptography}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1264-1263}, doi = {}, year = {2017}, } Article: ase17demo-demoid7-p (type: Short Paper) doi:
	Deursen, Arie van	ASE '17: "Software Engineering without ..." Software Engineering without Borders Arie van Deursen (Delft University of Technology, Netherlands) @InProceedings{ASE17p199, author = {Arie van Deursen}, title = {Software Engineering without Borders}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {199-198}, doi = {}, year = {2017}, } Article: ase17key-key2-p (type: Abstract) doi: ASE '17: "Why and How JavaScript Developers ..." Why and How JavaScript Developers Use Linters Kristín Fjóla Tómasdóttir, Maurício Aniche, and Arie van Deursen (Delft University of Technology, Netherlands) @InProceedings{ASE17p898, author = {Kristín Fjóla Tómasdóttir and Maurício Aniche and Arie van Deursen}, title = {Why and How JavaScript Developers Use Linters}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {898-897}, doi = {}, year = {2017}, } Article: ase17main-mainp262-p (type: Technical Research) doi:
	Dickens, Luke	ASE '17: "Learning to Share: Engineering ..." Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh (Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland) @InProceedings{ASE17p586, author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh}, title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {586-585}, doi = {}, year = {2017}, } Article: ase17main-mainp093-p (type: New Ideas) doi:
	Di Franco, Anthony	ASE '17: "A Comprehensive Study of Real-World ..." A Comprehensive Study of Real-World Numerical Bug Characteristics Anthony Di Franco, Hui Guo, and Cindy Rubio-González (University of California at Davis, USA) @InProceedings{ASE17p826, author = {Anthony Di Franco and Hui Guo and Cindy Rubio-González}, title = {A Comprehensive Study of Real-World Numerical Bug Characteristics}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {826-825}, doi = {}, year = {2017}, } Article: ase17main-mainp376-p (type: Technical Research) doi:
	Dillig, Isil	ASE '17: "Static Detection of Asymptotic ..." Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications Jia Chen, Oswaldo Olivo, Isil Dillig, and Calvin Lin (University of Texas at Austin, USA) @InProceedings{ASE17p532, author = {Jia Chen and Oswaldo Olivo and Isil Dillig and Calvin Lin}, title = {Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {532-531}, doi = {}, year = {2017}, } Article: ase17main-mainp010-p (type: Technical Research) doi:
	Donaldson, Alastair F.	ASE '17: "Floating-Point Symbolic Execution: ..." Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, and Klaus Wehrle (Imperial College London, UK; RWTH Aachen University, Germany) @InProceedings{ASE17p922, author = {Daniel Liew and Daniel Schemmel and Cristian Cadar and Alastair F. Donaldson and Rafael Zähl and Klaus Wehrle}, title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {922-921}, doi = {}, year = {2017}, } Article: ase17main-mainp252-p (type: Experience) doi:
	Dong, Jinsong	ASE '17: "Mining Implicit Design Templates ..." Mining Implicit Design Templates for Actionable Code Reuse Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia) @InProceedings{ASE17p706, author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong}, title = {Mining Implicit Design Templates for Actionable Code Reuse}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {706-705}, doi = {}, year = {2017}, } Article: ase17main-mainp043-p (type: Technical Research) doi:
	Dou, Wensheng	ASE '17: "A Comprehensive Study on Real ..." A Comprehensive Study on Real World Concurrency Bugs in Node.js Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA) @InProceedings{ASE17p838, author = {Jie Wang and Wensheng Dou and Yu Gao and Chushu Gao and Feng Qin and Kang Yin and Jun Wei}, title = {A Comprehensive Study on Real World Concurrency Bugs in Node.js}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {838-837}, doi = {}, year = {2017}, } Article: ase17main-mainp155-p (type: Technical Research) doi:
	Duan, Zhao	ASE '17: "More Effective Interpolations ..." More Effective Interpolations in Software Model Checking Cong Tian, Zhao Duan, Zhenhua Duan, and C.-H. Luke Ong (Xidian University, China; University of Oxford, UK) @InProceedings{ASE17p484, author = {Cong Tian and Zhao Duan and Zhenhua Duan and C.-H. Luke Ong}, title = {More Effective Interpolations in Software Model Checking}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {484-483}, doi = {}, year = {2017}, } Article: ase17main-mainp195-p (type: Technical Research) doi:
	Duan, Zhenhua	ASE '17: "More Effective Interpolations ..." More Effective Interpolations in Software Model Checking Cong Tian, Zhao Duan, Zhenhua Duan, and C.-H. Luke Ong (Xidian University, China; University of Oxford, UK) @InProceedings{ASE17p484, author = {Cong Tian and Zhao Duan and Zhenhua Duan and C.-H. Luke Ong}, title = {More Effective Interpolations in Software Model Checking}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {484-483}, doi = {}, year = {2017}, } Article: ase17main-mainp195-p (type: Technical Research) doi:
	Dwyer, Matthew B.	ASE '17: "SymInfer: Inferring Program ..." SymInfer: Inferring Program Invariants using Symbolic States ThanhVu Nguyen, Matthew B. Dwyer, and Willem Visser (University of Nebraska-Lincoln, USA; Stellenbosch University, South Africa) @InProceedings{ASE17p1132, author = {ThanhVu Nguyen and Matthew B. Dwyer and Willem Visser}, title = {SymInfer: Inferring Program Invariants using Symbolic States}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1132-1131}, doi = {}, year = {2017}, } Article: ase17main-mainp222-p (type: Technical Research) doi: ASE '17: "Comprehensive Failure Characterization ..." Comprehensive Failure Characterization Mitchell J. Gerrard and Matthew B. Dwyer (University of Nebraska-Lincoln, USA) @InProceedings{ASE17p676, author = {Mitchell J. Gerrard and Matthew B. Dwyer}, title = {Comprehensive Failure Characterization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {676-675}, doi = {}, year = {2017}, } Article: ase17main-mainp321-p (type: Technical Research) doi:
	Erata, Ferhat	ASE '17: "ModelWriter: Text and Model-Synchronized ..." ModelWriter: Text and Model-Synchronized Document Engineering Platform Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux (Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France) @InProceedings{ASE17p1240, author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux}, title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1240-1239}, doi = {}, year = {2017}, } Article: ase17demo-demoid21-p (type: Short Paper) doi:
	Eugster, Patrick	ASE '17: "PAD: Programming Third-Party ..." PAD: Programming Third-Party Web Advertisement Censorship Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster (Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany) @InProceedings{ASE17p544, author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster}, title = {PAD: Programming Third-Party Web Advertisement Censorship}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {544-543}, doi = {}, year = {2017}, } Article: ase17main-mainp431-p (type: Technical Research) doi:
	Faerevaag, Markus	ASE '17: "Testing Intermediate Representations ..." Testing Intermediate Representations for Binary Analysis Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha (KAIST, South Korea; Gachon University, South Korea) @InProceedings{ASE17p664, author = {Soomin Kim and Markus Faerevaag and Minkyu Jung and SeungIl Jung and DongYeop Oh and JongHyup Lee and Sang Kil Cha}, title = {Testing Intermediate Representations for Binary Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {664-663}, doi = {}, year = {2017}, } Article: ase17main-mainp491-p (type: Technical Research) doi:
	Fazzini, Mattia	ASE '17: "Automated Cross-Platform Inconsistency ..." Automated Cross-Platform Inconsistency Detection for Mobile Apps Mattia Fazzini and Alessandro Orso (Georgia Institute of Technology, USA) @InProceedings{ASE17p616, author = {Mattia Fazzini and Alessandro Orso}, title = {Automated Cross-Platform Inconsistency Detection for Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {616-615}, doi = {}, year = {2017}, } Article: ase17main-mainp402-p (type: Technical Research) doi:
	Feng, Dengguo	ASE '17: "Automatically Assessing Crashes ..." Automatically Assessing Crashes from Heap Overflows Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng (Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore) @InProceedings{ASE17p580, author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng}, title = {Automatically Assessing Crashes from Heap Overflows}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {580-579}, doi = {}, year = {2017}, } Article: ase17main-mainp011-p (type: New Ideas) doi:
	Filkov, Vladimir	ASE '17: "The Impact of Continuous Integration ..." The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study Yangyang Zhao, Alexander Serebrenik, Yuming Zhou, Vladimir Filkov, and Bogdan Vasilescu (Nanjing University, China; Eindhoven University of Technology, Netherlands; University of California at Davis, USA; Carnegie Mellon University, USA) @InProceedings{ASE17p358, author = {Yangyang Zhao and Alexander Serebrenik and Yuming Zhou and Vladimir Filkov and Bogdan Vasilescu}, title = {The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {358-357}, doi = {}, year = {2017}, } Article: ase17main-mainp336-p (type: Technical Research) doi: ASE '17: "Perceived Language Complexity ..." Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution David Kavaler, Sasha Sirovica, Vincent Hellendoorn, Raul Aranovich, and Vladimir Filkov (University of California at Davis, USA) @InProceedings{ASE17p370, author = {David Kavaler and Sasha Sirovica and Vincent Hellendoorn and Raul Aranovich and Vladimir Filkov}, title = {Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {370-369}, doi = {}, year = {2017}, } Article: ase17main-mainp352-p (type: Technical Research) doi:
	Fischer, Bernd	ASE '17: "Parallel Bug-Finding in Concurrent ..." Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato (University of Southampton, UK; University of Sussex, UK; Stellenbosch University, South Africa; University of Salerno, Italy) @InProceedings{ASE17p1078, author = {Truc L. Nguyen and Peter Schrammel and Bernd Fischer and Salvatore La Torre and Gennaro Parlato}, title = {Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1078-1077}, doi = {}, year = {2017}, } Article: ase17main-mainp375-p (type: Technical Research) doi:
	Fischmeister, Sebastian	ASE '17: "TREM: A Tool for Mining Timed ..." TREM: A Tool for Mining Timed Regular Specifications from System Traces Lukas Schmidt, Apurva Narayan, and Sebastian Fischmeister (University of Waterloo, Canada) @InProceedings{ASE17p1234, author = {Lukas Schmidt and Apurva Narayan and Sebastian Fischmeister}, title = {TREM: A Tool for Mining Timed Regular Specifications from System Traces}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1234-1233}, doi = {}, year = {2017}, } Article: ase17demo-demoid25-p (type: Short Paper) doi:
	Fornari, Fabrizio	ASE '17: "BProVe: Tool Support for Business ..." BProVe: Tool Support for Business Process Verification Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin (University of Camerino, Italy; DTU, Denmark) @InProceedings{ASE17p1270, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, title = {BProVe: Tool Support for Business Process Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1270-1269}, doi = {}, year = {2017}, } Article: ase17demo-demoid15-p (type: Short Paper) doi: ASE '17: "BProVe: A Formal Verification ..." BProVe: A Formal Verification Framework for Business Process Models Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin (University of Camerino, Italy; DTU, Denmark) @InProceedings{ASE17p520, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, title = {BProVe: A Formal Verification Framework for Business Process Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {520-519}, doi = {}, year = {2017}, } Article: ase17main-mainp272-p (type: Technical Research) doi:
	Fu, Yang	ASE '17: "Recommending Crowdsourced ..." Recommending Crowdsourced Software Developers in Consideration of Skill Improvement Zizhe Wang, Hailong Sun, Yang Fu, and Luting Ye (Beihang University, China) @InProceedings{ASE17p1042, author = {Zizhe Wang and Hailong Sun and Yang Fu and Luting Ye}, title = {Recommending Crowdsourced Software Developers in Consideration of Skill Improvement}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1042-1041}, doi = {}, year = {2017}, } Article: ase17main-mainp226-p (type: New Ideas) doi:
	Furia, Carlo A.	ASE '17: "Contract-Based Program Repair ..." Contract-Based Program Repair without the Contracts Liushan Chen, Yu Pei, and Carlo A. Furia (Hong Kong Polytechnic University, China; Chalmers University of Technology, Sweden) @InProceedings{ASE17p958, author = {Liushan Chen and Yu Pei and Carlo A. Furia}, title = {Contract-Based Program Repair without the Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {958-957}, doi = {}, year = {2017}, } Article: ase17main-mainp157-p (type: Technical Research) doi:
	Gacek, Andrew	ASE '17: "Proof-Based Coverage Metrics ..." Proof-Based Coverage Metrics for Formal Verification Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats P. E. Heimdahl, and Lucas Wagner (University of Minnesota, USA; Rockwell Collins, USA) @InProceedings{ASE17p496, author = {Elaheh Ghassabani and Andrew Gacek and Michael W. Whalen and Mats P. E. Heimdahl and Lucas Wagner}, title = {Proof-Based Coverage Metrics for Formal Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {496-495}, doi = {}, year = {2017}, } Article: ase17main-mainp261-p (type: New Ideas) doi:
	Gao, Chushu	ASE '17: "A Comprehensive Study on Real ..." A Comprehensive Study on Real World Concurrency Bugs in Node.js Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA) @InProceedings{ASE17p838, author = {Jie Wang and Wensheng Dou and Yu Gao and Chushu Gao and Feng Qin and Kang Yin and Jun Wei}, title = {A Comprehensive Study on Real World Concurrency Bugs in Node.js}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {838-837}, doi = {}, year = {2017}, } Article: ase17main-mainp155-p (type: Technical Research) doi:
	Gao, Jian	ASE '17: "A Language Model for Statements ..." A Language Model for Statements of Software Code Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu (Tsinghua University, China) @InProceedings{ASE17p1006, author = {Yixiao Yang and Yu Jiang and Ming Gu and Jiaguang Sun and Jian Gao and Han Liu}, title = {A Language Model for Statements of Software Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1006-1005}, doi = {}, year = {2017}, } Article: ase17main-mainp485-p (type: New Ideas) doi:
	Gao, Yu	ASE '17: "A Comprehensive Study on Real ..." A Comprehensive Study on Real World Concurrency Bugs in Node.js Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA) @InProceedings{ASE17p838, author = {Jie Wang and Wensheng Dou and Yu Gao and Chushu Gao and Feng Qin and Kang Yin and Jun Wei}, title = {A Comprehensive Study on Real World Concurrency Bugs in Node.js}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {838-837}, doi = {}, year = {2017}, } Article: ase17main-mainp155-p (type: Technical Research) doi:
	Garbervetsky, Diego	ASE '17: "Model Checker Execution Reports ..." Model Checker Execution Reports Rodrigo Castaño, Víctor Braberman, Diego Garbervetsky, and Sebastian Uchitel (University of Buenos Aires, Argentina; CONICET, Argentina) @InProceedings{ASE17p502, author = {Rodrigo Castaño and Víctor Braberman and Diego Garbervetsky and Sebastian Uchitel}, title = {Model Checker Execution Reports}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {502-501}, doi = {}, year = {2017}, } Article: ase17main-mainp248-p (type: New Ideas) doi:
	Gardent, Claire	ASE '17: "ModelWriter: Text and Model-Synchronized ..." ModelWriter: Text and Model-Synchronized Document Engineering Platform Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux (Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France) @InProceedings{ASE17p1240, author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux}, title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1240-1239}, doi = {}, year = {2017}, } Article: ase17demo-demoid21-p (type: Short Paper) doi:
	Garrido, Alejandra	ASE '17: "Kobold: Web Usability as a ..." Kobold: Web Usability as a Service Julián Grigera, Alejandra Garrido, and Gustavo Rossi (Universidad Nacional de La Plata, Argentina; CIC, Argentina; CONICET, Argentina) @InProceedings{ASE17p1324, author = {Julián Grigera and Alejandra Garrido and Gustavo Rossi}, title = {Kobold: Web Usability as a Service}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1324-1323}, doi = {}, year = {2017}, } Article: ase17demo-demoid13-p (type: Short Paper) doi:
	Gasparic, Marko	ASE '17: "Context-Aware Integrated Development ..." Context-Aware Integrated Development Environment Command Recommender Systems Marko Gasparic, Tural Gurbanov, and Francesco Ricci (Free University of Bolzano, Italy) @InProceedings{ASE17p1012, author = {Marko Gasparic and Tural Gurbanov and Francesco Ricci}, title = {Context-Aware Integrated Development Environment Command Recommender Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1012-1011}, doi = {}, year = {2017}, } Article: ase17main-mainp069-p (type: New Ideas) doi:
	Gerrard, Mitchell J.	ASE '17: "Comprehensive Failure Characterization ..." Comprehensive Failure Characterization Mitchell J. Gerrard and Matthew B. Dwyer (University of Nebraska-Lincoln, USA) @InProceedings{ASE17p676, author = {Mitchell J. Gerrard and Matthew B. Dwyer}, title = {Comprehensive Failure Characterization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {676-675}, doi = {}, year = {2017}, } Article: ase17main-mainp321-p (type: Technical Research) doi:
	Ghassabani, Elaheh	ASE '17: "Proof-Based Coverage Metrics ..." Proof-Based Coverage Metrics for Formal Verification Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats P. E. Heimdahl, and Lucas Wagner (University of Minnesota, USA; Rockwell Collins, USA) @InProceedings{ASE17p496, author = {Elaheh Ghassabani and Andrew Gacek and Michael W. Whalen and Mats P. E. Heimdahl and Lucas Wagner}, title = {Proof-Based Coverage Metrics for Formal Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {496-495}, doi = {}, year = {2017}, } Article: ase17main-mainp261-p (type: New Ideas) doi:
	Gligoric, Milos	ASE '17: "iCoq: Regression Proof Selection ..." iCoq: Regression Proof Selection for Large-Scale Verification Projects Ahmet Celik, Karl Palmskog, and Milos Gligoric (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE17p472, author = {Ahmet Celik and Karl Palmskog and Milos Gligoric}, title = {iCoq: Regression Proof Selection for Large-Scale Verification Projects}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {472-471}, doi = {}, year = {2017}, } Article: ase17main-mainp407-p (type: Technical Research) doi:
	Godefroid, Patrice	ASE '17: "Learn&Fuzz: Machine Learning ..." Learn&Fuzz: Machine Learning for Input Fuzzing Patrice Godefroid, Hila Peleg, and Rishabh Singh (Microsoft Research, USA; Technion, Israel) @InProceedings{ASE17p346, author = {Patrice Godefroid and Hila Peleg and Rishabh Singh}, title = {Learn&Fuzz: Machine Learning for Input Fuzzing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {346-345}, doi = {}, year = {2017}, } Article: ase17main-mainp359-p (type: Technical Research) doi:
	Gomez, Maria	ASE '17: "ANDROFLEET: Testing WiFi Peer-to-Peer ..." ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment (Inria, France; University of Lille, France; Saarland University, Germany; Institut Universitaire de France, France; Telecom Nancy, France) @InProceedings{ASE17p1294, author = {Lakhdar Meftah and Maria Gomez and Romain Rouvoy and Isabelle Chrisment}, title = {ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1294-1293}, doi = {}, year = {2017}, } Article: ase17demo-demoid19-p (type: Short Paper) doi:
	Göpfert, Florian	ASE '17: "CogniCrypt: Supporting Developers ..." CogniCrypt: Supporting Developers in Using Cryptography Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath (University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany) @InProceedings{ASE17p1264, author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath}, title = {CogniCrypt: Supporting Developers in Using Cryptography}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1264-1263}, doi = {}, year = {2017}, } Article: ase17demo-demoid7-p (type: Short Paper) doi:
	Goss, William	ASE '17: "TiQi: A Natural Language Interface ..." TiQi: A Natural Language Interface for Querying Software Project Data Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin (University of Notre Dame, USA; DePaul University, USA) @InProceedings{ASE17p1306, author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin}, title = {TiQi: A Natural Language Interface for Querying Software Project Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1306-1305}, doi = {}, year = {2017}, } Article: ase17demo-demoid26-p (type: Short Paper) doi:
	Grigera, Julián	ASE '17: "Kobold: Web Usability as a ..." Kobold: Web Usability as a Service Julián Grigera, Alejandra Garrido, and Gustavo Rossi (Universidad Nacional de La Plata, Argentina; CIC, Argentina; CONICET, Argentina) @InProceedings{ASE17p1324, author = {Julián Grigera and Alejandra Garrido and Gustavo Rossi}, title = {Kobold: Web Usability as a Service}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1324-1323}, doi = {}, year = {2017}, } Article: ase17demo-demoid13-p (type: Short Paper) doi:
	Griswold, William G.	ASE '17: "Semantics-Assisted Code Review: ..." Semantics-Assisted Code Review: An Efficient Toolchain and a User Study Massimiliano Menarini, Yan Yan, and William G. Griswold (University of California at San Diego, USA) @InProceedings{ASE17p874, author = {Massimiliano Menarini and Yan Yan and William G. Griswold}, title = {Semantics-Assisted Code Review: An Efficient Toolchain and a User Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {874-873}, doi = {}, year = {2017}, } Article: ase17main-mainp291-p (type: Technical Research) doi:
	Grünbacher, Paul	ASE '17: "Visualization Support for ..." Visualization Support for Requirements Monitoring in Systems of Systems Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher (JKU Linz, Austria; University of Notre Dame, USA) @InProceedings{ASE17p1222, author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher}, title = {Visualization Support for Requirements Monitoring in Systems of Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1222-1221}, doi = {}, year = {2017}, } Article: ase17demo-demoid8-p (type: Short Paper) doi: ASE '17: "Mining Constraints for Event-based ..." Mining Constraints for Event-based Monitoring in Systems of Systems Thomas Krismayer, Rick Rabiser, and Paul Grünbacher (JKU Linz, Austria) @InProceedings{ASE17p1156, author = {Thomas Krismayer and Rick Rabiser and Paul Grünbacher}, title = {Mining Constraints for Event-based Monitoring in Systems of Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1156-1155}, doi = {}, year = {2017}, } Article: ase17main-mainp074-p (type: New Ideas) doi:
	Gu, Ming	ASE '17: "A Static Analysis Tool with ..." A Static Analysis Tool with Optimizations for Reachability Determination Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA) @InProceedings{ASE17p1258, author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {A Static Analysis Tool with Optimizations for Reachability Determination}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1258-1257}, doi = {}, year = {2017}, } Article: ase17demo-demoid18-p (type: Short Paper) doi: ASE '17: "IntPTI: Automatic Integer ..." IntPTI: Automatic Integer Error Repair with Proper-Type Inference Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA) @InProceedings{ASE17p1330, author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1330-1329}, doi = {}, year = {2017}, } Article: ase17demo-demoid9-p (type: Short Paper) doi: ASE '17: "A Language Model for Statements ..." A Language Model for Statements of Software Code Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu (Tsinghua University, China) @InProceedings{ASE17p1006, author = {Yixiao Yang and Yu Jiang and Ming Gu and Jiaguang Sun and Jian Gao and Han Liu}, title = {A Language Model for Statements of Software Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1006-1005}, doi = {}, year = {2017}, } Article: ase17main-mainp485-p (type: New Ideas) doi:
	Guerra, Esther	ASE '17: "The Rise of the (Modelling) ..." The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks Sara Pérez-Soler, Esther Guerra, Juan de Lara, and Francisco Jurado (Autonomous University of Madrid, Spain) @InProceedings{ASE17p1048, author = {Sara Pérez-Soler and Esther Guerra and Juan de Lara and Francisco Jurado}, title = {The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1048-1047}, doi = {}, year = {2017}, } Article: ase17main-mainp224-p (type: New Ideas) doi:
	Guerriero, Michele	ASE '17: "Privacy-Aware Data-Intensive ..." Privacy-Aware Data-Intensive Applications Michele Guerriero (Politecnico di Milano, Italy) @InProceedings{ASE17p1364, author = {Michele Guerriero}, title = {Privacy-Aware Data-Intensive Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1364-1363}, doi = {}, year = {2017}, } Article: ase17doc-doc5-p (type: Doctoral symposium (4 pages)) doi:
	Guha, Arjun	ASE '17: "Tortoise: Interactive System ..." Tortoise: Interactive System Configuration Repair Aaron Weiss, Arjun Guha, and Yuriy Brun (Northeastern University, USA; University of Massachusetts at Amherst, USA) @InProceedings{ASE17p946, author = {Aaron Weiss and Arjun Guha and Yuriy Brun}, title = {Tortoise: Interactive System Configuration Repair}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {946-945}, doi = {}, year = {2017}, } Article: ase17main-mainp094-p (type: Technical Research) doi:
	Günther, Felix	ASE '17: "CogniCrypt: Supporting Developers ..." CogniCrypt: Supporting Developers in Using Cryptography Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath (University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany) @InProceedings{ASE17p1264, author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath}, title = {CogniCrypt: Supporting Developers in Using Cryptography}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1264-1263}, doi = {}, year = {2017}, } Article: ase17demo-demoid7-p (type: Short Paper) doi:
	Guo, Hui	ASE '17: "A Comprehensive Study of Real-World ..." A Comprehensive Study of Real-World Numerical Bug Characteristics Anthony Di Franco, Hui Guo, and Cindy Rubio-González (University of California at Davis, USA) @InProceedings{ASE17p826, author = {Anthony Di Franco and Hui Guo and Cindy Rubio-González}, title = {A Comprehensive Study of Real-World Numerical Bug Characteristics}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {826-825}, doi = {}, year = {2017}, } Article: ase17main-mainp376-p (type: Technical Research) doi:
	Guo, Jin	ASE '17: "TiQi: A Natural Language Interface ..." TiQi: A Natural Language Interface for Querying Software Project Data Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin (University of Notre Dame, USA; DePaul University, USA) @InProceedings{ASE17p1306, author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin}, title = {TiQi: A Natural Language Interface for Querying Software Project Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1306-1305}, doi = {}, year = {2017}, } Article: ase17demo-demoid26-p (type: Short Paper) doi:
	Gurbanov, Tural	ASE '17: "Context-Aware Integrated Development ..." Context-Aware Integrated Development Environment Command Recommender Systems Marko Gasparic, Tural Gurbanov, and Francesco Ricci (Free University of Bolzano, Italy) @InProceedings{ASE17p1012, author = {Marko Gasparic and Tural Gurbanov and Francesco Ricci}, title = {Context-Aware Integrated Development Environment Command Recommender Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1012-1011}, doi = {}, year = {2017}, } Article: ase17main-mainp069-p (type: New Ideas) doi:
	Gyawali, Bikash	ASE '17: "ModelWriter: Text and Model-Synchronized ..." ModelWriter: Text and Model-Synchronized Document Engineering Platform Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux (Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France) @InProceedings{ASE17p1240, author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux}, title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1240-1239}, doi = {}, year = {2017}, } Article: ase17demo-demoid21-p (type: Short Paper) doi:
	Han, DongGyun	ASE '17: "Are Developers Aware of the ..." Are Developers Aware of the Architectural Impact of Their Changes? Matheus Paixao, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, and Mark Harman (University College London, UK) @InProceedings{ASE17p394, author = {Matheus Paixao and Jens Krinke and DongGyun Han and Chaiyong Ragkhitwetsagul and Mark Harman}, title = {Are Developers Aware of the Architectural Impact of Their Changes?}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {394-393}, doi = {}, year = {2017}, } Article: ase17main-mainp479-p (type: Technical Research) doi:
	Han, Jiawei	ASE '17: "Mining Structures from Massive ..." Mining Structures from Massive Text Data: Will It Help Software Engineering? Jiawei Han (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE17p100, author = {Jiawei Han}, title = {Mining Structures from Massive Text Data: Will It Help Software Engineering?}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {100-99}, doi = {}, year = {2017}, } Article: ase17key-key1-p (type: Abstract) doi:
	Hansen, Henri	ASE '17: "FiB: Squeezing Loop Invariants ..." FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; Tampere University of Technology, Finland) @InProceedings{ASE17p1120, author = {Shang-Wei Lin and Jun Sun and Hao Xiao and Yang Liu and David Sanán and Henri Hansen}, title = {FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1120-1119}, doi = {}, year = {2017}, } Article: ase17main-mainp077-p (type: Technical Research) doi:
	Harman, Mark	ASE '17: "Crowd Intelligence Enhances ..." Crowd Intelligence Enhances Automated Mobile Testing Ke Mao, Mark Harman, and Yue Jia (University College London, UK; Facebook, UK) @InProceedings{ASE17p310, author = {Ke Mao and Mark Harman and Yue Jia}, title = {Crowd Intelligence Enhances Automated Mobile Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {310-309}, doi = {}, year = {2017}, } Article: ase17main-mainp269-p (type: Technical Research) doi: ASE '17: "Are Developers Aware of the ..." Are Developers Aware of the Architectural Impact of Their Changes? Matheus Paixao, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, and Mark Harman (University College London, UK) @InProceedings{ASE17p394, author = {Matheus Paixao and Jens Krinke and DongGyun Han and Chaiyong Ragkhitwetsagul and Mark Harman}, title = {Are Developers Aware of the Architectural Impact of Their Changes?}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {394-393}, doi = {}, year = {2017}, } Article: ase17main-mainp479-p (type: Technical Research) doi:
	He, Liang	ASE '17: "Automatically Assessing Crashes ..." Automatically Assessing Crashes from Heap Overflows Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng (Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore) @InProceedings{ASE17p580, author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng}, title = {Automatically Assessing Crashes from Heap Overflows}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {580-579}, doi = {}, year = {2017}, } Article: ase17main-mainp011-p (type: New Ideas) doi:
	Heimdahl, Mats P. E.	ASE '17: "Proof-Based Coverage Metrics ..." Proof-Based Coverage Metrics for Formal Verification Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats P. E. Heimdahl, and Lucas Wagner (University of Minnesota, USA; Rockwell Collins, USA) @InProceedings{ASE17p496, author = {Elaheh Ghassabani and Andrew Gacek and Michael W. Whalen and Mats P. E. Heimdahl and Lucas Wagner}, title = {Proof-Based Coverage Metrics for Formal Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {496-495}, doi = {}, year = {2017}, } Article: ase17main-mainp261-p (type: New Ideas) doi:
	Hellendoorn, Vincent	ASE '17: "Perceived Language Complexity ..." Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution David Kavaler, Sasha Sirovica, Vincent Hellendoorn, Raul Aranovich, and Vladimir Filkov (University of California at Davis, USA) @InProceedings{ASE17p370, author = {David Kavaler and Sasha Sirovica and Vincent Hellendoorn and Raul Aranovich and Vladimir Filkov}, title = {Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {370-369}, doi = {}, year = {2017}, } Article: ase17main-mainp352-p (type: Technical Research) doi:
	Herfert, Satia	ASE '17: "Automatically Reducing Tree-Structured ..." Automatically Reducing Tree-Structured Test Inputs Satia Herfert, Jibesh Patra, and Michael Pradel (TU Darmstadt, Germany) @InProceedings{ASE17p1192, author = {Satia Herfert and Jibesh Patra and Michael Pradel}, title = {Automatically Reducing Tree-Structured Test Inputs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1192-1191}, doi = {}, year = {2017}, } Article: ase17main-mainp202-p (type: Technical Research) doi:
	Higo, Yoshiki	ASE '17: "Generating Simpler AST Edit ..." Generating Simpler AST Edit Scripts by Considering Copy-and-Paste Yoshiki Higo, Akio Ohtani, and Shinji Kusumoto (Osaka University, Japan) @InProceedings{ASE17p850, author = {Yoshiki Higo and Akio Ohtani and Shinji Kusumoto}, title = {Generating Simpler AST Edit Scripts by Considering Copy-and-Paste}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {850-849}, doi = {}, year = {2017}, } Article: ase17main-mainp210-p (type: Technical Research) doi:
	Holzmann, Gerard	ASE '17: "Cobra - An Interactive Static ..." Cobra - An Interactive Static Code Analyzer Gerard Holzmann (Nimble Research, USA) @InProceedings{ASE17p1, author = {Gerard Holzmann}, title = {Cobra - An Interactive Static Code Analyzer}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2017}, } Article: ase17key-key3-p (type: Abstract) doi:
	Hou, Daqing	ASE '17: "FEMIR: A Tool for Recommending ..." FEMIR: A Tool for Recommending Framework Extension Examples Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou (University of Saskatchewan, Canada; Clarkson University, USA) @InProceedings{ASE17p1300, author = {Muhammad Asaduzzaman and Chanchal K. Roy and Kevin A. Schneider and Daqing Hou}, title = {FEMIR: A Tool for Recommending Framework Extension Examples}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1300-1299}, doi = {}, year = {2017}, } Article: ase17demo-demoid32-p (type: Short Paper) doi:
	Hu, Hong	ASE '17: "Automatically Assessing Crashes ..." Automatically Assessing Crashes from Heap Overflows Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng (Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore) @InProceedings{ASE17p580, author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng}, title = {Automatically Assessing Crashes from Heap Overflows}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {580-579}, doi = {}, year = {2017}, } Article: ase17main-mainp011-p (type: New Ideas) doi:
	Huang, Huafeng	ASE '17: "Automatically Assessing Crashes ..." Automatically Assessing Crashes from Heap Overflows Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng (Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore) @InProceedings{ASE17p580, author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng}, title = {Automatically Assessing Crashes from Heap Overflows}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {580-579}, doi = {}, year = {2017}, } Article: ase17main-mainp011-p (type: New Ideas) doi:
	Huang, Jeff	ASE '17: "EHBDroid: Beyond GUI Testing ..." EHBDroid: Beyond GUI Testing for Android Applications Wei Song, Xiangxing Qian, and Jeff Huang (Nanjing University of Science and Technology, China; Texas A&M University, USA) @InProceedings{ASE17p322, author = {Wei Song and Xiangxing Qian and Jeff Huang}, title = {EHBDroid: Beyond GUI Testing for Android Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {322-321}, doi = {}, year = {2017}, } Article: ase17main-mainp096-p (type: Technical Research) doi:
	Huang, Jianjun	ASE '17: "UI Driven Android Application ..." UI Driven Android Application Reduction Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, and Chen Tian (Purdue University, USA; Huawei, USA) @InProceedings{ASE17p592, author = {Jianjun Huang and Yousra Aafer and David Perry and Xiangyu Zhang and Chen Tian}, title = {UI Driven Android Application Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {592-591}, doi = {}, year = {2017}, } Article: ase17main-mainp335-p (type: Technical Research) doi:
	Hwang, Sungjae	ASE '17: "All about Activity Injection: ..." All about Activity Injection: Threats, Semantics, and Detection Sungho Lee, Sungjae Hwang, and Sukyoung Ryu (KAIST, South Korea; LG Electronics, South Korea) @InProceedings{ASE17p556, author = {Sungho Lee and Sungjae Hwang and Sukyoung Ryu}, title = {All about Activity Injection: Threats, Semantics, and Detection}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {556-555}, doi = {}, year = {2017}, } Article: ase17main-mainp445-p (type: Technical Research) doi:
	Incerto, Emilio	ASE '17: "Software Performance Self-Adaptation ..." Software Performance Self-Adaptation through Efficient Model Predictive Control Emilio Incerto, Mirco Tribastone, and Catia Trubiani (Gran Sasso Science Institute, Italy; IMT School for Advanced Studies Lucca, Italy) @InProceedings{ASE17p802, author = {Emilio Incerto and Mirco Tribastone and Catia Trubiani}, title = {Software Performance Self-Adaptation through Efficient Model Predictive Control}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {802-801}, doi = {}, year = {2017}, } Article: ase17main-mainp112-p (type: Technical Research) doi:
	Iqbal, Anindya	ASE '17: "SentiCR: A Customized Sentiment ..." SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions Toufique Ahmed, Amiangshu Bosu, Anindya Iqbal, and Shahram Rahimi (Bangladesh University of Engineering and Technology, Bangladesh; Southern Illinois University at Carbondale, USA) @InProceedings{ASE17p406, author = {Toufique Ahmed and Amiangshu Bosu and Anindya Iqbal and Shahram Rahimi}, title = {SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {406-405}, doi = {}, year = {2017}, } Article: ase17main-mainp111-p (type: New Ideas) doi:
	Jamshidi, Pooyan	ASE '17: "Transfer Learning for Performance ..." Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis Pooyan Jamshidi, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, and Yuvraj Agarwal (Carnegie Mellon University, USA; Bauhaus-University Weimar, Germany) @InProceedings{ASE17p814, author = {Pooyan Jamshidi and Norbert Siegmund and Miguel Velez and Christian Kästner and Akshay Patel and Yuvraj Agarwal}, title = {Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {814-813}, doi = {}, year = {2017}, } Article: ase17main-mainp258-p (type: Technical Research) doi:
	Jia, Xiangkun	ASE '17: "Automatically Assessing Crashes ..." Automatically Assessing Crashes from Heap Overflows Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng (Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore) @InProceedings{ASE17p580, author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng}, title = {Automatically Assessing Crashes from Heap Overflows}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {580-579}, doi = {}, year = {2017}, } Article: ase17main-mainp011-p (type: New Ideas) doi:
	Jia, Yue	ASE '17: "Crowd Intelligence Enhances ..." Crowd Intelligence Enhances Automated Mobile Testing Ke Mao, Mark Harman, and Yue Jia (University College London, UK; Facebook, UK) @InProceedings{ASE17p310, author = {Ke Mao and Mark Harman and Yue Jia}, title = {Crowd Intelligence Enhances Automated Mobile Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {310-309}, doi = {}, year = {2017}, } Article: ase17main-mainp269-p (type: Technical Research) doi:
	Jiang, Bo	ASE '17: "SimplyDroid: Efficient Event ..." SimplyDroid: Efficient Event Sequence Simplification for Android Application Bo Jiang, Yuxuan Wu, Teng Li, and W. K. Chan (Beihang University, China; City University of Hong Kong, China) @InProceedings{ASE17p604, author = {Bo Jiang and Yuxuan Wu and Teng Li and W. K. Chan}, title = {SimplyDroid: Efficient Event Sequence Simplification for Android Application}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {604-603}, doi = {}, year = {2017}, } Article: ase17main-mainp016-p (type: Technical Research) doi:
	Jiang, Siyuan	ASE '17: "Automatically Generating Commit ..." Automatically Generating Commit Messages from Diffs using Neural Machine Translation Siyuan Jiang, Ameer Armaly, and Collin McMillan (University of Notre Dame, USA) @InProceedings{ASE17p436, author = {Siyuan Jiang and Ameer Armaly and Collin McMillan}, title = {Automatically Generating Commit Messages from Diffs using Neural Machine Translation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {436-435}, doi = {}, year = {2017}, } Article: ase17main-mainp041-p (type: Technical Research) doi:
	Jiang, Yu	ASE '17: "A Static Analysis Tool with ..." A Static Analysis Tool with Optimizations for Reachability Determination Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA) @InProceedings{ASE17p1258, author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {A Static Analysis Tool with Optimizations for Reachability Determination}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1258-1257}, doi = {}, year = {2017}, } Article: ase17demo-demoid18-p (type: Short Paper) doi: ASE '17: "A Language Model for Statements ..." A Language Model for Statements of Software Code Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu (Tsinghua University, China) @InProceedings{ASE17p1006, author = {Yixiao Yang and Yu Jiang and Ming Gu and Jiaguang Sun and Jian Gao and Han Liu}, title = {A Language Model for Statements of Software Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1006-1005}, doi = {}, year = {2017}, } Article: ase17main-mainp485-p (type: New Ideas) doi:
	Jouault, Frédéric	ASE '17: "Gremlin-ATL: A Scalable Model ..." Gremlin-ATL: A Scalable Model Transformation Framework Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, and Jordi Cabot (AtlanMod, France; Inria, France; Groupe ESEO, France; ICREA, Spain; Open University of Catalonia, Spain) @InProceedings{ASE17p778, author = {Gwendal Daniel and Frédéric Jouault and Gerson Sunyé and Jordi Cabot}, title = {Gremlin-ATL: A Scalable Model Transformation Framework}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {778-777}, doi = {}, year = {2017}, } Article: ase17main-mainp191-p (type: Technical Research) doi:
	Jung, Minkyu	ASE '17: "Testing Intermediate Representations ..." Testing Intermediate Representations for Binary Analysis Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha (KAIST, South Korea; Gachon University, South Korea) @InProceedings{ASE17p664, author = {Soomin Kim and Markus Faerevaag and Minkyu Jung and SeungIl Jung and DongYeop Oh and JongHyup Lee and Sang Kil Cha}, title = {Testing Intermediate Representations for Binary Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {664-663}, doi = {}, year = {2017}, } Article: ase17main-mainp491-p (type: Technical Research) doi:
	Jung, SeungIl	ASE '17: "Testing Intermediate Representations ..." Testing Intermediate Representations for Binary Analysis Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha (KAIST, South Korea; Gachon University, South Korea) @InProceedings{ASE17p664, author = {Soomin Kim and Markus Faerevaag and Minkyu Jung and SeungIl Jung and DongYeop Oh and JongHyup Lee and Sang Kil Cha}, title = {Testing Intermediate Representations for Binary Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {664-663}, doi = {}, year = {2017}, } Article: ase17main-mainp491-p (type: Technical Research) doi:
	Jurado, Francisco	ASE '17: "The Rise of the (Modelling) ..." The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks Sara Pérez-Soler, Esther Guerra, Juan de Lara, and Francisco Jurado (Autonomous University of Madrid, Spain) @InProceedings{ASE17p1048, author = {Sara Pérez-Soler and Esther Guerra and Juan de Lara and Francisco Jurado}, title = {The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1048-1047}, doi = {}, year = {2017}, } Article: ase17main-mainp224-p (type: New Ideas) doi:
	Kamath, Ram	ASE '17: "CogniCrypt: Supporting Developers ..." CogniCrypt: Supporting Developers in Using Cryptography Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath (University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany) @InProceedings{ASE17p1264, author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath}, title = {CogniCrypt: Supporting Developers in Using Cryptography}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1264-1263}, doi = {}, year = {2017}, } Article: ase17demo-demoid7-p (type: Short Paper) doi:
	Kamil, Shoaib	ASE '17: "taco: A Tool to Generate Tensor ..." taco: A Tool to Generate Tensor Algebra Kernels Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA) @InProceedings{ASE17p1276, author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe}, title = {taco: A Tool to Generate Tensor Algebra Kernels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1276-1275}, doi = {}, year = {2017}, } Article: ase17demo-demoid16-p (type: Short Paper) doi:
	Kapus, Timotej	ASE '17: "Automatic Testing of Symbolic ..." Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing Timotej Kapus and Cristian Cadar (Imperial College London, UK) @InProceedings{ASE17p910, author = {Timotej Kapus and Cristian Cadar}, title = {Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {910-909}, doi = {}, year = {2017}, } Article: ase17main-mainp329-p (type: Experience) doi:
	Kardas, Geylani	ASE '17: "ModelWriter: Text and Model-Synchronized ..." ModelWriter: Text and Model-Synchronized Document Engineering Platform Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux (Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France) @InProceedings{ASE17p1240, author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux}, title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1240-1239}, doi = {}, year = {2017}, } Article: ase17demo-demoid21-p (type: Short Paper) doi:
	Kargén, Ulf	ASE '17: "Towards Robust Instruction-Level ..." Towards Robust Instruction-Level Trace Alignment of Binary Code Ulf Kargén and Nahid Shahmehri (Linköping University, Sweden) @InProceedings{ASE17p652, author = {Ulf Kargén and Nahid Shahmehri}, title = {Towards Robust Instruction-Level Trace Alignment of Binary Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {652-651}, doi = {}, year = {2017}, } Article: ase17main-mainp488-p (type: Technical Research) doi:
	Kästner, Christian	ASE '17: "Transfer Learning for Performance ..." Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis Pooyan Jamshidi, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, and Yuvraj Agarwal (Carnegie Mellon University, USA; Bauhaus-University Weimar, Germany) @InProceedings{ASE17p814, author = {Pooyan Jamshidi and Norbert Siegmund and Miguel Velez and Christian Kästner and Akshay Patel and Yuvraj Agarwal}, title = {Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {814-813}, doi = {}, year = {2017}, } Article: ase17main-mainp258-p (type: Technical Research) doi: ASE '17: "Renaming and Shifted Code ..." Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, and Janet Siegmund (University of Passau, Germany; Carnegie Mellon University, USA) @InProceedings{ASE17p862, author = {Olaf Leßenich and Sven Apel and Christian Kästner and Georg Seibt and Janet Siegmund}, title = {Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {862-861}, doi = {}, year = {2017}, } Article: ase17main-mainp356-p (type: Technical Research) doi:
	Kavaler, David	ASE '17: "Perceived Language Complexity ..." Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution David Kavaler, Sasha Sirovica, Vincent Hellendoorn, Raul Aranovich, and Vladimir Filkov (University of California at Davis, USA) @InProceedings{ASE17p370, author = {David Kavaler and Sasha Sirovica and Vincent Hellendoorn and Raul Aranovich and Vladimir Filkov}, title = {Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {370-369}, doi = {}, year = {2017}, } Article: ase17main-mainp352-p (type: Technical Research) doi:
	Kehrer, Timo	ASE '17: "Incrementally Slicing Editable ..." Incrementally Slicing Editable Submodels Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer (University of Siegen, Germany; Humboldt University of Berlin, Germany) @InProceedings{ASE17p1246, author = {Christopher Pietsch and Manuel Ohrndorf and Udo Kelter and Timo Kehrer}, title = {Incrementally Slicing Editable Submodels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1246-1245}, doi = {}, year = {2017}, } Article: ase17demo-demoid33-p (type: Short Paper) doi:
	Kelter, Udo	ASE '17: "Incrementally Slicing Editable ..." Incrementally Slicing Editable Submodels Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer (University of Siegen, Germany; Humboldt University of Berlin, Germany) @InProceedings{ASE17p1246, author = {Christopher Pietsch and Manuel Ohrndorf and Udo Kelter and Timo Kehrer}, title = {Incrementally Slicing Editable Submodels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1246-1245}, doi = {}, year = {2017}, } Article: ase17demo-demoid33-p (type: Short Paper) doi:
	Kesseli, Pascal	ASE '17: "DSSynth: An Automated Digital ..." DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen (University of Oxford, UK; Federal University of Amazonas, Brazil) @InProceedings{ASE17p1252, author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen}, title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1252-1251}, doi = {}, year = {2017}, } Article: ase17demo-demoid12-p (type: Short Paper) doi:
	Khatchadourian, Raffi	ASE '17: "Defaultification Refactoring: ..." Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default Raffi Khatchadourian and Hidehiko Masuhara (City University of New York, USA; Tokyo Institute of Technology, Japan) @InProceedings{ASE17p1318, author = {Raffi Khatchadourian and Hidehiko Masuhara}, title = {Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1318-1317}, doi = {}, year = {2017}, } Article: ase17demo-demoid10-p (type: Short Paper) doi:
	Khomh, Foutse	ASE '17: "Opiner: An Opinion Search ..." Opiner: An Opinion Search and Summarization Engine for APIs Gias Uddin and Foutse Khomh (McGill University, Canada; Polytechnique Montréal, Canada) @InProceedings{ASE17p1312, author = {Gias Uddin and Foutse Khomh}, title = {Opiner: An Opinion Search and Summarization Engine for APIs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1312-1311}, doi = {}, year = {2017}, } Article: ase17demo-demoid30-p (type: Short Paper) doi: ASE '17: "Automatic Summarization of ..." Automatic Summarization of API Reviews Gias Uddin and Foutse Khomh (McGill University, Canada; Polytechnique Montréal, Canada) @InProceedings{ASE17p460, author = {Gias Uddin and Foutse Khomh}, title = {Automatic Summarization of API Reviews}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {460-459}, doi = {}, year = {2017}, } Article: ase17main-mainp126-p (type: Technical Research) doi:
	Kim, I.-Luk	ASE '17: "PAD: Programming Third-Party ..." PAD: Programming Third-Party Web Advertisement Censorship Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster (Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany) @InProceedings{ASE17p544, author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster}, title = {PAD: Programming Third-Party Web Advertisement Censorship}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {544-543}, doi = {}, year = {2017}, } Article: ase17main-mainp431-p (type: Technical Research) doi:
	Kim, Soomin	ASE '17: "Testing Intermediate Representations ..." Testing Intermediate Representations for Binary Analysis Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha (KAIST, South Korea; Gachon University, South Korea) @InProceedings{ASE17p664, author = {Soomin Kim and Markus Faerevaag and Minkyu Jung and SeungIl Jung and DongYeop Oh and JongHyup Lee and Sang Kil Cha}, title = {Testing Intermediate Representations for Binary Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {664-663}, doi = {}, year = {2017}, } Article: ase17main-mainp491-p (type: Technical Research) doi:
	Kjolstad, Fredrik	ASE '17: "taco: A Tool to Generate Tensor ..." taco: A Tool to Generate Tensor Algebra Kernels Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA) @InProceedings{ASE17p1276, author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe}, title = {taco: A Tool to Generate Tensor Algebra Kernels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1276-1275}, doi = {}, year = {2017}, } Article: ase17demo-demoid16-p (type: Short Paper) doi:
	Krinke, Jens	ASE '17: "Are Developers Aware of the ..." Are Developers Aware of the Architectural Impact of Their Changes? Matheus Paixao, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, and Mark Harman (University College London, UK) @InProceedings{ASE17p394, author = {Matheus Paixao and Jens Krinke and DongGyun Han and Chaiyong Ragkhitwetsagul and Mark Harman}, title = {Are Developers Aware of the Architectural Impact of Their Changes?}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {394-393}, doi = {}, year = {2017}, } Article: ase17main-mainp479-p (type: Technical Research) doi:
	Krishna, Rahul	ASE '17: "Learning Effective Changes ..." Learning Effective Changes for Software Projects Rahul Krishna (North Carolina State University, USA) @InProceedings{ASE17p1336, author = {Rahul Krishna}, title = {Learning Effective Changes for Software Projects}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1336-1335}, doi = {}, year = {2017}, } Article: ase17doc-doc10-p (type: Doctoral symposium (4 pages)) doi:
	Krismayer, Thomas	ASE '17: "Visualization Support for ..." Visualization Support for Requirements Monitoring in Systems of Systems Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher (JKU Linz, Austria; University of Notre Dame, USA) @InProceedings{ASE17p1222, author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher}, title = {Visualization Support for Requirements Monitoring in Systems of Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1222-1221}, doi = {}, year = {2017}, } Article: ase17demo-demoid8-p (type: Short Paper) doi: ASE '17: "Mining Constraints for Event-based ..." Mining Constraints for Event-based Monitoring in Systems of Systems Thomas Krismayer, Rick Rabiser, and Paul Grünbacher (JKU Linz, Austria) @InProceedings{ASE17p1156, author = {Thomas Krismayer and Rick Rabiser and Paul Grünbacher}, title = {Mining Constraints for Event-based Monitoring in Systems of Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1156-1155}, doi = {}, year = {2017}, } Article: ase17main-mainp074-p (type: New Ideas) doi:
	Kritzinger, Lisa Maria	ASE '17: "Visualization Support for ..." Visualization Support for Requirements Monitoring in Systems of Systems Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher (JKU Linz, Austria; University of Notre Dame, USA) @InProceedings{ASE17p1222, author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher}, title = {Visualization Support for Requirements Monitoring in Systems of Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1222-1221}, doi = {}, year = {2017}, } Article: ase17demo-demoid8-p (type: Short Paper) doi:
	Kroening, Daniel	ASE '17: "DSSynth: An Automated Digital ..." DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen (University of Oxford, UK; Federal University of Amazonas, Brazil) @InProceedings{ASE17p1252, author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen}, title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1252-1251}, doi = {}, year = {2017}, } Article: ase17demo-demoid12-p (type: Short Paper) doi:
	Krüger, Stefan	ASE '17: "CogniCrypt: Supporting Developers ..." CogniCrypt: Supporting Developers in Using Cryptography Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath (University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany) @InProceedings{ASE17p1264, author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath}, title = {CogniCrypt: Supporting Developers in Using Cryptography}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1264-1263}, doi = {}, year = {2017}, } Article: ase17demo-demoid7-p (type: Short Paper) doi:
	Kusano, Markus	ASE '17: "Modular Verification of Interrupt-Driven ..." Modular Verification of Interrupt-Driven Software Chungha Sung, Markus Kusano, and Chao Wang (University of Southern California, USA; Virginia Tech, USA) @InProceedings{ASE17p508, author = {Chungha Sung and Markus Kusano and Chao Wang}, title = {Modular Verification of Interrupt-Driven Software}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {508-507}, doi = {}, year = {2017}, } Article: ase17main-mainp277-p (type: Technical Research) doi:
	Kusumoto, Shinji	ASE '17: "Generating Simpler AST Edit ..." Generating Simpler AST Edit Scripts by Considering Copy-and-Paste Yoshiki Higo, Akio Ohtani, and Shinji Kusumoto (Osaka University, Japan) @InProceedings{ASE17p850, author = {Yoshiki Higo and Akio Ohtani and Shinji Kusumoto}, title = {Generating Simpler AST Edit Scripts by Considering Copy-and-Paste}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {850-849}, doi = {}, year = {2017}, } Article: ase17main-mainp210-p (type: Technical Research) doi:
	Kwon, Yonghwi	ASE '17: "PAD: Programming Third-Party ..." PAD: Programming Third-Party Web Advertisement Censorship Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster (Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany) @InProceedings{ASE17p544, author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster}, title = {PAD: Programming Third-Party Web Advertisement Censorship}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {544-543}, doi = {}, year = {2017}, } Article: ase17main-mainp431-p (type: Technical Research) doi:
	La Torre, Salvatore	ASE '17: "Parallel Bug-Finding in Concurrent ..." Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato (University of Southampton, UK; University of Sussex, UK; Stellenbosch University, South Africa; University of Salerno, Italy) @InProceedings{ASE17p1078, author = {Truc L. Nguyen and Peter Schrammel and Bernd Fischer and Salvatore La Torre and Gennaro Parlato}, title = {Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1078-1077}, doi = {}, year = {2017}, } Article: ase17main-mainp375-p (type: Technical Research) doi:
	Le, Quang Loc	ASE '17: "Automatic Loop-Invariant Generation ..." Automatic Loop-Invariant Generation and Refinement through Selective Sampling Jiaying Li, Jun Sun, Li Li, Quang Loc Le, and Shang-Wei Lin (Singapore University of Technology and Design, Singapore; Teesside University, UK; Nanyang Technological University, Singapore) @InProceedings{ASE17p1108, author = {Jiaying Li and Jun Sun and Li Li and Quang Loc Le and Shang-Wei Lin}, title = {Automatic Loop-Invariant Generation and Refinement through Selective Sampling}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1108-1107}, doi = {}, year = {2017}, } Article: ase17main-mainp061-p (type: Technical Research) doi:
	Lee, JongHyup	ASE '17: "Testing Intermediate Representations ..." Testing Intermediate Representations for Binary Analysis Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha (KAIST, South Korea; Gachon University, South Korea) @InProceedings{ASE17p664, author = {Soomin Kim and Markus Faerevaag and Minkyu Jung and SeungIl Jung and DongYeop Oh and JongHyup Lee and Sang Kil Cha}, title = {Testing Intermediate Representations for Binary Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {664-663}, doi = {}, year = {2017}, } Article: ase17main-mainp491-p (type: Technical Research) doi:
	Lee, Sungho	ASE '17: "All about Activity Injection: ..." All about Activity Injection: Threats, Semantics, and Detection Sungho Lee, Sungjae Hwang, and Sukyoung Ryu (KAIST, South Korea; LG Electronics, South Korea) @InProceedings{ASE17p556, author = {Sungho Lee and Sungjae Hwang and Sukyoung Ryu}, title = {All about Activity Injection: Threats, Semantics, and Detection}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {556-555}, doi = {}, year = {2017}, } Article: ase17main-mainp445-p (type: Technical Research) doi:
	Lee, Wen-Chuan	ASE '17: "PAD: Programming Third-Party ..." PAD: Programming Third-Party Web Advertisement Censorship Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster (Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany) @InProceedings{ASE17p544, author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster}, title = {PAD: Programming Third-Party Web Advertisement Censorship}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {544-543}, doi = {}, year = {2017}, } Article: ase17main-mainp431-p (type: Technical Research) doi:
	Lee, Youn Kyu	ASE '17: "SEALANT: A Detection and Visualization ..." SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic (University of Southern California, USA) @InProceedings{ASE17p1216, author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic}, title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1216-1215}, doi = {}, year = {2017}, } Article: ase17demo-demoid14-p (type: Short Paper) doi:
	Legunsen, Owolabi	ASE '17: "STARTS: STAtic Regression ..." STARTS: STAtic Regression Test Selection Owolabi Legunsen, August Shi, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE17p1282, author = {Owolabi Legunsen and August Shi and Darko Marinov}, title = {STARTS: STAtic Regression Test Selection}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1282-1281}, doi = {}, year = {2017}, } Article: ase17demo-demoid35-p (type: Short Paper) doi:
	Lerner, Sorin	ASE '17: "Parsimony: An IDE for Example-Guided ..." Parsimony: An IDE for Example-Guided Synthesis of Lexers and Parsers Alan Leung and Sorin Lerner (University of California at San Diego, USA) @InProceedings{ASE17p1144, author = {Alan Leung and Sorin Lerner}, title = {Parsimony: An IDE for Example-Guided Synthesis of Lexers and Parsers}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1144-1143}, doi = {}, year = {2017}, } Article: ase17main-mainp434-p (type: Technical Research) doi:
	Leßenich, Olaf	ASE '17: "Renaming and Shifted Code ..." Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, and Janet Siegmund (University of Passau, Germany; Carnegie Mellon University, USA) @InProceedings{ASE17p862, author = {Olaf Leßenich and Sven Apel and Christian Kästner and Georg Seibt and Janet Siegmund}, title = {Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {862-861}, doi = {}, year = {2017}, } Article: ase17main-mainp356-p (type: Technical Research) doi:
	Leung, Alan	ASE '17: "Parsimony: An IDE for Example-Guided ..." Parsimony: An IDE for Example-Guided Synthesis of Lexers and Parsers Alan Leung and Sorin Lerner (University of California at San Diego, USA) @InProceedings{ASE17p1144, author = {Alan Leung and Sorin Lerner}, title = {Parsimony: An IDE for Example-Guided Synthesis of Lexers and Parsers}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1144-1143}, doi = {}, year = {2017}, } Article: ase17main-mainp434-p (type: Technical Research) doi:
	Levine, Mark	ASE '17: "Learning to Share: Engineering ..." Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh (Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland) @InProceedings{ASE17p586, author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh}, title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {586-585}, doi = {}, year = {2017}, } Article: ase17main-mainp093-p (type: New Ideas) doi:
	Li, Jiaying	ASE '17: "Automatic Loop-Invariant Generation ..." Automatic Loop-Invariant Generation and Refinement through Selective Sampling Jiaying Li, Jun Sun, Li Li, Quang Loc Le, and Shang-Wei Lin (Singapore University of Technology and Design, Singapore; Teesside University, UK; Nanyang Technological University, Singapore) @InProceedings{ASE17p1108, author = {Jiaying Li and Jun Sun and Li Li and Quang Loc Le and Shang-Wei Lin}, title = {Automatic Loop-Invariant Generation and Refinement through Selective Sampling}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1108-1107}, doi = {}, year = {2017}, } Article: ase17main-mainp061-p (type: Technical Research) doi:
	Li, Li	ASE '17: "Automatic Loop-Invariant Generation ..." Automatic Loop-Invariant Generation and Refinement through Selective Sampling Jiaying Li, Jun Sun, Li Li, Quang Loc Le, and Shang-Wei Lin (Singapore University of Technology and Design, Singapore; Teesside University, UK; Nanyang Technological University, Singapore) @InProceedings{ASE17p1108, author = {Jiaying Li and Jun Sun and Li Li and Quang Loc Le and Shang-Wei Lin}, title = {Automatic Loop-Invariant Generation and Refinement through Selective Sampling}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1108-1107}, doi = {}, year = {2017}, } Article: ase17main-mainp061-p (type: Technical Research) doi:
	Li, Shoubin	ASE '17: "Understanding Feature Requests ..." Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis Lin Shi, Celia Chen, Qing Wang, Shoubin Li, and Barry Boehm (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; University of Southern California, USA; Occidental College, USA) @InProceedings{ASE17p754, author = {Lin Shi and Celia Chen and Qing Wang and Shoubin Li and Barry Boehm}, title = {Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {754-753}, doi = {}, year = {2017}, } Article: ase17main-mainp060-p (type: Technical Research) doi:
	Li, Teng	ASE '17: "SimplyDroid: Efficient Event ..." SimplyDroid: Efficient Event Sequence Simplification for Android Application Bo Jiang, Yuxuan Wu, Teng Li, and W. K. Chan (Beihang University, China; City University of Hong Kong, China) @InProceedings{ASE17p604, author = {Bo Jiang and Yuxuan Wu and Teng Li and W. K. Chan}, title = {SimplyDroid: Efficient Event Sequence Simplification for Android Application}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {604-603}, doi = {}, year = {2017}, } Article: ase17main-mainp016-p (type: Technical Research) doi:
	Li, Xuandong	ASE '17: "Sketch-Guided GUI Test Generation ..." Sketch-Guided GUI Test Generation for Mobile Applications Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li (Nanjing University, China) @InProceedings{ASE17p334, author = {Chucheng Zhang and Haoliang Cheng and Enyi Tang and Xin Chen and Lei Bu and Xuandong Li}, title = {Sketch-Guided GUI Test Generation for Mobile Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {334-333}, doi = {}, year = {2017}, } Article: ase17main-mainp022-p (type: New Ideas) doi:
	Li, Yi	ASE '17: "Managing Software Evolution ..." Managing Software Evolution through Semantic History Slicing Yi Li (University of Toronto, Canada) @InProceedings{ASE17p1348, author = {Yi Li}, title = {Managing Software Evolution through Semantic History Slicing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1348-1347}, doi = {}, year = {2017}, } Article: ase17doc-doc3-p (type: Doctoral symposium (4 pages)) doi:
	Liang, Chieh-Jan Mike	ASE '17: "Systematically Testing Background ..." Systematically Testing Background Services of Mobile Apps Li Lyna Zhang, Chieh-Jan Mike Liang, Yunxin Liu, and Enhong Chen (University of Science and Technology of China, China; Microsoft Research, China) @InProceedings{ASE17p298, author = {Li Lyna Zhang and Chieh-Jan Mike Liang and Yunxin Liu and Enhong Chen}, title = {Systematically Testing Background Services of Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {298-297}, doi = {}, year = {2017}, } Article: ase17main-mainp072-p (type: Technical Research) doi:
	Liang, Zhenkai	ASE '17: "Automatically Assessing Crashes ..." Automatically Assessing Crashes from Heap Overflows Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng (Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore) @InProceedings{ASE17p580, author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng}, title = {Automatically Assessing Crashes from Heap Overflows}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {580-579}, doi = {}, year = {2017}, } Article: ase17main-mainp011-p (type: New Ideas) doi:
	Liew, Daniel	ASE '17: "Floating-Point Symbolic Execution: ..." Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, and Klaus Wehrle (Imperial College London, UK; RWTH Aachen University, Germany) @InProceedings{ASE17p922, author = {Daniel Liew and Daniel Schemmel and Cristian Cadar and Alastair F. Donaldson and Rafael Zähl and Klaus Wehrle}, title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {922-921}, doi = {}, year = {2017}, } Article: ase17main-mainp252-p (type: Experience) doi:
	Lin, Calvin	ASE '17: "Static Detection of Asymptotic ..." Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications Jia Chen, Oswaldo Olivo, Isil Dillig, and Calvin Lin (University of Texas at Austin, USA) @InProceedings{ASE17p532, author = {Jia Chen and Oswaldo Olivo and Isil Dillig and Calvin Lin}, title = {Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {532-531}, doi = {}, year = {2017}, } Article: ase17main-mainp010-p (type: Technical Research) doi:
	Lin, Jinfeng	ASE '17: "TiQi: A Natural Language Interface ..." TiQi: A Natural Language Interface for Querying Software Project Data Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin (University of Notre Dame, USA; DePaul University, USA) @InProceedings{ASE17p1306, author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin}, title = {TiQi: A Natural Language Interface for Querying Software Project Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1306-1305}, doi = {}, year = {2017}, } Article: ase17demo-demoid26-p (type: Short Paper) doi:
	Lin, Shang-Wei	ASE '17: "Automatic Loop-Invariant Generation ..." Automatic Loop-Invariant Generation and Refinement through Selective Sampling Jiaying Li, Jun Sun, Li Li, Quang Loc Le, and Shang-Wei Lin (Singapore University of Technology and Design, Singapore; Teesside University, UK; Nanyang Technological University, Singapore) @InProceedings{ASE17p1108, author = {Jiaying Li and Jun Sun and Li Li and Quang Loc Le and Shang-Wei Lin}, title = {Automatic Loop-Invariant Generation and Refinement through Selective Sampling}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1108-1107}, doi = {}, year = {2017}, } Article: ase17main-mainp061-p (type: Technical Research) doi: ASE '17: "FiB: Squeezing Loop Invariants ..." FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; Tampere University of Technology, Finland) @InProceedings{ASE17p1120, author = {Shang-Wei Lin and Jun Sun and Hao Xiao and Yang Liu and David Sanán and Henri Hansen}, title = {FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1120-1119}, doi = {}, year = {2017}, } Article: ase17main-mainp077-p (type: Technical Research) doi:
	Lin, Yun	ASE '17: "Mining Implicit Design Templates ..." Mining Implicit Design Templates for Actionable Code Reuse Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia) @InProceedings{ASE17p706, author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong}, title = {Mining Implicit Design Templates for Actionable Code Reuse}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {706-705}, doi = {}, year = {2017}, } Article: ase17main-mainp043-p (type: Technical Research) doi:
	Lin, Zeqi	ASE '17: "Improving Software Text Retrieval ..." Improving Software Text Retrieval using Conceptual Knowledge in Source Code Zeqi Lin, Yanzhen Zou, Junfeng Zhao, and Bing Xie (Peking University, China) @InProceedings{ASE17p424, author = {Zeqi Lin and Yanzhen Zou and Junfeng Zhao and Bing Xie}, title = {Improving Software Text Retrieval using Conceptual Knowledge in Source Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {424-423}, doi = {}, year = {2017}, } Article: ase17main-mainp419-p (type: Technical Research) doi:
	Linares-Vásquez, Mario	ASE '17: "Automatically Assessing Code ..." Automatically Assessing Code Understandability: How Far Are We? Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto (University of Molise, Italy; University of Lugano, Switzerland; College of William and Mary, USA; Universidad de los Andes, Colombia) @InProceedings{ASE17p730, author = {Simone Scalabrino and Gabriele Bavota and Christopher Vendome and Mario Linares-Vásquez and Denys Poshyvanyk and Rocco Oliveto}, title = {Automatically Assessing Code Understandability: How Far Are We?}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {730-729}, doi = {}, year = {2017}, } Article: ase17main-mainp213-p (type: Technical Research) doi:
	Liu, Han	ASE '17: "A Language Model for Statements ..." A Language Model for Statements of Software Code Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu (Tsinghua University, China) @InProceedings{ASE17p1006, author = {Yixiao Yang and Yu Jiang and Ming Gu and Jiaguang Sun and Jian Gao and Han Liu}, title = {A Language Model for Statements of Software Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1006-1005}, doi = {}, year = {2017}, } Article: ase17main-mainp485-p (type: New Ideas) doi:
	Liu, Hongyu	ASE '17: "UNDEAD: Detecting and Preventing ..." UNDEAD: Detecting and Preventing Deadlocks in Production Software Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu (University of Texas at San Antonio, USA; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{ASE17p1054, author = {Jinpeng Zhou and Sam Silvestro and Hongyu Liu and Yan Cai and Tongping Liu}, title = {UNDEAD: Detecting and Preventing Deadlocks in Production Software}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1054-1053}, doi = {}, year = {2017}, } Article: ase17main-mainp051-p (type: Technical Research) doi:
	Liu, Tongping	ASE '17: "UNDEAD: Detecting and Preventing ..." UNDEAD: Detecting and Preventing Deadlocks in Production Software Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu (University of Texas at San Antonio, USA; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{ASE17p1054, author = {Jinpeng Zhou and Sam Silvestro and Hongyu Liu and Yan Cai and Tongping Liu}, title = {UNDEAD: Detecting and Preventing Deadlocks in Production Software}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1054-1053}, doi = {}, year = {2017}, } Article: ase17main-mainp051-p (type: Technical Research) doi:
	Liu, Wenchuang	ASE '17: "TiQi: A Natural Language Interface ..." TiQi: A Natural Language Interface for Querying Software Project Data Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin (University of Notre Dame, USA; DePaul University, USA) @InProceedings{ASE17p1306, author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin}, title = {TiQi: A Natural Language Interface for Querying Software Project Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1306-1305}, doi = {}, year = {2017}, } Article: ase17demo-demoid26-p (type: Short Paper) doi:
	Liu, Yalin	ASE '17: "TiQi: A Natural Language Interface ..." TiQi: A Natural Language Interface for Querying Software Project Data Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin (University of Notre Dame, USA; DePaul University, USA) @InProceedings{ASE17p1306, author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin}, title = {TiQi: A Natural Language Interface for Querying Software Project Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1306-1305}, doi = {}, year = {2017}, } Article: ase17demo-demoid26-p (type: Short Paper) doi:
	Liu, Yang	ASE '17: "FiB: Squeezing Loop Invariants ..." FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; Tampere University of Technology, Finland) @InProceedings{ASE17p1120, author = {Shang-Wei Lin and Jun Sun and Hao Xiao and Yang Liu and David Sanán and Henri Hansen}, title = {FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1120-1119}, doi = {}, year = {2017}, } Article: ase17main-mainp077-p (type: Technical Research) doi: ASE '17: "Mining Implicit Design Templates ..." Mining Implicit Design Templates for Actionable Code Reuse Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia) @InProceedings{ASE17p706, author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong}, title = {Mining Implicit Design Templates for Actionable Code Reuse}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {706-705}, doi = {}, year = {2017}, } Article: ase17main-mainp043-p (type: Technical Research) doi:
	Liu, Yingqi	ASE '17: "PAD: Programming Third-Party ..." PAD: Programming Third-Party Web Advertisement Censorship Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster (Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany) @InProceedings{ASE17p544, author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster}, title = {PAD: Programming Third-Party Web Advertisement Censorship}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {544-543}, doi = {}, year = {2017}, } Article: ase17main-mainp431-p (type: Technical Research) doi:
	Liu, Yu David	ASE '17: "Understanding and Overcoming ..." Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, and Yu David Liu (Federal University of Paríç, Brazil; SUNY Binghamton, USA; Federal University of Pernambuco, Brazil; University of California at Irvine, USA) @InProceedings{ASE17p1090, author = {Gustavo Pinto and Anthony Canino and Fernando Castor and Guoqing Xu and Yu David Liu}, title = {Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1090-1089}, doi = {}, year = {2017}, } Article: ase17main-mainp311-p (type: Technical Research) doi:
	Liu, Yunxin	ASE '17: "Systematically Testing Background ..." Systematically Testing Background Services of Mobile Apps Li Lyna Zhang, Chieh-Jan Mike Liang, Yunxin Liu, and Enhong Chen (University of Science and Technology of China, China; Microsoft Research, China) @InProceedings{ASE17p298, author = {Li Lyna Zhang and Chieh-Jan Mike Liang and Yunxin Liu and Enhong Chen}, title = {Systematically Testing Background Services of Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {298-297}, doi = {}, year = {2017}, } Article: ase17main-mainp072-p (type: Technical Research) doi:
	Lo, David	ASE '17: "AnswerBot: Automated Generation ..." AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions Bowen Xu, Zhenchang Xing, Xin Xia, and David Lo (Zhejiang University, China; Singapore Management University, Singapore; Australian National University, Australia; University of British Columbia, Canada) @InProceedings{ASE17p1030, author = {Bowen Xu and Zhenchang Xing and Xin Xia and David Lo}, title = {AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1030-1029}, doi = {}, year = {2017}, } Article: ase17main-mainp260-p (type: Technical Research) doi: ASE '17: "APIBot: Question Answering ..." APIBot: Question Answering Bot for API Documentation Yuan Tian, Ferdian Thung, Abhishek Sharma, and David Lo (Singapore Management University, Singapore) @InProceedings{ASE17p454, author = {Yuan Tian and Ferdian Thung and Abhishek Sharma and David Lo}, title = {APIBot: Question Answering Bot for API Documentation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {454-453}, doi = {}, year = {2017}, } Article: ase17main-mainp366-p (type: New Ideas) doi:
	Lohar, Sugandha	ASE '17: "TiQi: A Natural Language Interface ..." TiQi: A Natural Language Interface for Querying Software Project Data Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin (University of Notre Dame, USA; DePaul University, USA) @InProceedings{ASE17p1306, author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin}, title = {TiQi: A Natural Language Interface for Querying Software Project Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1306-1305}, doi = {}, year = {2017}, } Article: ase17demo-demoid26-p (type: Short Paper) doi:
	Lugato, David	ASE '17: "taco: A Tool to Generate Tensor ..." taco: A Tool to Generate Tensor Algebra Kernels Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA) @InProceedings{ASE17p1276, author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe}, title = {taco: A Tool to Generate Tensor Algebra Kernels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1276-1275}, doi = {}, year = {2017}, } Article: ase17demo-demoid16-p (type: Short Paper) doi:
	Lussaud, Yvan	ASE '17: "ModelWriter: Text and Model-Synchronized ..." ModelWriter: Text and Model-Synchronized Document Engineering Platform Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux (Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France) @InProceedings{ASE17p1240, author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux}, title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1240-1239}, doi = {}, year = {2017}, } Article: ase17demo-demoid21-p (type: Short Paper) doi:
	Lüttgen, Gerald	ASE '17: "DSIbin: Identifying Dynamic ..." DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, and Herbert Bos (University of Bamberg, Germany; Microsoft, Canada; VU University Amsterdam, Netherlands) @InProceedings{ASE17p640, author = {Thomas Rupprecht and Xi Chen and David H. White and Jan H. Boockmann and Gerald Lüttgen and Herbert Bos}, title = {DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {640-639}, doi = {}, year = {2017}, } Article: ase17main-mainp483-p (type: Technical Research) doi:
	Lutz, Robyn	ASE '17: "Diagnosing Assumption Problems ..." Diagnosing Assumption Problems in Safety-Critical Products Mona Rahimi, Wandi Xiong, Jane Cleland-Huang, and Robyn Lutz (DePaul University, USA; Iowa State University, USA; University of Notre Dame, USA) @InProceedings{ASE17p790, author = {Mona Rahimi and Wandi Xiong and Jane Cleland-Huang and Robyn Lutz}, title = {Diagnosing Assumption Problems in Safety-Critical Products}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {790-789}, doi = {}, year = {2017}, } Article: ase17main-mainp008-p (type: Technical Research) doi:
	Lyu, Yingjun	ASE '17: "ELIXIR: Effective Object Oriented ..." ELIXIR: Effective Object Oriented Program Repair Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad (Fujitsu Labs, USA; University of Southern California, USA) @InProceedings{ASE17p970, author = {Ripon K. Saha and Yingjun Lyu and Hiroaki Yoshida and Mukul R. Prasad}, title = {ELIXIR: Effective Object Oriented Program Repair}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {970-969}, doi = {}, year = {2017}, } Article: ase17main-mainp374-p (type: Technical Research) doi:
	Mao, Ke	ASE '17: "Crowd Intelligence Enhances ..." Crowd Intelligence Enhances Automated Mobile Testing Ke Mao, Mark Harman, and Yue Jia (University College London, UK; Facebook, UK) @InProceedings{ASE17p310, author = {Ke Mao and Mark Harman and Yue Jia}, title = {Crowd Intelligence Enhances Automated Mobile Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {310-309}, doi = {}, year = {2017}, } Article: ase17main-mainp269-p (type: Technical Research) doi:
	Marinov, Darko	ASE '17: "STARTS: STAtic Regression ..." STARTS: STAtic Regression Test Selection Owolabi Legunsen, August Shi, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE17p1282, author = {Owolabi Legunsen and August Shi and Darko Marinov}, title = {STARTS: STAtic Regression Test Selection}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1282-1281}, doi = {}, year = {2017}, } Article: ase17demo-demoid35-p (type: Short Paper) doi:
	Masuhara, Hidehiko	ASE '17: "Defaultification Refactoring: ..." Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default Raffi Khatchadourian and Hidehiko Masuhara (City University of New York, USA; Tokyo Institute of Technology, Japan) @InProceedings{ASE17p1318, author = {Raffi Khatchadourian and Hidehiko Masuhara}, title = {Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1318-1317}, doi = {}, year = {2017}, } Article: ase17demo-demoid10-p (type: Short Paper) doi:
	Mathis, Björn	ASE '17: "Detecting Information Flow ..." Detecting Information Flow by Mutating Input Data Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, and Andreas Zeller (Saarland University, Germany; National University of Singapore, Singapore) @InProceedings{ASE17p568, author = {Björn Mathis and Vitalii Avdiienko and Ezekiel O. Soremekun and Marcel Böhme and Andreas Zeller}, title = {Detecting Information Flow by Mutating Input Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {568-567}, doi = {}, year = {2017}, } Article: ase17main-mainp148-p (type: Technical Research) doi:
	McMillan, Collin	ASE '17: "Automatically Generating Commit ..." Automatically Generating Commit Messages from Diffs using Neural Machine Translation Siyuan Jiang, Ameer Armaly, and Collin McMillan (University of Notre Dame, USA) @InProceedings{ASE17p436, author = {Siyuan Jiang and Ameer Armaly and Collin McMillan}, title = {Automatically Generating Commit Messages from Diffs using Neural Machine Translation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {436-435}, doi = {}, year = {2017}, } Article: ase17main-mainp041-p (type: Technical Research) doi:
	Medvidovic, Nenad	ASE '17: "SEALANT: A Detection and Visualization ..." SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic (University of Southern California, USA) @InProceedings{ASE17p1216, author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic}, title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1216-1215}, doi = {}, year = {2017}, } Article: ase17demo-demoid14-p (type: Short Paper) doi:
	Meftah, Lakhdar	ASE '17: "ANDROFLEET: Testing WiFi Peer-to-Peer ..." ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment (Inria, France; University of Lille, France; Saarland University, Germany; Institut Universitaire de France, France; Telecom Nancy, France) @InProceedings{ASE17p1294, author = {Lakhdar Meftah and Maria Gomez and Romain Rouvoy and Isabelle Chrisment}, title = {ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1294-1293}, doi = {}, year = {2017}, } Article: ase17demo-demoid19-p (type: Short Paper) doi:
	Melo, Luis	ASE '17: "Test Suite Parallelization ..." Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact Jeanderson Candido, Luis Melo, and Marcelo d’Amorim (Federal University of Pernambuco, Brazil) @InProceedings{ASE17p1168, author = {Jeanderson Candido and Luis Melo and Marcelo d’Amorim}, title = {Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1168-1167}, doi = {}, year = {2017}, } Article: ase17main-mainp397-p (type: Technical Research) doi:
	Menarini, Massimiliano	ASE '17: "Semantics-Assisted Code Review: ..." Semantics-Assisted Code Review: An Efficient Toolchain and a User Study Massimiliano Menarini, Yan Yan, and William G. Griswold (University of California at San Diego, USA) @InProceedings{ASE17p874, author = {Massimiliano Menarini and Yan Yan and William G. Griswold}, title = {Semantics-Assisted Code Review: An Efficient Toolchain and a User Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {874-873}, doi = {}, year = {2017}, } Article: ase17main-mainp291-p (type: Technical Research) doi:
	Meng, Guozhu	ASE '17: "Mining Implicit Design Templates ..." Mining Implicit Design Templates for Actionable Code Reuse Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia) @InProceedings{ASE17p706, author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong}, title = {Mining Implicit Design Templates for Actionable Code Reuse}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {706-705}, doi = {}, year = {2017}, } Article: ase17main-mainp043-p (type: Technical Research) doi:
	Meng, Weijie	ASE '17: "PAD: Programming Third-Party ..." PAD: Programming Third-Party Web Advertisement Censorship Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster (Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany) @InProceedings{ASE17p544, author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster}, title = {PAD: Programming Third-Party Web Advertisement Censorship}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {544-543}, doi = {}, year = {2017}, } Article: ase17main-mainp431-p (type: Technical Research) doi:
	Mesbah, Ali	ASE '17: "Detecting Unknown Inconsistencies ..." Detecting Unknown Inconsistencies in Web Applications Frolin S. Ocariza, Jr., Karthik Pattabiraman, and Ali Mesbah (University of British Columbia, Canada) @InProceedings{ASE17p886, author = {Frolin S. Ocariza, Jr. and Karthik Pattabiraman and Ali Mesbah}, title = {Detecting Unknown Inconsistencies in Web Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {886-885}, doi = {}, year = {2017}, } Article: ase17main-mainp387-p (type: Technical Research) doi:
	Metzler, Patrick	ASE '17: "Quick Verification of Concurrent ..." Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling Patrick Metzler, Habib Saissi, Péter Bokor, and Neeraj Suri (TU Darmstadt, Germany) @InProceedings{ASE17p1102, author = {Patrick Metzler and Habib Saissi and Péter Bokor and Neeraj Suri}, title = {Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1102-1101}, doi = {}, year = {2017}, } Article: ase17main-mainp185-p (type: New Ideas) doi:
	Mezini, Mira	ASE '17: "CogniCrypt: Supporting Developers ..." CogniCrypt: Supporting Developers in Using Cryptography Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath (University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany) @InProceedings{ASE17p1264, author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath}, title = {CogniCrypt: Supporting Developers in Using Cryptography}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1264-1263}, doi = {}, year = {2017}, } Article: ase17demo-demoid7-p (type: Short Paper) doi:
	Miller, Tim	ASE '17: "Leveraging Abstract Interpretation ..." Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution Eman Alatawi, Harald Søndergaard, and Tim Miller (University of Melbourne, Australia) @InProceedings{ASE17p940, author = {Eman Alatawi and Harald Søndergaard and Tim Miller}, title = {Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {940-939}, doi = {}, year = {2017}, } Article: ase17main-mainp324-p (type: New Ideas) doi:
	Mills, Chris	ASE '17: "Towards the Automatic Classification ..." Towards the Automatic Classification of Traceability Links Chris Mills (Florida State University, USA) @InProceedings{ASE17p1352, author = {Chris Mills}, title = {Towards the Automatic Classification of Traceability Links}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1352-1351}, doi = {}, year = {2017}, } Article: ase17doc-doc11-p (type: Doctoral symposium (4 pages)) doi:
	Mirhosseini, Samim	ASE '17: "Can Automated Pull Requests ..." Can Automated Pull Requests Encourage Software Developers to Upgrade Out-of-Date Dependencies? Samim Mirhosseini and Chris Parnin (North Carolina State University, USA) @InProceedings{ASE17p382, author = {Samim Mirhosseini and Chris Parnin}, title = {Can Automated Pull Requests Encourage Software Developers to Upgrade Out-of-Date Dependencies?}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {382-381}, doi = {}, year = {2017}, } Article: ase17main-mainp280-p (type: Technical Research) doi:
	Monaikul, Natawut	ASE '17: "TiQi: A Natural Language Interface ..." TiQi: A Natural Language Interface for Querying Software Project Data Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin (University of Notre Dame, USA; DePaul University, USA) @InProceedings{ASE17p1306, author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin}, title = {TiQi: A Natural Language Interface for Querying Software Project Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1306-1305}, doi = {}, year = {2017}, } Article: ase17demo-demoid26-p (type: Short Paper) doi:
	Monceaux, Anne	ASE '17: "ModelWriter: Text and Model-Synchronized ..." ModelWriter: Text and Model-Synchronized Document Engineering Platform Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux (Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France) @InProceedings{ASE17p1240, author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux}, title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1240-1239}, doi = {}, year = {2017}, } Article: ase17demo-demoid21-p (type: Short Paper) doi:
	Moonen, Leon	ASE '17: "Predicting Relevance of Change ..." Predicting Relevance of Change Recommendations Thomas Rolfsnes, Leon Moonen, and David Binkley (Simula Research Laboratory, Norway; Loyola University Maryland, USA) @InProceedings{ASE17p1018, author = {Thomas Rolfsnes and Leon Moonen and David Binkley}, title = {Predicting Relevance of Change Recommendations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1018-1017}, doi = {}, year = {2017}, } Article: ase17main-mainp484-p (type: Technical Research) doi:
	Nadi, Sarah	ASE '17: "CogniCrypt: Supporting Developers ..." CogniCrypt: Supporting Developers in Using Cryptography Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath (University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany) @InProceedings{ASE17p1264, author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath}, title = {CogniCrypt: Supporting Developers in Using Cryptography}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1264-1263}, doi = {}, year = {2017}, } Article: ase17demo-demoid7-p (type: Short Paper) doi:
	Nam, Daye	ASE '17: "SEALANT: A Detection and Visualization ..." SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic (University of Southern California, USA) @InProceedings{ASE17p1216, author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic}, title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1216-1215}, doi = {}, year = {2017}, } Article: ase17demo-demoid14-p (type: Short Paper) doi:
	Narayan, Apurva	ASE '17: "TREM: A Tool for Mining Timed ..." TREM: A Tool for Mining Timed Regular Specifications from System Traces Lukas Schmidt, Apurva Narayan, and Sebastian Fischmeister (University of Waterloo, Canada) @InProceedings{ASE17p1234, author = {Lukas Schmidt and Apurva Narayan and Sebastian Fischmeister}, title = {TREM: A Tool for Mining Timed Regular Specifications from System Traces}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1234-1233}, doi = {}, year = {2017}, } Article: ase17demo-demoid25-p (type: Short Paper) doi:
	Nguyen, ThanhVu	ASE '17: "SymInfer: Inferring Program ..." SymInfer: Inferring Program Invariants using Symbolic States ThanhVu Nguyen, Matthew B. Dwyer, and Willem Visser (University of Nebraska-Lincoln, USA; Stellenbosch University, South Africa) @InProceedings{ASE17p1132, author = {ThanhVu Nguyen and Matthew B. Dwyer and Willem Visser}, title = {SymInfer: Inferring Program Invariants using Symbolic States}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1132-1131}, doi = {}, year = {2017}, } Article: ase17main-mainp222-p (type: Technical Research) doi:
	Nguyen, Truc L.	ASE '17: "Parallel Bug-Finding in Concurrent ..." Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato (University of Southampton, UK; University of Sussex, UK; Stellenbosch University, South Africa; University of Salerno, Italy) @InProceedings{ASE17p1078, author = {Truc L. Nguyen and Peter Schrammel and Bernd Fischer and Salvatore La Torre and Gennaro Parlato}, title = {Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1078-1077}, doi = {}, year = {2017}, } Article: ase17main-mainp375-p (type: Technical Research) doi:
	Nielebock, Sebastian	ASE '17: "Towards API-Specific Automatic ..." Towards API-Specific Automatic Program Repair Sebastian Nielebock (Otto von Guericke University Magdeburg, Germany) @InProceedings{ASE17p1344, author = {Sebastian Nielebock}, title = {Towards API-Specific Automatic Program Repair}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1344-1343}, doi = {}, year = {2017}, } Article: ase17doc-doc1-p (type: Doctoral symposium (4 pages)) doi:
	Nuseibeh, Bashar	ASE '17: "Learning to Share: Engineering ..." Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh (Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland) @InProceedings{ASE17p586, author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh}, title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {586-585}, doi = {}, year = {2017}, } Article: ase17main-mainp093-p (type: New Ideas) doi: ASE '17: "O2O Service Composition with ..." O2O Service Composition with Social Collaboration Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao (Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; Lero, Ireland) @InProceedings{ASE17p766, author = {Wenyi Qian and Xin Peng and Jun Sun and Yijun Yu and Bashar Nuseibeh and Wenyun Zhao}, title = {O2O Service Composition with Social Collaboration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {766-765}, doi = {}, year = {2017}, } Article: ase17main-mainp042-p (type: Technical Research) doi:
	Ocariza, Jr., Frolin S.	ASE '17: "Detecting Unknown Inconsistencies ..." Detecting Unknown Inconsistencies in Web Applications Frolin S. Ocariza, Jr., Karthik Pattabiraman, and Ali Mesbah (University of British Columbia, Canada) @InProceedings{ASE17p886, author = {Frolin S. Ocariza, Jr. and Karthik Pattabiraman and Ali Mesbah}, title = {Detecting Unknown Inconsistencies in Web Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {886-885}, doi = {}, year = {2017}, } Article: ase17main-mainp387-p (type: Technical Research) doi:
	Oh, DongYeop	ASE '17: "Testing Intermediate Representations ..." Testing Intermediate Representations for Binary Analysis Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha (KAIST, South Korea; Gachon University, South Korea) @InProceedings{ASE17p664, author = {Soomin Kim and Markus Faerevaag and Minkyu Jung and SeungIl Jung and DongYeop Oh and JongHyup Lee and Sang Kil Cha}, title = {Testing Intermediate Representations for Binary Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {664-663}, doi = {}, year = {2017}, } Article: ase17main-mainp491-p (type: Technical Research) doi:
	Ohrndorf, Manuel	ASE '17: "Incrementally Slicing Editable ..." Incrementally Slicing Editable Submodels Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer (University of Siegen, Germany; Humboldt University of Berlin, Germany) @InProceedings{ASE17p1246, author = {Christopher Pietsch and Manuel Ohrndorf and Udo Kelter and Timo Kehrer}, title = {Incrementally Slicing Editable Submodels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1246-1245}, doi = {}, year = {2017}, } Article: ase17demo-demoid33-p (type: Short Paper) doi:
	Ohtani, Akio	ASE '17: "Generating Simpler AST Edit ..." Generating Simpler AST Edit Scripts by Considering Copy-and-Paste Yoshiki Higo, Akio Ohtani, and Shinji Kusumoto (Osaka University, Japan) @InProceedings{ASE17p850, author = {Yoshiki Higo and Akio Ohtani and Shinji Kusumoto}, title = {Generating Simpler AST Edit Scripts by Considering Copy-and-Paste}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {850-849}, doi = {}, year = {2017}, } Article: ase17main-mainp210-p (type: Technical Research) doi:
	Oliveto, Rocco	ASE '17: "Automatically Assessing Code ..." Automatically Assessing Code Understandability: How Far Are We? Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto (University of Molise, Italy; University of Lugano, Switzerland; College of William and Mary, USA; Universidad de los Andes, Colombia) @InProceedings{ASE17p730, author = {Simone Scalabrino and Gabriele Bavota and Christopher Vendome and Mario Linares-Vásquez and Denys Poshyvanyk and Rocco Oliveto}, title = {Automatically Assessing Code Understandability: How Far Are We?}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {730-729}, doi = {}, year = {2017}, } Article: ase17main-mainp213-p (type: Technical Research) doi:
	Olivo, Oswaldo	ASE '17: "Static Detection of Asymptotic ..." Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications Jia Chen, Oswaldo Olivo, Isil Dillig, and Calvin Lin (University of Texas at Austin, USA) @InProceedings{ASE17p532, author = {Jia Chen and Oswaldo Olivo and Isil Dillig and Calvin Lin}, title = {Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {532-531}, doi = {}, year = {2017}, } Article: ase17main-mainp010-p (type: Technical Research) doi:
	Ong, C.-H. Luke	ASE '17: "More Effective Interpolations ..." More Effective Interpolations in Software Model Checking Cong Tian, Zhao Duan, Zhenhua Duan, and C.-H. Luke Ong (Xidian University, China; University of Oxford, UK) @InProceedings{ASE17p484, author = {Cong Tian and Zhao Duan and Zhenhua Duan and C.-H. Luke Ong}, title = {More Effective Interpolations in Software Model Checking}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {484-483}, doi = {}, year = {2017}, } Article: ase17main-mainp195-p (type: Technical Research) doi:
	Orso, Alessandro	ASE '17: "Automated Cross-Platform Inconsistency ..." Automated Cross-Platform Inconsistency Detection for Mobile Apps Mattia Fazzini and Alessandro Orso (Georgia Institute of Technology, USA) @InProceedings{ASE17p616, author = {Mattia Fazzini and Alessandro Orso}, title = {Automated Cross-Platform Inconsistency Detection for Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {616-615}, doi = {}, year = {2017}, } Article: ase17main-mainp402-p (type: Technical Research) doi:
	Paixao, Matheus	ASE '17: "Are Developers Aware of the ..." Are Developers Aware of the Architectural Impact of Their Changes? Matheus Paixao, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, and Mark Harman (University College London, UK) @InProceedings{ASE17p394, author = {Matheus Paixao and Jens Krinke and DongGyun Han and Chaiyong Ragkhitwetsagul and Mark Harman}, title = {Are Developers Aware of the Architectural Impact of Their Changes?}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {394-393}, doi = {}, year = {2017}, } Article: ase17main-mainp479-p (type: Technical Research) doi:
	Palmskog, Karl	ASE '17: "iCoq: Regression Proof Selection ..." iCoq: Regression Proof Selection for Large-Scale Verification Projects Ahmet Celik, Karl Palmskog, and Milos Gligoric (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE17p472, author = {Ahmet Celik and Karl Palmskog and Milos Gligoric}, title = {iCoq: Regression Proof Selection for Large-Scale Verification Projects}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {472-471}, doi = {}, year = {2017}, } Article: ase17main-mainp407-p (type: Technical Research) doi:
	Parlato, Gennaro	ASE '17: "Parallel Bug-Finding in Concurrent ..." Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato (University of Southampton, UK; University of Sussex, UK; Stellenbosch University, South Africa; University of Salerno, Italy) @InProceedings{ASE17p1078, author = {Truc L. Nguyen and Peter Schrammel and Bernd Fischer and Salvatore La Torre and Gennaro Parlato}, title = {Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1078-1077}, doi = {}, year = {2017}, } Article: ase17main-mainp375-p (type: Technical Research) doi:
	Parnin, Chris	ASE '17: "Can Automated Pull Requests ..." Can Automated Pull Requests Encourage Software Developers to Upgrade Out-of-Date Dependencies? Samim Mirhosseini and Chris Parnin (North Carolina State University, USA) @InProceedings{ASE17p382, author = {Samim Mirhosseini and Chris Parnin}, title = {Can Automated Pull Requests Encourage Software Developers to Upgrade Out-of-Date Dependencies?}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {382-381}, doi = {}, year = {2017}, } Article: ase17main-mainp280-p (type: Technical Research) doi:
	Patel, Akshay	ASE '17: "Transfer Learning for Performance ..." Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis Pooyan Jamshidi, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, and Yuvraj Agarwal (Carnegie Mellon University, USA; Bauhaus-University Weimar, Germany) @InProceedings{ASE17p814, author = {Pooyan Jamshidi and Norbert Siegmund and Miguel Velez and Christian Kästner and Akshay Patel and Yuvraj Agarwal}, title = {Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {814-813}, doi = {}, year = {2017}, } Article: ase17main-mainp258-p (type: Technical Research) doi:
	Patra, Jibesh	ASE '17: "Automatically Reducing Tree-Structured ..." Automatically Reducing Tree-Structured Test Inputs Satia Herfert, Jibesh Patra, and Michael Pradel (TU Darmstadt, Germany) @InProceedings{ASE17p1192, author = {Satia Herfert and Jibesh Patra and Michael Pradel}, title = {Automatically Reducing Tree-Structured Test Inputs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1192-1191}, doi = {}, year = {2017}, } Article: ase17main-mainp202-p (type: Technical Research) doi:
	Pattabiraman, Karthik	ASE '17: "Detecting Unknown Inconsistencies ..." Detecting Unknown Inconsistencies in Web Applications Frolin S. Ocariza, Jr., Karthik Pattabiraman, and Ali Mesbah (University of British Columbia, Canada) @InProceedings{ASE17p886, author = {Frolin S. Ocariza, Jr. and Karthik Pattabiraman and Ali Mesbah}, title = {Detecting Unknown Inconsistencies in Web Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {886-885}, doi = {}, year = {2017}, } Article: ase17main-mainp387-p (type: Technical Research) doi:
	Pei, Yu	ASE '17: "Contract-Based Program Repair ..." Contract-Based Program Repair without the Contracts Liushan Chen, Yu Pei, and Carlo A. Furia (Hong Kong Polytechnic University, China; Chalmers University of Technology, Sweden) @InProceedings{ASE17p958, author = {Liushan Chen and Yu Pei and Carlo A. Furia}, title = {Contract-Based Program Repair without the Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {958-957}, doi = {}, year = {2017}, } Article: ase17main-mainp157-p (type: Technical Research) doi:
	Peleg, Hila	ASE '17: "Learn&Fuzz: Machine Learning ..." Learn&Fuzz: Machine Learning for Input Fuzzing Patrice Godefroid, Hila Peleg, and Rishabh Singh (Microsoft Research, USA; Technion, Israel) @InProceedings{ASE17p346, author = {Patrice Godefroid and Hila Peleg and Rishabh Singh}, title = {Learn&Fuzz: Machine Learning for Input Fuzzing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {346-345}, doi = {}, year = {2017}, } Article: ase17main-mainp359-p (type: Technical Research) doi:
	Peng, Xin	ASE '17: "Mining Implicit Design Templates ..." Mining Implicit Design Templates for Actionable Code Reuse Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia) @InProceedings{ASE17p706, author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong}, title = {Mining Implicit Design Templates for Actionable Code Reuse}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {706-705}, doi = {}, year = {2017}, } Article: ase17main-mainp043-p (type: Technical Research) doi: ASE '17: "O2O Service Composition with ..." O2O Service Composition with Social Collaboration Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao (Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; Lero, Ireland) @InProceedings{ASE17p766, author = {Wenyi Qian and Xin Peng and Jun Sun and Yijun Yu and Bashar Nuseibeh and Wenyun Zhao}, title = {O2O Service Composition with Social Collaboration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {766-765}, doi = {}, year = {2017}, } Article: ase17main-mainp042-p (type: Technical Research) doi:
	Pérez-Soler, Sara	ASE '17: "The Rise of the (Modelling) ..." The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks Sara Pérez-Soler, Esther Guerra, Juan de Lara, and Francisco Jurado (Autonomous University of Madrid, Spain) @InProceedings{ASE17p1048, author = {Sara Pérez-Soler and Esther Guerra and Juan de Lara and Francisco Jurado}, title = {The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1048-1047}, doi = {}, year = {2017}, } Article: ase17main-mainp224-p (type: New Ideas) doi:
	Perry, David	ASE '17: "UI Driven Android Application ..." UI Driven Android Application Reduction Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, and Chen Tian (Purdue University, USA; Huawei, USA) @InProceedings{ASE17p592, author = {Jianjun Huang and Yousra Aafer and David Perry and Xiangyu Zhang and Chen Tian}, title = {UI Driven Android Application Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {592-591}, doi = {}, year = {2017}, } Article: ase17main-mainp335-p (type: Technical Research) doi:
	Pietsch, Christopher	ASE '17: "Incrementally Slicing Editable ..." Incrementally Slicing Editable Submodels Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer (University of Siegen, Germany; Humboldt University of Berlin, Germany) @InProceedings{ASE17p1246, author = {Christopher Pietsch and Manuel Ohrndorf and Udo Kelter and Timo Kehrer}, title = {Incrementally Slicing Editable Submodels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1246-1245}, doi = {}, year = {2017}, } Article: ase17demo-demoid33-p (type: Short Paper) doi:
	Pinto, Gustavo	ASE '17: "Understanding and Overcoming ..." Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, and Yu David Liu (Federal University of Paríç, Brazil; SUNY Binghamton, USA; Federal University of Pernambuco, Brazil; University of California at Irvine, USA) @InProceedings{ASE17p1090, author = {Gustavo Pinto and Anthony Canino and Fernando Castor and Guoqing Xu and Yu David Liu}, title = {Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1090-1089}, doi = {}, year = {2017}, } Article: ase17main-mainp311-p (type: Technical Research) doi:
	Polgreen, Elizabeth	ASE '17: "DSSynth: An Automated Digital ..." DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen (University of Oxford, UK; Federal University of Amazonas, Brazil) @InProceedings{ASE17p1252, author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen}, title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1252-1251}, doi = {}, year = {2017}, } Article: ase17demo-demoid12-p (type: Short Paper) doi:
	Polini, Andrea	ASE '17: "BProVe: Tool Support for Business ..." BProVe: Tool Support for Business Process Verification Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin (University of Camerino, Italy; DTU, Denmark) @InProceedings{ASE17p1270, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, title = {BProVe: Tool Support for Business Process Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1270-1269}, doi = {}, year = {2017}, } Article: ase17demo-demoid15-p (type: Short Paper) doi: ASE '17: "BProVe: A Formal Verification ..." BProVe: A Formal Verification Framework for Business Process Models Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin (University of Camerino, Italy; DTU, Denmark) @InProceedings{ASE17p520, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, title = {BProVe: A Formal Verification Framework for Business Process Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {520-519}, doi = {}, year = {2017}, } Article: ase17main-mainp272-p (type: Technical Research) doi:
	Porubän, Jaroslav	ASE '17: "RuntimeSearch: Ctrl+F for ..." RuntimeSearch: Ctrl+F for a Running Program Matúš Sulír and Jaroslav Porubän (Technical University of Košice, Slovakia) @InProceedings{ASE17p700, author = {Matúš Sulír and Jaroslav Porubän}, title = {RuntimeSearch: Ctrl+F for a Running Program}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {700-699}, doi = {}, year = {2017}, } Article: ase17main-mainp318-p (type: New Ideas) doi:
	Poshyvanyk, Denys	ASE '17: "Automatically Assessing Code ..." Automatically Assessing Code Understandability: How Far Are We? Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto (University of Molise, Italy; University of Lugano, Switzerland; College of William and Mary, USA; Universidad de los Andes, Colombia) @InProceedings{ASE17p730, author = {Simone Scalabrino and Gabriele Bavota and Christopher Vendome and Mario Linares-Vásquez and Denys Poshyvanyk and Rocco Oliveto}, title = {Automatically Assessing Code Understandability: How Far Are We?}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {730-729}, doi = {}, year = {2017}, } Article: ase17main-mainp213-p (type: Technical Research) doi:
	Pradel, Michael	ASE '17: "Automatically Reducing Tree-Structured ..." Automatically Reducing Tree-Structured Test Inputs Satia Herfert, Jibesh Patra, and Michael Pradel (TU Darmstadt, Germany) @InProceedings{ASE17p1192, author = {Satia Herfert and Jibesh Patra and Michael Pradel}, title = {Automatically Reducing Tree-Structured Test Inputs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1192-1191}, doi = {}, year = {2017}, } Article: ase17main-mainp202-p (type: Technical Research) doi: ASE '17: "Saying ’Hi!’ Is Not Enough: ..." Saying ’Hi!’ Is Not Enough: Mining Inputs for Effective Test Generation Luca Della Toffola, Cristian Alexandru Staicu, and Michael Pradel (ETH Zurich, Switzerland; TU Darmstadt, Germany) @InProceedings{ASE17p340, author = {Luca Della Toffola and Cristian Alexandru Staicu and Michael Pradel}, title = {Saying ’Hi!’ Is Not Enough: Mining Inputs for Effective Test Generation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {340-339}, doi = {}, year = {2017}, } Article: ase17main-mainp233-p (type: New Ideas) doi:
	Prasad, Mukul R.	ASE '17: "ELIXIR: Effective Object Oriented ..." ELIXIR: Effective Object Oriented Program Repair Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad (Fujitsu Labs, USA; University of Southern California, USA) @InProceedings{ASE17p970, author = {Ripon K. Saha and Yingjun Lyu and Hiroaki Yoshida and Mukul R. Prasad}, title = {ELIXIR: Effective Object Oriented Program Repair}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {970-969}, doi = {}, year = {2017}, } Article: ase17main-mainp374-p (type: Technical Research) doi:
	Price, Blaine A.	ASE '17: "Learning to Share: Engineering ..." Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh (Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland) @InProceedings{ASE17p586, author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh}, title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {586-585}, doi = {}, year = {2017}, } Article: ase17main-mainp093-p (type: New Ideas) doi:
	Qian, Wenyi	ASE '17: "O2O Service Composition with ..." O2O Service Composition with Social Collaboration Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao (Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; Lero, Ireland) @InProceedings{ASE17p766, author = {Wenyi Qian and Xin Peng and Jun Sun and Yijun Yu and Bashar Nuseibeh and Wenyun Zhao}, title = {O2O Service Composition with Social Collaboration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {766-765}, doi = {}, year = {2017}, } Article: ase17main-mainp042-p (type: Technical Research) doi:
	Qian, Xiangxing	ASE '17: "EHBDroid: Beyond GUI Testing ..." EHBDroid: Beyond GUI Testing for Android Applications Wei Song, Xiangxing Qian, and Jeff Huang (Nanjing University of Science and Technology, China; Texas A&M University, USA) @InProceedings{ASE17p322, author = {Wei Song and Xiangxing Qian and Jeff Huang}, title = {EHBDroid: Beyond GUI Testing for Android Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {322-321}, doi = {}, year = {2017}, } Article: ase17main-mainp096-p (type: Technical Research) doi:
	Qin, Feng	ASE '17: "A Comprehensive Study on Real ..." A Comprehensive Study on Real World Concurrency Bugs in Node.js Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA) @InProceedings{ASE17p838, author = {Jie Wang and Wensheng Dou and Yu Gao and Chushu Gao and Feng Qin and Kang Yin and Jun Wei}, title = {A Comprehensive Study on Real World Concurrency Bugs in Node.js}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {838-837}, doi = {}, year = {2017}, } Article: ase17main-mainp155-p (type: Technical Research) doi:
	Rabiser, Rick	ASE '17: "Visualization Support for ..." Visualization Support for Requirements Monitoring in Systems of Systems Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher (JKU Linz, Austria; University of Notre Dame, USA) @InProceedings{ASE17p1222, author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher}, title = {Visualization Support for Requirements Monitoring in Systems of Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1222-1221}, doi = {}, year = {2017}, } Article: ase17demo-demoid8-p (type: Short Paper) doi: ASE '17: "Mining Constraints for Event-based ..." Mining Constraints for Event-based Monitoring in Systems of Systems Thomas Krismayer, Rick Rabiser, and Paul Grünbacher (JKU Linz, Austria) @InProceedings{ASE17p1156, author = {Thomas Krismayer and Rick Rabiser and Paul Grünbacher}, title = {Mining Constraints for Event-based Monitoring in Systems of Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1156-1155}, doi = {}, year = {2017}, } Article: ase17main-mainp074-p (type: New Ideas) doi:
	Rafiq, Yasmin	ASE '17: "Learning to Share: Engineering ..." Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh (Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland) @InProceedings{ASE17p586, author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh}, title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {586-585}, doi = {}, year = {2017}, } Article: ase17main-mainp093-p (type: New Ideas) doi:
	Ragkhitwetsagul, Chaiyong	ASE '17: "Are Developers Aware of the ..." Are Developers Aware of the Architectural Impact of Their Changes? Matheus Paixao, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, and Mark Harman (University College London, UK) @InProceedings{ASE17p394, author = {Matheus Paixao and Jens Krinke and DongGyun Han and Chaiyong Ragkhitwetsagul and Mark Harman}, title = {Are Developers Aware of the Architectural Impact of Their Changes?}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {394-393}, doi = {}, year = {2017}, } Article: ase17main-mainp479-p (type: Technical Research) doi:
	Rahimi, Mona	ASE '17: "Diagnosing Assumption Problems ..." Diagnosing Assumption Problems in Safety-Critical Products Mona Rahimi, Wandi Xiong, Jane Cleland-Huang, and Robyn Lutz (DePaul University, USA; Iowa State University, USA; University of Notre Dame, USA) @InProceedings{ASE17p790, author = {Mona Rahimi and Wandi Xiong and Jane Cleland-Huang and Robyn Lutz}, title = {Diagnosing Assumption Problems in Safety-Critical Products}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {790-789}, doi = {}, year = {2017}, } Article: ase17main-mainp008-p (type: Technical Research) doi:
	Rahimi, Shahram	ASE '17: "SentiCR: A Customized Sentiment ..." SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions Toufique Ahmed, Amiangshu Bosu, Anindya Iqbal, and Shahram Rahimi (Bangladesh University of Engineering and Technology, Bangladesh; Southern Illinois University at Carbondale, USA) @InProceedings{ASE17p406, author = {Toufique Ahmed and Amiangshu Bosu and Anindya Iqbal and Shahram Rahimi}, title = {SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {406-405}, doi = {}, year = {2017}, } Article: ase17main-mainp111-p (type: New Ideas) doi:
	Rahman, Mohammad Masudur	ASE '17: "Improved Query Reformulation ..." Improved Query Reformulation for Concept Location using CodeRank and Document Structures Mohammad Masudur Rahman and Chanchal K. Roy (University of Saskatchewan, Canada) @InProceedings{ASE17p742, author = {Mohammad Masudur Rahman and Chanchal K. Roy}, title = {Improved Query Reformulation for Concept Location using CodeRank and Document Structures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {742-741}, doi = {}, year = {2017}, } Article: ase17main-mainp322-p (type: Technical Research) doi:
	Rasin, Alexander	ASE '17: "TiQi: A Natural Language Interface ..." TiQi: A Natural Language Interface for Querying Software Project Data Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin (University of Notre Dame, USA; DePaul University, USA) @InProceedings{ASE17p1306, author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin}, title = {TiQi: A Natural Language Interface for Querying Software Project Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1306-1305}, doi = {}, year = {2017}, } Article: ase17demo-demoid26-p (type: Short Paper) doi:
	Ratol, Inderjot Kaur	ASE '17: "Detecting Fragile Comments ..." Detecting Fragile Comments Inderjot Kaur Ratol and Martin P. Robillard (McGill University, Canada) @InProceedings{ASE17p412, author = {Inderjot Kaur Ratol and Martin P. Robillard}, title = {Detecting Fragile Comments}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {412-411}, doi = {}, year = {2017}, } Article: ase17main-mainp242-p (type: Technical Research) doi:
	Re, Barbara	ASE '17: "BProVe: Tool Support for Business ..." BProVe: Tool Support for Business Process Verification Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin (University of Camerino, Italy; DTU, Denmark) @InProceedings{ASE17p1270, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, title = {BProVe: Tool Support for Business Process Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1270-1269}, doi = {}, year = {2017}, } Article: ase17demo-demoid15-p (type: Short Paper) doi: ASE '17: "BProVe: A Formal Verification ..." BProVe: A Formal Verification Framework for Business Process Models Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin (University of Camerino, Italy; DTU, Denmark) @InProceedings{ASE17p520, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, title = {BProVe: A Formal Verification Framework for Business Process Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {520-519}, doi = {}, year = {2017}, } Article: ase17main-mainp272-p (type: Technical Research) doi:
	Reif, Michael	ASE '17: "CogniCrypt: Supporting Developers ..." CogniCrypt: Supporting Developers in Using Cryptography Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath (University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany) @InProceedings{ASE17p1264, author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath}, title = {CogniCrypt: Supporting Developers in Using Cryptography}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1264-1263}, doi = {}, year = {2017}, } Article: ase17demo-demoid7-p (type: Short Paper) doi:
	Reiss, Steven P.	ASE '17: "A Demonstration of Simultaneous ..." A Demonstration of Simultaneous Execution and Editing in a Development Environment Steven P. Reiss and Qi Xin (Brown University, USA) @InProceedings{ASE17p1228, author = {Steven P. Reiss and Qi Xin}, title = {A Demonstration of Simultaneous Execution and Editing in a Development Environment}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1228-1227}, doi = {}, year = {2017}, } Article: ase17demo-demoid6-p (type: Short Paper) doi: ASE '17: "Leveraging Syntax-Related ..." Leveraging Syntax-Related Code for Automated Program Repair Qi Xin and Steven P. Reiss (Brown University, USA) @InProceedings{ASE17p982, author = {Qi Xin and Steven P. Reiss}, title = {Leveraging Syntax-Related Code for Automated Program Repair}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {982-981}, doi = {}, year = {2017}, } Article: ase17main-mainp317-p (type: Technical Research) doi:
	Ricci, Francesco	ASE '17: "Context-Aware Integrated Development ..." Context-Aware Integrated Development Environment Command Recommender Systems Marko Gasparic, Tural Gurbanov, and Francesco Ricci (Free University of Bolzano, Italy) @InProceedings{ASE17p1012, author = {Marko Gasparic and Tural Gurbanov and Francesco Ricci}, title = {Context-Aware Integrated Development Environment Command Recommender Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1012-1011}, doi = {}, year = {2017}, } Article: ase17main-mainp069-p (type: New Ideas) doi:
	Robillard, Martin P.	ASE '17: "Detecting Fragile Comments ..." Detecting Fragile Comments Inderjot Kaur Ratol and Martin P. Robillard (McGill University, Canada) @InProceedings{ASE17p412, author = {Inderjot Kaur Ratol and Martin P. Robillard}, title = {Detecting Fragile Comments}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {412-411}, doi = {}, year = {2017}, } Article: ase17main-mainp242-p (type: Technical Research) doi:
	Rodriguez, Carlos	ASE '17: "Programming Bots by Synthesizing ..." Programming Bots by Synthesizing Natural Language Expressions into API Invocations Shayan Zamanirad, Boualem Benatallah, Moshe Chai Barukh, Fabio Casati, and Carlos Rodriguez (UNSW, Australia; University of Trento, Italy; Tomsk Polytechnic University, Russia) @InProceedings{ASE17p1162, author = {Shayan Zamanirad and Boualem Benatallah and Moshe Chai Barukh and Fabio Casati and Carlos Rodriguez}, title = {Programming Bots by Synthesizing Natural Language Expressions into API Invocations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1162-1161}, doi = {}, year = {2017}, } Article: ase17main-mainp054-p (type: New Ideas) doi:
	Rolfsnes, Thomas	ASE '17: "Predicting Relevance of Change ..." Predicting Relevance of Change Recommendations Thomas Rolfsnes, Leon Moonen, and David Binkley (Simula Research Laboratory, Norway; Loyola University Maryland, USA) @InProceedings{ASE17p1018, author = {Thomas Rolfsnes and Leon Moonen and David Binkley}, title = {Predicting Relevance of Change Recommendations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1018-1017}, doi = {}, year = {2017}, } Article: ase17main-mainp484-p (type: Technical Research) doi:
	Rossi, Gustavo	ASE '17: "Kobold: Web Usability as a ..." Kobold: Web Usability as a Service Julián Grigera, Alejandra Garrido, and Gustavo Rossi (Universidad Nacional de La Plata, Argentina; CIC, Argentina; CONICET, Argentina) @InProceedings{ASE17p1324, author = {Julián Grigera and Alejandra Garrido and Gustavo Rossi}, title = {Kobold: Web Usability as a Service}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1324-1323}, doi = {}, year = {2017}, } Article: ase17demo-demoid13-p (type: Short Paper) doi:
	Rouvoy, Romain	ASE '17: "ANDROFLEET: Testing WiFi Peer-to-Peer ..." ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment (Inria, France; University of Lille, France; Saarland University, Germany; Institut Universitaire de France, France; Telecom Nancy, France) @InProceedings{ASE17p1294, author = {Lakhdar Meftah and Maria Gomez and Romain Rouvoy and Isabelle Chrisment}, title = {ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1294-1293}, doi = {}, year = {2017}, } Article: ase17demo-demoid19-p (type: Short Paper) doi:
	Roy, Chanchal K.	ASE '17: "FEMIR: A Tool for Recommending ..." FEMIR: A Tool for Recommending Framework Extension Examples Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou (University of Saskatchewan, Canada; Clarkson University, USA) @InProceedings{ASE17p1300, author = {Muhammad Asaduzzaman and Chanchal K. Roy and Kevin A. Schneider and Daqing Hou}, title = {FEMIR: A Tool for Recommending Framework Extension Examples}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1300-1299}, doi = {}, year = {2017}, } Article: ase17demo-demoid32-p (type: Short Paper) doi: ASE '17: "Improved Query Reformulation ..." Improved Query Reformulation for Concept Location using CodeRank and Document Structures Mohammad Masudur Rahman and Chanchal K. Roy (University of Saskatchewan, Canada) @InProceedings{ASE17p742, author = {Mohammad Masudur Rahman and Chanchal K. Roy}, title = {Improved Query Reformulation for Concept Location using CodeRank and Document Structures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {742-741}, doi = {}, year = {2017}, } Article: ase17main-mainp322-p (type: Technical Research) doi:
	Rubio-González, Cindy	ASE '17: "A Comprehensive Study of Real-World ..." A Comprehensive Study of Real-World Numerical Bug Characteristics Anthony Di Franco, Hui Guo, and Cindy Rubio-González (University of California at Davis, USA) @InProceedings{ASE17p826, author = {Anthony Di Franco and Hui Guo and Cindy Rubio-González}, title = {A Comprehensive Study of Real-World Numerical Bug Characteristics}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {826-825}, doi = {}, year = {2017}, } Article: ase17main-mainp376-p (type: Technical Research) doi:
	Rupprecht, Thomas	ASE '17: "DSIbin: Identifying Dynamic ..." DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, and Herbert Bos (University of Bamberg, Germany; Microsoft, Canada; VU University Amsterdam, Netherlands) @InProceedings{ASE17p640, author = {Thomas Rupprecht and Xi Chen and David H. White and Jan H. Boockmann and Gerald Lüttgen and Herbert Bos}, title = {DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {640-639}, doi = {}, year = {2017}, } Article: ase17main-mainp483-p (type: Technical Research) doi:
	Russo, Alessandra	ASE '17: "Learning to Share: Engineering ..." Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh (Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland) @InProceedings{ASE17p586, author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh}, title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {586-585}, doi = {}, year = {2017}, } Article: ase17main-mainp093-p (type: New Ideas) doi:
	Ryu, Sukyoung	ASE '17: "All about Activity Injection: ..." All about Activity Injection: Threats, Semantics, and Detection Sungho Lee, Sungjae Hwang, and Sukyoung Ryu (KAIST, South Korea; LG Electronics, South Korea) @InProceedings{ASE17p556, author = {Sungho Lee and Sungjae Hwang and Sukyoung Ryu}, title = {All about Activity Injection: Threats, Semantics, and Detection}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {556-555}, doi = {}, year = {2017}, } Article: ase17main-mainp445-p (type: Technical Research) doi:
	Sabetzadeh, Mehrdad	ASE '17: "Synthetic Data Generation ..." Synthetic Data Generation for Statistical Testing Ghanem Soltana, Mehrdad Sabetzadeh, and Lionel C. Briand (University of Luxembourg, Luxembourg) @InProceedings{ASE17p1204, author = {Ghanem Soltana and Mehrdad Sabetzadeh and Lionel C. Briand}, title = {Synthetic Data Generation for Statistical Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1204-1203}, doi = {}, year = {2017}, } Article: ase17main-mainp079-p (type: Technical Research) doi:
	Saddler, Jonathan A.	ASE '17: "EventFlowSlicer: A Tool for ..." EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests Jonathan A. Saddler and Myra B. Cohen (University of Nebraska-Lincoln, USA) @InProceedings{ASE17p1288, author = {Jonathan A. Saddler and Myra B. Cohen}, title = {EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1288-1287}, doi = {}, year = {2017}, } Article: ase17demo-demoid29-p (type: Short Paper) doi:
	Saha, Ripon K.	ASE '17: "ELIXIR: Effective Object Oriented ..." ELIXIR: Effective Object Oriented Program Repair Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad (Fujitsu Labs, USA; University of Southern California, USA) @InProceedings{ASE17p970, author = {Ripon K. Saha and Yingjun Lyu and Hiroaki Yoshida and Mukul R. Prasad}, title = {ELIXIR: Effective Object Oriented Program Repair}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {970-969}, doi = {}, year = {2017}, } Article: ase17main-mainp374-p (type: Technical Research) doi:
	Saissi, Habib	ASE '17: "Quick Verification of Concurrent ..." Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling Patrick Metzler, Habib Saissi, Péter Bokor, and Neeraj Suri (TU Darmstadt, Germany) @InProceedings{ASE17p1102, author = {Patrick Metzler and Habib Saissi and Péter Bokor and Neeraj Suri}, title = {Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1102-1101}, doi = {}, year = {2017}, } Article: ase17main-mainp185-p (type: New Ideas) doi:
	Sanán, David	ASE '17: "FiB: Squeezing Loop Invariants ..." FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; Tampere University of Technology, Finland) @InProceedings{ASE17p1120, author = {Shang-Wei Lin and Jun Sun and Hao Xiao and Yang Liu and David Sanán and Henri Hansen}, title = {FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1120-1119}, doi = {}, year = {2017}, } Article: ase17main-mainp077-p (type: Technical Research) doi:
	Scalabrino, Simone	ASE '17: "Automatically Assessing Code ..." Automatically Assessing Code Understandability: How Far Are We? Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto (University of Molise, Italy; University of Lugano, Switzerland; College of William and Mary, USA; Universidad de los Andes, Colombia) @InProceedings{ASE17p730, author = {Simone Scalabrino and Gabriele Bavota and Christopher Vendome and Mario Linares-Vásquez and Denys Poshyvanyk and Rocco Oliveto}, title = {Automatically Assessing Code Understandability: How Far Are We?}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {730-729}, doi = {}, year = {2017}, } Article: ase17main-mainp213-p (type: Technical Research) doi:
	Schemmel, Daniel	ASE '17: "Floating-Point Symbolic Execution: ..." Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, and Klaus Wehrle (Imperial College London, UK; RWTH Aachen University, Germany) @InProceedings{ASE17p922, author = {Daniel Liew and Daniel Schemmel and Cristian Cadar and Alastair F. Donaldson and Rafael Zähl and Klaus Wehrle}, title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {922-921}, doi = {}, year = {2017}, } Article: ase17main-mainp252-p (type: Experience) doi:
	Schmidt, Lukas	ASE '17: "TREM: A Tool for Mining Timed ..." TREM: A Tool for Mining Timed Regular Specifications from System Traces Lukas Schmidt, Apurva Narayan, and Sebastian Fischmeister (University of Waterloo, Canada) @InProceedings{ASE17p1234, author = {Lukas Schmidt and Apurva Narayan and Sebastian Fischmeister}, title = {TREM: A Tool for Mining Timed Regular Specifications from System Traces}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1234-1233}, doi = {}, year = {2017}, } Article: ase17demo-demoid25-p (type: Short Paper) doi:
	Schneider, Kevin A.	ASE '17: "FEMIR: A Tool for Recommending ..." FEMIR: A Tool for Recommending Framework Extension Examples Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou (University of Saskatchewan, Canada; Clarkson University, USA) @InProceedings{ASE17p1300, author = {Muhammad Asaduzzaman and Chanchal K. Roy and Kevin A. Schneider and Daqing Hou}, title = {FEMIR: A Tool for Recommending Framework Extension Examples}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1300-1299}, doi = {}, year = {2017}, } Article: ase17demo-demoid32-p (type: Short Paper) doi:
	Schrammel, Peter	ASE '17: "Parallel Bug-Finding in Concurrent ..." Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato (University of Southampton, UK; University of Sussex, UK; Stellenbosch University, South Africa; University of Salerno, Italy) @InProceedings{ASE17p1078, author = {Truc L. Nguyen and Peter Schrammel and Bernd Fischer and Salvatore La Torre and Gennaro Parlato}, title = {Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1078-1077}, doi = {}, year = {2017}, } Article: ase17main-mainp375-p (type: Technical Research) doi:
	Schwahn, Oliver	ASE '17: "TrEKer: Tracing Error Propagation ..." TrEKer: Tracing Error Propagation in Operating System Kernels Nicolas Coppik, Oliver Schwahn, Stefan Winter, and Neeraj Suri (TU Darmstadt, Germany) @InProceedings{ASE17p688, author = {Nicolas Coppik and Oliver Schwahn and Stefan Winter and Neeraj Suri}, title = {TrEKer: Tracing Error Propagation in Operating System Kernels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {688-687}, doi = {}, year = {2017}, } Article: ase17main-mainp167-p (type: Technical Research) doi:
	Seibt, Georg	ASE '17: "Renaming and Shifted Code ..." Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, and Janet Siegmund (University of Passau, Germany; Carnegie Mellon University, USA) @InProceedings{ASE17p862, author = {Olaf Leßenich and Sven Apel and Christian Kästner and Georg Seibt and Janet Siegmund}, title = {Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {862-861}, doi = {}, year = {2017}, } Article: ase17main-mainp356-p (type: Technical Research) doi:
	Serebrenik, Alexander	ASE '17: "The Impact of Continuous Integration ..." The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study Yangyang Zhao, Alexander Serebrenik, Yuming Zhou, Vladimir Filkov, and Bogdan Vasilescu (Nanjing University, China; Eindhoven University of Technology, Netherlands; University of California at Davis, USA; Carnegie Mellon University, USA) @InProceedings{ASE17p358, author = {Yangyang Zhao and Alexander Serebrenik and Yuming Zhou and Vladimir Filkov and Bogdan Vasilescu}, title = {The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {358-357}, doi = {}, year = {2017}, } Article: ase17main-mainp336-p (type: Technical Research) doi:
	Shahbazian, Arman	ASE '17: "SEALANT: A Detection and Visualization ..." SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic (University of Southern California, USA) @InProceedings{ASE17p1216, author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic}, title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1216-1215}, doi = {}, year = {2017}, } Article: ase17demo-demoid14-p (type: Short Paper) doi:
	Shahmehri, Nahid	ASE '17: "Towards Robust Instruction-Level ..." Towards Robust Instruction-Level Trace Alignment of Binary Code Ulf Kargén and Nahid Shahmehri (Linköping University, Sweden) @InProceedings{ASE17p652, author = {Ulf Kargén and Nahid Shahmehri}, title = {Towards Robust Instruction-Level Trace Alignment of Binary Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {652-651}, doi = {}, year = {2017}, } Article: ase17main-mainp488-p (type: Technical Research) doi:
	Sharma, Abhishek	ASE '17: "APIBot: Question Answering ..." APIBot: Question Answering Bot for API Documentation Yuan Tian, Ferdian Thung, Abhishek Sharma, and David Lo (Singapore Management University, Singapore) @InProceedings{ASE17p454, author = {Yuan Tian and Ferdian Thung and Abhishek Sharma and David Lo}, title = {APIBot: Question Answering Bot for API Documentation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {454-453}, doi = {}, year = {2017}, } Article: ase17main-mainp366-p (type: New Ideas) doi:
	Shi, August	ASE '17: "STARTS: STAtic Regression ..." STARTS: STAtic Regression Test Selection Owolabi Legunsen, August Shi, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE17p1282, author = {Owolabi Legunsen and August Shi and Darko Marinov}, title = {STARTS: STAtic Regression Test Selection}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1282-1281}, doi = {}, year = {2017}, } Article: ase17demo-demoid35-p (type: Short Paper) doi:
	Shi, Lin	ASE '17: "Understanding Feature Requests ..." Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis Lin Shi, Celia Chen, Qing Wang, Shoubin Li, and Barry Boehm (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; University of Southern California, USA; Occidental College, USA) @InProceedings{ASE17p754, author = {Lin Shi and Celia Chen and Qing Wang and Shoubin Li and Barry Boehm}, title = {Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {754-753}, doi = {}, year = {2017}, } Article: ase17main-mainp060-p (type: Technical Research) doi:
	Shimorina, Anastasia	ASE '17: "ModelWriter: Text and Model-Synchronized ..." ModelWriter: Text and Model-Synchronized Document Engineering Platform Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux (Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France) @InProceedings{ASE17p1240, author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux}, title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1240-1239}, doi = {}, year = {2017}, } Article: ase17demo-demoid21-p (type: Short Paper) doi:
	Siegmund, Janet	ASE '17: "Renaming and Shifted Code ..." Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, and Janet Siegmund (University of Passau, Germany; Carnegie Mellon University, USA) @InProceedings{ASE17p862, author = {Olaf Leßenich and Sven Apel and Christian Kästner and Georg Seibt and Janet Siegmund}, title = {Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {862-861}, doi = {}, year = {2017}, } Article: ase17main-mainp356-p (type: Technical Research) doi:
	Siegmund, Norbert	ASE '17: "Transfer Learning for Performance ..." Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis Pooyan Jamshidi, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, and Yuvraj Agarwal (Carnegie Mellon University, USA; Bauhaus-University Weimar, Germany) @InProceedings{ASE17p814, author = {Pooyan Jamshidi and Norbert Siegmund and Miguel Velez and Christian Kästner and Akshay Patel and Yuvraj Agarwal}, title = {Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {814-813}, doi = {}, year = {2017}, } Article: ase17main-mainp258-p (type: Technical Research) doi:
	Silvestro, Sam	ASE '17: "UNDEAD: Detecting and Preventing ..." UNDEAD: Detecting and Preventing Deadlocks in Production Software Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu (University of Texas at San Antonio, USA; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{ASE17p1054, author = {Jinpeng Zhou and Sam Silvestro and Hongyu Liu and Yan Cai and Tongping Liu}, title = {UNDEAD: Detecting and Preventing Deadlocks in Production Software}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1054-1053}, doi = {}, year = {2017}, } Article: ase17main-mainp051-p (type: Technical Research) doi:
	Singh, Rishabh	ASE '17: "Learn&Fuzz: Machine Learning ..." Learn&Fuzz: Machine Learning for Input Fuzzing Patrice Godefroid, Hila Peleg, and Rishabh Singh (Microsoft Research, USA; Technion, Israel) @InProceedings{ASE17p346, author = {Patrice Godefroid and Hila Peleg and Rishabh Singh}, title = {Learn&Fuzz: Machine Learning for Input Fuzzing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {346-345}, doi = {}, year = {2017}, } Article: ase17main-mainp359-p (type: Technical Research) doi:
	Sirovica, Sasha	ASE '17: "Perceived Language Complexity ..." Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution David Kavaler, Sasha Sirovica, Vincent Hellendoorn, Raul Aranovich, and Vladimir Filkov (University of California at Davis, USA) @InProceedings{ASE17p370, author = {David Kavaler and Sasha Sirovica and Vincent Hellendoorn and Raul Aranovich and Vladimir Filkov}, title = {Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {370-369}, doi = {}, year = {2017}, } Article: ase17main-mainp352-p (type: Technical Research) doi:
	Søndergaard, Harald	ASE '17: "Leveraging Abstract Interpretation ..." Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution Eman Alatawi, Harald Søndergaard, and Tim Miller (University of Melbourne, Australia) @InProceedings{ASE17p940, author = {Eman Alatawi and Harald Søndergaard and Tim Miller}, title = {Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {940-939}, doi = {}, year = {2017}, } Article: ase17main-mainp324-p (type: New Ideas) doi:
	Soltana, Ghanem	ASE '17: "Synthetic Data Generation ..." Synthetic Data Generation for Statistical Testing Ghanem Soltana, Mehrdad Sabetzadeh, and Lionel C. Briand (University of Luxembourg, Luxembourg) @InProceedings{ASE17p1204, author = {Ghanem Soltana and Mehrdad Sabetzadeh and Lionel C. Briand}, title = {Synthetic Data Generation for Statistical Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1204-1203}, doi = {}, year = {2017}, } Article: ase17main-mainp079-p (type: Technical Research) doi:
	Song, Wei	ASE '17: "EHBDroid: Beyond GUI Testing ..." EHBDroid: Beyond GUI Testing for Android Applications Wei Song, Xiangxing Qian, and Jeff Huang (Nanjing University of Science and Technology, China; Texas A&M University, USA) @InProceedings{ASE17p322, author = {Wei Song and Xiangxing Qian and Jeff Huang}, title = {EHBDroid: Beyond GUI Testing for Android Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {322-321}, doi = {}, year = {2017}, } Article: ase17main-mainp096-p (type: Technical Research) doi:
	Song, Xiaoyu	ASE '17: "A Static Analysis Tool with ..." A Static Analysis Tool with Optimizations for Reachability Determination Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA) @InProceedings{ASE17p1258, author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {A Static Analysis Tool with Optimizations for Reachability Determination}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1258-1257}, doi = {}, year = {2017}, } Article: ase17demo-demoid18-p (type: Short Paper) doi: ASE '17: "IntPTI: Automatic Integer ..." IntPTI: Automatic Integer Error Repair with Proper-Type Inference Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA) @InProceedings{ASE17p1330, author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1330-1329}, doi = {}, year = {2017}, } Article: ase17demo-demoid9-p (type: Short Paper) doi:
	Soremekun, Ezekiel O.	ASE '17: "Detecting Information Flow ..." Detecting Information Flow by Mutating Input Data Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, and Andreas Zeller (Saarland University, Germany; National University of Singapore, Singapore) @InProceedings{ASE17p568, author = {Björn Mathis and Vitalii Avdiienko and Ezekiel O. Soremekun and Marcel Böhme and Andreas Zeller}, title = {Detecting Information Flow by Mutating Input Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {568-567}, doi = {}, year = {2017}, } Article: ase17main-mainp148-p (type: Technical Research) doi:
	Staicu, Cristian Alexandru	ASE '17: "Saying ’Hi!’ Is Not Enough: ..." Saying ’Hi!’ Is Not Enough: Mining Inputs for Effective Test Generation Luca Della Toffola, Cristian Alexandru Staicu, and Michael Pradel (ETH Zurich, Switzerland; TU Darmstadt, Germany) @InProceedings{ASE17p340, author = {Luca Della Toffola and Cristian Alexandru Staicu and Michael Pradel}, title = {Saying ’Hi!’ Is Not Enough: Mining Inputs for Effective Test Generation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {340-339}, doi = {}, year = {2017}, } Article: ase17main-mainp233-p (type: New Ideas) doi:
	Stolee, Kathryn T.	ASE '17: "Exploring Regular Expression ..." Exploring Regular Expression Comprehension Carl Chapman, Peipei Wang, and Kathryn T. Stolee (Sandia National Laboratories, USA; North Carolina State University, USA) @InProceedings{ASE17p718, author = {Carl Chapman and Peipei Wang and Kathryn T. Stolee}, title = {Exploring Regular Expression Comprehension}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {718-717}, doi = {}, year = {2017}, } Article: ase17main-mainp104-p (type: Technical Research) doi:
	Stuart, Avelie	ASE '17: "Learning to Share: Engineering ..." Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh (Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland) @InProceedings{ASE17p586, author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh}, title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {586-585}, doi = {}, year = {2017}, } Article: ase17main-mainp093-p (type: New Ideas) doi:
	Su, Purui	ASE '17: "Automatically Assessing Crashes ..." Automatically Assessing Crashes from Heap Overflows Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng (Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore) @InProceedings{ASE17p580, author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng}, title = {Automatically Assessing Crashes from Heap Overflows}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {580-579}, doi = {}, year = {2017}, } Article: ase17main-mainp011-p (type: New Ideas) doi:
	Sulír, Matúš	ASE '17: "RuntimeSearch: Ctrl+F for ..." RuntimeSearch: Ctrl+F for a Running Program Matúš Sulír and Jaroslav Porubän (Technical University of Košice, Slovakia) @InProceedings{ASE17p700, author = {Matúš Sulír and Jaroslav Porubän}, title = {RuntimeSearch: Ctrl+F for a Running Program}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {700-699}, doi = {}, year = {2017}, } Article: ase17main-mainp318-p (type: New Ideas) doi:
	Sultana, Kazi Zakia	ASE '17: "Towards a Software Vulnerability ..." Towards a Software Vulnerability Prediction Model using Traceable Code Patterns and Software Metrics Kazi Zakia Sultana (Mississippi State University, USA) @InProceedings{ASE17p1356, author = {Kazi Zakia Sultana}, title = {Towards a Software Vulnerability Prediction Model using Traceable Code Patterns and Software Metrics}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1356-1355}, doi = {}, year = {2017}, } Article: ase17doc-doc6-p (type: Doctoral symposium (4 pages)) doi:
	Sun, Hailong	ASE '17: "Recommending Crowdsourced ..." Recommending Crowdsourced Software Developers in Consideration of Skill Improvement Zizhe Wang, Hailong Sun, Yang Fu, and Luting Ye (Beihang University, China) @InProceedings{ASE17p1042, author = {Zizhe Wang and Hailong Sun and Yang Fu and Luting Ye}, title = {Recommending Crowdsourced Software Developers in Consideration of Skill Improvement}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1042-1041}, doi = {}, year = {2017}, } Article: ase17main-mainp226-p (type: New Ideas) doi:
	Sun, Jiaguang	ASE '17: "A Static Analysis Tool with ..." A Static Analysis Tool with Optimizations for Reachability Determination Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA) @InProceedings{ASE17p1258, author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {A Static Analysis Tool with Optimizations for Reachability Determination}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1258-1257}, doi = {}, year = {2017}, } Article: ase17demo-demoid18-p (type: Short Paper) doi: ASE '17: "IntPTI: Automatic Integer ..." IntPTI: Automatic Integer Error Repair with Proper-Type Inference Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA) @InProceedings{ASE17p1330, author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1330-1329}, doi = {}, year = {2017}, } Article: ase17demo-demoid9-p (type: Short Paper) doi: ASE '17: "A Language Model for Statements ..." A Language Model for Statements of Software Code Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu (Tsinghua University, China) @InProceedings{ASE17p1006, author = {Yixiao Yang and Yu Jiang and Ming Gu and Jiaguang Sun and Jian Gao and Han Liu}, title = {A Language Model for Statements of Software Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1006-1005}, doi = {}, year = {2017}, } Article: ase17main-mainp485-p (type: New Ideas) doi:
	Sun, Jun	ASE '17: "Automatic Loop-Invariant Generation ..." Automatic Loop-Invariant Generation and Refinement through Selective Sampling Jiaying Li, Jun Sun, Li Li, Quang Loc Le, and Shang-Wei Lin (Singapore University of Technology and Design, Singapore; Teesside University, UK; Nanyang Technological University, Singapore) @InProceedings{ASE17p1108, author = {Jiaying Li and Jun Sun and Li Li and Quang Loc Le and Shang-Wei Lin}, title = {Automatic Loop-Invariant Generation and Refinement through Selective Sampling}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1108-1107}, doi = {}, year = {2017}, } Article: ase17main-mainp061-p (type: Technical Research) doi: ASE '17: "FiB: Squeezing Loop Invariants ..." FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; Tampere University of Technology, Finland) @InProceedings{ASE17p1120, author = {Shang-Wei Lin and Jun Sun and Hao Xiao and Yang Liu and David Sanán and Henri Hansen}, title = {FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1120-1119}, doi = {}, year = {2017}, } Article: ase17main-mainp077-p (type: Technical Research) doi: ASE '17: "Mining Implicit Design Templates ..." Mining Implicit Design Templates for Actionable Code Reuse Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia) @InProceedings{ASE17p706, author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong}, title = {Mining Implicit Design Templates for Actionable Code Reuse}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {706-705}, doi = {}, year = {2017}, } Article: ase17main-mainp043-p (type: Technical Research) doi: ASE '17: "O2O Service Composition with ..." O2O Service Composition with Social Collaboration Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao (Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; Lero, Ireland) @InProceedings{ASE17p766, author = {Wenyi Qian and Xin Peng and Jun Sun and Yijun Yu and Bashar Nuseibeh and Wenyun Zhao}, title = {O2O Service Composition with Social Collaboration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {766-765}, doi = {}, year = {2017}, } Article: ase17main-mainp042-p (type: Technical Research) doi:
	Sun, Yan	ASE '17: "Improving Missing Issue-Commit ..." Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data Yan Sun, Celia Chen, Qing Wang, and Barry Boehm (University at Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Occidental College, USA; University of Southern California, USA) @InProceedings{ASE17p448, author = {Yan Sun and Celia Chen and Qing Wang and Barry Boehm}, title = {Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {448-447}, doi = {}, year = {2017}, } Article: ase17main-mainp161-p (type: New Ideas) doi:
	Sung, Chungha	ASE '17: "Modular Verification of Interrupt-Driven ..." Modular Verification of Interrupt-Driven Software Chungha Sung, Markus Kusano, and Chao Wang (University of Southern California, USA; Virginia Tech, USA) @InProceedings{ASE17p508, author = {Chungha Sung and Markus Kusano and Chao Wang}, title = {Modular Verification of Interrupt-Driven Software}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {508-507}, doi = {}, year = {2017}, } Article: ase17main-mainp277-p (type: Technical Research) doi:
	Sunyé, Gerson	ASE '17: "Gremlin-ATL: A Scalable Model ..." Gremlin-ATL: A Scalable Model Transformation Framework Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, and Jordi Cabot (AtlanMod, France; Inria, France; Groupe ESEO, France; ICREA, Spain; Open University of Catalonia, Spain) @InProceedings{ASE17p778, author = {Gwendal Daniel and Frédéric Jouault and Gerson Sunyé and Jordi Cabot}, title = {Gremlin-ATL: A Scalable Model Transformation Framework}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {778-777}, doi = {}, year = {2017}, } Article: ase17main-mainp191-p (type: Technical Research) doi:
	Suri, Neeraj	ASE '17: "Quick Verification of Concurrent ..." Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling Patrick Metzler, Habib Saissi, Péter Bokor, and Neeraj Suri (TU Darmstadt, Germany) @InProceedings{ASE17p1102, author = {Patrick Metzler and Habib Saissi and Péter Bokor and Neeraj Suri}, title = {Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1102-1101}, doi = {}, year = {2017}, } Article: ase17main-mainp185-p (type: New Ideas) doi: ASE '17: "TrEKer: Tracing Error Propagation ..." TrEKer: Tracing Error Propagation in Operating System Kernels Nicolas Coppik, Oliver Schwahn, Stefan Winter, and Neeraj Suri (TU Darmstadt, Germany) @InProceedings{ASE17p688, author = {Nicolas Coppik and Oliver Schwahn and Stefan Winter and Neeraj Suri}, title = {TrEKer: Tracing Error Propagation in Operating System Kernels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {688-687}, doi = {}, year = {2017}, } Article: ase17main-mainp167-p (type: Technical Research) doi:
	Tang, Enyi	ASE '17: "Sketch-Guided GUI Test Generation ..." Sketch-Guided GUI Test Generation for Mobile Applications Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li (Nanjing University, China) @InProceedings{ASE17p334, author = {Chucheng Zhang and Haoliang Cheng and Enyi Tang and Xin Chen and Lei Bu and Xuandong Li}, title = {Sketch-Guided GUI Test Generation for Mobile Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {334-333}, doi = {}, year = {2017}, } Article: ase17main-mainp022-p (type: New Ideas) doi:
	Tekinerdogan, Bedir	ASE '17: "ModelWriter: Text and Model-Synchronized ..." ModelWriter: Text and Model-Synchronized Document Engineering Platform Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux (Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France) @InProceedings{ASE17p1240, author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux}, title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1240-1239}, doi = {}, year = {2017}, } Article: ase17demo-demoid21-p (type: Short Paper) doi:
	Thung, Ferdian	ASE '17: "APIBot: Question Answering ..." APIBot: Question Answering Bot for API Documentation Yuan Tian, Ferdian Thung, Abhishek Sharma, and David Lo (Singapore Management University, Singapore) @InProceedings{ASE17p454, author = {Yuan Tian and Ferdian Thung and Abhishek Sharma and David Lo}, title = {APIBot: Question Answering Bot for API Documentation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {454-453}, doi = {}, year = {2017}, } Article: ase17main-mainp366-p (type: New Ideas) doi:
	Tian, Chen	ASE '17: "UI Driven Android Application ..." UI Driven Android Application Reduction Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, and Chen Tian (Purdue University, USA; Huawei, USA) @InProceedings{ASE17p592, author = {Jianjun Huang and Yousra Aafer and David Perry and Xiangyu Zhang and Chen Tian}, title = {UI Driven Android Application Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {592-591}, doi = {}, year = {2017}, } Article: ase17main-mainp335-p (type: Technical Research) doi:
	Tian, Cong	ASE '17: "More Effective Interpolations ..." More Effective Interpolations in Software Model Checking Cong Tian, Zhao Duan, Zhenhua Duan, and C.-H. Luke Ong (Xidian University, China; University of Oxford, UK) @InProceedings{ASE17p484, author = {Cong Tian and Zhao Duan and Zhenhua Duan and C.-H. Luke Ong}, title = {More Effective Interpolations in Software Model Checking}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {484-483}, doi = {}, year = {2017}, } Article: ase17main-mainp195-p (type: Technical Research) doi:
	Tian, Yuan	ASE '17: "APIBot: Question Answering ..." APIBot: Question Answering Bot for API Documentation Yuan Tian, Ferdian Thung, Abhishek Sharma, and David Lo (Singapore Management University, Singapore) @InProceedings{ASE17p454, author = {Yuan Tian and Ferdian Thung and Abhishek Sharma and David Lo}, title = {APIBot: Question Answering Bot for API Documentation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {454-453}, doi = {}, year = {2017}, } Article: ase17main-mainp366-p (type: New Ideas) doi:
	Tiezzi, Francesco	ASE '17: "BProVe: Tool Support for Business ..." BProVe: Tool Support for Business Process Verification Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin (University of Camerino, Italy; DTU, Denmark) @InProceedings{ASE17p1270, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, title = {BProVe: Tool Support for Business Process Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1270-1269}, doi = {}, year = {2017}, } Article: ase17demo-demoid15-p (type: Short Paper) doi: ASE '17: "BProVe: A Formal Verification ..." BProVe: A Formal Verification Framework for Business Process Models Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin (University of Camerino, Italy; DTU, Denmark) @InProceedings{ASE17p520, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, title = {BProVe: A Formal Verification Framework for Business Process Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {520-519}, doi = {}, year = {2017}, } Article: ase17main-mainp272-p (type: Technical Research) doi:
	Tómasdóttir, Kristín Fjóla	ASE '17: "Why and How JavaScript Developers ..." Why and How JavaScript Developers Use Linters Kristín Fjóla Tómasdóttir, Maurício Aniche, and Arie van Deursen (Delft University of Technology, Netherlands) @InProceedings{ASE17p898, author = {Kristín Fjóla Tómasdóttir and Maurício Aniche and Arie van Deursen}, title = {Why and How JavaScript Developers Use Linters}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {898-897}, doi = {}, year = {2017}, } Article: ase17main-mainp262-p (type: Technical Research) doi:
	Tribastone, Mirco	ASE '17: "Software Performance Self-Adaptation ..." Software Performance Self-Adaptation through Efficient Model Predictive Control Emilio Incerto, Mirco Tribastone, and Catia Trubiani (Gran Sasso Science Institute, Italy; IMT School for Advanced Studies Lucca, Italy) @InProceedings{ASE17p802, author = {Emilio Incerto and Mirco Tribastone and Catia Trubiani}, title = {Software Performance Self-Adaptation through Efficient Model Predictive Control}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {802-801}, doi = {}, year = {2017}, } Article: ase17main-mainp112-p (type: Technical Research) doi:
	Trubiani, Catia	ASE '17: "Software Performance Self-Adaptation ..." Software Performance Self-Adaptation through Efficient Model Predictive Control Emilio Incerto, Mirco Tribastone, and Catia Trubiani (Gran Sasso Science Institute, Italy; IMT School for Advanced Studies Lucca, Italy) @InProceedings{ASE17p802, author = {Emilio Incerto and Mirco Tribastone and Catia Trubiani}, title = {Software Performance Self-Adaptation through Efficient Model Predictive Control}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {802-801}, doi = {}, year = {2017}, } Article: ase17main-mainp112-p (type: Technical Research) doi:
	Uchitel, Sebastian	ASE '17: "Model Checker Execution Reports ..." Model Checker Execution Reports Rodrigo Castaño, Víctor Braberman, Diego Garbervetsky, and Sebastian Uchitel (University of Buenos Aires, Argentina; CONICET, Argentina) @InProceedings{ASE17p502, author = {Rodrigo Castaño and Víctor Braberman and Diego Garbervetsky and Sebastian Uchitel}, title = {Model Checker Execution Reports}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {502-501}, doi = {}, year = {2017}, } Article: ase17main-mainp248-p (type: New Ideas) doi:
	Uddin, Gias	ASE '17: "Opiner: An Opinion Search ..." Opiner: An Opinion Search and Summarization Engine for APIs Gias Uddin and Foutse Khomh (McGill University, Canada; Polytechnique Montréal, Canada) @InProceedings{ASE17p1312, author = {Gias Uddin and Foutse Khomh}, title = {Opiner: An Opinion Search and Summarization Engine for APIs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1312-1311}, doi = {}, year = {2017}, } Article: ase17demo-demoid30-p (type: Short Paper) doi: ASE '17: "Automatic Summarization of ..." Automatic Summarization of API Reviews Gias Uddin and Foutse Khomh (McGill University, Canada; Polytechnique Montréal, Canada) @InProceedings{ASE17p460, author = {Gias Uddin and Foutse Khomh}, title = {Automatic Summarization of API Reviews}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {460-459}, doi = {}, year = {2017}, } Article: ase17main-mainp126-p (type: Technical Research) doi:
	Vandin, Andrea	ASE '17: "BProVe: Tool Support for Business ..." BProVe: Tool Support for Business Process Verification Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin (University of Camerino, Italy; DTU, Denmark) @InProceedings{ASE17p1270, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, title = {BProVe: Tool Support for Business Process Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1270-1269}, doi = {}, year = {2017}, } Article: ase17demo-demoid15-p (type: Short Paper) doi: ASE '17: "BProVe: A Formal Verification ..." BProVe: A Formal Verification Framework for Business Process Models Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin (University of Camerino, Italy; DTU, Denmark) @InProceedings{ASE17p520, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, title = {BProVe: A Formal Verification Framework for Business Process Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {520-519}, doi = {}, year = {2017}, } Article: ase17main-mainp272-p (type: Technical Research) doi:
	Vasilescu, Bogdan	ASE '17: "The Impact of Continuous Integration ..." The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study Yangyang Zhao, Alexander Serebrenik, Yuming Zhou, Vladimir Filkov, and Bogdan Vasilescu (Nanjing University, China; Eindhoven University of Technology, Netherlands; University of California at Davis, USA; Carnegie Mellon University, USA) @InProceedings{ASE17p358, author = {Yangyang Zhao and Alexander Serebrenik and Yuming Zhou and Vladimir Filkov and Bogdan Vasilescu}, title = {The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {358-357}, doi = {}, year = {2017}, } Article: ase17main-mainp336-p (type: Technical Research) doi:
	Velez, Miguel	ASE '17: "Transfer Learning for Performance ..." Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis Pooyan Jamshidi, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, and Yuvraj Agarwal (Carnegie Mellon University, USA; Bauhaus-University Weimar, Germany) @InProceedings{ASE17p814, author = {Pooyan Jamshidi and Norbert Siegmund and Miguel Velez and Christian Kästner and Akshay Patel and Yuvraj Agarwal}, title = {Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {814-813}, doi = {}, year = {2017}, } Article: ase17main-mainp258-p (type: Technical Research) doi:
	Vendome, Christopher	ASE '17: "Automatically Assessing Code ..." Automatically Assessing Code Understandability: How Far Are We? Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto (University of Molise, Italy; University of Lugano, Switzerland; College of William and Mary, USA; Universidad de los Andes, Colombia) @InProceedings{ASE17p730, author = {Simone Scalabrino and Gabriele Bavota and Christopher Vendome and Mario Linares-Vásquez and Denys Poshyvanyk and Rocco Oliveto}, title = {Automatically Assessing Code Understandability: How Far Are We?}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {730-729}, doi = {}, year = {2017}, } Article: ase17main-mainp213-p (type: Technical Research) doi:
	Vierhauser, Michael	ASE '17: "Visualization Support for ..." Visualization Support for Requirements Monitoring in Systems of Systems Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher (JKU Linz, Austria; University of Notre Dame, USA) @InProceedings{ASE17p1222, author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher}, title = {Visualization Support for Requirements Monitoring in Systems of Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1222-1221}, doi = {}, year = {2017}, } Article: ase17demo-demoid8-p (type: Short Paper) doi:
	Visser, Willem	ASE '17: "SymInfer: Inferring Program ..." SymInfer: Inferring Program Invariants using Symbolic States ThanhVu Nguyen, Matthew B. Dwyer, and Willem Visser (University of Nebraska-Lincoln, USA; Stellenbosch University, South Africa) @InProceedings{ASE17p1132, author = {ThanhVu Nguyen and Matthew B. Dwyer and Willem Visser}, title = {SymInfer: Inferring Program Invariants using Symbolic States}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1132-1131}, doi = {}, year = {2017}, } Article: ase17main-mainp222-p (type: Technical Research) doi:
	Wagner, Lucas	ASE '17: "Proof-Based Coverage Metrics ..." Proof-Based Coverage Metrics for Formal Verification Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats P. E. Heimdahl, and Lucas Wagner (University of Minnesota, USA; Rockwell Collins, USA) @InProceedings{ASE17p496, author = {Elaheh Ghassabani and Andrew Gacek and Michael W. Whalen and Mats P. E. Heimdahl and Lucas Wagner}, title = {Proof-Based Coverage Metrics for Formal Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {496-495}, doi = {}, year = {2017}, } Article: ase17main-mainp261-p (type: New Ideas) doi:
	Wang, Chao	ASE '17: "Systematic Reduction of GUI ..." Systematic Reduction of GUI Test Sequences Lin Cheng, Zijiang Yang, and Chao Wang (Western Michigan University, USA; University of Southern California, USA) @InProceedings{ASE17p1180, author = {Lin Cheng and Zijiang Yang and Chao Wang}, title = {Systematic Reduction of GUI Test Sequences}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1180-1179}, doi = {}, year = {2017}, } Article: ase17main-mainp168-p (type: Technical Research) doi: ASE '17: "Modular Verification of Interrupt-Driven ..." Modular Verification of Interrupt-Driven Software Chungha Sung, Markus Kusano, and Chao Wang (University of Southern California, USA; Virginia Tech, USA) @InProceedings{ASE17p508, author = {Chungha Sung and Markus Kusano and Chao Wang}, title = {Modular Verification of Interrupt-Driven Software}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {508-507}, doi = {}, year = {2017}, } Article: ase17main-mainp277-p (type: Technical Research) doi:
	Wang, Jie	ASE '17: "Characterizing and Taming ..." Characterizing and Taming Non-deterministic Bugs in JavaScript Applications Jie Wang (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China) @InProceedings{ASE17p1340, author = {Jie Wang}, title = {Characterizing and Taming Non-deterministic Bugs in JavaScript Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1340-1339}, doi = {}, year = {2017}, } Article: ase17doc-doc8-p (type: Doctoral symposium (4 pages)) doi: ASE '17: "A Comprehensive Study on Real ..." A Comprehensive Study on Real World Concurrency Bugs in Node.js Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA) @InProceedings{ASE17p838, author = {Jie Wang and Wensheng Dou and Yu Gao and Chushu Gao and Feng Qin and Kang Yin and Jun Wei}, title = {A Comprehensive Study on Real World Concurrency Bugs in Node.js}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {838-837}, doi = {}, year = {2017}, } Article: ase17main-mainp155-p (type: Technical Research) doi:
	Wang, Peipei	ASE '17: "Exploring Regular Expression ..." Exploring Regular Expression Comprehension Carl Chapman, Peipei Wang, and Kathryn T. Stolee (Sandia National Laboratories, USA; North Carolina State University, USA) @InProceedings{ASE17p718, author = {Carl Chapman and Peipei Wang and Kathryn T. Stolee}, title = {Exploring Regular Expression Comprehension}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {718-717}, doi = {}, year = {2017}, } Article: ase17main-mainp104-p (type: Technical Research) doi:
	Wang, Qing	ASE '17: "Improving Missing Issue-Commit ..." Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data Yan Sun, Celia Chen, Qing Wang, and Barry Boehm (University at Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Occidental College, USA; University of Southern California, USA) @InProceedings{ASE17p448, author = {Yan Sun and Celia Chen and Qing Wang and Barry Boehm}, title = {Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {448-447}, doi = {}, year = {2017}, } Article: ase17main-mainp161-p (type: New Ideas) doi: ASE '17: "Understanding Feature Requests ..." Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis Lin Shi, Celia Chen, Qing Wang, Shoubin Li, and Barry Boehm (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; University of Southern California, USA; Occidental College, USA) @InProceedings{ASE17p754, author = {Lin Shi and Celia Chen and Qing Wang and Shoubin Li and Barry Boehm}, title = {Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {754-753}, doi = {}, year = {2017}, } Article: ase17main-mainp060-p (type: Technical Research) doi:
	Wang, Shuai	ASE '17: "In-Memory Fuzzing for Binary ..." In-Memory Fuzzing for Binary Code Similarity Analysis Shuai Wang and Dinghao Wu (Pennsylvania State University, USA) @InProceedings{ASE17p628, author = {Shuai Wang and Dinghao Wu}, title = {In-Memory Fuzzing for Binary Code Similarity Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {628-627}, doi = {}, year = {2017}, } Article: ase17main-mainp127-p (type: Technical Research) doi:
	Wang, Weihang	ASE '17: "PAD: Programming Third-Party ..." PAD: Programming Third-Party Web Advertisement Censorship Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster (Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany) @InProceedings{ASE17p544, author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster}, title = {PAD: Programming Third-Party Web Advertisement Censorship}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {544-543}, doi = {}, year = {2017}, } Article: ase17main-mainp431-p (type: Technical Research) doi:
	Wang, Xiaoyin	ASE '17: "Boosting Complete-Code Tool ..." Boosting Complete-Code Tool for Partial Program Hao Zhong and Xiaoyin Wang (Shanghai Jiao Tong University, China; University of Texas at San Antonio, USA) @InProceedings{ASE17p994, author = {Hao Zhong and Xiaoyin Wang}, title = {Boosting Complete-Code Tool for Partial Program}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {994-993}, doi = {}, year = {2017}, } Article: ase17main-mainp070-p (type: Technical Research) doi:
	Wang, Yuexing	ASE '17: "A Static Analysis Tool with ..." A Static Analysis Tool with Optimizations for Reachability Determination Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA) @InProceedings{ASE17p1258, author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {A Static Analysis Tool with Optimizations for Reachability Determination}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1258-1257}, doi = {}, year = {2017}, } Article: ase17demo-demoid18-p (type: Short Paper) doi:
	Wang, Zizhe	ASE '17: "Recommending Crowdsourced ..." Recommending Crowdsourced Software Developers in Consideration of Skill Improvement Zizhe Wang, Hailong Sun, Yang Fu, and Luting Ye (Beihang University, China) @InProceedings{ASE17p1042, author = {Zizhe Wang and Hailong Sun and Yang Fu and Luting Ye}, title = {Recommending Crowdsourced Software Developers in Consideration of Skill Improvement}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1042-1041}, doi = {}, year = {2017}, } Article: ase17main-mainp226-p (type: New Ideas) doi:
	Wehrle, Klaus	ASE '17: "Floating-Point Symbolic Execution: ..." Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, and Klaus Wehrle (Imperial College London, UK; RWTH Aachen University, Germany) @InProceedings{ASE17p922, author = {Daniel Liew and Daniel Schemmel and Cristian Cadar and Alastair F. Donaldson and Rafael Zähl and Klaus Wehrle}, title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {922-921}, doi = {}, year = {2017}, } Article: ase17main-mainp252-p (type: Experience) doi:
	Wei, Jun	ASE '17: "A Comprehensive Study on Real ..." A Comprehensive Study on Real World Concurrency Bugs in Node.js Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA) @InProceedings{ASE17p838, author = {Jie Wang and Wensheng Dou and Yu Gao and Chushu Gao and Feng Qin and Kang Yin and Jun Wei}, title = {A Comprehensive Study on Real World Concurrency Bugs in Node.js}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {838-837}, doi = {}, year = {2017}, } Article: ase17main-mainp155-p (type: Technical Research) doi:
	Weinert, Christian	ASE '17: "CogniCrypt: Supporting Developers ..." CogniCrypt: Supporting Developers in Using Cryptography Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath (University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany) @InProceedings{ASE17p1264, author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath}, title = {CogniCrypt: Supporting Developers in Using Cryptography}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1264-1263}, doi = {}, year = {2017}, } Article: ase17demo-demoid7-p (type: Short Paper) doi:
	Weiss, Aaron	ASE '17: "Tortoise: Interactive System ..." Tortoise: Interactive System Configuration Repair Aaron Weiss, Arjun Guha, and Yuriy Brun (Northeastern University, USA; University of Massachusetts at Amherst, USA) @InProceedings{ASE17p946, author = {Aaron Weiss and Arjun Guha and Yuriy Brun}, title = {Tortoise: Interactive System Configuration Repair}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {946-945}, doi = {}, year = {2017}, } Article: ase17main-mainp094-p (type: Technical Research) doi:
	Whalen, Michael W.	ASE '17: "Proof-Based Coverage Metrics ..." Proof-Based Coverage Metrics for Formal Verification Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats P. E. Heimdahl, and Lucas Wagner (University of Minnesota, USA; Rockwell Collins, USA) @InProceedings{ASE17p496, author = {Elaheh Ghassabani and Andrew Gacek and Michael W. Whalen and Mats P. E. Heimdahl and Lucas Wagner}, title = {Proof-Based Coverage Metrics for Formal Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {496-495}, doi = {}, year = {2017}, } Article: ase17main-mainp261-p (type: New Ideas) doi:
	White, David H.	ASE '17: "DSIbin: Identifying Dynamic ..." DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, and Herbert Bos (University of Bamberg, Germany; Microsoft, Canada; VU University Amsterdam, Netherlands) @InProceedings{ASE17p640, author = {Thomas Rupprecht and Xi Chen and David H. White and Jan H. Boockmann and Gerald Lüttgen and Herbert Bos}, title = {DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {640-639}, doi = {}, year = {2017}, } Article: ase17main-mainp483-p (type: Technical Research) doi:
	Winter, Stefan	ASE '17: "TrEKer: Tracing Error Propagation ..." TrEKer: Tracing Error Propagation in Operating System Kernels Nicolas Coppik, Oliver Schwahn, Stefan Winter, and Neeraj Suri (TU Darmstadt, Germany) @InProceedings{ASE17p688, author = {Nicolas Coppik and Oliver Schwahn and Stefan Winter and Neeraj Suri}, title = {TrEKer: Tracing Error Propagation in Operating System Kernels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {688-687}, doi = {}, year = {2017}, } Article: ase17main-mainp167-p (type: Technical Research) doi:
	Wu, Dinghao	ASE '17: "In-Memory Fuzzing for Binary ..." In-Memory Fuzzing for Binary Code Similarity Analysis Shuai Wang and Dinghao Wu (Pennsylvania State University, USA) @InProceedings{ASE17p628, author = {Shuai Wang and Dinghao Wu}, title = {In-Memory Fuzzing for Binary Code Similarity Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {628-627}, doi = {}, year = {2017}, } Article: ase17main-mainp127-p (type: Technical Research) doi:
	Wu, Yuxuan	ASE '17: "SimplyDroid: Efficient Event ..." SimplyDroid: Efficient Event Sequence Simplification for Android Application Bo Jiang, Yuxuan Wu, Teng Li, and W. K. Chan (Beihang University, China; City University of Hong Kong, China) @InProceedings{ASE17p604, author = {Bo Jiang and Yuxuan Wu and Teng Li and W. K. Chan}, title = {SimplyDroid: Efficient Event Sequence Simplification for Android Application}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {604-603}, doi = {}, year = {2017}, } Article: ase17main-mainp016-p (type: Technical Research) doi:
	Xia, Xin	ASE '17: "AnswerBot: Automated Generation ..." AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions Bowen Xu, Zhenchang Xing, Xin Xia, and David Lo (Zhejiang University, China; Singapore Management University, Singapore; Australian National University, Australia; University of British Columbia, Canada) @InProceedings{ASE17p1030, author = {Bowen Xu and Zhenchang Xing and Xin Xia and David Lo}, title = {AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1030-1029}, doi = {}, year = {2017}, } Article: ase17main-mainp260-p (type: Technical Research) doi:
	Xiao, Hao	ASE '17: "FiB: Squeezing Loop Invariants ..." FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; Tampere University of Technology, Finland) @InProceedings{ASE17p1120, author = {Shang-Wei Lin and Jun Sun and Hao Xiao and Yang Liu and David Sanán and Henri Hansen}, title = {FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1120-1119}, doi = {}, year = {2017}, } Article: ase17main-mainp077-p (type: Technical Research) doi:
	Xie, Bing	ASE '17: "Improving Software Text Retrieval ..." Improving Software Text Retrieval using Conceptual Knowledge in Source Code Zeqi Lin, Yanzhen Zou, Junfeng Zhao, and Bing Xie (Peking University, China) @InProceedings{ASE17p424, author = {Zeqi Lin and Yanzhen Zou and Junfeng Zhao and Bing Xie}, title = {Improving Software Text Retrieval using Conceptual Knowledge in Source Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {424-423}, doi = {}, year = {2017}, } Article: ase17main-mainp419-p (type: Technical Research) doi:
	Xin, Qi	ASE '17: "A Demonstration of Simultaneous ..." A Demonstration of Simultaneous Execution and Editing in a Development Environment Steven P. Reiss and Qi Xin (Brown University, USA) @InProceedings{ASE17p1228, author = {Steven P. Reiss and Qi Xin}, title = {A Demonstration of Simultaneous Execution and Editing in a Development Environment}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1228-1227}, doi = {}, year = {2017}, } Article: ase17demo-demoid6-p (type: Short Paper) doi: ASE '17: "Leveraging Syntax-Related ..." Leveraging Syntax-Related Code for Automated Program Repair Qi Xin and Steven P. Reiss (Brown University, USA) @InProceedings{ASE17p982, author = {Qi Xin and Steven P. Reiss}, title = {Leveraging Syntax-Related Code for Automated Program Repair}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {982-981}, doi = {}, year = {2017}, } Article: ase17main-mainp317-p (type: Technical Research) doi:
	Xing, Zhenchang	ASE '17: "AnswerBot: Automated Generation ..." AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions Bowen Xu, Zhenchang Xing, Xin Xia, and David Lo (Zhejiang University, China; Singapore Management University, Singapore; Australian National University, Australia; University of British Columbia, Canada) @InProceedings{ASE17p1030, author = {Bowen Xu and Zhenchang Xing and Xin Xia and David Lo}, title = {AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1030-1029}, doi = {}, year = {2017}, } Article: ase17main-mainp260-p (type: Technical Research) doi: ASE '17: "Mining Implicit Design Templates ..." Mining Implicit Design Templates for Actionable Code Reuse Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia) @InProceedings{ASE17p706, author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong}, title = {Mining Implicit Design Templates for Actionable Code Reuse}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {706-705}, doi = {}, year = {2017}, } Article: ase17main-mainp043-p (type: Technical Research) doi:
	Xiong, Wandi	ASE '17: "Diagnosing Assumption Problems ..." Diagnosing Assumption Problems in Safety-Critical Products Mona Rahimi, Wandi Xiong, Jane Cleland-Huang, and Robyn Lutz (DePaul University, USA; Iowa State University, USA; University of Notre Dame, USA) @InProceedings{ASE17p790, author = {Mona Rahimi and Wandi Xiong and Jane Cleland-Huang and Robyn Lutz}, title = {Diagnosing Assumption Problems in Safety-Critical Products}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {790-789}, doi = {}, year = {2017}, } Article: ase17main-mainp008-p (type: Technical Research) doi:
	Xu, Bowen	ASE '17: "AnswerBot: Automated Generation ..." AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions Bowen Xu, Zhenchang Xing, Xin Xia, and David Lo (Zhejiang University, China; Singapore Management University, Singapore; Australian National University, Australia; University of British Columbia, Canada) @InProceedings{ASE17p1030, author = {Bowen Xu and Zhenchang Xing and Xin Xia and David Lo}, title = {AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1030-1029}, doi = {}, year = {2017}, } Article: ase17main-mainp260-p (type: Technical Research) doi:
	Xu, Guoqing	ASE '17: "Understanding and Overcoming ..." Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, and Yu David Liu (Federal University of Paríç, Brazil; SUNY Binghamton, USA; Federal University of Pernambuco, Brazil; University of California at Irvine, USA) @InProceedings{ASE17p1090, author = {Gustavo Pinto and Anthony Canino and Fernando Castor and Guoqing Xu and Yu David Liu}, title = {Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1090-1089}, doi = {}, year = {2017}, } Article: ase17main-mainp311-p (type: Technical Research) doi:
	Xue, Yinxing	ASE '17: "Mining Implicit Design Templates ..." Mining Implicit Design Templates for Actionable Code Reuse Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia) @InProceedings{ASE17p706, author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong}, title = {Mining Implicit Design Templates for Actionable Code Reuse}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {706-705}, doi = {}, year = {2017}, } Article: ase17main-mainp043-p (type: Technical Research) doi:
	Yan, Jia	ASE '17: "Automatically Assessing Crashes ..." Automatically Assessing Crashes from Heap Overflows Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng (Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore) @InProceedings{ASE17p580, author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng}, title = {Automatically Assessing Crashes from Heap Overflows}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {580-579}, doi = {}, year = {2017}, } Article: ase17main-mainp011-p (type: New Ideas) doi:
	Yan, Yan	ASE '17: "Semantics-Assisted Code Review: ..." Semantics-Assisted Code Review: An Efficient Toolchain and a User Study Massimiliano Menarini, Yan Yan, and William G. Griswold (University of California at San Diego, USA) @InProceedings{ASE17p874, author = {Massimiliano Menarini and Yan Yan and William G. Griswold}, title = {Semantics-Assisted Code Review: An Efficient Toolchain and a User Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {874-873}, doi = {}, year = {2017}, } Article: ase17main-mainp291-p (type: Technical Research) doi:
	Yang, Mu	ASE '17: "Learning to Share: Engineering ..." Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh (Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland) @InProceedings{ASE17p586, author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh}, title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {586-585}, doi = {}, year = {2017}, } Article: ase17main-mainp093-p (type: New Ideas) doi:
	Yang, Yi	ASE '17: "Automatically Assessing Crashes ..." Automatically Assessing Crashes from Heap Overflows Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng (Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore) @InProceedings{ASE17p580, author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng}, title = {Automatically Assessing Crashes from Heap Overflows}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {580-579}, doi = {}, year = {2017}, } Article: ase17main-mainp011-p (type: New Ideas) doi:
	Yang, Yixiao	ASE '17: "A Language Model for Statements ..." A Language Model for Statements of Software Code Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu (Tsinghua University, China) @InProceedings{ASE17p1006, author = {Yixiao Yang and Yu Jiang and Ming Gu and Jiaguang Sun and Jian Gao and Han Liu}, title = {A Language Model for Statements of Software Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1006-1005}, doi = {}, year = {2017}, } Article: ase17main-mainp485-p (type: New Ideas) doi:
	Yang, Zijiang	ASE '17: "Systematic Reduction of GUI ..." Systematic Reduction of GUI Test Sequences Lin Cheng, Zijiang Yang, and Chao Wang (Western Michigan University, USA; University of Southern California, USA) @InProceedings{ASE17p1180, author = {Lin Cheng and Zijiang Yang and Chao Wang}, title = {Systematic Reduction of GUI Test Sequences}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1180-1179}, doi = {}, year = {2017}, } Article: ase17main-mainp168-p (type: Technical Research) doi:
	Ye, Luting	ASE '17: "Recommending Crowdsourced ..." Recommending Crowdsourced Software Developers in Consideration of Skill Improvement Zizhe Wang, Hailong Sun, Yang Fu, and Luting Ye (Beihang University, China) @InProceedings{ASE17p1042, author = {Zizhe Wang and Hailong Sun and Yang Fu and Luting Ye}, title = {Recommending Crowdsourced Software Developers in Consideration of Skill Improvement}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1042-1041}, doi = {}, year = {2017}, } Article: ase17main-mainp226-p (type: New Ideas) doi:
	Yin, Kang	ASE '17: "A Comprehensive Study on Real ..." A Comprehensive Study on Real World Concurrency Bugs in Node.js Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA) @InProceedings{ASE17p838, author = {Jie Wang and Wensheng Dou and Yu Gao and Chushu Gao and Feng Qin and Kang Yin and Jun Wei}, title = {A Comprehensive Study on Real World Concurrency Bugs in Node.js}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {838-837}, doi = {}, year = {2017}, } Article: ase17main-mainp155-p (type: Technical Research) doi:
	Yoodee, Peera	ASE '17: "SEALANT: A Detection and Visualization ..." SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic (University of Southern California, USA) @InProceedings{ASE17p1216, author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic}, title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1216-1215}, doi = {}, year = {2017}, } Article: ase17demo-demoid14-p (type: Short Paper) doi:
	Yoshida, Hiroaki	ASE '17: "ELIXIR: Effective Object Oriented ..." ELIXIR: Effective Object Oriented Program Repair Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad (Fujitsu Labs, USA; University of Southern California, USA) @InProceedings{ASE17p970, author = {Ripon K. Saha and Yingjun Lyu and Hiroaki Yoshida and Mukul R. Prasad}, title = {ELIXIR: Effective Object Oriented Program Repair}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {970-969}, doi = {}, year = {2017}, } Article: ase17main-mainp374-p (type: Technical Research) doi:
	Yu, Yijun	ASE '17: "O2O Service Composition with ..." O2O Service Composition with Social Collaboration Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao (Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; Lero, Ireland) @InProceedings{ASE17p766, author = {Wenyi Qian and Xin Peng and Jun Sun and Yijun Yu and Bashar Nuseibeh and Wenyun Zhao}, title = {O2O Service Composition with Social Collaboration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {766-765}, doi = {}, year = {2017}, } Article: ase17main-mainp042-p (type: Technical Research) doi:
	Zähl, Rafael	ASE '17: "Floating-Point Symbolic Execution: ..." Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, and Klaus Wehrle (Imperial College London, UK; RWTH Aachen University, Germany) @InProceedings{ASE17p922, author = {Daniel Liew and Daniel Schemmel and Cristian Cadar and Alastair F. Donaldson and Rafael Zähl and Klaus Wehrle}, title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {922-921}, doi = {}, year = {2017}, } Article: ase17main-mainp252-p (type: Experience) doi:
	Zamanirad, Shayan	ASE '17: "Programming Bots by Synthesizing ..." Programming Bots by Synthesizing Natural Language Expressions into API Invocations Shayan Zamanirad, Boualem Benatallah, Moshe Chai Barukh, Fabio Casati, and Carlos Rodriguez (UNSW, Australia; University of Trento, Italy; Tomsk Polytechnic University, Russia) @InProceedings{ASE17p1162, author = {Shayan Zamanirad and Boualem Benatallah and Moshe Chai Barukh and Fabio Casati and Carlos Rodriguez}, title = {Programming Bots by Synthesizing Natural Language Expressions into API Invocations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1162-1161}, doi = {}, year = {2017}, } Article: ase17main-mainp054-p (type: New Ideas) doi:
	Zeller, Andreas	ASE '17: "Detecting Information Flow ..." Detecting Information Flow by Mutating Input Data Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, and Andreas Zeller (Saarland University, Germany; National University of Singapore, Singapore) @InProceedings{ASE17p568, author = {Björn Mathis and Vitalii Avdiienko and Ezekiel O. Soremekun and Marcel Böhme and Andreas Zeller}, title = {Detecting Information Flow by Mutating Input Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {568-567}, doi = {}, year = {2017}, } Article: ase17main-mainp148-p (type: Technical Research) doi:
	Zhang, Chucheng	ASE '17: "Sketch-Guided GUI Test Generation ..." Sketch-Guided GUI Test Generation for Mobile Applications Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li (Nanjing University, China) @InProceedings{ASE17p334, author = {Chucheng Zhang and Haoliang Cheng and Enyi Tang and Xin Chen and Lei Bu and Xuandong Li}, title = {Sketch-Guided GUI Test Generation for Mobile Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {334-333}, doi = {}, year = {2017}, } Article: ase17main-mainp022-p (type: New Ideas) doi:
	Zhang, Li Lyna	ASE '17: "Systematically Testing Background ..." Systematically Testing Background Services of Mobile Apps Li Lyna Zhang, Chieh-Jan Mike Liang, Yunxin Liu, and Enhong Chen (University of Science and Technology of China, China; Microsoft Research, China) @InProceedings{ASE17p298, author = {Li Lyna Zhang and Chieh-Jan Mike Liang and Yunxin Liu and Enhong Chen}, title = {Systematically Testing Background Services of Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {298-297}, doi = {}, year = {2017}, } Article: ase17main-mainp072-p (type: Technical Research) doi:
	Zhang, Xiangyu	ASE '17: "PAD: Programming Third-Party ..." PAD: Programming Third-Party Web Advertisement Censorship Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster (Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany) @InProceedings{ASE17p544, author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster}, title = {PAD: Programming Third-Party Web Advertisement Censorship}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {544-543}, doi = {}, year = {2017}, } Article: ase17main-mainp431-p (type: Technical Research) doi: ASE '17: "UI Driven Android Application ..." UI Driven Android Application Reduction Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, and Chen Tian (Purdue University, USA; Huawei, USA) @InProceedings{ASE17p592, author = {Jianjun Huang and Yousra Aafer and David Perry and Xiangyu Zhang and Chen Tian}, title = {UI Driven Android Application Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {592-591}, doi = {}, year = {2017}, } Article: ase17main-mainp335-p (type: Technical Research) doi:
	Zhao, Junfeng	ASE '17: "Improving Software Text Retrieval ..." Improving Software Text Retrieval using Conceptual Knowledge in Source Code Zeqi Lin, Yanzhen Zou, Junfeng Zhao, and Bing Xie (Peking University, China) @InProceedings{ASE17p424, author = {Zeqi Lin and Yanzhen Zou and Junfeng Zhao and Bing Xie}, title = {Improving Software Text Retrieval using Conceptual Knowledge in Source Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {424-423}, doi = {}, year = {2017}, } Article: ase17main-mainp419-p (type: Technical Research) doi:
	Zhao, Wenyun	ASE '17: "Mining Implicit Design Templates ..." Mining Implicit Design Templates for Actionable Code Reuse Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia) @InProceedings{ASE17p706, author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong}, title = {Mining Implicit Design Templates for Actionable Code Reuse}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {706-705}, doi = {}, year = {2017}, } Article: ase17main-mainp043-p (type: Technical Research) doi: ASE '17: "O2O Service Composition with ..." O2O Service Composition with Social Collaboration Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao (Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; Lero, Ireland) @InProceedings{ASE17p766, author = {Wenyi Qian and Xin Peng and Jun Sun and Yijun Yu and Bashar Nuseibeh and Wenyun Zhao}, title = {O2O Service Composition with Social Collaboration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {766-765}, doi = {}, year = {2017}, } Article: ase17main-mainp042-p (type: Technical Research) doi:
	Zhao, Yangyang	ASE '17: "The Impact of Continuous Integration ..." The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study Yangyang Zhao, Alexander Serebrenik, Yuming Zhou, Vladimir Filkov, and Bogdan Vasilescu (Nanjing University, China; Eindhoven University of Technology, Netherlands; University of California at Davis, USA; Carnegie Mellon University, USA) @InProceedings{ASE17p358, author = {Yangyang Zhao and Alexander Serebrenik and Yuming Zhou and Vladimir Filkov and Bogdan Vasilescu}, title = {The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {358-357}, doi = {}, year = {2017}, } Article: ase17main-mainp336-p (type: Technical Research) doi:
	Zheng, Yunhui	ASE '17: "PAD: Programming Third-Party ..." PAD: Programming Third-Party Web Advertisement Censorship Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster (Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany) @InProceedings{ASE17p544, author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster}, title = {PAD: Programming Third-Party Web Advertisement Censorship}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {544-543}, doi = {}, year = {2017}, } Article: ase17main-mainp431-p (type: Technical Research) doi:
	Zhong, Hao	ASE '17: "Boosting Complete-Code Tool ..." Boosting Complete-Code Tool for Partial Program Hao Zhong and Xiaoyin Wang (Shanghai Jiao Tong University, China; University of Texas at San Antonio, USA) @InProceedings{ASE17p994, author = {Hao Zhong and Xiaoyin Wang}, title = {Boosting Complete-Code Tool for Partial Program}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {994-993}, doi = {}, year = {2017}, } Article: ase17main-mainp070-p (type: Technical Research) doi:
	Zhou, Jinpeng	ASE '17: "UNDEAD: Detecting and Preventing ..." UNDEAD: Detecting and Preventing Deadlocks in Production Software Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu (University of Texas at San Antonio, USA; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{ASE17p1054, author = {Jinpeng Zhou and Sam Silvestro and Hongyu Liu and Yan Cai and Tongping Liu}, title = {UNDEAD: Detecting and Preventing Deadlocks in Production Software}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1054-1053}, doi = {}, year = {2017}, } Article: ase17main-mainp051-p (type: Technical Research) doi:
	Zhou, Min	ASE '17: "A Static Analysis Tool with ..." A Static Analysis Tool with Optimizations for Reachability Determination Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA) @InProceedings{ASE17p1258, author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {A Static Analysis Tool with Optimizations for Reachability Determination}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1258-1257}, doi = {}, year = {2017}, } Article: ase17demo-demoid18-p (type: Short Paper) doi: ASE '17: "IntPTI: Automatic Integer ..." IntPTI: Automatic Integer Error Repair with Proper-Type Inference Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA) @InProceedings{ASE17p1330, author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1330-1329}, doi = {}, year = {2017}, } Article: ase17demo-demoid9-p (type: Short Paper) doi:
	Zhou, Yuming	ASE '17: "The Impact of Continuous Integration ..." The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study Yangyang Zhao, Alexander Serebrenik, Yuming Zhou, Vladimir Filkov, and Bogdan Vasilescu (Nanjing University, China; Eindhoven University of Technology, Netherlands; University of California at Davis, USA; Carnegie Mellon University, USA) @InProceedings{ASE17p358, author = {Yangyang Zhao and Alexander Serebrenik and Yuming Zhou and Vladimir Filkov and Bogdan Vasilescu}, title = {The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {358-357}, doi = {}, year = {2017}, } Article: ase17main-mainp336-p (type: Technical Research) doi:
	Zou, Yanzhen	ASE '17: "Improving Software Text Retrieval ..." Improving Software Text Retrieval using Conceptual Knowledge in Source Code Zeqi Lin, Yanzhen Zou, Junfeng Zhao, and Bing Xie (Peking University, China) @InProceedings{ASE17p424, author = {Zeqi Lin and Yanzhen Zou and Junfeng Zhao and Bing Xie}, title = {Improving Software Text Retrieval using Conceptual Knowledge in Source Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {424-423}, doi = {}, year = {2017}, } Article: ase17main-mainp419-p (type: Technical Research) doi: