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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 doi: