ASE 2018 – 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 '18: "Dual-Force: Understanding ..." Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, and Jianhua Zhao (Nanjing University, China; Purdue University, USA) @InProceedings{ASE18p753, author = {Zhenhao Tang and Juan Zhai and Minxue Pan and Yousra Aafer and Shiqing Ma and Xiangyu Zhang and Jianhua Zhao}, title = {Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {753-752}, doi = {10.1145/3238147.3238221}, year = {2018}, } Publisher's Version Article: ase18main-p486-p doi:10.1145/3238147.3238221
	Abdessalem, Raja Ben	ASE '18: "Testing Autonomous Cars for ..." Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, and Thomas Stifter (University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; IEE, Luxembourg) @InProceedings{ASE18p153, author = {Raja Ben Abdessalem and Annibale Panichella and Shiva Nejati and Lionel C. Briand and Thomas Stifter}, title = {Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {153-152}, doi = {10.1145/3238147.3238192}, year = {2018}, } Publisher's Version Article: ase18main-p216-p doi:10.1145/3238147.3238192
	Abreu, Rui	ASE '18: "Lightweight Source Code Monitoring ..." Lightweight Source Code Monitoring with Triggr Alim Ozdemir, Ayse Tosun, Hakan Erdogmus, and Rui Abreu (Istanbul Technical University, Turkey; Carnegie Mellon University, USA; University of Lisbon, Portugal) @InProceedings{ASE18p911, author = {Alim Ozdemir and Ayse Tosun and Hakan Erdogmus and Rui Abreu}, title = {Lightweight Source Code Monitoring with Triggr}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {911-910}, doi = {10.1145/3238147.3240486}, year = {2018}, } Publisher's Version Article: ase18tools-p35-p doi:10.1145/3238147.3240486
	Abubakar, Muhammad	ASE '18: "TRIMMER: Application Specialization ..." TRIMMER: Application Specialization for Code Debloating Hashim Sharif, Muhammad Abubakar, Ashish Gehani, and Fareed Zaffar (University of Illinois at Urbana-Champaign, USA; Lahore University of Management Sciences, Pakistan; SRI International, USA) @InProceedings{ASE18p345, author = {Hashim Sharif and Muhammad Abubakar and Ashish Gehani and Fareed Zaffar}, title = {TRIMMER: Application Specialization for Code Debloating}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {345-344}, doi = {10.1145/3238147.3238160}, year = {2018}, } Publisher's Version Article: ase18main-p66-p doi:10.1145/3238147.3238160
	Accioly, Paola	ASE '18: "Understanding Semi-structured ..." Understanding Semi-structured Merge Conflict Characteristics in Open-Source Java Projects (Journal-First Abstract) Paola Accioly, Paulo Borba, and Guilherme Cavalcanti (Federal University of Pernambuco, Brazil) @InProceedings{ASE18p1002, author = {Paola Accioly and Paulo Borba and Guilherme Cavalcanti}, title = {Understanding Semi-structured Merge Conflict Characteristics in Open-Source Java Projects (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1002-1001}, doi = {10.1145/3238147.3241983}, year = {2018}, } Publisher's Version Article: ase18jfirst-idjf3-p doi:10.1145/3238147.3241983
	Aguirre, Nazareno	ASE '18: "A Genetic Algorithm for Goal-Conflict ..." A Genetic Algorithm for Goal-Conflict Identification Renzo Degiovanni, Facundo Molina, Germán Regis, and Nazareno Aguirre (National University of Río Cuarto, Argentina; CONICET, Argentina) @InProceedings{ASE18p549, author = {Renzo Degiovanni and Facundo Molina and Germán Regis and Nazareno Aguirre}, title = {A Genetic Algorithm for Goal-Conflict Identification}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {549-548}, doi = {10.1145/3238147.3238220}, year = {2018}, } Publisher's Version Article: ase18main-p463-p doi:10.1145/3238147.3238220
	Alizadeh, Vahid	ASE '18: "Reducing Interactive Refactoring ..." Reducing Interactive Refactoring Effort via Clustering-Based Multi-objective Search Vahid Alizadeh and Marouane Kessentini (University of Michigan, USA) @InProceedings{ASE18p489, author = {Vahid Alizadeh and Marouane Kessentini}, title = {Reducing Interactive Refactoring Effort via Clustering-Based Multi-objective Search}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {489-488}, doi = {10.1145/3238147.3238217}, year = {2018}, } Publisher's Version Article: ase18main-p449-p doi:10.1145/3238147.3238217
	Almasri, Nada	ASE '18: "Automatically Quantifying ..." Automatically Quantifying the Impact of a Change in Systems (Journal-First Abstract) Nada Almasri, Luay Tahat, and Bogdan Korel (Gulf University for Science and Technology, Kuwait; Illinois Institute of Technology, USA) @InProceedings{ASE18p999, author = {Nada Almasri and Luay Tahat and Bogdan Korel}, title = {Automatically Quantifying the Impact of a Change in Systems (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {999-998}, doi = {10.1145/3238147.3241984}, year = {2018}, } Publisher's Version Article: ase18jfirst-idjf4-p doi:10.1145/3238147.3241984
	Arora, Nipun	ASE '18: "Replay without Recording of ..." Replay without Recording of Production Bugs for Service Oriented Applications Nipun Arora, Jonathan Bell, Franjo Ivančić, Gail Kaiser, and Baishakhi Ray (Dropbox, USA; George Mason University, USA; Google, USA; Columbia University, USA) @InProceedings{ASE18p477, author = {Nipun Arora and Jonathan Bell and Franjo Ivančić and Gail Kaiser and Baishakhi Ray}, title = {Replay without Recording of Production Bugs for Service Oriented Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {477-476}, doi = {10.1145/3238147.3238186}, year = {2018}, } Publisher's Version Article: ase18main-p141-p doi:10.1145/3238147.3238186
	Arora, Pryanshu	ASE '18: "Automated Directed Fairness ..." Automated Directed Fairness Testing Sakshi Udeshi, Pryanshu Arora, and Sudipta Chattopadhyay (Singapore University of Technology and Design, Singapore; BITS Pilani, India) @InProceedings{ASE18p105, author = {Sakshi Udeshi and Pryanshu Arora and Sudipta Chattopadhyay}, title = {Automated Directed Fairness Testing}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {105-104}, doi = {10.1145/3238147.3238165}, year = {2018}, } Publisher's Version Article: ase18main-p218-p doi:10.1145/3238147.3238165
	Bacchelli, Alberto	ASE '18: "Continuous Code Quality: Are ..." Continuous Code Quality: Are We (Really) Doing That? Carmine Vassallo, Fabio Palomba, Alberto Bacchelli, and Harald C. Gall (University of Zurich, Switzerland) @InProceedings{ASE18p837, author = {Carmine Vassallo and Fabio Palomba and Alberto Bacchelli and Harald C. Gall}, title = {Continuous Code Quality: Are We (Really) Doing That?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {837-836}, doi = {10.1145/3238147.3240729}, year = {2018}, } Publisher's Version Article: ase18ideas-p304-p doi:10.1145/3238147.3240729 ASE '18: "Mining File Histories: Should ..." Mining File Histories: Should We Consider Branches? Vladimir Kovalenko, Fabio Palomba, and Alberto Bacchelli (Delft University of Technology, Netherlands; University of Zurich, Switzerland) @InProceedings{ASE18p213, author = {Vladimir Kovalenko and Fabio Palomba and Alberto Bacchelli}, title = {Mining File Histories: Should We Consider Branches?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {213-212}, doi = {10.1145/3238147.3238169}, year = {2018}, } Publisher's Version Article: ase18main-p335-p doi:10.1145/3238147.3238169
	Bagheri, Hamid	ASE '18: "An Evolutionary Approach for ..." An Evolutionary Approach for Analyzing Alloy Specifications Jianghao Wang, Hamid Bagheri, and Myra B. Cohen (University of Nebraska-Lincoln, USA) @InProceedings{ASE18p867, author = {Jianghao Wang and Hamid Bagheri and Myra B. Cohen}, title = {An Evolutionary Approach for Analyzing Alloy Specifications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {867-866}, doi = {10.1145/3238147.3240468}, year = {2018}, } Publisher's Version Article: ase18ideas-p452-p doi:10.1145/3238147.3240468
	Bai, Guangdong	ASE '18: "Break the Dead End of Dynamic ..." Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, and Jinsong Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Singapore Institute of Technology, Singapore; Nanyang Technological University, Singapore) @InProceedings{ASE18p537, author = {Yun Lin and Jun Sun and Lyly Tran and Guangdong Bai and Haijun Wang and Jinsong Dong}, title = {Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {537-536}, doi = {10.1145/3238147.3238163}, year = {2018}, } Publisher's Version Article: ase18main-p132-p doi:10.1145/3238147.3238163
	Bajammal, Mohammad	ASE '18: "Generating Reusable Web Components ..." Generating Reusable Web Components from Mockups Mohammad Bajammal, Davood Mazinanian, and Ali Mesbah (University of British Columbia, Canada) @InProceedings{ASE18p633, author = {Mohammad Bajammal and Davood Mazinanian and Ali Mesbah}, title = {Generating Reusable Web Components from Mockups}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {633-632}, doi = {10.1145/3238147.3238194}, year = {2018}, } Publisher's Version Article: ase18main-p220-p doi:10.1145/3238147.3238194
	Bao, Liang	ASE '18: "AutoConfig: Automatic Configuration ..." AutoConfig: Automatic Configuration Tuning for Distributed Message Systems Liang Bao, Xin Liu, Ziheng Xu, and Baoyin Fang (Xidian University, China; University of California at Davis, USA) @InProceedings{ASE18p33, author = {Liang Bao and Xin Liu and Ziheng Xu and Baoyin Fang}, title = {AutoConfig: Automatic Configuration Tuning for Distributed Message Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3238147.3238175}, year = {2018}, } Publisher's Version Article: ase18main-p32-p doi:10.1145/3238147.3238175
	Baudry, Benoit	ASE '18: "Descartes: A PITest Engine ..." Descartes: A PITest Engine to Detect Pseudo-Tested Methods: Tool Demonstration Oscar Luis Vera-Pérez, Martin Monperrus, and Benoit Baudry (Inria, France; KTH, Sweden) @InProceedings{ASE18p955, author = {Oscar Luis Vera-Pérez and Martin Monperrus and Benoit Baudry}, title = {Descartes: A PITest Engine to Detect Pseudo-Tested Methods: Tool Demonstration}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {955-954}, doi = {10.1145/3238147.3240474}, year = {2018}, } Publisher's Version Article: ase18tools-p13-p doi:10.1145/3238147.3240474
	Bavota, Gabriele	ASE '18: "An Empirical Investigation ..." An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, and Denys Poshyvanyk (College of William and Mary, USA; University of Lugano, Switzerland; University of Sannio, Italy) @InProceedings{ASE18p879, author = {Michele Tufano and Cody Watson and Gabriele Bavota and Massimiliano Di Penta and Martin White and Denys Poshyvanyk}, title = {An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {879-878}, doi = {10.1145/3238147.3240732}, year = {2018}, } Publisher's Version Article: ase18ideas-p400-p doi:10.1145/3238147.3240732
	Bell, Jonathan	ASE '18: "Replay without Recording of ..." Replay without Recording of Production Bugs for Service Oriented Applications Nipun Arora, Jonathan Bell, Franjo Ivančić, Gail Kaiser, and Baishakhi Ray (Dropbox, USA; George Mason University, USA; Google, USA; Columbia University, USA) @InProceedings{ASE18p477, author = {Nipun Arora and Jonathan Bell and Franjo Ivančić and Gail Kaiser and Baishakhi Ray}, title = {Replay without Recording of Production Bugs for Service Oriented Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {477-476}, doi = {10.1145/3238147.3238186}, year = {2018}, } Publisher's Version Article: ase18main-p141-p doi:10.1145/3238147.3238186 ASE '18: "A Large-Scale Study of Test ..." A Large-Scale Study of Test Coverage Evolution Michael Hilton, Jonathan Bell, and Darko Marinov (Carnegie Mellon University, USA; George Mason University, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE18p57, author = {Michael Hilton and Jonathan Bell and Darko Marinov}, title = {A Large-Scale Study of Test Coverage Evolution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {57-56}, doi = {10.1145/3238147.3238183}, year = {2018}, } Publisher's Version Article: ase18main-p89-p doi:10.1145/3238147.3238183
	Ben Fadhel, Ameni	ASE '18: "Model-Driven Run-Time Enforcement ..." Model-Driven Run-Time Enforcement of Complex Role-Based Access Control Policies Ameni Ben Fadhel, Domenico Bianculli, and Lionel C. Briand (University of Luxembourg, Luxembourg) @InProceedings{ASE18p261, author = {Ameni Ben Fadhel and Domenico Bianculli and Lionel C. Briand}, title = {Model-Driven Run-Time Enforcement of Complex Role-Based Access Control Policies}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3238147.3238167}, year = {2018}, } Publisher's Version Article: ase18main-p277-p doi:10.1145/3238147.3238167
	Berger, Thorsten	ASE '18: "Tackling Combinatorial Explosion: ..." Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems Mukelabai Mukelabai, Damir Nešić, Salome Maro, Thorsten Berger, and Jan-Philipp Steghöfer (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; KTH, Sweden) @InProceedings{ASE18p165, author = {Mukelabai Mukelabai and Damir Nešić and Salome Maro and Thorsten Berger and Jan-Philipp Steghöfer}, title = {Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {165-164}, doi = {10.1145/3238147.3238201}, year = {2018}, } Publisher's Version Article: ase18main-p316-p doi:10.1145/3238147.3238201
	Beyer, Dirk	ASE '18: "Domain-Independent Multi-threaded ..." Domain-Independent Multi-threaded Software Model Checking Dirk Beyer and Karlheinz Friedberger (LMU Munich, Germany) @InProceedings{ASE18p669, author = {Dirk Beyer and Karlheinz Friedberger}, title = {Domain-Independent Multi-threaded Software Model Checking}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {669-668}, doi = {10.1145/3238147.3238195}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Article: ase18main-p227-p doi:10.1145/3238147.3238195 ASE '18: "CPA-SymExec: Efficient Symbolic ..." CPA-SymExec: Efficient Symbolic Execution in CPAchecker Dirk Beyer and Thomas Lemberger (LMU Munich, Germany) @InProceedings{ASE18p947, author = {Dirk Beyer and Thomas Lemberger}, title = {CPA-SymExec: Efficient Symbolic Execution in CPAchecker}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {947-946}, doi = {10.1145/3238147.3240478}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Article: ase18tools-p21-p doi:10.1145/3238147.3240478
	Bianculli, Domenico	ASE '18: "Model-Driven Run-Time Enforcement ..." Model-Driven Run-Time Enforcement of Complex Role-Based Access Control Policies Ameni Ben Fadhel, Domenico Bianculli, and Lionel C. Briand (University of Luxembourg, Luxembourg) @InProceedings{ASE18p261, author = {Ameni Ben Fadhel and Domenico Bianculli and Lionel C. Briand}, title = {Model-Driven Run-Time Enforcement of Complex Role-Based Access Control Policies}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3238147.3238167}, year = {2018}, } Publisher's Version Article: ase18main-p277-p doi:10.1145/3238147.3238167
	Blanc, Xavier	ASE '18: "On Adopting Linters to Deal ..." On Adopting Linters to Deal with Performance Concerns in Android Apps Sarra Habchi, Xavier Blanc, and Romain Rouvoy (Inria, France; University of Lille, France; University of Bordeaux, France) @InProceedings{ASE18p9, author = {Sarra Habchi and Xavier Blanc and Romain Rouvoy}, title = {On Adopting Linters to Deal with Performance Concerns in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {9-8}, doi = {10.1145/3238147.3238197}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Article: ase18main-p265-p doi:10.1145/3238147.3238197
	Borba, Paulo	ASE '18: "Understanding Semi-structured ..." Understanding Semi-structured Merge Conflict Characteristics in Open-Source Java Projects (Journal-First Abstract) Paola Accioly, Paulo Borba, and Guilherme Cavalcanti (Federal University of Pernambuco, Brazil) @InProceedings{ASE18p1002, author = {Paola Accioly and Paulo Borba and Guilherme Cavalcanti}, title = {Understanding Semi-structured Merge Conflict Characteristics in Open-Source Java Projects (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1002-1001}, doi = {10.1145/3238147.3241983}, year = {2018}, } Publisher's Version Article: ase18jfirst-idjf3-p doi:10.1145/3238147.3241983
	Borges Jr., Nataniel P.	ASE '18: "DroidMate-2: A Platform for ..." DroidMate-2: A Platform for Android Test Generation Nataniel P. Borges Jr., Jenny Hotzkow, and Andreas Zeller (Saarland University, Germany) @InProceedings{ASE18p963, author = {Nataniel P. Borges Jr. and Jenny Hotzkow and Andreas Zeller}, title = {DroidMate-2: A Platform for Android Test Generation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {963-962}, doi = {10.1145/3238147.3240479}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Article: ase18tools-p22-p doi:10.1145/3238147.3240479
	Briand, Lionel C.	ASE '18: "Testing Autonomous Cars for ..." Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, and Thomas Stifter (University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; IEE, Luxembourg) @InProceedings{ASE18p153, author = {Raja Ben Abdessalem and Annibale Panichella and Shiva Nejati and Lionel C. Briand and Thomas Stifter}, title = {Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {153-152}, doi = {10.1145/3238147.3238192}, year = {2018}, } Publisher's Version Article: ase18main-p216-p doi:10.1145/3238147.3238192 ASE '18: "Model-Driven Run-Time Enforcement ..." Model-Driven Run-Time Enforcement of Complex Role-Based Access Control Policies Ameni Ben Fadhel, Domenico Bianculli, and Lionel C. Briand (University of Luxembourg, Luxembourg) @InProceedings{ASE18p261, author = {Ameni Ben Fadhel and Domenico Bianculli and Lionel C. Briand}, title = {Model-Driven Run-Time Enforcement of Complex Role-Based Access Control Policies}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3238147.3238167}, year = {2018}, } Publisher's Version Article: ase18main-p277-p doi:10.1145/3238147.3238167
	Brunel, Julien	ASE '18: "The Electrum Analyzer: Model ..." The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications Julien Brunel, David Chemouil, Alcino Cunha, and Nuno Macedo (ONERA, France; University of Toulouse, France; INESC TEC, Portugal; University of Minho, Portugal) @InProceedings{ASE18p931, author = {Julien Brunel and David Chemouil and Alcino Cunha and Nuno Macedo}, title = {The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {931-930}, doi = {10.1145/3238147.3240475}, year = {2018}, } Publisher's Version Article: ase18tools-p16-p doi:10.1145/3238147.3240475
	Bugariu, Alexandra	ASE '18: "Automatically Testing Implementations ..." Automatically Testing Implementations of Numerical Abstract Domains Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, and Peter Müller (ETH Zurich, Switzerland; MPI-SWS, Germany) @InProceedings{ASE18p813, author = {Alexandra Bugariu and Valentin Wüstholz and Maria Christakis and Peter Müller}, title = {Automatically Testing Implementations of Numerical Abstract Domains}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {813-812}, doi = {10.1145/3238147.3240464}, year = {2018}, } Publisher's Version Article: ase18experience-p301-p doi:10.1145/3238147.3240464
	Cadar, Cristian	ASE '18: "PARTI: A Multi-interval Theory ..." PARTI: A Multi-interval Theory Solver for Symbolic Execution Oscar Soria Dustmann, Klaus Wehrle, and Cristian Cadar (RWTH Aachen University, Germany; Imperial College London, UK) @InProceedings{ASE18p453, author = {Oscar Soria Dustmann and Klaus Wehrle and Cristian Cadar}, title = {PARTI: A Multi-interval Theory Solver for Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {453-452}, doi = {10.1145/3238147.3238179}, year = {2018}, } Publisher's Version Article: ase18main-p68-p doi:10.1145/3238147.3238179
	Cai, Yuanfang	ASE '18: "Experiences Applying Automated ..." Experiences Applying Automated Architecture Analysis Tool Suites Ran Mo, Will Snipes, Yuanfang Cai, Srini Ramaswamy, Rick Kazman, and Martin Naedele (Central China Normal University, China; ABB Corporate Research, USA; Drexel University, USA; ABB, USA; Carnegie Mellon University, USA; University of Hawaii, USA; ABB, Switzerland) @InProceedings{ASE18p825, author = {Ran Mo and Will Snipes and Yuanfang Cai and Srini Ramaswamy and Rick Kazman and Martin Naedele}, title = {Experiences Applying Automated Architecture Analysis Tool Suites}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {825-824}, doi = {10.1145/3238147.3240467}, year = {2018}, } Publisher's Version Article: ase18experience-p391-p doi:10.1145/3238147.3240467
	Canfora, Gerardo	ASE '18: "Estimating the Number of Remaining ..." Estimating the Number of Remaining Links in Traceability Recovery (Journal-First Abstract) Davide Falessi, Massimiliano Di Penta, Gerardo Canfora, and Giovanni Cantone (California Polytechnic State University, USA; University of Sannio, Italy; University of Rome Tor Vergata, Italy) @InProceedings{ASE18p1000, author = {Davide Falessi and Massimiliano Di Penta and Gerardo Canfora and Giovanni Cantone}, title = {Estimating the Number of Remaining Links in Traceability Recovery (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1000-999}, doi = {10.1145/3238147.3241982}, year = {2018}, } Publisher's Version Article: ase18jfirst-idjf2-p doi:10.1145/3238147.3241982
	Cantone, Giovanni	ASE '18: "Estimating the Number of Remaining ..." Estimating the Number of Remaining Links in Traceability Recovery (Journal-First Abstract) Davide Falessi, Massimiliano Di Penta, Gerardo Canfora, and Giovanni Cantone (California Polytechnic State University, USA; University of Sannio, Italy; University of Rome Tor Vergata, Italy) @InProceedings{ASE18p1000, author = {Davide Falessi and Massimiliano Di Penta and Gerardo Canfora and Giovanni Cantone}, title = {Estimating the Number of Remaining Links in Traceability Recovery (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1000-999}, doi = {10.1145/3238147.3241982}, year = {2018}, } Publisher's Version Article: ase18jfirst-idjf2-p doi:10.1145/3238147.3241982
	Cao, Jialun	ASE '18: "L-CMP: An Automatic Learning-Based ..." L-CMP: An Automatic Learning-Based Parameterized Verification Tool Jialun Cao, Yongjian Li, and Jun Pang (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; University of Luxembourg, Luxembourg) @InProceedings{ASE18p939, author = {Jialun Cao and Yongjian Li and Jun Pang}, title = {L-CMP: An Automatic Learning-Based Parameterized Verification Tool}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {939-938}, doi = {10.1145/3238147.3240487}, year = {2018}, } Publisher's Version Article: ase18tools-p38-p doi:10.1145/3238147.3240487
	Cao, Yurui	ASE '18: "An Empirical Study of Android ..." An Empirical Study of Android Test Generation Tools in Industrial Cases Wenyu Wang, Dengfeng Li, Wei Yang, Yurui Cao, Zhenwen Zhang, Yuetang Deng, and Tao Xie (University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA; Tencent, China) @InProceedings{ASE18p777, author = {Wenyu Wang and Dengfeng Li and Wei Yang and Yurui Cao and Zhenwen Zhang and Yuetang Deng and Tao Xie}, title = {An Empirical Study of Android Test Generation Tools in Industrial Cases}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {777-776}, doi = {10.1145/3238147.3240465}, year = {2018}, } Publisher's Version Article: ase18experience-p101-p doi:10.1145/3238147.3240465
	Cashman, Mikaela	ASE '18: "Navigating the Maze: The Impact ..." Navigating the Maze: The Impact of Configurability in Bioinformatics Software Mikaela Cashman, Myra B. Cohen, Priya Ranjan, and Robert W. Cottingham (University of Nebraska-Lincoln, USA; Oak Ridge National Laboratory, USA) @InProceedings{ASE18p801, author = {Mikaela Cashman and Myra B. Cohen and Priya Ranjan and Robert W. Cottingham}, title = {Navigating the Maze: The Impact of Configurability in Bioinformatics Software}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {801-800}, doi = {10.1145/3238147.3240466}, year = {2018}, } Publisher's Version Article: ase18experience-p370-p doi:10.1145/3238147.3240466
	Cavalcanti, Guilherme	ASE '18: "Understanding Semi-structured ..." Understanding Semi-structured Merge Conflict Characteristics in Open-Source Java Projects (Journal-First Abstract) Paola Accioly, Paulo Borba, and Guilherme Cavalcanti (Federal University of Pernambuco, Brazil) @InProceedings{ASE18p1002, author = {Paola Accioly and Paulo Borba and Guilherme Cavalcanti}, title = {Understanding Semi-structured Merge Conflict Characteristics in Open-Source Java Projects (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1002-1001}, doi = {10.1145/3238147.3241983}, year = {2018}, } Publisher's Version Article: ase18jfirst-idjf3-p doi:10.1145/3238147.3241983
	Cha, Sooyoung	ASE '18: "Template-Guided Concolic Testing ..." Template-Guided Concolic Testing via Online Learning Sooyoung Cha, Seonho Lee, and Hakjoo Oh (Korea University, South Korea) @InProceedings{ASE18p429, author = {Sooyoung Cha and Seonho Lee and Hakjoo Oh}, title = {Template-Guided Concolic Testing via Online Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {429-428}, doi = {10.1145/3238147.3238227}, year = {2018}, } Publisher's Version Article: ase18main-p521-p doi:10.1145/3238147.3238227
	Chan, W. K.	ASE '18: "ContractFuzzer: Fuzzing Smart ..." ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection Bo Jiang, Ye Liu, and W. K. Chan (Beihang University, China; City University of Hong Kong, China) @InProceedings{ASE18p273, author = {Bo Jiang and Ye Liu and W. K. Chan}, title = {ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {273-272}, doi = {10.1145/3238147.3238177}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Article: ase18main-p52-p doi:10.1145/3238147.3238177
	Chang, Bor-Yuh Evan	ASE '18: "Safe Stream-Based Programming ..." Safe Stream-Based Programming with Refinement Types Benno Stein, Lazaro Clapp, Manu Sridharan, and Bor-Yuh Evan Chang (University of Colorado Boulder, USA; Uber Technologies, USA) @InProceedings{ASE18p597, author = {Benno Stein and Lazaro Clapp and Manu Sridharan and Bor-Yuh Evan Chang}, title = {Safe Stream-Based Programming with Refinement Types}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {597-596}, doi = {10.1145/3238147.3238174}, year = {2018}, } Publisher's Version Article: ase18main-p26-p doi:10.1145/3238147.3238174
	Chattopadhyay, Sudipta	ASE '18: "Automated Directed Fairness ..." Automated Directed Fairness Testing Sakshi Udeshi, Pryanshu Arora, and Sudipta Chattopadhyay (Singapore University of Technology and Design, Singapore; BITS Pilani, India) @InProceedings{ASE18p105, author = {Sakshi Udeshi and Pryanshu Arora and Sudipta Chattopadhyay}, title = {Automated Directed Fairness Testing}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {105-104}, doi = {10.1145/3238147.3238165}, year = {2018}, } Publisher's Version Article: ase18main-p218-p doi:10.1145/3238147.3238165
	Chechik, Marsha	ASE '18: "Client-Specific Equivalence ..." Client-Specific Equivalence Checking Federico Mora, Yi Li, Julia Rubin, and Marsha Chechik (University of Toronto, Canada; University of British Columbia, Canada) @InProceedings{ASE18p465, author = {Federico Mora and Yi Li and Julia Rubin and Marsha Chechik}, title = {Client-Specific Equivalence Checking}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {465-464}, doi = {10.1145/3238147.3238178}, year = {2018}, } Publisher's Version Article: ase18main-p55-p doi:10.1145/3238147.3238178
	Chemouil, David	ASE '18: "The Electrum Analyzer: Model ..." The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications Julien Brunel, David Chemouil, Alcino Cunha, and Nuno Macedo (ONERA, France; University of Toulouse, France; INESC TEC, Portugal; University of Minho, Portugal) @InProceedings{ASE18p931, author = {Julien Brunel and David Chemouil and Alcino Cunha and Nuno Macedo}, title = {The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {931-930}, doi = {10.1145/3238147.3240475}, year = {2018}, } Publisher's Version Article: ase18tools-p16-p doi:10.1145/3238147.3240475
	Chen, Bihuan	ASE '18: "ClDiff: Generating Concise ..." ClDiff: Generating Concise Linked Code Differences Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou, Ying Wang, Yang Liu, and Wenyun Zhao (Fudan University, China; Nanyang Technological University, Singapore) @InProceedings{ASE18p717, author = {Kaifeng Huang and Bihuan Chen and Xin Peng and Daihong Zhou and Ying Wang and Yang Liu and Wenyun Zhao}, title = {ClDiff: Generating Concise Linked Code Differences}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {717-716}, doi = {10.1145/3238147.3238219}, year = {2018}, } Publisher's Version Article: ase18main-p461-p doi:10.1145/3238147.3238219
	Chen, Boyuan	ASE '18: "An Automated Approach to Estimating ..." An Automated Approach to Estimating Code Coverage Measures via Execution Logs Boyuan Chen, Jian Song, Peng Xu, Xing Hu, and Zhen Ming (Jack) Jiang (York University, Canada; Baidu, China) @InProceedings{ASE18p321, author = {Boyuan Chen and Jian Song and Peng Xu and Xing Hu and Zhen Ming (Jack) Jiang}, title = {An Automated Approach to Estimating Code Coverage Measures via Execution Logs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {321-320}, doi = {10.1145/3238147.3238214}, year = {2018}, } Publisher's Version Article: ase18main-p424-p doi:10.1145/3238147.3238214
	Chen, Chunyang	ASE '18: "DeepGauge: Multi-Granularity ..." DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang (Harbin Institute of Technology, China; Nanyang Technological University, Singapore; Carnegie Mellon University, USA; Kyushu University, Japan; University of Illinois at Urbana-Champaign, USA; Monash University, Australia) @InProceedings{ASE18p129, author = {Lei Ma and Felix Juefei-Xu and Fuyuan Zhang and Jiyuan Sun and Minhui Xue and Bo Li and Chunyang Chen and Ting Su and Li Li and Yang Liu and Jianjun Zhao and Yadong Wang}, title = {DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3238147.3238202}, year = {2018}, } Publisher's Version Article: ase18main-p317-p doi:10.1145/3238147.3238202 ASE '18: "Tell Them Apart: Distilling ..." Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, and Yang Liu (Australian National University, Australia; Monash University, Australia; Nanyang Technological University, Singapore) @InProceedings{ASE18p225, author = {Yi Huang and Chunyang Chen and Zhenchang Xing and Tian Lin and Yang Liu}, title = {Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {225-224}, doi = {10.1145/3238147.3238208}, year = {2018}, } Publisher's Version Article: ase18main-p387-p doi:10.1145/3238147.3238208
	Chen, Jianhui	ASE '18: "Control Flow-Guided SMT Solving ..." Control Flow-Guided SMT Solving for Program Verification Jianhui Chen and Fei He (Tsinghua University, China) @InProceedings{ASE18p369, author = {Jianhui Chen and Fei He}, title = {Control Flow-Guided SMT Solving for Program Verification}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {369-368}, doi = {10.1145/3238147.3238218}, year = {2018}, } Publisher's Version Article: ase18main-p450-p doi:10.1145/3238147.3238218
	Chen, Qingying	ASE '18: "A Neural Framework for Retrieval ..." A Neural Framework for Retrieval and Summarization of Source Code Qingying Chen and Minghui Zhou (Peking University, China) @InProceedings{ASE18p873, author = {Qingying Chen and Minghui Zhou}, title = {A Neural Framework for Retrieval and Summarization of Source Code}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {873-872}, doi = {10.1145/3238147.3240471}, year = {2018}, } Publisher's Version Article: ase18ideas-p466-p doi:10.1145/3238147.3240471
	Chen, Sen	ASE '18: "Efficiently Manifesting Asynchronous ..." Efficiently Manifesting Asynchronous Programming Errors in Android Apps Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, and Geguang Pu (East China Normal University, China; Nanyang Technological University, Singapore; Chinese Academy of Sciences, China; New York University Shanghai, China) @InProceedings{ASE18p513, author = {Lingling Fan and Ting Su and Sen Chen and Guozhu Meng and Yang Liu and Lihua Xu and Geguang Pu}, title = {Efficiently Manifesting Asynchronous Programming Errors in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {513-512}, doi = {10.1145/3238147.3238170}, year = {2018}, } Publisher's Version Article: ase18main-p446-p doi:10.1145/3238147.3238170
	Chen, Shih-Yu	ASE '18: "A Symbolic Model Checking ..." A Symbolic Model Checking Approach to the Analysis of String and Length Constraints Hung-En Wang, Shih-Yu Chen, Fang Yu, and Jie-Hong R. Jiang (National Taiwan University, Taiwan; National Chengchi University, Taiwan) @InProceedings{ASE18p657, author = {Hung-En Wang and Shih-Yu Chen and Fang Yu and Jie-Hong R. Jiang}, title = {A Symbolic Model Checking Approach to the Analysis of String and Length Constraints}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {657-656}, doi = {10.1145/3238147.3238189}, year = {2018}, } Publisher's Version Article: ase18main-p187-p doi:10.1145/3238147.3238189
	Chen, Zhuangbin	ASE '18: "Characterizing the Natural ..." Characterizing the Natural Language Descriptions in Software Logging Statements Pinjia He, Zhuangbin Chen, Shilin He, and Michael R. Lyu (Chinese University of Hong Kong, China) @InProceedings{ASE18p189, author = {Pinjia He and Zhuangbin Chen and Shilin He and Michael R. Lyu}, title = {Characterizing the Natural Language Descriptions in Software Logging Statements}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {189-188}, doi = {10.1145/3238147.3238193}, year = {2018}, } Publisher's Version Article: ase18main-p217-p doi:10.1145/3238147.3238193
	Cheung, Shing-Chi	ASE '18: "Understanding and Detecting ..." Understanding and Detecting Callback Compatibility Issues for Android Applications Huaxun Huang, Lili Wei, Yepang Liu, and Shing-Chi Cheung (Hong Kong University of Science and Technology, China; Southern University of Science and Technology, China) @InProceedings{ASE18p561, author = {Huaxun Huang and Lili Wei and Yepang Liu and Shing-Chi Cheung}, title = {Understanding and Detecting Callback Compatibility Issues for Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {561-560}, doi = {10.1145/3238147.3238181}, year = {2018}, } Publisher's Version Article: ase18main-p72-p doi:10.1145/3238147.3238181 ASE '18: "A Tale of Two Cities: How ..." A Tale of Two Cities: How WebView Induces Bugs to Android Applications Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung, and Huaxun Huang (Hong Kong University of Science and Technology, China; Southern University of Science and Technology, China) @InProceedings{ASE18p741, author = {Jiajun Hu and Lili Wei and Yepang Liu and Shing-Chi Cheung and Huaxun Huang}, title = {A Tale of Two Cities: How WebView Induces Bugs to Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {741-740}, doi = {10.1145/3238147.3238180}, year = {2018}, } Publisher's Version Article: ase18main-p71-p doi:10.1145/3238147.3238180
	Chi, Jianlei	ASE '18: "node2defect: Using Network ..." node2defect: Using Network Embedding to Improve Software Defect Prediction Yu Qu, Ting Liu, Jianlei Chi, Yangxu Jin, Di Cui, Ancheng He, and Qinghua Zheng (Xi'an Jiaotong University, China) @InProceedings{ASE18p891, author = {Yu Qu and Ting Liu and Jianlei Chi and Yangxu Jin and Di Cui and Ancheng He and Qinghua Zheng}, title = {node2defect: Using Network Embedding to Improve Software Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {891-890}, doi = {10.1145/3238147.3240469}, year = {2018}, } Publisher's Version Article: ase18ideas-p469-p doi:10.1145/3238147.3240469
	Christakis, Maria	ASE '18: "Automatically Testing Implementations ..." Automatically Testing Implementations of Numerical Abstract Domains Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, and Peter Müller (ETH Zurich, Switzerland; MPI-SWS, Germany) @InProceedings{ASE18p813, author = {Alexandra Bugariu and Valentin Wüstholz and Maria Christakis and Peter Müller}, title = {Automatically Testing Implementations of Numerical Abstract Domains}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {813-812}, doi = {10.1145/3238147.3240464}, year = {2018}, } Publisher's Version Article: ase18experience-p301-p doi:10.1145/3238147.3240464
	Clapp, Lazaro	ASE '18: "Safe Stream-Based Programming ..." Safe Stream-Based Programming with Refinement Types Benno Stein, Lazaro Clapp, Manu Sridharan, and Bor-Yuh Evan Chang (University of Colorado Boulder, USA; Uber Technologies, USA) @InProceedings{ASE18p597, author = {Benno Stein and Lazaro Clapp and Manu Sridharan and Bor-Yuh Evan Chang}, title = {Safe Stream-Based Programming with Refinement Types}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {597-596}, doi = {10.1145/3238147.3238174}, year = {2018}, } Publisher's Version Article: ase18main-p26-p doi:10.1145/3238147.3238174
	Cleland-Huang, Jane	ASE '18: "Automated Requirements Engineering ..." Automated Requirements Engineering Challenges with Examples from Small Unmanned Aerial Systems (Keynote) Jane Cleland-Huang (University of Notre Dame, USA) @InProceedings{ASE18p3, author = {Jane Cleland-Huang}, title = {Automated Requirements Engineering Challenges with Examples from Small Unmanned Aerial Systems (Keynote)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3238147.3241986}, year = {2018}, } Publisher's Version Article: ase18keynotes-idkn2-p doi:10.1145/3238147.3241986
	Cohen, Myra B.	ASE '18: "Navigating the Maze: The Impact ..." Navigating the Maze: The Impact of Configurability in Bioinformatics Software Mikaela Cashman, Myra B. Cohen, Priya Ranjan, and Robert W. Cottingham (University of Nebraska-Lincoln, USA; Oak Ridge National Laboratory, USA) @InProceedings{ASE18p801, author = {Mikaela Cashman and Myra B. Cohen and Priya Ranjan and Robert W. Cottingham}, title = {Navigating the Maze: The Impact of Configurability in Bioinformatics Software}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {801-800}, doi = {10.1145/3238147.3240466}, year = {2018}, } Publisher's Version Article: ase18experience-p370-p doi:10.1145/3238147.3240466 ASE '18: "An Evolutionary Approach for ..." An Evolutionary Approach for Analyzing Alloy Specifications Jianghao Wang, Hamid Bagheri, and Myra B. Cohen (University of Nebraska-Lincoln, USA) @InProceedings{ASE18p867, author = {Jianghao Wang and Hamid Bagheri and Myra B. Cohen}, title = {An Evolutionary Approach for Analyzing Alloy Specifications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {867-866}, doi = {10.1145/3238147.3240468}, year = {2018}, } Publisher's Version Article: ase18ideas-p452-p doi:10.1145/3238147.3240468
	Cordeiro, Lucas C.	ASE '18: "Bounded Model Checking of ..." Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract) Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, and Eddie B. de Lima Filho (Federal University of Amazonas, Brazil; University of Manchester, UK; TPV Technology, Brazil) @InProceedings{ASE18p1001, author = {Felipe R. Monteiro and Mário A. P. Garcia and Lucas C. Cordeiro and Eddie B. de Lima Filho}, title = {Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1001-1000}, doi = {10.1145/3238147.3241981}, year = {2018}, } Publisher's Version Article: ase18jfirst-idjf1-p doi:10.1145/3238147.3241981 ASE '18: "ESBMC 5.0: An Industrial-Strength ..." ESBMC 5.0: An Industrial-Strength C Model Checker Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, and Denis A. Nicole (University of Southampton, UK; Federal University of Amazonas, Brazil; University of Bristol, UK; University of Manchester, UK; Stellenbosch University, South Africa) @InProceedings{ASE18p935, author = {Mikhail R. Gadelha and Felipe R. Monteiro and Jeremy Morse and Lucas C. Cordeiro and Bernd Fischer and Denis A. Nicole}, title = {ESBMC 5.0: An Industrial-Strength C Model Checker}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {935-934}, doi = {10.1145/3238147.3240481}, year = {2018}, } Publisher's Version Article: ase18tools-p25-p doi:10.1145/3238147.3240481
	Cottingham, Robert W.	ASE '18: "Navigating the Maze: The Impact ..." Navigating the Maze: The Impact of Configurability in Bioinformatics Software Mikaela Cashman, Myra B. Cohen, Priya Ranjan, and Robert W. Cottingham (University of Nebraska-Lincoln, USA; Oak Ridge National Laboratory, USA) @InProceedings{ASE18p801, author = {Mikaela Cashman and Myra B. Cohen and Priya Ranjan and Robert W. Cottingham}, title = {Navigating the Maze: The Impact of Configurability in Bioinformatics Software}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {801-800}, doi = {10.1145/3238147.3240466}, year = {2018}, } Publisher's Version Article: ase18experience-p370-p doi:10.1145/3238147.3240466
	Cui, Di	ASE '18: "node2defect: Using Network ..." node2defect: Using Network Embedding to Improve Software Defect Prediction Yu Qu, Ting Liu, Jianlei Chi, Yangxu Jin, Di Cui, Ancheng He, and Qinghua Zheng (Xi'an Jiaotong University, China) @InProceedings{ASE18p891, author = {Yu Qu and Ting Liu and Jianlei Chi and Yangxu Jin and Di Cui and Ancheng He and Qinghua Zheng}, title = {node2defect: Using Network Embedding to Improve Software Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {891-890}, doi = {10.1145/3238147.3240469}, year = {2018}, } Publisher's Version Article: ase18ideas-p469-p doi:10.1145/3238147.3240469
	Cunha, Alcino	ASE '18: "The Electrum Analyzer: Model ..." The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications Julien Brunel, David Chemouil, Alcino Cunha, and Nuno Macedo (ONERA, France; University of Toulouse, France; INESC TEC, Portugal; University of Minho, Portugal) @InProceedings{ASE18p931, author = {Julien Brunel and David Chemouil and Alcino Cunha and Nuno Macedo}, title = {The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {931-930}, doi = {10.1145/3238147.3240475}, year = {2018}, } Publisher's Version Article: ase18tools-p16-p doi:10.1145/3238147.3240475
	Cunha, Jácome	ASE '18: "jStanley: Placing a Green ..." jStanley: Placing a Green Thumb on Java Collections Rui Pereira, Pedro Simão, Jácome Cunha, and João Saraiva (INESC TEC, Portugal; University of Minho, Portugal; NOVA-LINCS, Portugal; Universidade Nova Lisboa, Portugal) @InProceedings{ASE18p903, author = {Rui Pereira and Pedro Simão and Jácome Cunha and João Saraiva}, title = {jStanley: Placing a Green Thumb on Java Collections}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {903-902}, doi = {10.1145/3238147.3240473}, year = {2018}, } Publisher's Version Article: ase18tools-p12-p doi:10.1145/3238147.3240473
	Degiovanni, Renzo	ASE '18: "A Genetic Algorithm for Goal-Conflict ..." A Genetic Algorithm for Goal-Conflict Identification Renzo Degiovanni, Facundo Molina, Germán Regis, and Nazareno Aguirre (National University of Río Cuarto, Argentina; CONICET, Argentina) @InProceedings{ASE18p549, author = {Renzo Degiovanni and Facundo Molina and Germán Regis and Nazareno Aguirre}, title = {A Genetic Algorithm for Goal-Conflict Identification}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {549-548}, doi = {10.1145/3238147.3238220}, year = {2018}, } Publisher's Version Article: ase18main-p463-p doi:10.1145/3238147.3238220
	De Lima Filho, Eddie B.	ASE '18: "Bounded Model Checking of ..." Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract) Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, and Eddie B. de Lima Filho (Federal University of Amazonas, Brazil; University of Manchester, UK; TPV Technology, Brazil) @InProceedings{ASE18p1001, author = {Felipe R. Monteiro and Mário A. P. Garcia and Lucas C. Cordeiro and Eddie B. de Lima Filho}, title = {Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1001-1000}, doi = {10.1145/3238147.3241981}, year = {2018}, } Publisher's Version Article: ase18jfirst-idjf1-p doi:10.1145/3238147.3241981
	Delplanque, Julien	ASE '18: "Software Engineering Techniques ..." Software Engineering Techniques Applied to Relational Databases Julien Delplanque (University of Lille, France; CNRS, France; Inria, France) @InProceedings{ASE18p995, author = {Julien Delplanque}, title = {Software Engineering Techniques Applied to Relational Databases}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {995-994}, doi = {10.1145/3238147.3241534}, year = {2018}, } Publisher's Version Article: ase18doc-id2-p doi:10.1145/3238147.3241534
	De Lucia, Andrea	ASE '18: "OCELOT: A Search-Based Test-Data ..." OCELOT: A Search-Based Test-Data Generation Tool for C Simone Scalabrino, Giovanni Grano, Dario Di Nucci, Michele Guerra, Andrea De Lucia, Harald C. Gall, and Rocco Oliveto (University of Molise, Italy; University of Zurich, Switzerland; Vrije Universiteit Brussel, Belgium; University of Salerno, Italy) @InProceedings{ASE18p915, author = {Simone Scalabrino and Giovanni Grano and Dario Di Nucci and Michele Guerra and Andrea De Lucia and Harald C. Gall and Rocco Oliveto}, title = {OCELOT: A Search-Based Test-Data Generation Tool for C}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {915-914}, doi = {10.1145/3238147.3240477}, year = {2018}, } Publisher's Version Article: ase18tools-p19-p doi:10.1145/3238147.3240477
	Deng, Xi	ASE '18: "Characterizing and Identifying ..." Characterizing and Identifying Misexposed Activities in Android Applications Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, and Jian Zhang (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China) @InProceedings{ASE18p729, author = {Jiwei Yan and Xi Deng and Ping Wang and Tianyong Wu and Jun Yan and Jian Zhang}, title = {Characterizing and Identifying Misexposed Activities in Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {729-728}, doi = {10.1145/3238147.3238164}, year = {2018}, } Publisher's Version Article: ase18main-p167-p doi:10.1145/3238147.3238164
	Deng, Yuetang	ASE '18: "An Empirical Study of Android ..." An Empirical Study of Android Test Generation Tools in Industrial Cases Wenyu Wang, Dengfeng Li, Wei Yang, Yurui Cao, Zhenwen Zhang, Yuetang Deng, and Tao Xie (University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA; Tencent, China) @InProceedings{ASE18p777, author = {Wenyu Wang and Dengfeng Li and Wei Yang and Yurui Cao and Zhenwen Zhang and Yuetang Deng and Tao Xie}, title = {An Empirical Study of Android Test Generation Tools in Industrial Cases}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {777-776}, doi = {10.1145/3238147.3240465}, year = {2018}, } Publisher's Version Article: ase18experience-p101-p doi:10.1145/3238147.3240465
	Detweiler, Carrick	ASE '18: "Assessing the Type Annotation ..." Assessing the Type Annotation Burden John-Paul Ore, Sebastian Elbaum, Carrick Detweiler, and Lambros Karkazis (University of Nebraska-Lincoln, USA) @InProceedings{ASE18p201, author = {John-Paul Ore and Sebastian Elbaum and Carrick Detweiler and Lambros Karkazis}, title = {Assessing the Type Annotation Burden}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {201-200}, doi = {10.1145/3238147.3238173}, year = {2018}, } Publisher's Version Article: ase18main-p15-p doi:10.1145/3238147.3238173
	Diarra, Rokiatou	ASE '18: "Towards Automatic Restrictification ..." Towards Automatic Restrictification of CUDA Kernel Arguments Rokiatou Diarra (University of Paris-Sud, France) @InProceedings{ASE18p975, author = {Rokiatou Diarra}, title = {Towards Automatic Restrictification of CUDA Kernel Arguments}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {975-974}, doi = {10.1145/3238147.3241533}, year = {2018}, } Publisher's Version Article: ase18doc-id3-p doi:10.1145/3238147.3241533
	Di Cosmo, Roberto	ASE '18: "Software Heritage: Collecting, ..." Software Heritage: Collecting, Preserving, and Sharing All Our Source Code (Keynote) Roberto Di Cosmo (Inria, France; University Paris Diderot, France) @InProceedings{ASE18p1, author = {Roberto Di Cosmo}, title = {Software Heritage: Collecting, Preserving, and Sharing All Our Source Code (Keynote)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3238147.3241985}, year = {2018}, } Publisher's Version Article: ase18keynotes-idkn1-p doi:10.1145/3238147.3241985
	Ding, Dan	ASE '18: "Delta Debugging Microservice ..." Delta Debugging Microservice Systems Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, and Dan Ding (Fudan University, China; University of Illinois at Urbana-Champaign, USA; Singapore University of Technology and Design, Singapore) @InProceedings{ASE18p849, author = {Xiang Zhou and Xin Peng and Tao Xie and Jun Sun and Wenhai Li and Chao Ji and Dan Ding}, title = {Delta Debugging Microservice Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {849-848}, doi = {10.1145/3238147.3240730}, year = {2018}, } Publisher's Version Article: ase18ideas-p318-p doi:10.1145/3238147.3240730
	Di Nucci, Dario	ASE '18: "OCELOT: A Search-Based Test-Data ..." OCELOT: A Search-Based Test-Data Generation Tool for C Simone Scalabrino, Giovanni Grano, Dario Di Nucci, Michele Guerra, Andrea De Lucia, Harald C. Gall, and Rocco Oliveto (University of Molise, Italy; University of Zurich, Switzerland; Vrije Universiteit Brussel, Belgium; University of Salerno, Italy) @InProceedings{ASE18p915, author = {Simone Scalabrino and Giovanni Grano and Dario Di Nucci and Michele Guerra and Andrea De Lucia and Harald C. Gall and Rocco Oliveto}, title = {OCELOT: A Search-Based Test-Data Generation Tool for C}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {915-914}, doi = {10.1145/3238147.3240477}, year = {2018}, } Publisher's Version Article: ase18tools-p19-p doi:10.1145/3238147.3240477
	Di Penta, Massimiliano	ASE '18: "An Empirical Investigation ..." An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, and Denys Poshyvanyk (College of William and Mary, USA; University of Lugano, Switzerland; University of Sannio, Italy) @InProceedings{ASE18p879, author = {Michele Tufano and Cody Watson and Gabriele Bavota and Massimiliano Di Penta and Martin White and Denys Poshyvanyk}, title = {An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {879-878}, doi = {10.1145/3238147.3240732}, year = {2018}, } Publisher's Version Article: ase18ideas-p400-p doi:10.1145/3238147.3240732 ASE '18: "Estimating the Number of Remaining ..." Estimating the Number of Remaining Links in Traceability Recovery (Journal-First Abstract) Davide Falessi, Massimiliano Di Penta, Gerardo Canfora, and Giovanni Cantone (California Polytechnic State University, USA; University of Sannio, Italy; University of Rome Tor Vergata, Italy) @InProceedings{ASE18p1000, author = {Davide Falessi and Massimiliano Di Penta and Gerardo Canfora and Giovanni Cantone}, title = {Estimating the Number of Remaining Links in Traceability Recovery (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1000-999}, doi = {10.1145/3238147.3241982}, year = {2018}, } Publisher's Version Article: ase18jfirst-idjf2-p doi:10.1145/3238147.3241982
	Dong, Jinsong	ASE '18: "Break the Dead End of Dynamic ..." Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, and Jinsong Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Singapore Institute of Technology, Singapore; Nanyang Technological University, Singapore) @InProceedings{ASE18p537, author = {Yun Lin and Jun Sun and Lyly Tran and Guangdong Bai and Haijun Wang and Jinsong Dong}, title = {Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {537-536}, doi = {10.1145/3238147.3238163}, year = {2018}, } Publisher's Version Article: ase18main-p132-p doi:10.1145/3238147.3238163
	Dong, Wei	ASE '18: "Scheduling Constraint Based ..." Scheduling Constraint Based Abstraction Refinement for Weak Memory Models Liangze Yin, Wei Dong, Wanwei Liu, and Ji Wang (National University of Defense Technology, China) @InProceedings{ASE18p681, author = {Liangze Yin and Wei Dong and Wanwei Liu and Ji Wang}, title = {Scheduling Constraint Based Abstraction Refinement for Weak Memory Models}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3238147.3238223}, year = {2018}, } Publisher's Version Article: ase18main-p491-p doi:10.1145/3238147.3238223
	Dong, Zhen	ASE '18: "Android Testing via Synthetic ..." Android Testing via Synthetic Symbolic Execution Xiang Gao, Shin Hwei Tan, Zhen Dong, and Abhik Roychoudhury (National University of Singapore, Singapore; Southern University of Science and Technology, China) @InProceedings{ASE18p441, author = {Xiang Gao and Shin Hwei Tan and Zhen Dong and Abhik Roychoudhury}, title = {Android Testing via Synthetic Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {441-440}, doi = {10.1145/3238147.3238225}, year = {2018}, } Publisher's Version Article: ase18main-p507-p doi:10.1145/3238147.3238225
	Dou, Wensheng	ASE '18: "Expandable Group Identification ..." Expandable Group Identification in Spreadsheets Wensheng Dou, Shi Han, Liang Xu, Dongmei Zhang, and Jun Wei (University of Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Microsoft Research, China) @InProceedings{ASE18p525, author = {Wensheng Dou and Shi Han and Liang Xu and Dongmei Zhang and Jun Wei}, title = {Expandable Group Identification in Spreadsheets}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {525-524}, doi = {10.1145/3238147.3238222}, year = {2018}, } Publisher's Version Article: ase18main-p488-p doi:10.1145/3238147.3238222
	Dustmann, Oscar Soria	ASE '18: "PARTI: A Multi-interval Theory ..." PARTI: A Multi-interval Theory Solver for Symbolic Execution Oscar Soria Dustmann, Klaus Wehrle, and Cristian Cadar (RWTH Aachen University, Germany; Imperial College London, UK) @InProceedings{ASE18p453, author = {Oscar Soria Dustmann and Klaus Wehrle and Cristian Cadar}, title = {PARTI: A Multi-interval Theory Solver for Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {453-452}, doi = {10.1145/3238147.3238179}, year = {2018}, } Publisher's Version Article: ase18main-p68-p doi:10.1145/3238147.3238179
	Eichberg, Michael	ASE '18: "A Unified Lattice Model and ..." A Unified Lattice Model and Framework for Purity Analyses Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{ASE18p357, author = {Dominik Helm and Florian Kübler and Michael Eichberg and Michael Reif and Mira Mezini}, title = {A Unified Lattice Model and Framework for Purity Analyses}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {357-356}, doi = {10.1145/3238147.3238226}, year = {2018}, } Publisher's Version Article: ase18main-p509-p doi:10.1145/3238147.3238226
	Elbaum, Sebastian	ASE '18: "Assessing the Type Annotation ..." Assessing the Type Annotation Burden John-Paul Ore, Sebastian Elbaum, Carrick Detweiler, and Lambros Karkazis (University of Nebraska-Lincoln, USA) @InProceedings{ASE18p201, author = {John-Paul Ore and Sebastian Elbaum and Carrick Detweiler and Lambros Karkazis}, title = {Assessing the Type Annotation Burden}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {201-200}, doi = {10.1145/3238147.3238173}, year = {2018}, } Publisher's Version Article: ase18main-p15-p doi:10.1145/3238147.3238173
	Enea, Constantin	ASE '18: "Datalog-Based Scalable Semantic ..." Datalog-Based Scalable Semantic Diffing of Concurrent Programs Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, and Chao Wang (University of Southern California, USA; Microsoft Research, USA; University of Paris Diderot, France) @InProceedings{ASE18p693, author = {Chungha Sung and Shuvendu K. Lahiri and Constantin Enea and Chao Wang}, title = {Datalog-Based Scalable Semantic Diffing of Concurrent Programs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {693-692}, doi = {10.1145/3238147.3238211}, year = {2018}, } Publisher's Version Article: ase18main-p398-p doi:10.1145/3238147.3238211
	Erdogmus, Hakan	ASE '18: "Lightweight Source Code Monitoring ..." Lightweight Source Code Monitoring with Triggr Alim Ozdemir, Ayse Tosun, Hakan Erdogmus, and Rui Abreu (Istanbul Technical University, Turkey; Carnegie Mellon University, USA; University of Lisbon, Portugal) @InProceedings{ASE18p911, author = {Alim Ozdemir and Ayse Tosun and Hakan Erdogmus and Rui Abreu}, title = {Lightweight Source Code Monitoring with Triggr}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {911-910}, doi = {10.1145/3238147.3240486}, year = {2018}, } Publisher's Version Article: ase18tools-p35-p doi:10.1145/3238147.3240486
	Erdweg, Sebastian	ASE '18: "Scalable Incremental Building ..." Scalable Incremental Building with Dynamic Task Dependencies Gabriël Konat, Sebastian Erdweg, and Eelco Visser (Delft University of Technology, Netherlands) @InProceedings{ASE18p81, author = {Gabriël Konat and Sebastian Erdweg and Eelco Visser}, title = {Scalable Incremental Building with Dynamic Task Dependencies}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3238147.3238196}, year = {2018}, } Publisher's Version Article: ase18main-p260-p doi:10.1145/3238147.3238196
	Falessi, Davide	ASE '18: "Estimating the Number of Remaining ..." Estimating the Number of Remaining Links in Traceability Recovery (Journal-First Abstract) Davide Falessi, Massimiliano Di Penta, Gerardo Canfora, and Giovanni Cantone (California Polytechnic State University, USA; University of Sannio, Italy; University of Rome Tor Vergata, Italy) @InProceedings{ASE18p1000, author = {Davide Falessi and Massimiliano Di Penta and Gerardo Canfora and Giovanni Cantone}, title = {Estimating the Number of Remaining Links in Traceability Recovery (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1000-999}, doi = {10.1145/3238147.3241982}, year = {2018}, } Publisher's Version Article: ase18jfirst-idjf2-p doi:10.1145/3238147.3241982
	Fan, Lingling	ASE '18: "Efficiently Manifesting Asynchronous ..." Efficiently Manifesting Asynchronous Programming Errors in Android Apps Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, and Geguang Pu (East China Normal University, China; Nanyang Technological University, Singapore; Chinese Academy of Sciences, China; New York University Shanghai, China) @InProceedings{ASE18p513, author = {Lingling Fan and Ting Su and Sen Chen and Guozhu Meng and Yang Liu and Lihua Xu and Geguang Pu}, title = {Efficiently Manifesting Asynchronous Programming Errors in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {513-512}, doi = {10.1145/3238147.3238170}, year = {2018}, } Publisher's Version Article: ase18main-p446-p doi:10.1145/3238147.3238170
	Fang, Baoyin	ASE '18: "AutoConfig: Automatic Configuration ..." AutoConfig: Automatic Configuration Tuning for Distributed Message Systems Liang Bao, Xin Liu, Ziheng Xu, and Baoyin Fang (Xidian University, China; University of California at Davis, USA) @InProceedings{ASE18p33, author = {Liang Bao and Xin Liu and Ziheng Xu and Baoyin Fang}, title = {AutoConfig: Automatic Configuration Tuning for Distributed Message Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3238147.3238175}, year = {2018}, } Publisher's Version Article: ase18main-p32-p doi:10.1145/3238147.3238175
	Fischer, Bernd	ASE '18: "ESBMC 5.0: An Industrial-Strength ..." ESBMC 5.0: An Industrial-Strength C Model Checker Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, and Denis A. Nicole (University of Southampton, UK; Federal University of Amazonas, Brazil; University of Bristol, UK; University of Manchester, UK; Stellenbosch University, South Africa) @InProceedings{ASE18p935, author = {Mikhail R. Gadelha and Felipe R. Monteiro and Jeremy Morse and Lucas C. Cordeiro and Bernd Fischer and Denis A. Nicole}, title = {ESBMC 5.0: An Industrial-Strength C Model Checker}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {935-934}, doi = {10.1145/3238147.3240481}, year = {2018}, } Publisher's Version Article: ase18tools-p25-p doi:10.1145/3238147.3240481
	Friedberger, Karlheinz	ASE '18: "Domain-Independent Multi-threaded ..." Domain-Independent Multi-threaded Software Model Checking Dirk Beyer and Karlheinz Friedberger (LMU Munich, Germany) @InProceedings{ASE18p669, author = {Dirk Beyer and Karlheinz Friedberger}, title = {Domain-Independent Multi-threaded Software Model Checking}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {669-668}, doi = {10.1145/3238147.3238195}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Article: ase18main-p227-p doi:10.1145/3238147.3238195
	Fu, Ying	ASE '18: "VulSeeker: A Semantic Learning ..." VulSeeker: A Semantic Learning Based Vulnerability Seeker for Cross-Platform Binary Jian Gao, Xin Yang, Ying Fu, Yu Jiang, and Jiaguang Sun (Tsinghua University, China) @InProceedings{ASE18p943, author = {Jian Gao and Xin Yang and Ying Fu and Yu Jiang and Jiaguang Sun}, title = {VulSeeker: A Semantic Learning Based Vulnerability Seeker for Cross-Platform Binary}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {943-942}, doi = {10.1145/3238147.3240480}, year = {2018}, } Publisher's Version Article: ase18tools-p23-p doi:10.1145/3238147.3240480
	Gadelha, Mikhail R.	ASE '18: "ESBMC 5.0: An Industrial-Strength ..." ESBMC 5.0: An Industrial-Strength C Model Checker Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, and Denis A. Nicole (University of Southampton, UK; Federal University of Amazonas, Brazil; University of Bristol, UK; University of Manchester, UK; Stellenbosch University, South Africa) @InProceedings{ASE18p935, author = {Mikhail R. Gadelha and Felipe R. Monteiro and Jeremy Morse and Lucas C. Cordeiro and Bernd Fischer and Denis A. Nicole}, title = {ESBMC 5.0: An Industrial-Strength C Model Checker}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {935-934}, doi = {10.1145/3238147.3240481}, year = {2018}, } Publisher's Version Article: ase18tools-p25-p doi:10.1145/3238147.3240481
	Gafurov, Davrondzhon	ASE '18: "Achieving Test Automation ..." Achieving Test Automation with Testers without Coding Skills: An Industrial Report Davrondzhon Gafurov, Arne Erik Hurum, and Martin Markman (Norwegian Directorate of eHealth, Norway) @InProceedings{ASE18p789, author = {Davrondzhon Gafurov and Arne Erik Hurum and Martin Markman}, title = {Achieving Test Automation with Testers without Coding Skills: An Industrial Report}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {789-788}, doi = {10.1145/3238147.3240463}, year = {2018}, } Publisher's Version Article: ase18experience-p76-p doi:10.1145/3238147.3240463
	Galinier, Florian	ASE '18: "A DSL for Requirements in ..." A DSL for Requirements in the Context of a Seamless Approach Florian Galinier (IRIT, France; University of Toulouse, France) @InProceedings{ASE18p979, author = {Florian Galinier}, title = {A DSL for Requirements in the Context of a Seamless Approach}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {979-978}, doi = {10.1145/3238147.3241538}, year = {2018}, } Publisher's Version Article: ase18doc-id8-p doi:10.1145/3238147.3241538
	Gall, Harald C.	ASE '18: "Continuous Code Quality: Are ..." Continuous Code Quality: Are We (Really) Doing That? Carmine Vassallo, Fabio Palomba, Alberto Bacchelli, and Harald C. Gall (University of Zurich, Switzerland) @InProceedings{ASE18p837, author = {Carmine Vassallo and Fabio Palomba and Alberto Bacchelli and Harald C. Gall}, title = {Continuous Code Quality: Are We (Really) Doing That?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {837-836}, doi = {10.1145/3238147.3240729}, year = {2018}, } Publisher's Version Article: ase18ideas-p304-p doi:10.1145/3238147.3240729 ASE '18: "OCELOT: A Search-Based Test-Data ..." OCELOT: A Search-Based Test-Data Generation Tool for C Simone Scalabrino, Giovanni Grano, Dario Di Nucci, Michele Guerra, Andrea De Lucia, Harald C. Gall, and Rocco Oliveto (University of Molise, Italy; University of Zurich, Switzerland; Vrije Universiteit Brussel, Belgium; University of Salerno, Italy) @InProceedings{ASE18p915, author = {Simone Scalabrino and Giovanni Grano and Dario Di Nucci and Michele Guerra and Andrea De Lucia and Harald C. Gall and Rocco Oliveto}, title = {OCELOT: A Search-Based Test-Data Generation Tool for C}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {915-914}, doi = {10.1145/3238147.3240477}, year = {2018}, } Publisher's Version Article: ase18tools-p19-p doi:10.1145/3238147.3240477
	Gallaba, Keheliya	ASE '18: "Noise and Heterogeneity in ..." Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CI Keheliya Gallaba, Christian Macho, Martin Pinzger, and Shane McIntosh (McGill University, Canada; University of Klagenfurt, Austria) @InProceedings{ASE18p93, author = {Keheliya Gallaba and Christian Macho and Martin Pinzger and Shane McIntosh}, title = {Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CI}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {93-92}, doi = {10.1145/3238147.3238171}, year = {2018}, } Publisher's Version Article: ase18main-p517-p doi:10.1145/3238147.3238171
	Gao, Jian	ASE '18: "VulSeeker: A Semantic Learning ..." VulSeeker: A Semantic Learning Based Vulnerability Seeker for Cross-Platform Binary Jian Gao, Xin Yang, Ying Fu, Yu Jiang, and Jiaguang Sun (Tsinghua University, China) @InProceedings{ASE18p943, author = {Jian Gao and Xin Yang and Ying Fu and Yu Jiang and Jiaguang Sun}, title = {VulSeeker: A Semantic Learning Based Vulnerability Seeker for Cross-Platform Binary}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {943-942}, doi = {10.1145/3238147.3240480}, year = {2018}, } Publisher's Version Article: ase18tools-p23-p doi:10.1145/3238147.3240480
	Gao, Jianxiong	ASE '18: "Loop Path Reduction by State ..." Loop Path Reduction by State Pruning Jianxiong Gao and Steven S. Lumetta (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE18p885, author = {Jianxiong Gao and Steven S. Lumetta}, title = {Loop Path Reduction by State Pruning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {885-884}, doi = {10.1145/3238147.3240731}, year = {2018}, } Publisher's Version Article: ase18ideas-p380-p doi:10.1145/3238147.3240731
	Gao, Xiang	ASE '18: "Android Testing via Synthetic ..." Android Testing via Synthetic Symbolic Execution Xiang Gao, Shin Hwei Tan, Zhen Dong, and Abhik Roychoudhury (National University of Singapore, Singapore; Southern University of Science and Technology, China) @InProceedings{ASE18p441, author = {Xiang Gao and Shin Hwei Tan and Zhen Dong and Abhik Roychoudhury}, title = {Android Testing via Synthetic Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {441-440}, doi = {10.1145/3238147.3238225}, year = {2018}, } Publisher's Version Article: ase18main-p507-p doi:10.1145/3238147.3238225
	Garcia, Joshua	ASE '18: "Self-Protection of Android ..." Self-Protection of Android Systems from Inter-component Communication Attacks Mahmoud Hammad, Joshua Garcia, and Sam Malek (University of California at Irvine, USA) @InProceedings{ASE18p765, author = {Mahmoud Hammad and Joshua Garcia and Sam Malek}, title = {Self-Protection of Android Systems from Inter-component Communication Attacks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {765-764}, doi = {10.1145/3238147.3238207}, year = {2018}, } Publisher's Version Article: ase18main-p383-p doi:10.1145/3238147.3238207
	Garcia, Mário A. P.	ASE '18: "Bounded Model Checking of ..." Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract) Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, and Eddie B. de Lima Filho (Federal University of Amazonas, Brazil; University of Manchester, UK; TPV Technology, Brazil) @InProceedings{ASE18p1001, author = {Felipe R. Monteiro and Mário A. P. Garcia and Lucas C. Cordeiro and Eddie B. de Lima Filho}, title = {Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1001-1000}, doi = {10.1145/3238147.3241981}, year = {2018}, } Publisher's Version Article: ase18jfirst-idjf1-p doi:10.1145/3238147.3241981
	Gardey, Juan Cruz	ASE '18: "Live Versioning of Web Applications ..." Live Versioning of Web Applications through Refactoring Julián Grigera, Juan Cruz Gardey, Alejandra Garrido, and Gustavo Rossi (National University of La Plata, Argentina; CIC, Argentina; CONICET, Argentina) @InProceedings{ASE18p919, author = {Julián Grigera and Juan Cruz Gardey and Alejandra Garrido and Gustavo Rossi}, title = {Live Versioning of Web Applications through Refactoring}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {919-918}, doi = {10.1145/3238147.3240483}, year = {2018}, } Publisher's Version Article: ase18tools-p27-p doi:10.1145/3238147.3240483
	Garrido, Alejandra	ASE '18: "Live Versioning of Web Applications ..." Live Versioning of Web Applications through Refactoring Julián Grigera, Juan Cruz Gardey, Alejandra Garrido, and Gustavo Rossi (National University of La Plata, Argentina; CIC, Argentina; CONICET, Argentina) @InProceedings{ASE18p919, author = {Julián Grigera and Juan Cruz Gardey and Alejandra Garrido and Gustavo Rossi}, title = {Live Versioning of Web Applications through Refactoring}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {919-918}, doi = {10.1145/3238147.3240483}, year = {2018}, } Publisher's Version Article: ase18tools-p27-p doi:10.1145/3238147.3240483
	Gehani, Ashish	ASE '18: "TRIMMER: Application Specialization ..." TRIMMER: Application Specialization for Code Debloating Hashim Sharif, Muhammad Abubakar, Ashish Gehani, and Fareed Zaffar (University of Illinois at Urbana-Champaign, USA; Lahore University of Management Sciences, Pakistan; SRI International, USA) @InProceedings{ASE18p345, author = {Hashim Sharif and Muhammad Abubakar and Ashish Gehani and Fareed Zaffar}, title = {TRIMMER: Application Specialization for Code Debloating}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {345-344}, doi = {10.1145/3238147.3238160}, year = {2018}, } Publisher's Version Article: ase18main-p66-p doi:10.1145/3238147.3238160
	Ghaisas, Smita	ASE '18: "Towards Automating Disambiguation ..." Towards Automating Disambiguation of Regulations: Using the Wisdom of Crowds Manasi Patwardhan, Abhishek Sainani, Richa Sharma, Shirish Karande, and Smita Ghaisas (TCS Research, India) @InProceedings{ASE18p897, author = {Manasi Patwardhan and Abhishek Sainani and Richa Sharma and Shirish Karande and Smita Ghaisas}, title = {Towards Automating Disambiguation of Regulations: Using the Wisdom of Crowds}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {897-896}, doi = {10.1145/3238147.3240727}, year = {2018}, } Publisher's Version Article: ase18ideas-p177-p doi:10.1145/3238147.3240727
	Gharibi, Gharib	ASE '18: "Code2graph: Automatic Generation ..." Code2graph: Automatic Generation of Static Call Graphs for Python Source Code Gharib Gharibi, Rashmi Tripathi, and Yugyung Lee (University of Missouri-Kansas City, USA) @InProceedings{ASE18p927, author = {Gharib Gharibi and Rashmi Tripathi and Yugyung Lee}, title = {Code2graph: Automatic Generation of Static Call Graphs for Python Source Code}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {927-926}, doi = {10.1145/3238147.3240484}, year = {2018}, } Publisher's Version Article: ase18tools-p31-p doi:10.1145/3238147.3240484
	Grano, Giovanni	ASE '18: "OCELOT: A Search-Based Test-Data ..." OCELOT: A Search-Based Test-Data Generation Tool for C Simone Scalabrino, Giovanni Grano, Dario Di Nucci, Michele Guerra, Andrea De Lucia, Harald C. Gall, and Rocco Oliveto (University of Molise, Italy; University of Zurich, Switzerland; Vrije Universiteit Brussel, Belgium; University of Salerno, Italy) @InProceedings{ASE18p915, author = {Simone Scalabrino and Giovanni Grano and Dario Di Nucci and Michele Guerra and Andrea De Lucia and Harald C. Gall and Rocco Oliveto}, title = {OCELOT: A Search-Based Test-Data Generation Tool for C}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {915-914}, doi = {10.1145/3238147.3240477}, year = {2018}, } Publisher's Version Article: ase18tools-p19-p doi:10.1145/3238147.3240477
	Grigera, Julián	ASE '18: "Live Versioning of Web Applications ..." Live Versioning of Web Applications through Refactoring Julián Grigera, Juan Cruz Gardey, Alejandra Garrido, and Gustavo Rossi (National University of La Plata, Argentina; CIC, Argentina; CONICET, Argentina) @InProceedings{ASE18p919, author = {Julián Grigera and Juan Cruz Gardey and Alejandra Garrido and Gustavo Rossi}, title = {Live Versioning of Web Applications through Refactoring}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {919-918}, doi = {10.1145/3238147.3240483}, year = {2018}, } Publisher's Version Article: ase18tools-p27-p doi:10.1145/3238147.3240483
	Guerra, Michele	ASE '18: "OCELOT: A Search-Based Test-Data ..." OCELOT: A Search-Based Test-Data Generation Tool for C Simone Scalabrino, Giovanni Grano, Dario Di Nucci, Michele Guerra, Andrea De Lucia, Harald C. Gall, and Rocco Oliveto (University of Molise, Italy; University of Zurich, Switzerland; Vrije Universiteit Brussel, Belgium; University of Salerno, Italy) @InProceedings{ASE18p915, author = {Simone Scalabrino and Giovanni Grano and Dario Di Nucci and Michele Guerra and Andrea De Lucia and Harald C. Gall and Rocco Oliveto}, title = {OCELOT: A Search-Based Test-Data Generation Tool for C}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {915-914}, doi = {10.1145/3238147.3240477}, year = {2018}, } Publisher's Version Article: ase18tools-p19-p doi:10.1145/3238147.3240477
	Habchi, Sarra	ASE '18: "On Adopting Linters to Deal ..." On Adopting Linters to Deal with Performance Concerns in Android Apps Sarra Habchi, Xavier Blanc, and Romain Rouvoy (Inria, France; University of Lille, France; University of Bordeaux, France) @InProceedings{ASE18p9, author = {Sarra Habchi and Xavier Blanc and Romain Rouvoy}, title = {On Adopting Linters to Deal with Performance Concerns in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {9-8}, doi = {10.1145/3238147.3238197}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Article: ase18main-p265-p doi:10.1145/3238147.3238197
	Habib, Andrew	ASE '18: "How Many of All Bugs Do We ..." How Many of All Bugs Do We Find? A Study of Static Bug Detectors Andrew Habib and Michael Pradel (TU Darmstadt, Germany) @InProceedings{ASE18p333, author = {Andrew Habib and Michael Pradel}, title = {How Many of All Bugs Do We Find? A Study of Static Bug Detectors}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {333-332}, doi = {10.1145/3238147.3238213}, year = {2018}, } Publisher's Version Article: ase18main-p401-p doi:10.1145/3238147.3238213 ASE '18: "Is This Class Thread-Safe? ..." Is This Class Thread-Safe? Inferring Documentation using Graph-Based Learning Andrew Habib and Michael Pradel (TU Darmstadt, Germany) @InProceedings{ASE18p45, author = {Andrew Habib and Michael Pradel}, title = {Is This Class Thread-Safe? Inferring Documentation using Graph-Based Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3238147.3238212}, year = {2018}, } Publisher's Version Article: ase18main-p399-p doi:10.1145/3238147.3238212
	Haindl, Philipp	ASE '18: "Assessing and Evaluating Functional ..." Assessing and Evaluating Functional Suitability of Software Philipp Haindl (JKU Linz, Austria) @InProceedings{ASE18p967, author = {Philipp Haindl}, title = {Assessing and Evaluating Functional Suitability of Software}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {967-966}, doi = {10.1145/3238147.3241531}, year = {2018}, } Publisher's Version Article: ase18doc-id1-p doi:10.1145/3238147.3241531
	Hammad, Mahmoud	ASE '18: "Self-Protection of Android ..." Self-Protection of Android Systems from Inter-component Communication Attacks Mahmoud Hammad, Joshua Garcia, and Sam Malek (University of California at Irvine, USA) @InProceedings{ASE18p765, author = {Mahmoud Hammad and Joshua Garcia and Sam Malek}, title = {Self-Protection of Android Systems from Inter-component Communication Attacks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {765-764}, doi = {10.1145/3238147.3238207}, year = {2018}, } Publisher's Version Article: ase18main-p383-p doi:10.1145/3238147.3238207
	Han, Shi	ASE '18: "Expandable Group Identification ..." Expandable Group Identification in Spreadsheets Wensheng Dou, Shi Han, Liang Xu, Dongmei Zhang, and Jun Wei (University of Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Microsoft Research, China) @InProceedings{ASE18p525, author = {Wensheng Dou and Shi Han and Liang Xu and Dongmei Zhang and Jun Wei}, title = {Expandable Group Identification in Spreadsheets}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {525-524}, doi = {10.1145/3238147.3238222}, year = {2018}, } Publisher's Version Article: ase18main-p488-p doi:10.1145/3238147.3238222
	Han, Xue	ASE '18: "PerfLearner: Learning from ..." PerfLearner: Learning from Bug Reports to Understand and Generate Performance Test Frames Xue Han, Tingting Yu, and David Lo (University of Kentucky, USA; Singapore Management University, Singapore) @InProceedings{ASE18p21, author = {Xue Han and Tingting Yu and David Lo}, title = {PerfLearner: Learning from Bug Reports to Understand and Generate Performance Test Frames}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3238147.3238204}, year = {2018}, } Publisher's Version Article: ase18main-p354-p doi:10.1145/3238147.3238204
	Hariri, Farah	ASE '18: "SRCIROR: A Toolset for Mutation ..." SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation Farah Hariri and August Shi (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE18p907, author = {Farah Hariri and August Shi}, title = {SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {907-906}, doi = {10.1145/3238147.3240482}, year = {2018}, } Publisher's Version Article: ase18tools-p26-p doi:10.1145/3238147.3240482
	Hassan, Ahmed E.	ASE '18: "Neural-Machine-Translation-Based ..." Neural-Machine-Translation-Based Commit Message Generation: How Far Are We? Zhongxin Liu, Xin Xia, Ahmed E. Hassan, David Lo, Zhenchang Xing, and Xinyu Wang (Zhejiang University, China; Monash University, Australia; Queen's University, Canada; Singapore Management University, Singapore; Australian National University, Australia) @InProceedings{ASE18p393, author = {Zhongxin Liu and Xin Xia and Ahmed E. Hassan and David Lo and Zhenchang Xing and Xinyu Wang}, title = {Neural-Machine-Translation-Based Commit Message Generation: How Far Are We?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {393-392}, doi = {10.1145/3238147.3238190}, year = {2018}, } Publisher's Version Article: ase18main-p192-p doi:10.1145/3238147.3238190
	Hassan, Foyzul	ASE '18: "RUDSEA: Recommending Updates ..." RUDSEA: Recommending Updates of Dockerfiles via Software Environment Analysis Foyzul Hassan, Rodney Rodriguez, and Xiaoyin Wang (University of Texas at San Antonio, USA) @InProceedings{ASE18p843, author = {Foyzul Hassan and Rodney Rodriguez and Xiaoyin Wang}, title = {RUDSEA: Recommending Updates of Dockerfiles via Software Environment Analysis}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {843-842}, doi = {10.1145/3238147.3240470}, year = {2018}, } Publisher's Version Article: ase18ideas-p438-p doi:10.1145/3238147.3240470
	He, Ancheng	ASE '18: "node2defect: Using Network ..." node2defect: Using Network Embedding to Improve Software Defect Prediction Yu Qu, Ting Liu, Jianlei Chi, Yangxu Jin, Di Cui, Ancheng He, and Qinghua Zheng (Xi'an Jiaotong University, China) @InProceedings{ASE18p891, author = {Yu Qu and Ting Liu and Jianlei Chi and Yangxu Jin and Di Cui and Ancheng He and Qinghua Zheng}, title = {node2defect: Using Network Embedding to Improve Software Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {891-890}, doi = {10.1145/3238147.3240469}, year = {2018}, } Publisher's Version Article: ase18ideas-p469-p doi:10.1145/3238147.3240469
	He, Dongjie	ASE '18: "Understanding and Detecting ..." Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, and Jingling Xue (Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; UNSW, Australia) @InProceedings{ASE18p177, author = {Dongjie He and Lian Li and Lei Wang and Hengjie Zheng and Guangwei Li and Jingling Xue}, title = {Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {177-176}, doi = {10.1145/3238147.3238185}, year = {2018}, } Publisher's Version Article: ase18main-p103-p doi:10.1145/3238147.3238185
	He, Fei	ASE '18: "Control Flow-Guided SMT Solving ..." Control Flow-Guided SMT Solving for Program Verification Jianhui Chen and Fei He (Tsinghua University, China) @InProceedings{ASE18p369, author = {Jianhui Chen and Fei He}, title = {Control Flow-Guided SMT Solving for Program Verification}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {369-368}, doi = {10.1145/3238147.3238218}, year = {2018}, } Publisher's Version Article: ase18main-p450-p doi:10.1145/3238147.3238218
	He, Pinjia	ASE '18: "Characterizing the Natural ..." Characterizing the Natural Language Descriptions in Software Logging Statements Pinjia He, Zhuangbin Chen, Shilin He, and Michael R. Lyu (Chinese University of Hong Kong, China) @InProceedings{ASE18p189, author = {Pinjia He and Zhuangbin Chen and Shilin He and Michael R. Lyu}, title = {Characterizing the Natural Language Descriptions in Software Logging Statements}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {189-188}, doi = {10.1145/3238147.3238193}, year = {2018}, } Publisher's Version Article: ase18main-p217-p doi:10.1145/3238147.3238193
	He, Shilin	ASE '18: "Characterizing the Natural ..." Characterizing the Natural Language Descriptions in Software Logging Statements Pinjia He, Zhuangbin Chen, Shilin He, and Michael R. Lyu (Chinese University of Hong Kong, China) @InProceedings{ASE18p189, author = {Pinjia He and Zhuangbin Chen and Shilin He and Michael R. Lyu}, title = {Characterizing the Natural Language Descriptions in Software Logging Statements}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {189-188}, doi = {10.1145/3238147.3238193}, year = {2018}, } Publisher's Version Article: ase18main-p217-p doi:10.1145/3238147.3238193
	He, Yilun	ASE '18: "PaMpeR: Proof Method Recommendation ..." PaMpeR: Proof Method Recommendation System for Isabelle/HOL Yutaka Nagashima and Yilun He (Czech Technical University, Czechia; University of Innsbruck, Austria; University of Sydney, Australia) @InProceedings{ASE18p381, author = {Yutaka Nagashima and Yilun He}, title = {PaMpeR: Proof Method Recommendation System for Isabelle/HOL}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {381-380}, doi = {10.1145/3238147.3238210}, year = {2018}, } Publisher's Version Article: ase18main-p396-p doi:10.1145/3238147.3238210
	Helm, Dominik	ASE '18: "A Unified Lattice Model and ..." A Unified Lattice Model and Framework for Purity Analyses Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{ASE18p357, author = {Dominik Helm and Florian Kübler and Michael Eichberg and Michael Reif and Mira Mezini}, title = {A Unified Lattice Model and Framework for Purity Analyses}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {357-356}, doi = {10.1145/3238147.3238226}, year = {2018}, } Publisher's Version Article: ase18main-p509-p doi:10.1145/3238147.3238226
	Herckis, Lauren	ASE '18: "Implementation Science for ..." Implementation Science for Software Engineering: Bridging the Gap between Research and Practice (Keynote) Lauren Herckis (Carnegie Mellon University, USA) @InProceedings{ASE18p5, author = {Lauren Herckis}, title = {Implementation Science for Software Engineering: Bridging the Gap between Research and Practice (Keynote)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {5-4}, doi = {10.1145/3238147.3264581}, year = {2018}, } Publisher's Version Article: ase18keynotes-idkn4-p doi:10.1145/3238147.3264581
	Hilton, Michael	ASE '18: "A Large-Scale Study of Test ..." A Large-Scale Study of Test Coverage Evolution Michael Hilton, Jonathan Bell, and Darko Marinov (Carnegie Mellon University, USA; George Mason University, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE18p57, author = {Michael Hilton and Jonathan Bell and Darko Marinov}, title = {A Large-Scale Study of Test Coverage Evolution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {57-56}, doi = {10.1145/3238147.3238183}, year = {2018}, } Publisher's Version Article: ase18main-p89-p doi:10.1145/3238147.3238183
	Hoskins, John	ASE '18: "Detecting and Summarizing ..." Detecting and Summarizing GUI Changes in Evolving Mobile Apps Kevin Moran, Cody Watson, John Hoskins, George Purnell, and Denys Poshyvanyk (College of William and Mary, USA) @InProceedings{ASE18p573, author = {Kevin Moran and Cody Watson and John Hoskins and George Purnell and Denys Poshyvanyk}, title = {Detecting and Summarizing GUI Changes in Evolving Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {573-572}, doi = {10.1145/3238147.3238203}, year = {2018}, } Publisher's Version Article: ase18main-p341-p doi:10.1145/3238147.3238203
	Hotzkow, Jenny	ASE '18: "DroidMate-2: A Platform for ..." DroidMate-2: A Platform for Android Test Generation Nataniel P. Borges Jr., Jenny Hotzkow, and Andreas Zeller (Saarland University, Germany) @InProceedings{ASE18p963, author = {Nataniel P. Borges Jr. and Jenny Hotzkow and Andreas Zeller}, title = {DroidMate-2: A Platform for Android Test Generation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {963-962}, doi = {10.1145/3238147.3240479}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Article: ase18tools-p22-p doi:10.1145/3238147.3240479
	Hu, Jiajun	ASE '18: "A Tale of Two Cities: How ..." A Tale of Two Cities: How WebView Induces Bugs to Android Applications Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung, and Huaxun Huang (Hong Kong University of Science and Technology, China; Southern University of Science and Technology, China) @InProceedings{ASE18p741, author = {Jiajun Hu and Lili Wei and Yepang Liu and Shing-Chi Cheung and Huaxun Huang}, title = {A Tale of Two Cities: How WebView Induces Bugs to Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {741-740}, doi = {10.1145/3238147.3238180}, year = {2018}, } Publisher's Version Article: ase18main-p71-p doi:10.1145/3238147.3238180
	Hu, Xing	ASE '18: "An Automated Approach to Estimating ..." An Automated Approach to Estimating Code Coverage Measures via Execution Logs Boyuan Chen, Jian Song, Peng Xu, Xing Hu, and Zhen Ming (Jack) Jiang (York University, Canada; Baidu, China) @InProceedings{ASE18p321, author = {Boyuan Chen and Jian Song and Peng Xu and Xing Hu and Zhen Ming (Jack) Jiang}, title = {An Automated Approach to Estimating Code Coverage Measures via Execution Logs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {321-320}, doi = {10.1145/3238147.3238214}, year = {2018}, } Publisher's Version Article: ase18main-p424-p doi:10.1145/3238147.3238214
	Huang, Huaxun	ASE '18: "Understanding and Detecting ..." Understanding and Detecting Callback Compatibility Issues for Android Applications Huaxun Huang, Lili Wei, Yepang Liu, and Shing-Chi Cheung (Hong Kong University of Science and Technology, China; Southern University of Science and Technology, China) @InProceedings{ASE18p561, author = {Huaxun Huang and Lili Wei and Yepang Liu and Shing-Chi Cheung}, title = {Understanding and Detecting Callback Compatibility Issues for Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {561-560}, doi = {10.1145/3238147.3238181}, year = {2018}, } Publisher's Version Article: ase18main-p72-p doi:10.1145/3238147.3238181 ASE '18: "A Tale of Two Cities: How ..." A Tale of Two Cities: How WebView Induces Bugs to Android Applications Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung, and Huaxun Huang (Hong Kong University of Science and Technology, China; Southern University of Science and Technology, China) @InProceedings{ASE18p741, author = {Jiajun Hu and Lili Wei and Yepang Liu and Shing-Chi Cheung and Huaxun Huang}, title = {A Tale of Two Cities: How WebView Induces Bugs to Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {741-740}, doi = {10.1145/3238147.3238180}, year = {2018}, } Publisher's Version Article: ase18main-p71-p doi:10.1145/3238147.3238180
	Huang, Jeff	ASE '18: "SEEDE: Simultaneous Execution ..." SEEDE: Simultaneous Execution and Editing in a Development Environment Steven P. Reiss, Qi Xin, and Jeff Huang (Brown University, USA) @InProceedings{ASE18p285, author = {Steven P. Reiss and Qi Xin and Jeff Huang}, title = {SEEDE: Simultaneous Execution and Editing in a Development Environment}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {285-284}, doi = {10.1145/3238147.3238182}, year = {2018}, } Publisher's Version Article: ase18main-p88-p doi:10.1145/3238147.3238182
	Huang, Kaifeng	ASE '18: "ClDiff: Generating Concise ..." ClDiff: Generating Concise Linked Code Differences Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou, Ying Wang, Yang Liu, and Wenyun Zhao (Fudan University, China; Nanyang Technological University, Singapore) @InProceedings{ASE18p717, author = {Kaifeng Huang and Bihuan Chen and Xin Peng and Daihong Zhou and Ying Wang and Yang Liu and Wenyun Zhao}, title = {ClDiff: Generating Concise Linked Code Differences}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {717-716}, doi = {10.1145/3238147.3238219}, year = {2018}, } Publisher's Version Article: ase18main-p461-p doi:10.1145/3238147.3238219
	Huang, LiGuo	ASE '18: "Effective API Recommendation ..." Effective API Recommendation without Historical Software Repositories Xiaoyu Liu, LiGuo Huang, and Vincent Ng (Southern Methodist University, USA; University of Texas at Dallas, USA) @InProceedings{ASE18p297, author = {Xiaoyu Liu and LiGuo Huang and Vincent Ng}, title = {Effective API Recommendation without Historical Software Repositories}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {297-296}, doi = {10.1145/3238147.3238216}, year = {2018}, } Publisher's Version Article: ase18main-p448-p doi:10.1145/3238147.3238216
	Huang, Qiao	ASE '18: "API Method Recommendation ..." API Method Recommendation without Worrying about the Task-API Knowledge Gap Qiao Huang, Xin Xia, Zhenchang Xing, David Lo, and Xinyu Wang (Zhejiang University, China; Monash University, Australia; Australian National University, Australia; Singapore Management University, Singapore) @InProceedings{ASE18p309, author = {Qiao Huang and Xin Xia and Zhenchang Xing and David Lo and Xinyu Wang}, title = {API Method Recommendation without Worrying about the Task-API Knowledge Gap}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {309-308}, doi = {10.1145/3238147.3238191}, year = {2018}, } Publisher's Version Article: ase18main-p200-p doi:10.1145/3238147.3238191
	Huang, Xiaowei	ASE '18: "Concolic Testing for Deep ..." Concolic Testing for Deep Neural Networks Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, and Daniel Kroening (University of Oxford, UK; University of Liverpool, UK) @InProceedings{ASE18p117, author = {Youcheng Sun and Min Wu and Wenjie Ruan and Xiaowei Huang and Marta Kwiatkowska and Daniel Kroening}, title = {Concolic Testing for Deep Neural Networks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {117-116}, doi = {10.1145/3238147.3238172}, year = {2018}, } Publisher's Version Article: ase18main-p519-p doi:10.1145/3238147.3238172
	Huang, Yi	ASE '18: "Tell Them Apart: Distilling ..." Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, and Yang Liu (Australian National University, Australia; Monash University, Australia; Nanyang Technological University, Singapore) @InProceedings{ASE18p225, author = {Yi Huang and Chunyang Chen and Zhenchang Xing and Tian Lin and Yang Liu}, title = {Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {225-224}, doi = {10.1145/3238147.3238208}, year = {2018}, } Publisher's Version Article: ase18main-p387-p doi:10.1145/3238147.3238208
	Huo, Wei	ASE '18: "αDiff: Cross-Version Binary ..." αDiff: Cross-Version Binary Code Similarity Detection with DNN Bingchang Liu, Wei Huo, Chao Zhang, Wenchao Li, Feng Li, Aihua Piao, and Wei Zou (Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Tsinghua University, China) @InProceedings{ASE18p705, author = {Bingchang Liu and Wei Huo and Chao Zhang and Wenchao Li and Feng Li and Aihua Piao and Wei Zou}, title = {αDiff: Cross-Version Binary Code Similarity Detection with DNN}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {705-704}, doi = {10.1145/3238147.3238199}, year = {2018}, } Publisher's Version Article: ase18main-p282-p doi:10.1145/3238147.3238199
	Hurum, Arne Erik	ASE '18: "Achieving Test Automation ..." Achieving Test Automation with Testers without Coding Skills: An Industrial Report Davrondzhon Gafurov, Arne Erik Hurum, and Martin Markman (Norwegian Directorate of eHealth, Norway) @InProceedings{ASE18p789, author = {Davrondzhon Gafurov and Arne Erik Hurum and Martin Markman}, title = {Achieving Test Automation with Testers without Coding Skills: An Industrial Report}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {789-788}, doi = {10.1145/3238147.3240463}, year = {2018}, } Publisher's Version Article: ase18experience-p76-p doi:10.1145/3238147.3240463
	Ivančić, Franjo	ASE '18: "Replay without Recording of ..." Replay without Recording of Production Bugs for Service Oriented Applications Nipun Arora, Jonathan Bell, Franjo Ivančić, Gail Kaiser, and Baishakhi Ray (Dropbox, USA; George Mason University, USA; Google, USA; Columbia University, USA) @InProceedings{ASE18p477, author = {Nipun Arora and Jonathan Bell and Franjo Ivančić and Gail Kaiser and Baishakhi Ray}, title = {Replay without Recording of Production Bugs for Service Oriented Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {477-476}, doi = {10.1145/3238147.3238186}, year = {2018}, } Publisher's Version Article: ase18main-p141-p doi:10.1145/3238147.3238186
	Janes, Andrea	ASE '18: "code_call_lens: Raising the ..." code_call_lens: Raising the Developer Awareness of Critical Code Andrea Janes, Michael Mairegger, and Barbara Russo (Free University of Bolzano, Italy) @InProceedings{ASE18p923, author = {Andrea Janes and Michael Mairegger and Barbara Russo}, title = {code_call_lens: Raising the Developer Awareness of Critical Code}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {923-922}, doi = {10.1145/3238147.3240488}, year = {2018}, } Publisher's Version Article: ase18tools-p41-p doi:10.1145/3238147.3240488
	Ji, Chao	ASE '18: "Delta Debugging Microservice ..." Delta Debugging Microservice Systems Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, and Dan Ding (Fudan University, China; University of Illinois at Urbana-Champaign, USA; Singapore University of Technology and Design, Singapore) @InProceedings{ASE18p849, author = {Xiang Zhou and Xin Peng and Tao Xie and Jun Sun and Wenhai Li and Chao Ji and Dan Ding}, title = {Delta Debugging Microservice Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {849-848}, doi = {10.1145/3238147.3240730}, year = {2018}, } Publisher's Version Article: ase18ideas-p318-p doi:10.1145/3238147.3240730
	Jiang, Bo	ASE '18: "ContractFuzzer: Fuzzing Smart ..." ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection Bo Jiang, Ye Liu, and W. K. Chan (Beihang University, China; City University of Hong Kong, China) @InProceedings{ASE18p273, author = {Bo Jiang and Ye Liu and W. K. Chan}, title = {ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {273-272}, doi = {10.1145/3238147.3238177}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Article: ase18main-p52-p doi:10.1145/3238147.3238177
	Jiang, Jie-Hong R.	ASE '18: "A Symbolic Model Checking ..." A Symbolic Model Checking Approach to the Analysis of String and Length Constraints Hung-En Wang, Shih-Yu Chen, Fang Yu, and Jie-Hong R. Jiang (National Taiwan University, Taiwan; National Chengchi University, Taiwan) @InProceedings{ASE18p657, author = {Hung-En Wang and Shih-Yu Chen and Fang Yu and Jie-Hong R. Jiang}, title = {A Symbolic Model Checking Approach to the Analysis of String and Length Constraints}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {657-656}, doi = {10.1145/3238147.3238189}, year = {2018}, } Publisher's Version Article: ase18main-p187-p doi:10.1145/3238147.3238189
	Jiang, Yanyan	ASE '18: "ReScue: Crafting Regular Expression ..." ReScue: Crafting Regular Expression DoS Attacks Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, and Jian Lu (Nanjing University, China) @InProceedings{ASE18p237, author = {Yuju Shen and Yanyan Jiang and Chang Xu and Ping Yu and Xiaoxing Ma and Jian Lu}, title = {ReScue: Crafting Regular Expression DoS Attacks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {237-236}, doi = {10.1145/3238147.3238159}, year = {2018}, } Publisher's Version Article: ase18main-p53-p doi:10.1145/3238147.3238159
	Jiang, Yu	ASE '18: "S-gram: Towards Semantic-Aware ..." S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, and Jiaguang Sun (Tsinghua University, China; Peking University, China; Ant Financial, China) @InProceedings{ASE18p861, author = {Han Liu and Chao Liu and Wenqi Zhao and Yu Jiang and Jiaguang Sun}, title = {S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {861-860}, doi = {10.1145/3238147.3240728}, year = {2018}, } Publisher's Version Article: ase18ideas-p196-p doi:10.1145/3238147.3240728 ASE '18: "VulSeeker: A Semantic Learning ..." VulSeeker: A Semantic Learning Based Vulnerability Seeker for Cross-Platform Binary Jian Gao, Xin Yang, Ying Fu, Yu Jiang, and Jiaguang Sun (Tsinghua University, China) @InProceedings{ASE18p943, author = {Jian Gao and Xin Yang and Ying Fu and Yu Jiang and Jiaguang Sun}, title = {VulSeeker: A Semantic Learning Based Vulnerability Seeker for Cross-Platform Binary}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {943-942}, doi = {10.1145/3238147.3240480}, year = {2018}, } Publisher's Version Article: ase18tools-p23-p doi:10.1145/3238147.3240480
	Jiang, Zhen Ming (Jack)	ASE '18: "An Automated Approach to Estimating ..." An Automated Approach to Estimating Code Coverage Measures via Execution Logs Boyuan Chen, Jian Song, Peng Xu, Xing Hu, and Zhen Ming (Jack) Jiang (York University, Canada; Baidu, China) @InProceedings{ASE18p321, author = {Boyuan Chen and Jian Song and Peng Xu and Xing Hu and Zhen Ming (Jack) Jiang}, title = {An Automated Approach to Estimating Code Coverage Measures via Execution Logs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {321-320}, doi = {10.1145/3238147.3238214}, year = {2018}, } Publisher's Version Article: ase18main-p424-p doi:10.1145/3238147.3238214
	Jin, Yangxu	ASE '18: "node2defect: Using Network ..." node2defect: Using Network Embedding to Improve Software Defect Prediction Yu Qu, Ting Liu, Jianlei Chi, Yangxu Jin, Di Cui, Ancheng He, and Qinghua Zheng (Xi'an Jiaotong University, China) @InProceedings{ASE18p891, author = {Yu Qu and Ting Liu and Jianlei Chi and Yangxu Jin and Di Cui and Ancheng He and Qinghua Zheng}, title = {node2defect: Using Network Embedding to Improve Software Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {891-890}, doi = {10.1145/3238147.3240469}, year = {2018}, } Publisher's Version Article: ase18ideas-p469-p doi:10.1145/3238147.3240469
	Juefei-Xu, Felix	ASE '18: "DeepGauge: Multi-Granularity ..." DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang (Harbin Institute of Technology, China; Nanyang Technological University, Singapore; Carnegie Mellon University, USA; Kyushu University, Japan; University of Illinois at Urbana-Champaign, USA; Monash University, Australia) @InProceedings{ASE18p129, author = {Lei Ma and Felix Juefei-Xu and Fuyuan Zhang and Jiyuan Sun and Minhui Xue and Bo Li and Chunyang Chen and Ting Su and Li Li and Yang Liu and Jianjun Zhao and Yadong Wang}, title = {DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3238147.3238202}, year = {2018}, } Publisher's Version Article: ase18main-p317-p doi:10.1145/3238147.3238202
	Kaiser, Gail	ASE '18: "Replay without Recording of ..." Replay without Recording of Production Bugs for Service Oriented Applications Nipun Arora, Jonathan Bell, Franjo Ivančić, Gail Kaiser, and Baishakhi Ray (Dropbox, USA; George Mason University, USA; Google, USA; Columbia University, USA) @InProceedings{ASE18p477, author = {Nipun Arora and Jonathan Bell and Franjo Ivančić and Gail Kaiser and Baishakhi Ray}, title = {Replay without Recording of Production Bugs for Service Oriented Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {477-476}, doi = {10.1145/3238147.3238186}, year = {2018}, } Publisher's Version Article: ase18main-p141-p doi:10.1145/3238147.3238186
	Karande, Shirish	ASE '18: "Towards Automating Disambiguation ..." Towards Automating Disambiguation of Regulations: Using the Wisdom of Crowds Manasi Patwardhan, Abhishek Sainani, Richa Sharma, Shirish Karande, and Smita Ghaisas (TCS Research, India) @InProceedings{ASE18p897, author = {Manasi Patwardhan and Abhishek Sainani and Richa Sharma and Shirish Karande and Smita Ghaisas}, title = {Towards Automating Disambiguation of Regulations: Using the Wisdom of Crowds}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {897-896}, doi = {10.1145/3238147.3240727}, year = {2018}, } Publisher's Version Article: ase18ideas-p177-p doi:10.1145/3238147.3240727
	Karkazis, Lambros	ASE '18: "Assessing the Type Annotation ..." Assessing the Type Annotation Burden John-Paul Ore, Sebastian Elbaum, Carrick Detweiler, and Lambros Karkazis (University of Nebraska-Lincoln, USA) @InProceedings{ASE18p201, author = {John-Paul Ore and Sebastian Elbaum and Carrick Detweiler and Lambros Karkazis}, title = {Assessing the Type Annotation Burden}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {201-200}, doi = {10.1145/3238147.3238173}, year = {2018}, } Publisher's Version Article: ase18main-p15-p doi:10.1145/3238147.3238173
	Kazman, Rick	ASE '18: "Experiences Applying Automated ..." Experiences Applying Automated Architecture Analysis Tool Suites Ran Mo, Will Snipes, Yuanfang Cai, Srini Ramaswamy, Rick Kazman, and Martin Naedele (Central China Normal University, China; ABB Corporate Research, USA; Drexel University, USA; ABB, USA; Carnegie Mellon University, USA; University of Hawaii, USA; ABB, Switzerland) @InProceedings{ASE18p825, author = {Ran Mo and Will Snipes and Yuanfang Cai and Srini Ramaswamy and Rick Kazman and Martin Naedele}, title = {Experiences Applying Automated Architecture Analysis Tool Suites}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {825-824}, doi = {10.1145/3238147.3240467}, year = {2018}, } Publisher's Version Article: ase18experience-p391-p doi:10.1145/3238147.3240467
	Kessentini, Marouane	ASE '18: "Reducing Interactive Refactoring ..." Reducing Interactive Refactoring Effort via Clustering-Based Multi-objective Search Vahid Alizadeh and Marouane Kessentini (University of Michigan, USA) @InProceedings{ASE18p489, author = {Vahid Alizadeh and Marouane Kessentini}, title = {Reducing Interactive Refactoring Effort via Clustering-Based Multi-objective Search}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {489-488}, doi = {10.1145/3238147.3238217}, year = {2018}, } Publisher's Version Article: ase18main-p449-p doi:10.1145/3238147.3238217
	Khurshid, Sarfraz	ASE '18: "DeepRoad: GAN-Based Metamorphic ..." DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, and Sarfraz Khurshid (University of Texas at Austin, USA; Southern University of Science and Technology, China; University of Texas at Dallas, USA) @InProceedings{ASE18p141, author = {Mengshi Zhang and Yuqun Zhang and Lingming Zhang and Cong Liu and Sarfraz Khurshid}, title = {DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3238147.3238187}, year = {2018}, } Publisher's Version Article: ase18main-p160-p doi:10.1145/3238147.3238187 ASE '18: "Automated Model Repair for ..." Automated Model Repair for Alloy Kaiyuan Wang, Allison Sullivan, and Sarfraz Khurshid (University of Texas at Austin, USA) @InProceedings{ASE18p609, author = {Kaiyuan Wang and Allison Sullivan and Sarfraz Khurshid}, title = {Automated Model Repair for Alloy}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {609-608}, doi = {10.1145/3238147.3238162}, year = {2018}, } Publisher's Version Article: ase18main-p79-p doi:10.1145/3238147.3238162
	Konat, Gabriël	ASE '18: "Scalable Incremental Building ..." Scalable Incremental Building with Dynamic Task Dependencies Gabriël Konat, Sebastian Erdweg, and Eelco Visser (Delft University of Technology, Netherlands) @InProceedings{ASE18p81, author = {Gabriël Konat and Sebastian Erdweg and Eelco Visser}, title = {Scalable Incremental Building with Dynamic Task Dependencies}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3238147.3238196}, year = {2018}, } Publisher's Version Article: ase18main-p260-p doi:10.1145/3238147.3238196
	Korel, Bogdan	ASE '18: "Automatically Quantifying ..." Automatically Quantifying the Impact of a Change in Systems (Journal-First Abstract) Nada Almasri, Luay Tahat, and Bogdan Korel (Gulf University for Science and Technology, Kuwait; Illinois Institute of Technology, USA) @InProceedings{ASE18p999, author = {Nada Almasri and Luay Tahat and Bogdan Korel}, title = {Automatically Quantifying the Impact of a Change in Systems (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {999-998}, doi = {10.1145/3238147.3241984}, year = {2018}, } Publisher's Version Article: ase18jfirst-idjf4-p doi:10.1145/3238147.3241984
	Kotheimer, John	ASE '18: "Semantic Crash Bucketing ..." Semantic Crash Bucketing Rijnard van Tonder, John Kotheimer, and Claire Le Goues (Carnegie Mellon University, USA) @InProceedings{ASE18p645, author = {Rijnard van Tonder and John Kotheimer and Claire Le Goues}, title = {Semantic Crash Bucketing}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {645-644}, doi = {10.1145/3238147.3238200}, year = {2018}, } Publisher's Version Article: ase18main-p292-p doi:10.1145/3238147.3238200
	Kovalenko, Vladimir	ASE '18: "Mining File Histories: Should ..." Mining File Histories: Should We Consider Branches? Vladimir Kovalenko, Fabio Palomba, and Alberto Bacchelli (Delft University of Technology, Netherlands; University of Zurich, Switzerland) @InProceedings{ASE18p213, author = {Vladimir Kovalenko and Fabio Palomba and Alberto Bacchelli}, title = {Mining File Histories: Should We Consider Branches?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {213-212}, doi = {10.1145/3238147.3238169}, year = {2018}, } Publisher's Version Article: ase18main-p335-p doi:10.1145/3238147.3238169
	Krismayer, Thomas	ASE '18: "Automatic Mining of Constraints ..." Automatic Mining of Constraints for Monitoring Systems of Systems Thomas Krismayer (JKU Linz, Austria) @InProceedings{ASE18p971, author = {Thomas Krismayer}, title = {Automatic Mining of Constraints for Monitoring Systems of Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {971-970}, doi = {10.1145/3238147.3241532}, year = {2018}, } Publisher's Version Article: ase18doc-id4-p doi:10.1145/3238147.3241532
	Kroening, Daniel	ASE '18: "Concolic Testing for Deep ..." Concolic Testing for Deep Neural Networks Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, and Daniel Kroening (University of Oxford, UK; University of Liverpool, UK) @InProceedings{ASE18p117, author = {Youcheng Sun and Min Wu and Wenjie Ruan and Xiaowei Huang and Marta Kwiatkowska and Daniel Kroening}, title = {Concolic Testing for Deep Neural Networks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {117-116}, doi = {10.1145/3238147.3238172}, year = {2018}, } Publisher's Version Article: ase18main-p519-p doi:10.1145/3238147.3238172
	Kübler, Florian	ASE '18: "A Unified Lattice Model and ..." A Unified Lattice Model and Framework for Purity Analyses Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{ASE18p357, author = {Dominik Helm and Florian Kübler and Michael Eichberg and Michael Reif and Mira Mezini}, title = {A Unified Lattice Model and Framework for Purity Analyses}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {357-356}, doi = {10.1145/3238147.3238226}, year = {2018}, } Publisher's Version Article: ase18main-p509-p doi:10.1145/3238147.3238226
	Kulkarni, Sandeep	ASE '18: "DKVF: A Framework for Rapid ..." DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-Value Stores Mohammad Roohitavaf and Sandeep Kulkarni (Michigan State University, USA) @InProceedings{ASE18p959, author = {Mohammad Roohitavaf and Sandeep Kulkarni}, title = {DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-Value Stores}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {959-958}, doi = {10.1145/3238147.3240476}, year = {2018}, } Publisher's Version Article: ase18tools-p18-p doi:10.1145/3238147.3240476
	Kwiatkowska, Marta	ASE '18: "Concolic Testing for Deep ..." Concolic Testing for Deep Neural Networks Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, and Daniel Kroening (University of Oxford, UK; University of Liverpool, UK) @InProceedings{ASE18p117, author = {Youcheng Sun and Min Wu and Wenjie Ruan and Xiaowei Huang and Marta Kwiatkowska and Daniel Kroening}, title = {Concolic Testing for Deep Neural Networks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {117-116}, doi = {10.1145/3238147.3238172}, year = {2018}, } Publisher's Version Article: ase18main-p519-p doi:10.1145/3238147.3238172
	Lahiri, Shuvendu K.	ASE '18: "Datalog-Based Scalable Semantic ..." Datalog-Based Scalable Semantic Diffing of Concurrent Programs Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, and Chao Wang (University of Southern California, USA; Microsoft Research, USA; University of Paris Diderot, France) @InProceedings{ASE18p693, author = {Chungha Sung and Shuvendu K. Lahiri and Constantin Enea and Chao Wang}, title = {Datalog-Based Scalable Semantic Diffing of Concurrent Programs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {693-692}, doi = {10.1145/3238147.3238211}, year = {2018}, } Publisher's Version Article: ase18main-p398-p doi:10.1145/3238147.3238211
	Laser, Marcelo Schmitt	ASE '18: "Empirically Assessing Opportunities ..." Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps Yixue Zhao, Paul Wat, Marcelo Schmitt Laser, and Nenad Medvidović (University of Southern California, USA) @InProceedings{ASE18p585, author = {Yixue Zhao and Paul Wat and Marcelo Schmitt Laser and Nenad Medvidović}, title = {Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {585-584}, doi = {10.1145/3238147.3238215}, year = {2018}, } Publisher's Version Article: ase18main-p441-p doi:10.1145/3238147.3238215
	Lee, Seonho	ASE '18: "Template-Guided Concolic Testing ..." Template-Guided Concolic Testing via Online Learning Sooyoung Cha, Seonho Lee, and Hakjoo Oh (Korea University, South Korea) @InProceedings{ASE18p429, author = {Sooyoung Cha and Seonho Lee and Hakjoo Oh}, title = {Template-Guided Concolic Testing via Online Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {429-428}, doi = {10.1145/3238147.3238227}, year = {2018}, } Publisher's Version Article: ase18main-p521-p doi:10.1145/3238147.3238227
	Lee, Yugyung	ASE '18: "Code2graph: Automatic Generation ..." Code2graph: Automatic Generation of Static Call Graphs for Python Source Code Gharib Gharibi, Rashmi Tripathi, and Yugyung Lee (University of Missouri-Kansas City, USA) @InProceedings{ASE18p927, author = {Gharib Gharibi and Rashmi Tripathi and Yugyung Lee}, title = {Code2graph: Automatic Generation of Static Call Graphs for Python Source Code}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {927-926}, doi = {10.1145/3238147.3240484}, year = {2018}, } Publisher's Version Article: ase18tools-p31-p doi:10.1145/3238147.3240484
	Le Goues, Claire	ASE '18: "Semantic Crash Bucketing ..." Semantic Crash Bucketing Rijnard van Tonder, John Kotheimer, and Claire Le Goues (Carnegie Mellon University, USA) @InProceedings{ASE18p645, author = {Rijnard van Tonder and John Kotheimer and Claire Le Goues}, title = {Semantic Crash Bucketing}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {645-644}, doi = {10.1145/3238147.3238200}, year = {2018}, } Publisher's Version Article: ase18main-p292-p doi:10.1145/3238147.3238200
	Lemberger, Thomas	ASE '18: "CPA-SymExec: Efficient Symbolic ..." CPA-SymExec: Efficient Symbolic Execution in CPAchecker Dirk Beyer and Thomas Lemberger (LMU Munich, Germany) @InProceedings{ASE18p947, author = {Dirk Beyer and Thomas Lemberger}, title = {CPA-SymExec: Efficient Symbolic Execution in CPAchecker}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {947-946}, doi = {10.1145/3238147.3240478}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Article: ase18tools-p21-p doi:10.1145/3238147.3240478
	Lemieux, Caroline	ASE '18: "FairFuzz: A Targeted Mutation ..." FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage Caroline Lemieux and Koushik Sen (University of California at Berkeley, USA) @InProceedings{ASE18p501, author = {Caroline Lemieux and Koushik Sen}, title = {FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {501-500}, doi = {10.1145/3238147.3238176}, year = {2018}, } Publisher's Version Article: ase18main-p36-p doi:10.1145/3238147.3238176
	Li, Bo	ASE '18: "DeepGauge: Multi-Granularity ..." DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang (Harbin Institute of Technology, China; Nanyang Technological University, Singapore; Carnegie Mellon University, USA; Kyushu University, Japan; University of Illinois at Urbana-Champaign, USA; Monash University, Australia) @InProceedings{ASE18p129, author = {Lei Ma and Felix Juefei-Xu and Fuyuan Zhang and Jiyuan Sun and Minhui Xue and Bo Li and Chunyang Chen and Ting Su and Li Li and Yang Liu and Jianjun Zhao and Yadong Wang}, title = {DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3238147.3238202}, year = {2018}, } Publisher's Version Article: ase18main-p317-p doi:10.1145/3238147.3238202
	Li, Dengfeng	ASE '18: "An Empirical Study of Android ..." An Empirical Study of Android Test Generation Tools in Industrial Cases Wenyu Wang, Dengfeng Li, Wei Yang, Yurui Cao, Zhenwen Zhang, Yuetang Deng, and Tao Xie (University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA; Tencent, China) @InProceedings{ASE18p777, author = {Wenyu Wang and Dengfeng Li and Wei Yang and Yurui Cao and Zhenwen Zhang and Yuetang Deng and Tao Xie}, title = {An Empirical Study of Android Test Generation Tools in Industrial Cases}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {777-776}, doi = {10.1145/3238147.3240465}, year = {2018}, } Publisher's Version Article: ase18experience-p101-p doi:10.1145/3238147.3240465
	Li, Feng	ASE '18: "αDiff: Cross-Version Binary ..." αDiff: Cross-Version Binary Code Similarity Detection with DNN Bingchang Liu, Wei Huo, Chao Zhang, Wenchao Li, Feng Li, Aihua Piao, and Wei Zou (Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Tsinghua University, China) @InProceedings{ASE18p705, author = {Bingchang Liu and Wei Huo and Chao Zhang and Wenchao Li and Feng Li and Aihua Piao and Wei Zou}, title = {αDiff: Cross-Version Binary Code Similarity Detection with DNN}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {705-704}, doi = {10.1145/3238147.3238199}, year = {2018}, } Publisher's Version Article: ase18main-p282-p doi:10.1145/3238147.3238199
	Li, Guangwei	ASE '18: "Understanding and Detecting ..." Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, and Jingling Xue (Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; UNSW, Australia) @InProceedings{ASE18p177, author = {Dongjie He and Lian Li and Lei Wang and Hengjie Zheng and Guangwei Li and Jingling Xue}, title = {Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {177-176}, doi = {10.1145/3238147.3238185}, year = {2018}, } Publisher's Version Article: ase18main-p103-p doi:10.1145/3238147.3238185
	Li, Li	ASE '18: "DeepGauge: Multi-Granularity ..." DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang (Harbin Institute of Technology, China; Nanyang Technological University, Singapore; Carnegie Mellon University, USA; Kyushu University, Japan; University of Illinois at Urbana-Champaign, USA; Monash University, Australia) @InProceedings{ASE18p129, author = {Lei Ma and Felix Juefei-Xu and Fuyuan Zhang and Jiyuan Sun and Minhui Xue and Bo Li and Chunyang Chen and Ting Su and Li Li and Yang Liu and Jianjun Zhao and Yadong Wang}, title = {DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3238147.3238202}, year = {2018}, } Publisher's Version Article: ase18main-p317-p doi:10.1145/3238147.3238202
	Li, Lian	ASE '18: "Understanding and Detecting ..." Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, and Jingling Xue (Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; UNSW, Australia) @InProceedings{ASE18p177, author = {Dongjie He and Lian Li and Lei Wang and Hengjie Zheng and Guangwei Li and Jingling Xue}, title = {Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {177-176}, doi = {10.1145/3238147.3238185}, year = {2018}, } Publisher's Version Article: ase18main-p103-p doi:10.1145/3238147.3238185
	Li, Wenchao	ASE '18: "αDiff: Cross-Version Binary ..." αDiff: Cross-Version Binary Code Similarity Detection with DNN Bingchang Liu, Wei Huo, Chao Zhang, Wenchao Li, Feng Li, Aihua Piao, and Wei Zou (Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Tsinghua University, China) @InProceedings{ASE18p705, author = {Bingchang Liu and Wei Huo and Chao Zhang and Wenchao Li and Feng Li and Aihua Piao and Wei Zou}, title = {αDiff: Cross-Version Binary Code Similarity Detection with DNN}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {705-704}, doi = {10.1145/3238147.3238199}, year = {2018}, } Publisher's Version Article: ase18main-p282-p doi:10.1145/3238147.3238199
	Li, Wenhai	ASE '18: "Delta Debugging Microservice ..." Delta Debugging Microservice Systems Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, and Dan Ding (Fudan University, China; University of Illinois at Urbana-Champaign, USA; Singapore University of Technology and Design, Singapore) @InProceedings{ASE18p849, author = {Xiang Zhou and Xin Peng and Tao Xie and Jun Sun and Wenhai Li and Chao Ji and Dan Ding}, title = {Delta Debugging Microservice Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {849-848}, doi = {10.1145/3238147.3240730}, year = {2018}, } Publisher's Version Article: ase18ideas-p318-p doi:10.1145/3238147.3240730
	Li, Yi	ASE '18: "Client-Specific Equivalence ..." Client-Specific Equivalence Checking Federico Mora, Yi Li, Julia Rubin, and Marsha Chechik (University of Toronto, Canada; University of British Columbia, Canada) @InProceedings{ASE18p465, author = {Federico Mora and Yi Li and Julia Rubin and Marsha Chechik}, title = {Client-Specific Equivalence Checking}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {465-464}, doi = {10.1145/3238147.3238178}, year = {2018}, } Publisher's Version Article: ase18main-p55-p doi:10.1145/3238147.3238178
	Li, Yongjian	ASE '18: "L-CMP: An Automatic Learning-Based ..." L-CMP: An Automatic Learning-Based Parameterized Verification Tool Jialun Cao, Yongjian Li, and Jun Pang (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; University of Luxembourg, Luxembourg) @InProceedings{ASE18p939, author = {Jialun Cao and Yongjian Li and Jun Pang}, title = {L-CMP: An Automatic Learning-Based Parameterized Verification Tool}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {939-938}, doi = {10.1145/3238147.3240487}, year = {2018}, } Publisher's Version Article: ase18tools-p38-p doi:10.1145/3238147.3240487
	Lin, Huarui	ASE '18: "PFix: Fixing Concurrency Bugs ..." PFix: Fixing Concurrency Bugs Based on Memory Access Patterns Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, and Guangning Wei (Tianjin University, China; Singapore University of Technology and Design, Singapore) @InProceedings{ASE18p621, author = {Huarui Lin and Zan Wang and Shuang Liu and Jun Sun and Dongdi Zhang and Guangning Wei}, title = {PFix: Fixing Concurrency Bugs Based on Memory Access Patterns}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {621-620}, doi = {10.1145/3238147.3238198}, year = {2018}, } Publisher's Version Article: ase18main-p275-p doi:10.1145/3238147.3238198
	Lin, Tian	ASE '18: "Tell Them Apart: Distilling ..." Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, and Yang Liu (Australian National University, Australia; Monash University, Australia; Nanyang Technological University, Singapore) @InProceedings{ASE18p225, author = {Yi Huang and Chunyang Chen and Zhenchang Xing and Tian Lin and Yang Liu}, title = {Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {225-224}, doi = {10.1145/3238147.3238208}, year = {2018}, } Publisher's Version Article: ase18main-p387-p doi:10.1145/3238147.3238208
	Lin, Yun	ASE '18: "Break the Dead End of Dynamic ..." Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, and Jinsong Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Singapore Institute of Technology, Singapore; Nanyang Technological University, Singapore) @InProceedings{ASE18p537, author = {Yun Lin and Jun Sun and Lyly Tran and Guangdong Bai and Haijun Wang and Jinsong Dong}, title = {Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {537-536}, doi = {10.1145/3238147.3238163}, year = {2018}, } Publisher's Version Article: ase18main-p132-p doi:10.1145/3238147.3238163
	Liu, Bingchang	ASE '18: "αDiff: Cross-Version Binary ..." αDiff: Cross-Version Binary Code Similarity Detection with DNN Bingchang Liu, Wei Huo, Chao Zhang, Wenchao Li, Feng Li, Aihua Piao, and Wei Zou (Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Tsinghua University, China) @InProceedings{ASE18p705, author = {Bingchang Liu and Wei Huo and Chao Zhang and Wenchao Li and Feng Li and Aihua Piao and Wei Zou}, title = {αDiff: Cross-Version Binary Code Similarity Detection with DNN}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {705-704}, doi = {10.1145/3238147.3238199}, year = {2018}, } Publisher's Version Article: ase18main-p282-p doi:10.1145/3238147.3238199
	Liu, Chao	ASE '18: "S-gram: Towards Semantic-Aware ..." S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, and Jiaguang Sun (Tsinghua University, China; Peking University, China; Ant Financial, China) @InProceedings{ASE18p861, author = {Han Liu and Chao Liu and Wenqi Zhao and Yu Jiang and Jiaguang Sun}, title = {S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {861-860}, doi = {10.1145/3238147.3240728}, year = {2018}, } Publisher's Version Article: ase18ideas-p196-p doi:10.1145/3238147.3240728
	Liu, Cong	ASE '18: "DeepRoad: GAN-Based Metamorphic ..." DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, and Sarfraz Khurshid (University of Texas at Austin, USA; Southern University of Science and Technology, China; University of Texas at Dallas, USA) @InProceedings{ASE18p141, author = {Mengshi Zhang and Yuqun Zhang and Lingming Zhang and Cong Liu and Sarfraz Khurshid}, title = {DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3238147.3238187}, year = {2018}, } Publisher's Version Article: ase18main-p160-p doi:10.1145/3238147.3238187
	Liu, Han	ASE '18: "S-gram: Towards Semantic-Aware ..." S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, and Jiaguang Sun (Tsinghua University, China; Peking University, China; Ant Financial, China) @InProceedings{ASE18p861, author = {Han Liu and Chao Liu and Wenqi Zhao and Yu Jiang and Jiaguang Sun}, title = {S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {861-860}, doi = {10.1145/3238147.3240728}, year = {2018}, } Publisher's Version Article: ase18ideas-p196-p doi:10.1145/3238147.3240728
	Liu, Hui	ASE '18: "Deep Learning Based Feature ..." Deep Learning Based Feature Envy Detection Hui Liu, Zhifeng Xu, and Yanzhen Zou (Beijing Institute of Technology, China; Peking University, China) @InProceedings{ASE18p405, author = {Hui Liu and Zhifeng Xu and Yanzhen Zou}, title = {Deep Learning Based Feature Envy Detection}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {405-404}, doi = {10.1145/3238147.3238166}, year = {2018}, } Publisher's Version Article: ase18main-p247-p doi:10.1145/3238147.3238166
	Liu, Jie	ASE '18: "TDroid: Exposing App Switching ..." TDroid: Exposing App Switching Attacks in Android with Control Flow Specialization Jie Liu, Diyu Wu, and Jingling Xue (UNSW, Australia) @InProceedings{ASE18p249, author = {Jie Liu and Diyu Wu and Jingling Xue}, title = {TDroid: Exposing App Switching Attacks in Android with Control Flow Specialization}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {249-248}, doi = {10.1145/3238147.3238188}, year = {2018}, } Publisher's Version Article: ase18main-p185-p doi:10.1145/3238147.3238188
	Liu, Shuang	ASE '18: "PFix: Fixing Concurrency Bugs ..." PFix: Fixing Concurrency Bugs Based on Memory Access Patterns Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, and Guangning Wei (Tianjin University, China; Singapore University of Technology and Design, Singapore) @InProceedings{ASE18p621, author = {Huarui Lin and Zan Wang and Shuang Liu and Jun Sun and Dongdi Zhang and Guangning Wei}, title = {PFix: Fixing Concurrency Bugs Based on Memory Access Patterns}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {621-620}, doi = {10.1145/3238147.3238198}, year = {2018}, } Publisher's Version Article: ase18main-p275-p doi:10.1145/3238147.3238198
	Liu, Ting	ASE '18: "node2defect: Using Network ..." node2defect: Using Network Embedding to Improve Software Defect Prediction Yu Qu, Ting Liu, Jianlei Chi, Yangxu Jin, Di Cui, Ancheng He, and Qinghua Zheng (Xi'an Jiaotong University, China) @InProceedings{ASE18p891, author = {Yu Qu and Ting Liu and Jianlei Chi and Yangxu Jin and Di Cui and Ancheng He and Qinghua Zheng}, title = {node2defect: Using Network Embedding to Improve Software Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {891-890}, doi = {10.1145/3238147.3240469}, year = {2018}, } Publisher's Version Article: ase18ideas-p469-p doi:10.1145/3238147.3240469
	Liu, Wanwei	ASE '18: "Scheduling Constraint Based ..." Scheduling Constraint Based Abstraction Refinement for Weak Memory Models Liangze Yin, Wei Dong, Wanwei Liu, and Ji Wang (National University of Defense Technology, China) @InProceedings{ASE18p681, author = {Liangze Yin and Wei Dong and Wanwei Liu and Ji Wang}, title = {Scheduling Constraint Based Abstraction Refinement for Weak Memory Models}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3238147.3238223}, year = {2018}, } Publisher's Version Article: ase18main-p491-p doi:10.1145/3238147.3238223
	Liu, Xiaoyu	ASE '18: "Effective API Recommendation ..." Effective API Recommendation without Historical Software Repositories Xiaoyu Liu, LiGuo Huang, and Vincent Ng (Southern Methodist University, USA; University of Texas at Dallas, USA) @InProceedings{ASE18p297, author = {Xiaoyu Liu and LiGuo Huang and Vincent Ng}, title = {Effective API Recommendation without Historical Software Repositories}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {297-296}, doi = {10.1145/3238147.3238216}, year = {2018}, } Publisher's Version Article: ase18main-p448-p doi:10.1145/3238147.3238216
	Liu, Xin	ASE '18: "AutoConfig: Automatic Configuration ..." AutoConfig: Automatic Configuration Tuning for Distributed Message Systems Liang Bao, Xin Liu, Ziheng Xu, and Baoyin Fang (Xidian University, China; University of California at Davis, USA) @InProceedings{ASE18p33, author = {Liang Bao and Xin Liu and Ziheng Xu and Baoyin Fang}, title = {AutoConfig: Automatic Configuration Tuning for Distributed Message Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3238147.3238175}, year = {2018}, } Publisher's Version Article: ase18main-p32-p doi:10.1145/3238147.3238175
	Liu, Yang	ASE '18: "DeepGauge: Multi-Granularity ..." DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang (Harbin Institute of Technology, China; Nanyang Technological University, Singapore; Carnegie Mellon University, USA; Kyushu University, Japan; University of Illinois at Urbana-Champaign, USA; Monash University, Australia) @InProceedings{ASE18p129, author = {Lei Ma and Felix Juefei-Xu and Fuyuan Zhang and Jiyuan Sun and Minhui Xue and Bo Li and Chunyang Chen and Ting Su and Li Li and Yang Liu and Jianjun Zhao and Yadong Wang}, title = {DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3238147.3238202}, year = {2018}, } Publisher's Version Article: ase18main-p317-p doi:10.1145/3238147.3238202 ASE '18: "Tell Them Apart: Distilling ..." Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, and Yang Liu (Australian National University, Australia; Monash University, Australia; Nanyang Technological University, Singapore) @InProceedings{ASE18p225, author = {Yi Huang and Chunyang Chen and Zhenchang Xing and Tian Lin and Yang Liu}, title = {Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {225-224}, doi = {10.1145/3238147.3238208}, year = {2018}, } Publisher's Version Article: ase18main-p387-p doi:10.1145/3238147.3238208 ASE '18: "Efficiently Manifesting Asynchronous ..." Efficiently Manifesting Asynchronous Programming Errors in Android Apps Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, and Geguang Pu (East China Normal University, China; Nanyang Technological University, Singapore; Chinese Academy of Sciences, China; New York University Shanghai, China) @InProceedings{ASE18p513, author = {Lingling Fan and Ting Su and Sen Chen and Guozhu Meng and Yang Liu and Lihua Xu and Geguang Pu}, title = {Efficiently Manifesting Asynchronous Programming Errors in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {513-512}, doi = {10.1145/3238147.3238170}, year = {2018}, } Publisher's Version Article: ase18main-p446-p doi:10.1145/3238147.3238170 ASE '18: "ClDiff: Generating Concise ..." ClDiff: Generating Concise Linked Code Differences Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou, Ying Wang, Yang Liu, and Wenyun Zhao (Fudan University, China; Nanyang Technological University, Singapore) @InProceedings{ASE18p717, author = {Kaifeng Huang and Bihuan Chen and Xin Peng and Daihong Zhou and Ying Wang and Yang Liu and Wenyun Zhao}, title = {ClDiff: Generating Concise Linked Code Differences}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {717-716}, doi = {10.1145/3238147.3238219}, year = {2018}, } Publisher's Version Article: ase18main-p461-p doi:10.1145/3238147.3238219
	Liu, Ye	ASE '18: "ContractFuzzer: Fuzzing Smart ..." ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection Bo Jiang, Ye Liu, and W. K. Chan (Beihang University, China; City University of Hong Kong, China) @InProceedings{ASE18p273, author = {Bo Jiang and Ye Liu and W. K. Chan}, title = {ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {273-272}, doi = {10.1145/3238147.3238177}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Article: ase18main-p52-p doi:10.1145/3238147.3238177
	Liu, Yepang	ASE '18: "Understanding and Detecting ..." Understanding and Detecting Callback Compatibility Issues for Android Applications Huaxun Huang, Lili Wei, Yepang Liu, and Shing-Chi Cheung (Hong Kong University of Science and Technology, China; Southern University of Science and Technology, China) @InProceedings{ASE18p561, author = {Huaxun Huang and Lili Wei and Yepang Liu and Shing-Chi Cheung}, title = {Understanding and Detecting Callback Compatibility Issues for Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {561-560}, doi = {10.1145/3238147.3238181}, year = {2018}, } Publisher's Version Article: ase18main-p72-p doi:10.1145/3238147.3238181 ASE '18: "A Tale of Two Cities: How ..." A Tale of Two Cities: How WebView Induces Bugs to Android Applications Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung, and Huaxun Huang (Hong Kong University of Science and Technology, China; Southern University of Science and Technology, China) @InProceedings{ASE18p741, author = {Jiajun Hu and Lili Wei and Yepang Liu and Shing-Chi Cheung and Huaxun Huang}, title = {A Tale of Two Cities: How WebView Induces Bugs to Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {741-740}, doi = {10.1145/3238147.3238180}, year = {2018}, } Publisher's Version Article: ase18main-p71-p doi:10.1145/3238147.3238180
	Liu, Zhongxin	ASE '18: "Neural-Machine-Translation-Based ..." Neural-Machine-Translation-Based Commit Message Generation: How Far Are We? Zhongxin Liu, Xin Xia, Ahmed E. Hassan, David Lo, Zhenchang Xing, and Xinyu Wang (Zhejiang University, China; Monash University, Australia; Queen's University, Canada; Singapore Management University, Singapore; Australian National University, Australia) @InProceedings{ASE18p393, author = {Zhongxin Liu and Xin Xia and Ahmed E. Hassan and David Lo and Zhenchang Xing and Xinyu Wang}, title = {Neural-Machine-Translation-Based Commit Message Generation: How Far Are We?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {393-392}, doi = {10.1145/3238147.3238190}, year = {2018}, } Publisher's Version Article: ase18main-p192-p doi:10.1145/3238147.3238190
	Lo, David	ASE '18: "PerfLearner: Learning from ..." PerfLearner: Learning from Bug Reports to Understand and Generate Performance Test Frames Xue Han, Tingting Yu, and David Lo (University of Kentucky, USA; Singapore Management University, Singapore) @InProceedings{ASE18p21, author = {Xue Han and Tingting Yu and David Lo}, title = {PerfLearner: Learning from Bug Reports to Understand and Generate Performance Test Frames}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3238147.3238204}, year = {2018}, } Publisher's Version Article: ase18main-p354-p doi:10.1145/3238147.3238204 ASE '18: "API Method Recommendation ..." API Method Recommendation without Worrying about the Task-API Knowledge Gap Qiao Huang, Xin Xia, Zhenchang Xing, David Lo, and Xinyu Wang (Zhejiang University, China; Monash University, Australia; Australian National University, Australia; Singapore Management University, Singapore) @InProceedings{ASE18p309, author = {Qiao Huang and Xin Xia and Zhenchang Xing and David Lo and Xinyu Wang}, title = {API Method Recommendation without Worrying about the Task-API Knowledge Gap}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {309-308}, doi = {10.1145/3238147.3238191}, year = {2018}, } Publisher's Version Article: ase18main-p200-p doi:10.1145/3238147.3238191 ASE '18: "Neural-Machine-Translation-Based ..." Neural-Machine-Translation-Based Commit Message Generation: How Far Are We? Zhongxin Liu, Xin Xia, Ahmed E. Hassan, David Lo, Zhenchang Xing, and Xinyu Wang (Zhejiang University, China; Monash University, Australia; Queen's University, Canada; Singapore Management University, Singapore; Australian National University, Australia) @InProceedings{ASE18p393, author = {Zhongxin Liu and Xin Xia and Ahmed E. Hassan and David Lo and Zhenchang Xing and Xinyu Wang}, title = {Neural-Machine-Translation-Based Commit Message Generation: How Far Are We?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {393-392}, doi = {10.1145/3238147.3238190}, year = {2018}, } Publisher's Version Article: ase18main-p192-p doi:10.1145/3238147.3238190
	Lu, Jian	ASE '18: "ReScue: Crafting Regular Expression ..." ReScue: Crafting Regular Expression DoS Attacks Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, and Jian Lu (Nanjing University, China) @InProceedings{ASE18p237, author = {Yuju Shen and Yanyan Jiang and Chang Xu and Ping Yu and Xiaoxing Ma and Jian Lu}, title = {ReScue: Crafting Regular Expression DoS Attacks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {237-236}, doi = {10.1145/3238147.3238159}, year = {2018}, } Publisher's Version Article: ase18main-p53-p doi:10.1145/3238147.3238159
	Lumetta, Steven S.	ASE '18: "Loop Path Reduction by State ..." Loop Path Reduction by State Pruning Jianxiong Gao and Steven S. Lumetta (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE18p885, author = {Jianxiong Gao and Steven S. Lumetta}, title = {Loop Path Reduction by State Pruning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {885-884}, doi = {10.1145/3238147.3240731}, year = {2018}, } Publisher's Version Article: ase18ideas-p380-p doi:10.1145/3238147.3240731
	Lyu, Michael R.	ASE '18: "Characterizing the Natural ..." Characterizing the Natural Language Descriptions in Software Logging Statements Pinjia He, Zhuangbin Chen, Shilin He, and Michael R. Lyu (Chinese University of Hong Kong, China) @InProceedings{ASE18p189, author = {Pinjia He and Zhuangbin Chen and Shilin He and Michael R. Lyu}, title = {Characterizing the Natural Language Descriptions in Software Logging Statements}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {189-188}, doi = {10.1145/3238147.3238193}, year = {2018}, } Publisher's Version Article: ase18main-p217-p doi:10.1145/3238147.3238193
	Ma, Lei	ASE '18: "DeepGauge: Multi-Granularity ..." DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang (Harbin Institute of Technology, China; Nanyang Technological University, Singapore; Carnegie Mellon University, USA; Kyushu University, Japan; University of Illinois at Urbana-Champaign, USA; Monash University, Australia) @InProceedings{ASE18p129, author = {Lei Ma and Felix Juefei-Xu and Fuyuan Zhang and Jiyuan Sun and Minhui Xue and Bo Li and Chunyang Chen and Ting Su and Li Li and Yang Liu and Jianjun Zhao and Yadong Wang}, title = {DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3238147.3238202}, year = {2018}, } Publisher's Version Article: ase18main-p317-p doi:10.1145/3238147.3238202
	Ma, Shiqing	ASE '18: "Dual-Force: Understanding ..." Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, and Jianhua Zhao (Nanjing University, China; Purdue University, USA) @InProceedings{ASE18p753, author = {Zhenhao Tang and Juan Zhai and Minxue Pan and Yousra Aafer and Shiqing Ma and Xiangyu Zhang and Jianhua Zhao}, title = {Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {753-752}, doi = {10.1145/3238147.3238221}, year = {2018}, } Publisher's Version Article: ase18main-p486-p doi:10.1145/3238147.3238221
	Ma, Xiaoxing	ASE '18: "ReScue: Crafting Regular Expression ..." ReScue: Crafting Regular Expression DoS Attacks Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, and Jian Lu (Nanjing University, China) @InProceedings{ASE18p237, author = {Yuju Shen and Yanyan Jiang and Chang Xu and Ping Yu and Xiaoxing Ma and Jian Lu}, title = {ReScue: Crafting Regular Expression DoS Attacks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {237-236}, doi = {10.1145/3238147.3238159}, year = {2018}, } Publisher's Version Article: ase18main-p53-p doi:10.1145/3238147.3238159
	Macedo, Nuno	ASE '18: "The Electrum Analyzer: Model ..." The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications Julien Brunel, David Chemouil, Alcino Cunha, and Nuno Macedo (ONERA, France; University of Toulouse, France; INESC TEC, Portugal; University of Minho, Portugal) @InProceedings{ASE18p931, author = {Julien Brunel and David Chemouil and Alcino Cunha and Nuno Macedo}, title = {The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {931-930}, doi = {10.1145/3238147.3240475}, year = {2018}, } Publisher's Version Article: ase18tools-p16-p doi:10.1145/3238147.3240475
	Macho, Christian	ASE '18: "Noise and Heterogeneity in ..." Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CI Keheliya Gallaba, Christian Macho, Martin Pinzger, and Shane McIntosh (McGill University, Canada; University of Klagenfurt, Austria) @InProceedings{ASE18p93, author = {Keheliya Gallaba and Christian Macho and Martin Pinzger and Shane McIntosh}, title = {Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CI}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {93-92}, doi = {10.1145/3238147.3238171}, year = {2018}, } Publisher's Version Article: ase18main-p517-p doi:10.1145/3238147.3238171
	Mairegger, Michael	ASE '18: "code_call_lens: Raising the ..." code_call_lens: Raising the Developer Awareness of Critical Code Andrea Janes, Michael Mairegger, and Barbara Russo (Free University of Bolzano, Italy) @InProceedings{ASE18p923, author = {Andrea Janes and Michael Mairegger and Barbara Russo}, title = {code_call_lens: Raising the Developer Awareness of Critical Code}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {923-922}, doi = {10.1145/3238147.3240488}, year = {2018}, } Publisher's Version Article: ase18tools-p41-p doi:10.1145/3238147.3240488
	Malek, Sam	ASE '18: "Self-Protection of Android ..." Self-Protection of Android Systems from Inter-component Communication Attacks Mahmoud Hammad, Joshua Garcia, and Sam Malek (University of California at Irvine, USA) @InProceedings{ASE18p765, author = {Mahmoud Hammad and Joshua Garcia and Sam Malek}, title = {Self-Protection of Android Systems from Inter-component Communication Attacks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {765-764}, doi = {10.1145/3238147.3238207}, year = {2018}, } Publisher's Version Article: ase18main-p383-p doi:10.1145/3238147.3238207
	Marinov, Darko	ASE '18: "A Large-Scale Study of Test ..." A Large-Scale Study of Test Coverage Evolution Michael Hilton, Jonathan Bell, and Darko Marinov (Carnegie Mellon University, USA; George Mason University, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE18p57, author = {Michael Hilton and Jonathan Bell and Darko Marinov}, title = {A Large-Scale Study of Test Coverage Evolution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {57-56}, doi = {10.1145/3238147.3238183}, year = {2018}, } Publisher's Version Article: ase18main-p89-p doi:10.1145/3238147.3238183
	Markman, Martin	ASE '18: "Achieving Test Automation ..." Achieving Test Automation with Testers without Coding Skills: An Industrial Report Davrondzhon Gafurov, Arne Erik Hurum, and Martin Markman (Norwegian Directorate of eHealth, Norway) @InProceedings{ASE18p789, author = {Davrondzhon Gafurov and Arne Erik Hurum and Martin Markman}, title = {Achieving Test Automation with Testers without Coding Skills: An Industrial Report}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {789-788}, doi = {10.1145/3238147.3240463}, year = {2018}, } Publisher's Version Article: ase18experience-p76-p doi:10.1145/3238147.3240463
	Maro, Salome	ASE '18: "Tackling Combinatorial Explosion: ..." Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems Mukelabai Mukelabai, Damir Nešić, Salome Maro, Thorsten Berger, and Jan-Philipp Steghöfer (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; KTH, Sweden) @InProceedings{ASE18p165, author = {Mukelabai Mukelabai and Damir Nešić and Salome Maro and Thorsten Berger and Jan-Philipp Steghöfer}, title = {Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {165-164}, doi = {10.1145/3238147.3238201}, year = {2018}, } Publisher's Version Article: ase18main-p316-p doi:10.1145/3238147.3238201
	Mazinanian, Davood	ASE '18: "Generating Reusable Web Components ..." Generating Reusable Web Components from Mockups Mohammad Bajammal, Davood Mazinanian, and Ali Mesbah (University of British Columbia, Canada) @InProceedings{ASE18p633, author = {Mohammad Bajammal and Davood Mazinanian and Ali Mesbah}, title = {Generating Reusable Web Components from Mockups}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {633-632}, doi = {10.1145/3238147.3238194}, year = {2018}, } Publisher's Version Article: ase18main-p220-p doi:10.1145/3238147.3238194
	McIntosh, Shane	ASE '18: "Noise and Heterogeneity in ..." Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CI Keheliya Gallaba, Christian Macho, Martin Pinzger, and Shane McIntosh (McGill University, Canada; University of Klagenfurt, Austria) @InProceedings{ASE18p93, author = {Keheliya Gallaba and Christian Macho and Martin Pinzger and Shane McIntosh}, title = {Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CI}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {93-92}, doi = {10.1145/3238147.3238171}, year = {2018}, } Publisher's Version Article: ase18main-p517-p doi:10.1145/3238147.3238171
	Medvidović, Nenad	ASE '18: "Empirically Assessing Opportunities ..." Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps Yixue Zhao, Paul Wat, Marcelo Schmitt Laser, and Nenad Medvidović (University of Southern California, USA) @InProceedings{ASE18p585, author = {Yixue Zhao and Paul Wat and Marcelo Schmitt Laser and Nenad Medvidović}, title = {Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {585-584}, doi = {10.1145/3238147.3238215}, year = {2018}, } Publisher's Version Article: ase18main-p441-p doi:10.1145/3238147.3238215
	Meng, Guozhu	ASE '18: "Efficiently Manifesting Asynchronous ..." Efficiently Manifesting Asynchronous Programming Errors in Android Apps Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, and Geguang Pu (East China Normal University, China; Nanyang Technological University, Singapore; Chinese Academy of Sciences, China; New York University Shanghai, China) @InProceedings{ASE18p513, author = {Lingling Fan and Ting Su and Sen Chen and Guozhu Meng and Yang Liu and Lihua Xu and Geguang Pu}, title = {Efficiently Manifesting Asynchronous Programming Errors in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {513-512}, doi = {10.1145/3238147.3238170}, year = {2018}, } Publisher's Version Article: ase18main-p446-p doi:10.1145/3238147.3238170
	Mesbah, Ali	ASE '18: "Generating Reusable Web Components ..." Generating Reusable Web Components from Mockups Mohammad Bajammal, Davood Mazinanian, and Ali Mesbah (University of British Columbia, Canada) @InProceedings{ASE18p633, author = {Mohammad Bajammal and Davood Mazinanian and Ali Mesbah}, title = {Generating Reusable Web Components from Mockups}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {633-632}, doi = {10.1145/3238147.3238194}, year = {2018}, } Publisher's Version Article: ase18main-p220-p doi:10.1145/3238147.3238194
	Mezini, Mira	ASE '18: "A Unified Lattice Model and ..." A Unified Lattice Model and Framework for Purity Analyses Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{ASE18p357, author = {Dominik Helm and Florian Kübler and Michael Eichberg and Michael Reif and Mira Mezini}, title = {A Unified Lattice Model and Framework for Purity Analyses}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {357-356}, doi = {10.1145/3238147.3238226}, year = {2018}, } Publisher's Version Article: ase18main-p509-p doi:10.1145/3238147.3238226
	Mo, Ran	ASE '18: "Experiences Applying Automated ..." Experiences Applying Automated Architecture Analysis Tool Suites Ran Mo, Will Snipes, Yuanfang Cai, Srini Ramaswamy, Rick Kazman, and Martin Naedele (Central China Normal University, China; ABB Corporate Research, USA; Drexel University, USA; ABB, USA; Carnegie Mellon University, USA; University of Hawaii, USA; ABB, Switzerland) @InProceedings{ASE18p825, author = {Ran Mo and Will Snipes and Yuanfang Cai and Srini Ramaswamy and Rick Kazman and Martin Naedele}, title = {Experiences Applying Automated Architecture Analysis Tool Suites}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {825-824}, doi = {10.1145/3238147.3240467}, year = {2018}, } Publisher's Version Article: ase18experience-p391-p doi:10.1145/3238147.3240467
	Molina, Facundo	ASE '18: "A Genetic Algorithm for Goal-Conflict ..." A Genetic Algorithm for Goal-Conflict Identification Renzo Degiovanni, Facundo Molina, Germán Regis, and Nazareno Aguirre (National University of Río Cuarto, Argentina; CONICET, Argentina) @InProceedings{ASE18p549, author = {Renzo Degiovanni and Facundo Molina and Germán Regis and Nazareno Aguirre}, title = {A Genetic Algorithm for Goal-Conflict Identification}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {549-548}, doi = {10.1145/3238147.3238220}, year = {2018}, } Publisher's Version Article: ase18main-p463-p doi:10.1145/3238147.3238220
	Monperrus, Martin	ASE '18: "Descartes: A PITest Engine ..." Descartes: A PITest Engine to Detect Pseudo-Tested Methods: Tool Demonstration Oscar Luis Vera-Pérez, Martin Monperrus, and Benoit Baudry (Inria, France; KTH, Sweden) @InProceedings{ASE18p955, author = {Oscar Luis Vera-Pérez and Martin Monperrus and Benoit Baudry}, title = {Descartes: A PITest Engine to Detect Pseudo-Tested Methods: Tool Demonstration}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {955-954}, doi = {10.1145/3238147.3240474}, year = {2018}, } Publisher's Version Article: ase18tools-p13-p doi:10.1145/3238147.3240474
	Monteiro, Felipe R.	ASE '18: "Bounded Model Checking of ..." Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract) Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, and Eddie B. de Lima Filho (Federal University of Amazonas, Brazil; University of Manchester, UK; TPV Technology, Brazil) @InProceedings{ASE18p1001, author = {Felipe R. Monteiro and Mário A. P. Garcia and Lucas C. Cordeiro and Eddie B. de Lima Filho}, title = {Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1001-1000}, doi = {10.1145/3238147.3241981}, year = {2018}, } Publisher's Version Article: ase18jfirst-idjf1-p doi:10.1145/3238147.3241981 ASE '18: "ESBMC 5.0: An Industrial-Strength ..." ESBMC 5.0: An Industrial-Strength C Model Checker Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, and Denis A. Nicole (University of Southampton, UK; Federal University of Amazonas, Brazil; University of Bristol, UK; University of Manchester, UK; Stellenbosch University, South Africa) @InProceedings{ASE18p935, author = {Mikhail R. Gadelha and Felipe R. Monteiro and Jeremy Morse and Lucas C. Cordeiro and Bernd Fischer and Denis A. Nicole}, title = {ESBMC 5.0: An Industrial-Strength C Model Checker}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {935-934}, doi = {10.1145/3238147.3240481}, year = {2018}, } Publisher's Version Article: ase18tools-p25-p doi:10.1145/3238147.3240481
	Mora, Federico	ASE '18: "Client-Specific Equivalence ..." Client-Specific Equivalence Checking Federico Mora, Yi Li, Julia Rubin, and Marsha Chechik (University of Toronto, Canada; University of British Columbia, Canada) @InProceedings{ASE18p465, author = {Federico Mora and Yi Li and Julia Rubin and Marsha Chechik}, title = {Client-Specific Equivalence Checking}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {465-464}, doi = {10.1145/3238147.3238178}, year = {2018}, } Publisher's Version Article: ase18main-p55-p doi:10.1145/3238147.3238178
	Moran, Kevin	ASE '18: "Detecting and Summarizing ..." Detecting and Summarizing GUI Changes in Evolving Mobile Apps Kevin Moran, Cody Watson, John Hoskins, George Purnell, and Denys Poshyvanyk (College of William and Mary, USA) @InProceedings{ASE18p573, author = {Kevin Moran and Cody Watson and John Hoskins and George Purnell and Denys Poshyvanyk}, title = {Detecting and Summarizing GUI Changes in Evolving Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {573-572}, doi = {10.1145/3238147.3238203}, year = {2018}, } Publisher's Version Article: ase18main-p341-p doi:10.1145/3238147.3238203
	Morse, Jeremy	ASE '18: "ESBMC 5.0: An Industrial-Strength ..." ESBMC 5.0: An Industrial-Strength C Model Checker Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, and Denis A. Nicole (University of Southampton, UK; Federal University of Amazonas, Brazil; University of Bristol, UK; University of Manchester, UK; Stellenbosch University, South Africa) @InProceedings{ASE18p935, author = {Mikhail R. Gadelha and Felipe R. Monteiro and Jeremy Morse and Lucas C. Cordeiro and Bernd Fischer and Denis A. Nicole}, title = {ESBMC 5.0: An Industrial-Strength C Model Checker}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {935-934}, doi = {10.1145/3238147.3240481}, year = {2018}, } Publisher's Version Article: ase18tools-p25-p doi:10.1145/3238147.3240481
	Mukelabai, Mukelabai	ASE '18: "Tackling Combinatorial Explosion: ..." Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems Mukelabai Mukelabai, Damir Nešić, Salome Maro, Thorsten Berger, and Jan-Philipp Steghöfer (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; KTH, Sweden) @InProceedings{ASE18p165, author = {Mukelabai Mukelabai and Damir Nešić and Salome Maro and Thorsten Berger and Jan-Philipp Steghöfer}, title = {Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {165-164}, doi = {10.1145/3238147.3238201}, year = {2018}, } Publisher's Version Article: ase18main-p316-p doi:10.1145/3238147.3238201
	Müller, Peter	ASE '18: "Automatically Testing Implementations ..." Automatically Testing Implementations of Numerical Abstract Domains Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, and Peter Müller (ETH Zurich, Switzerland; MPI-SWS, Germany) @InProceedings{ASE18p813, author = {Alexandra Bugariu and Valentin Wüstholz and Maria Christakis and Peter Müller}, title = {Automatically Testing Implementations of Numerical Abstract Domains}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {813-812}, doi = {10.1145/3238147.3240464}, year = {2018}, } Publisher's Version Article: ase18experience-p301-p doi:10.1145/3238147.3240464
	Murphy, Gail C.	ASE '18: "The Need for Context in Software ..." The Need for Context in Software Engineering (IEEE CS Harlan Mills Award Keynote) Gail C. Murphy (University of British Columbia, Canada) @InProceedings{ASE18p7, author = {Gail C. Murphy}, title = {The Need for Context in Software Engineering (IEEE CS Harlan Mills Award Keynote)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3238147.3241987}, year = {2018}, } Publisher's Version Article: ase18keynotes-idkn3-p doi:10.1145/3238147.3241987
	Naedele, Martin	ASE '18: "Experiences Applying Automated ..." Experiences Applying Automated Architecture Analysis Tool Suites Ran Mo, Will Snipes, Yuanfang Cai, Srini Ramaswamy, Rick Kazman, and Martin Naedele (Central China Normal University, China; ABB Corporate Research, USA; Drexel University, USA; ABB, USA; Carnegie Mellon University, USA; University of Hawaii, USA; ABB, Switzerland) @InProceedings{ASE18p825, author = {Ran Mo and Will Snipes and Yuanfang Cai and Srini Ramaswamy and Rick Kazman and Martin Naedele}, title = {Experiences Applying Automated Architecture Analysis Tool Suites}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {825-824}, doi = {10.1145/3238147.3240467}, year = {2018}, } Publisher's Version Article: ase18experience-p391-p doi:10.1145/3238147.3240467
	Nagashima, Yutaka	ASE '18: "PaMpeR: Proof Method Recommendation ..." PaMpeR: Proof Method Recommendation System for Isabelle/HOL Yutaka Nagashima and Yilun He (Czech Technical University, Czechia; University of Innsbruck, Austria; University of Sydney, Australia) @InProceedings{ASE18p381, author = {Yutaka Nagashima and Yilun He}, title = {PaMpeR: Proof Method Recommendation System for Isabelle/HOL}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {381-380}, doi = {10.1145/3238147.3238210}, year = {2018}, } Publisher's Version Article: ase18main-p396-p doi:10.1145/3238147.3238210
	Nejati, Shiva	ASE '18: "Testing Autonomous Cars for ..." Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, and Thomas Stifter (University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; IEE, Luxembourg) @InProceedings{ASE18p153, author = {Raja Ben Abdessalem and Annibale Panichella and Shiva Nejati and Lionel C. Briand and Thomas Stifter}, title = {Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {153-152}, doi = {10.1145/3238147.3238192}, year = {2018}, } Publisher's Version Article: ase18main-p216-p doi:10.1145/3238147.3238192
	Nešić, Damir	ASE '18: "Tackling Combinatorial Explosion: ..." Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems Mukelabai Mukelabai, Damir Nešić, Salome Maro, Thorsten Berger, and Jan-Philipp Steghöfer (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; KTH, Sweden) @InProceedings{ASE18p165, author = {Mukelabai Mukelabai and Damir Nešić and Salome Maro and Thorsten Berger and Jan-Philipp Steghöfer}, title = {Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {165-164}, doi = {10.1145/3238147.3238201}, year = {2018}, } Publisher's Version Article: ase18main-p316-p doi:10.1145/3238147.3238201
	Ng, Vincent	ASE '18: "Effective API Recommendation ..." Effective API Recommendation without Historical Software Repositories Xiaoyu Liu, LiGuo Huang, and Vincent Ng (Southern Methodist University, USA; University of Texas at Dallas, USA) @InProceedings{ASE18p297, author = {Xiaoyu Liu and LiGuo Huang and Vincent Ng}, title = {Effective API Recommendation without Historical Software Repositories}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {297-296}, doi = {10.1145/3238147.3238216}, year = {2018}, } Publisher's Version Article: ase18main-p448-p doi:10.1145/3238147.3238216
	Nicole, Denis A.	ASE '18: "ESBMC 5.0: An Industrial-Strength ..." ESBMC 5.0: An Industrial-Strength C Model Checker Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, and Denis A. Nicole (University of Southampton, UK; Federal University of Amazonas, Brazil; University of Bristol, UK; University of Manchester, UK; Stellenbosch University, South Africa) @InProceedings{ASE18p935, author = {Mikhail R. Gadelha and Felipe R. Monteiro and Jeremy Morse and Lucas C. Cordeiro and Bernd Fischer and Denis A. Nicole}, title = {ESBMC 5.0: An Industrial-Strength C Model Checker}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {935-934}, doi = {10.1145/3238147.3240481}, year = {2018}, } Publisher's Version Article: ase18tools-p25-p doi:10.1145/3238147.3240481
	Noller, Yannic	ASE '18: "Differential Program Analysis ..." Differential Program Analysis with Fuzzing and Symbolic Execution Yannic Noller (Humboldt-Universität zu Berlin, Germany) @InProceedings{ASE18p991, author = {Yannic Noller}, title = {Differential Program Analysis with Fuzzing and Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {991-990}, doi = {10.1145/3238147.3241537}, year = {2018}, } Publisher's Version Article: ase18doc-id7-p doi:10.1145/3238147.3241537
	Oh, Hakjoo	ASE '18: "Template-Guided Concolic Testing ..." Template-Guided Concolic Testing via Online Learning Sooyoung Cha, Seonho Lee, and Hakjoo Oh (Korea University, South Korea) @InProceedings{ASE18p429, author = {Sooyoung Cha and Seonho Lee and Hakjoo Oh}, title = {Template-Guided Concolic Testing via Online Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {429-428}, doi = {10.1145/3238147.3238227}, year = {2018}, } Publisher's Version Article: ase18main-p521-p doi:10.1145/3238147.3238227
	Oliveto, Rocco	ASE '18: "OCELOT: A Search-Based Test-Data ..." OCELOT: A Search-Based Test-Data Generation Tool for C Simone Scalabrino, Giovanni Grano, Dario Di Nucci, Michele Guerra, Andrea De Lucia, Harald C. Gall, and Rocco Oliveto (University of Molise, Italy; University of Zurich, Switzerland; Vrije Universiteit Brussel, Belgium; University of Salerno, Italy) @InProceedings{ASE18p915, author = {Simone Scalabrino and Giovanni Grano and Dario Di Nucci and Michele Guerra and Andrea De Lucia and Harald C. Gall and Rocco Oliveto}, title = {OCELOT: A Search-Based Test-Data Generation Tool for C}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {915-914}, doi = {10.1145/3238147.3240477}, year = {2018}, } Publisher's Version Article: ase18tools-p19-p doi:10.1145/3238147.3240477
	Ore, John-Paul	ASE '18: "Assessing the Type Annotation ..." Assessing the Type Annotation Burden John-Paul Ore, Sebastian Elbaum, Carrick Detweiler, and Lambros Karkazis (University of Nebraska-Lincoln, USA) @InProceedings{ASE18p201, author = {John-Paul Ore and Sebastian Elbaum and Carrick Detweiler and Lambros Karkazis}, title = {Assessing the Type Annotation Burden}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {201-200}, doi = {10.1145/3238147.3238173}, year = {2018}, } Publisher's Version Article: ase18main-p15-p doi:10.1145/3238147.3238173
	Ozdemir, Alim	ASE '18: "Lightweight Source Code Monitoring ..." Lightweight Source Code Monitoring with Triggr Alim Ozdemir, Ayse Tosun, Hakan Erdogmus, and Rui Abreu (Istanbul Technical University, Turkey; Carnegie Mellon University, USA; University of Lisbon, Portugal) @InProceedings{ASE18p911, author = {Alim Ozdemir and Ayse Tosun and Hakan Erdogmus and Rui Abreu}, title = {Lightweight Source Code Monitoring with Triggr}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {911-910}, doi = {10.1145/3238147.3240486}, year = {2018}, } Publisher's Version Article: ase18tools-p35-p doi:10.1145/3238147.3240486
	Palomba, Fabio	ASE '18: "Continuous Code Quality: Are ..." Continuous Code Quality: Are We (Really) Doing That? Carmine Vassallo, Fabio Palomba, Alberto Bacchelli, and Harald C. Gall (University of Zurich, Switzerland) @InProceedings{ASE18p837, author = {Carmine Vassallo and Fabio Palomba and Alberto Bacchelli and Harald C. Gall}, title = {Continuous Code Quality: Are We (Really) Doing That?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {837-836}, doi = {10.1145/3238147.3240729}, year = {2018}, } Publisher's Version Article: ase18ideas-p304-p doi:10.1145/3238147.3240729 ASE '18: "Mining File Histories: Should ..." Mining File Histories: Should We Consider Branches? Vladimir Kovalenko, Fabio Palomba, and Alberto Bacchelli (Delft University of Technology, Netherlands; University of Zurich, Switzerland) @InProceedings{ASE18p213, author = {Vladimir Kovalenko and Fabio Palomba and Alberto Bacchelli}, title = {Mining File Histories: Should We Consider Branches?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {213-212}, doi = {10.1145/3238147.3238169}, year = {2018}, } Publisher's Version Article: ase18main-p335-p doi:10.1145/3238147.3238169
	Pan, Minxue	ASE '18: "Dual-Force: Understanding ..." Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, and Jianhua Zhao (Nanjing University, China; Purdue University, USA) @InProceedings{ASE18p753, author = {Zhenhao Tang and Juan Zhai and Minxue Pan and Yousra Aafer and Shiqing Ma and Xiangyu Zhang and Jianhua Zhao}, title = {Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {753-752}, doi = {10.1145/3238147.3238221}, year = {2018}, } Publisher's Version Article: ase18main-p486-p doi:10.1145/3238147.3238221
	Pang, Jun	ASE '18: "L-CMP: An Automatic Learning-Based ..." L-CMP: An Automatic Learning-Based Parameterized Verification Tool Jialun Cao, Yongjian Li, and Jun Pang (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; University of Luxembourg, Luxembourg) @InProceedings{ASE18p939, author = {Jialun Cao and Yongjian Li and Jun Pang}, title = {L-CMP: An Automatic Learning-Based Parameterized Verification Tool}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {939-938}, doi = {10.1145/3238147.3240487}, year = {2018}, } Publisher's Version Article: ase18tools-p38-p doi:10.1145/3238147.3240487
	Panichella, Annibale	ASE '18: "Testing Autonomous Cars for ..." Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, and Thomas Stifter (University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; IEE, Luxembourg) @InProceedings{ASE18p153, author = {Raja Ben Abdessalem and Annibale Panichella and Shiva Nejati and Lionel C. Briand and Thomas Stifter}, title = {Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {153-152}, doi = {10.1145/3238147.3238192}, year = {2018}, } Publisher's Version Article: ase18main-p216-p doi:10.1145/3238147.3238192
	Patwardhan, Manasi	ASE '18: "Towards Automating Disambiguation ..." Towards Automating Disambiguation of Regulations: Using the Wisdom of Crowds Manasi Patwardhan, Abhishek Sainani, Richa Sharma, Shirish Karande, and Smita Ghaisas (TCS Research, India) @InProceedings{ASE18p897, author = {Manasi Patwardhan and Abhishek Sainani and Richa Sharma and Shirish Karande and Smita Ghaisas}, title = {Towards Automating Disambiguation of Regulations: Using the Wisdom of Crowds}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {897-896}, doi = {10.1145/3238147.3240727}, year = {2018}, } Publisher's Version Article: ase18ideas-p177-p doi:10.1145/3238147.3240727
	Paulsen, Brandon	ASE '18: "CANAL: A Cache Timing Analysis ..." CANAL: A Cache Timing Analysis Framework via LLVM Transformation Chungha Sung, Brandon Paulsen, and Chao Wang (University of Southern California, USA) @InProceedings{ASE18p951, author = {Chungha Sung and Brandon Paulsen and Chao Wang}, title = {CANAL: A Cache Timing Analysis Framework via LLVM Transformation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {951-950}, doi = {10.1145/3238147.3240485}, year = {2018}, } Publisher's Version Article: ase18tools-p33-p doi:10.1145/3238147.3240485
	Peng, Xin	ASE '18: "Delta Debugging Microservice ..." Delta Debugging Microservice Systems Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, and Dan Ding (Fudan University, China; University of Illinois at Urbana-Champaign, USA; Singapore University of Technology and Design, Singapore) @InProceedings{ASE18p849, author = {Xiang Zhou and Xin Peng and Tao Xie and Jun Sun and Wenhai Li and Chao Ji and Dan Ding}, title = {Delta Debugging Microservice Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {849-848}, doi = {10.1145/3238147.3240730}, year = {2018}, } Publisher's Version Article: ase18ideas-p318-p doi:10.1145/3238147.3240730 ASE '18: "ClDiff: Generating Concise ..." ClDiff: Generating Concise Linked Code Differences Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou, Ying Wang, Yang Liu, and Wenyun Zhao (Fudan University, China; Nanyang Technological University, Singapore) @InProceedings{ASE18p717, author = {Kaifeng Huang and Bihuan Chen and Xin Peng and Daihong Zhou and Ying Wang and Yang Liu and Wenyun Zhao}, title = {ClDiff: Generating Concise Linked Code Differences}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {717-716}, doi = {10.1145/3238147.3238219}, year = {2018}, } Publisher's Version Article: ase18main-p461-p doi:10.1145/3238147.3238219
	Pereira, Rui	ASE '18: "jStanley: Placing a Green ..." jStanley: Placing a Green Thumb on Java Collections Rui Pereira, Pedro Simão, Jácome Cunha, and João Saraiva (INESC TEC, Portugal; University of Minho, Portugal; NOVA-LINCS, Portugal; Universidade Nova Lisboa, Portugal) @InProceedings{ASE18p903, author = {Rui Pereira and Pedro Simão and Jácome Cunha and João Saraiva}, title = {jStanley: Placing a Green Thumb on Java Collections}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {903-902}, doi = {10.1145/3238147.3240473}, year = {2018}, } Publisher's Version Article: ase18tools-p12-p doi:10.1145/3238147.3240473
	Pezzè, Mauro	ASE '18: "Effectiveness and Challenges ..." Effectiveness and Challenges in Generating Concurrent Tests for Thread-Safe Classes Valerio Terragni and Mauro Pezzè (University of Lugano, Switzerland) @InProceedings{ASE18p69, author = {Valerio Terragni and Mauro Pezzè}, title = {Effectiveness and Challenges in Generating Concurrent Tests for Thread-Safe Classes}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {69-68}, doi = {10.1145/3238147.3238224}, year = {2018}, } Publisher's Version Article: ase18main-p494-p doi:10.1145/3238147.3238224
	Piao, Aihua	ASE '18: "αDiff: Cross-Version Binary ..." αDiff: Cross-Version Binary Code Similarity Detection with DNN Bingchang Liu, Wei Huo, Chao Zhang, Wenchao Li, Feng Li, Aihua Piao, and Wei Zou (Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Tsinghua University, China) @InProceedings{ASE18p705, author = {Bingchang Liu and Wei Huo and Chao Zhang and Wenchao Li and Feng Li and Aihua Piao and Wei Zou}, title = {αDiff: Cross-Version Binary Code Similarity Detection with DNN}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {705-704}, doi = {10.1145/3238147.3238199}, year = {2018}, } Publisher's Version Article: ase18main-p282-p doi:10.1145/3238147.3238199
	Pinzger, Martin	ASE '18: "Noise and Heterogeneity in ..." Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CI Keheliya Gallaba, Christian Macho, Martin Pinzger, and Shane McIntosh (McGill University, Canada; University of Klagenfurt, Austria) @InProceedings{ASE18p93, author = {Keheliya Gallaba and Christian Macho and Martin Pinzger and Shane McIntosh}, title = {Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CI}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {93-92}, doi = {10.1145/3238147.3238171}, year = {2018}, } Publisher's Version Article: ase18main-p517-p doi:10.1145/3238147.3238171
	Poshyvanyk, Denys	ASE '18: "An Empirical Investigation ..." An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, and Denys Poshyvanyk (College of William and Mary, USA; University of Lugano, Switzerland; University of Sannio, Italy) @InProceedings{ASE18p879, author = {Michele Tufano and Cody Watson and Gabriele Bavota and Massimiliano Di Penta and Martin White and Denys Poshyvanyk}, title = {An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {879-878}, doi = {10.1145/3238147.3240732}, year = {2018}, } Publisher's Version Article: ase18ideas-p400-p doi:10.1145/3238147.3240732 ASE '18: "Detecting and Summarizing ..." Detecting and Summarizing GUI Changes in Evolving Mobile Apps Kevin Moran, Cody Watson, John Hoskins, George Purnell, and Denys Poshyvanyk (College of William and Mary, USA) @InProceedings{ASE18p573, author = {Kevin Moran and Cody Watson and John Hoskins and George Purnell and Denys Poshyvanyk}, title = {Detecting and Summarizing GUI Changes in Evolving Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {573-572}, doi = {10.1145/3238147.3238203}, year = {2018}, } Publisher's Version Article: ase18main-p341-p doi:10.1145/3238147.3238203
	Pradel, Michael	ASE '18: "How Many of All Bugs Do We ..." How Many of All Bugs Do We Find? A Study of Static Bug Detectors Andrew Habib and Michael Pradel (TU Darmstadt, Germany) @InProceedings{ASE18p333, author = {Andrew Habib and Michael Pradel}, title = {How Many of All Bugs Do We Find? A Study of Static Bug Detectors}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {333-332}, doi = {10.1145/3238147.3238213}, year = {2018}, } Publisher's Version Article: ase18main-p401-p doi:10.1145/3238147.3238213 ASE '18: "Is This Class Thread-Safe? ..." Is This Class Thread-Safe? Inferring Documentation using Graph-Based Learning Andrew Habib and Michael Pradel (TU Darmstadt, Germany) @InProceedings{ASE18p45, author = {Andrew Habib and Michael Pradel}, title = {Is This Class Thread-Safe? Inferring Documentation using Graph-Based Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3238147.3238212}, year = {2018}, } Publisher's Version Article: ase18main-p399-p doi:10.1145/3238147.3238212
	Pu, Geguang	ASE '18: "Efficiently Manifesting Asynchronous ..." Efficiently Manifesting Asynchronous Programming Errors in Android Apps Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, and Geguang Pu (East China Normal University, China; Nanyang Technological University, Singapore; Chinese Academy of Sciences, China; New York University Shanghai, China) @InProceedings{ASE18p513, author = {Lingling Fan and Ting Su and Sen Chen and Guozhu Meng and Yang Liu and Lihua Xu and Geguang Pu}, title = {Efficiently Manifesting Asynchronous Programming Errors in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {513-512}, doi = {10.1145/3238147.3238170}, year = {2018}, } Publisher's Version Article: ase18main-p446-p doi:10.1145/3238147.3238170
	Purnell, George	ASE '18: "Detecting and Summarizing ..." Detecting and Summarizing GUI Changes in Evolving Mobile Apps Kevin Moran, Cody Watson, John Hoskins, George Purnell, and Denys Poshyvanyk (College of William and Mary, USA) @InProceedings{ASE18p573, author = {Kevin Moran and Cody Watson and John Hoskins and George Purnell and Denys Poshyvanyk}, title = {Detecting and Summarizing GUI Changes in Evolving Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {573-572}, doi = {10.1145/3238147.3238203}, year = {2018}, } Publisher's Version Article: ase18main-p341-p doi:10.1145/3238147.3238203
	Qu, Yu	ASE '18: "node2defect: Using Network ..." node2defect: Using Network Embedding to Improve Software Defect Prediction Yu Qu, Ting Liu, Jianlei Chi, Yangxu Jin, Di Cui, Ancheng He, and Qinghua Zheng (Xi'an Jiaotong University, China) @InProceedings{ASE18p891, author = {Yu Qu and Ting Liu and Jianlei Chi and Yangxu Jin and Di Cui and Ancheng He and Qinghua Zheng}, title = {node2defect: Using Network Embedding to Improve Software Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {891-890}, doi = {10.1145/3238147.3240469}, year = {2018}, } Publisher's Version Article: ase18ideas-p469-p doi:10.1145/3238147.3240469
	Ramaswamy, Srini	ASE '18: "Experiences Applying Automated ..." Experiences Applying Automated Architecture Analysis Tool Suites Ran Mo, Will Snipes, Yuanfang Cai, Srini Ramaswamy, Rick Kazman, and Martin Naedele (Central China Normal University, China; ABB Corporate Research, USA; Drexel University, USA; ABB, USA; Carnegie Mellon University, USA; University of Hawaii, USA; ABB, Switzerland) @InProceedings{ASE18p825, author = {Ran Mo and Will Snipes and Yuanfang Cai and Srini Ramaswamy and Rick Kazman and Martin Naedele}, title = {Experiences Applying Automated Architecture Analysis Tool Suites}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {825-824}, doi = {10.1145/3238147.3240467}, year = {2018}, } Publisher's Version Article: ase18experience-p391-p doi:10.1145/3238147.3240467
	Ranjan, Priya	ASE '18: "Navigating the Maze: The Impact ..." Navigating the Maze: The Impact of Configurability in Bioinformatics Software Mikaela Cashman, Myra B. Cohen, Priya Ranjan, and Robert W. Cottingham (University of Nebraska-Lincoln, USA; Oak Ridge National Laboratory, USA) @InProceedings{ASE18p801, author = {Mikaela Cashman and Myra B. Cohen and Priya Ranjan and Robert W. Cottingham}, title = {Navigating the Maze: The Impact of Configurability in Bioinformatics Software}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {801-800}, doi = {10.1145/3238147.3240466}, year = {2018}, } Publisher's Version Article: ase18experience-p370-p doi:10.1145/3238147.3240466
	Ray, Baishakhi	ASE '18: "Replay without Recording of ..." Replay without Recording of Production Bugs for Service Oriented Applications Nipun Arora, Jonathan Bell, Franjo Ivančić, Gail Kaiser, and Baishakhi Ray (Dropbox, USA; George Mason University, USA; Google, USA; Columbia University, USA) @InProceedings{ASE18p477, author = {Nipun Arora and Jonathan Bell and Franjo Ivančić and Gail Kaiser and Baishakhi Ray}, title = {Replay without Recording of Production Bugs for Service Oriented Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {477-476}, doi = {10.1145/3238147.3238186}, year = {2018}, } Publisher's Version Article: ase18main-p141-p doi:10.1145/3238147.3238186
	Regis, Germán	ASE '18: "A Genetic Algorithm for Goal-Conflict ..." A Genetic Algorithm for Goal-Conflict Identification Renzo Degiovanni, Facundo Molina, Germán Regis, and Nazareno Aguirre (National University of Río Cuarto, Argentina; CONICET, Argentina) @InProceedings{ASE18p549, author = {Renzo Degiovanni and Facundo Molina and Germán Regis and Nazareno Aguirre}, title = {A Genetic Algorithm for Goal-Conflict Identification}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {549-548}, doi = {10.1145/3238147.3238220}, year = {2018}, } Publisher's Version Article: ase18main-p463-p doi:10.1145/3238147.3238220
	Reif, Michael	ASE '18: "A Unified Lattice Model and ..." A Unified Lattice Model and Framework for Purity Analyses Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{ASE18p357, author = {Dominik Helm and Florian Kübler and Michael Eichberg and Michael Reif and Mira Mezini}, title = {A Unified Lattice Model and Framework for Purity Analyses}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {357-356}, doi = {10.1145/3238147.3238226}, year = {2018}, } Publisher's Version Article: ase18main-p509-p doi:10.1145/3238147.3238226
	Reiss, Steven P.	ASE '18: "SEEDE: Simultaneous Execution ..." SEEDE: Simultaneous Execution and Editing in a Development Environment Steven P. Reiss, Qi Xin, and Jeff Huang (Brown University, USA) @InProceedings{ASE18p285, author = {Steven P. Reiss and Qi Xin and Jeff Huang}, title = {SEEDE: Simultaneous Execution and Editing in a Development Environment}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {285-284}, doi = {10.1145/3238147.3238182}, year = {2018}, } Publisher's Version Article: ase18main-p88-p doi:10.1145/3238147.3238182
	Rodriguez, Rodney	ASE '18: "RUDSEA: Recommending Updates ..." RUDSEA: Recommending Updates of Dockerfiles via Software Environment Analysis Foyzul Hassan, Rodney Rodriguez, and Xiaoyin Wang (University of Texas at San Antonio, USA) @InProceedings{ASE18p843, author = {Foyzul Hassan and Rodney Rodriguez and Xiaoyin Wang}, title = {RUDSEA: Recommending Updates of Dockerfiles via Software Environment Analysis}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {843-842}, doi = {10.1145/3238147.3240470}, year = {2018}, } Publisher's Version Article: ase18ideas-p438-p doi:10.1145/3238147.3240470
	Roohitavaf, Mohammad	ASE '18: "DKVF: A Framework for Rapid ..." DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-Value Stores Mohammad Roohitavaf and Sandeep Kulkarni (Michigan State University, USA) @InProceedings{ASE18p959, author = {Mohammad Roohitavaf and Sandeep Kulkarni}, title = {DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-Value Stores}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {959-958}, doi = {10.1145/3238147.3240476}, year = {2018}, } Publisher's Version Article: ase18tools-p18-p doi:10.1145/3238147.3240476
	Rossi, Gustavo	ASE '18: "Live Versioning of Web Applications ..." Live Versioning of Web Applications through Refactoring Julián Grigera, Juan Cruz Gardey, Alejandra Garrido, and Gustavo Rossi (National University of La Plata, Argentina; CIC, Argentina; CONICET, Argentina) @InProceedings{ASE18p919, author = {Julián Grigera and Juan Cruz Gardey and Alejandra Garrido and Gustavo Rossi}, title = {Live Versioning of Web Applications through Refactoring}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {919-918}, doi = {10.1145/3238147.3240483}, year = {2018}, } Publisher's Version Article: ase18tools-p27-p doi:10.1145/3238147.3240483
	Rouvoy, Romain	ASE '18: "On Adopting Linters to Deal ..." On Adopting Linters to Deal with Performance Concerns in Android Apps Sarra Habchi, Xavier Blanc, and Romain Rouvoy (Inria, France; University of Lille, France; University of Bordeaux, France) @InProceedings{ASE18p9, author = {Sarra Habchi and Xavier Blanc and Romain Rouvoy}, title = {On Adopting Linters to Deal with Performance Concerns in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {9-8}, doi = {10.1145/3238147.3238197}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Article: ase18main-p265-p doi:10.1145/3238147.3238197
	Roychoudhury, Abhik	ASE '18: "Android Testing via Synthetic ..." Android Testing via Synthetic Symbolic Execution Xiang Gao, Shin Hwei Tan, Zhen Dong, and Abhik Roychoudhury (National University of Singapore, Singapore; Southern University of Science and Technology, China) @InProceedings{ASE18p441, author = {Xiang Gao and Shin Hwei Tan and Zhen Dong and Abhik Roychoudhury}, title = {Android Testing via Synthetic Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {441-440}, doi = {10.1145/3238147.3238225}, year = {2018}, } Publisher's Version Article: ase18main-p507-p doi:10.1145/3238147.3238225
	Ruan, Wenjie	ASE '18: "Concolic Testing for Deep ..." Concolic Testing for Deep Neural Networks Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, and Daniel Kroening (University of Oxford, UK; University of Liverpool, UK) @InProceedings{ASE18p117, author = {Youcheng Sun and Min Wu and Wenjie Ruan and Xiaowei Huang and Marta Kwiatkowska and Daniel Kroening}, title = {Concolic Testing for Deep Neural Networks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {117-116}, doi = {10.1145/3238147.3238172}, year = {2018}, } Publisher's Version Article: ase18main-p519-p doi:10.1145/3238147.3238172
	Rubin, Julia	ASE '18: "Client-Specific Equivalence ..." Client-Specific Equivalence Checking Federico Mora, Yi Li, Julia Rubin, and Marsha Chechik (University of Toronto, Canada; University of British Columbia, Canada) @InProceedings{ASE18p465, author = {Federico Mora and Yi Li and Julia Rubin and Marsha Chechik}, title = {Client-Specific Equivalence Checking}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {465-464}, doi = {10.1145/3238147.3238178}, year = {2018}, } Publisher's Version Article: ase18main-p55-p doi:10.1145/3238147.3238178
	Russo, Barbara	ASE '18: "code_call_lens: Raising the ..." code_call_lens: Raising the Developer Awareness of Critical Code Andrea Janes, Michael Mairegger, and Barbara Russo (Free University of Bolzano, Italy) @InProceedings{ASE18p923, author = {Andrea Janes and Michael Mairegger and Barbara Russo}, title = {code_call_lens: Raising the Developer Awareness of Critical Code}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {923-922}, doi = {10.1145/3238147.3240488}, year = {2018}, } Publisher's Version Article: ase18tools-p41-p doi:10.1145/3238147.3240488
	Sainani, Abhishek	ASE '18: "Towards Automating Disambiguation ..." Towards Automating Disambiguation of Regulations: Using the Wisdom of Crowds Manasi Patwardhan, Abhishek Sainani, Richa Sharma, Shirish Karande, and Smita Ghaisas (TCS Research, India) @InProceedings{ASE18p897, author = {Manasi Patwardhan and Abhishek Sainani and Richa Sharma and Shirish Karande and Smita Ghaisas}, title = {Towards Automating Disambiguation of Regulations: Using the Wisdom of Crowds}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {897-896}, doi = {10.1145/3238147.3240727}, year = {2018}, } Publisher's Version Article: ase18ideas-p177-p doi:10.1145/3238147.3240727
	Saraiva, João	ASE '18: "jStanley: Placing a Green ..." jStanley: Placing a Green Thumb on Java Collections Rui Pereira, Pedro Simão, Jácome Cunha, and João Saraiva (INESC TEC, Portugal; University of Minho, Portugal; NOVA-LINCS, Portugal; Universidade Nova Lisboa, Portugal) @InProceedings{ASE18p903, author = {Rui Pereira and Pedro Simão and Jácome Cunha and João Saraiva}, title = {jStanley: Placing a Green Thumb on Java Collections}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {903-902}, doi = {10.1145/3238147.3240473}, year = {2018}, } Publisher's Version Article: ase18tools-p12-p doi:10.1145/3238147.3240473
	Scalabrino, Simone	ASE '18: "OCELOT: A Search-Based Test-Data ..." OCELOT: A Search-Based Test-Data Generation Tool for C Simone Scalabrino, Giovanni Grano, Dario Di Nucci, Michele Guerra, Andrea De Lucia, Harald C. Gall, and Rocco Oliveto (University of Molise, Italy; University of Zurich, Switzerland; Vrije Universiteit Brussel, Belgium; University of Salerno, Italy) @InProceedings{ASE18p915, author = {Simone Scalabrino and Giovanni Grano and Dario Di Nucci and Michele Guerra and Andrea De Lucia and Harald C. Gall and Rocco Oliveto}, title = {OCELOT: A Search-Based Test-Data Generation Tool for C}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {915-914}, doi = {10.1145/3238147.3240477}, year = {2018}, } Publisher's Version Article: ase18tools-p19-p doi:10.1145/3238147.3240477
	Sen, Koushik	ASE '18: "FairFuzz: A Targeted Mutation ..." FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage Caroline Lemieux and Koushik Sen (University of California at Berkeley, USA) @InProceedings{ASE18p501, author = {Caroline Lemieux and Koushik Sen}, title = {FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {501-500}, doi = {10.1145/3238147.3238176}, year = {2018}, } Publisher's Version Article: ase18main-p36-p doi:10.1145/3238147.3238176
	Sferruzza, David	ASE '18: "Top-Down Model-Driven Engineering ..." Top-Down Model-Driven Engineering of Web Services from Extended OpenAPI Models David Sferruzza (LS2N, France) @InProceedings{ASE18p987, author = {David Sferruzza}, title = {Top-Down Model-Driven Engineering of Web Services from Extended OpenAPI Models}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {987-986}, doi = {10.1145/3238147.3241536}, year = {2018}, } Publisher's Version Article: ase18doc-id6-p doi:10.1145/3238147.3241536
	Sharif, Hashim	ASE '18: "TRIMMER: Application Specialization ..." TRIMMER: Application Specialization for Code Debloating Hashim Sharif, Muhammad Abubakar, Ashish Gehani, and Fareed Zaffar (University of Illinois at Urbana-Champaign, USA; Lahore University of Management Sciences, Pakistan; SRI International, USA) @InProceedings{ASE18p345, author = {Hashim Sharif and Muhammad Abubakar and Ashish Gehani and Fareed Zaffar}, title = {TRIMMER: Application Specialization for Code Debloating}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {345-344}, doi = {10.1145/3238147.3238160}, year = {2018}, } Publisher's Version Article: ase18main-p66-p doi:10.1145/3238147.3238160
	Sharma, Richa	ASE '18: "Towards Automating Disambiguation ..." Towards Automating Disambiguation of Regulations: Using the Wisdom of Crowds Manasi Patwardhan, Abhishek Sainani, Richa Sharma, Shirish Karande, and Smita Ghaisas (TCS Research, India) @InProceedings{ASE18p897, author = {Manasi Patwardhan and Abhishek Sainani and Richa Sharma and Shirish Karande and Smita Ghaisas}, title = {Towards Automating Disambiguation of Regulations: Using the Wisdom of Crowds}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {897-896}, doi = {10.1145/3238147.3240727}, year = {2018}, } Publisher's Version Article: ase18ideas-p177-p doi:10.1145/3238147.3240727
	Shen, Yuju	ASE '18: "ReScue: Crafting Regular Expression ..." ReScue: Crafting Regular Expression DoS Attacks Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, and Jian Lu (Nanjing University, China) @InProceedings{ASE18p237, author = {Yuju Shen and Yanyan Jiang and Chang Xu and Ping Yu and Xiaoxing Ma and Jian Lu}, title = {ReScue: Crafting Regular Expression DoS Attacks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {237-236}, doi = {10.1145/3238147.3238159}, year = {2018}, } Publisher's Version Article: ase18main-p53-p doi:10.1145/3238147.3238159
	Shi, August	ASE '18: "SRCIROR: A Toolset for Mutation ..." SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation Farah Hariri and August Shi (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE18p907, author = {Farah Hariri and August Shi}, title = {SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {907-906}, doi = {10.1145/3238147.3240482}, year = {2018}, } Publisher's Version Article: ase18tools-p26-p doi:10.1145/3238147.3240482
	Simão, Pedro	ASE '18: "jStanley: Placing a Green ..." jStanley: Placing a Green Thumb on Java Collections Rui Pereira, Pedro Simão, Jácome Cunha, and João Saraiva (INESC TEC, Portugal; University of Minho, Portugal; NOVA-LINCS, Portugal; Universidade Nova Lisboa, Portugal) @InProceedings{ASE18p903, author = {Rui Pereira and Pedro Simão and Jácome Cunha and João Saraiva}, title = {jStanley: Placing a Green Thumb on Java Collections}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {903-902}, doi = {10.1145/3238147.3240473}, year = {2018}, } Publisher's Version Article: ase18tools-p12-p doi:10.1145/3238147.3240473
	Snipes, Will	ASE '18: "Experiences Applying Automated ..." Experiences Applying Automated Architecture Analysis Tool Suites Ran Mo, Will Snipes, Yuanfang Cai, Srini Ramaswamy, Rick Kazman, and Martin Naedele (Central China Normal University, China; ABB Corporate Research, USA; Drexel University, USA; ABB, USA; Carnegie Mellon University, USA; University of Hawaii, USA; ABB, Switzerland) @InProceedings{ASE18p825, author = {Ran Mo and Will Snipes and Yuanfang Cai and Srini Ramaswamy and Rick Kazman and Martin Naedele}, title = {Experiences Applying Automated Architecture Analysis Tool Suites}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {825-824}, doi = {10.1145/3238147.3240467}, year = {2018}, } Publisher's Version Article: ase18experience-p391-p doi:10.1145/3238147.3240467
	Song, Jian	ASE '18: "An Automated Approach to Estimating ..." An Automated Approach to Estimating Code Coverage Measures via Execution Logs Boyuan Chen, Jian Song, Peng Xu, Xing Hu, and Zhen Ming (Jack) Jiang (York University, Canada; Baidu, China) @InProceedings{ASE18p321, author = {Boyuan Chen and Jian Song and Peng Xu and Xing Hu and Zhen Ming (Jack) Jiang}, title = {An Automated Approach to Estimating Code Coverage Measures via Execution Logs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {321-320}, doi = {10.1145/3238147.3238214}, year = {2018}, } Publisher's Version Article: ase18main-p424-p doi:10.1145/3238147.3238214
	Sridharan, Manu	ASE '18: "Safe Stream-Based Programming ..." Safe Stream-Based Programming with Refinement Types Benno Stein, Lazaro Clapp, Manu Sridharan, and Bor-Yuh Evan Chang (University of Colorado Boulder, USA; Uber Technologies, USA) @InProceedings{ASE18p597, author = {Benno Stein and Lazaro Clapp and Manu Sridharan and Bor-Yuh Evan Chang}, title = {Safe Stream-Based Programming with Refinement Types}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {597-596}, doi = {10.1145/3238147.3238174}, year = {2018}, } Publisher's Version Article: ase18main-p26-p doi:10.1145/3238147.3238174
	Steghöfer, Jan-Philipp	ASE '18: "Tackling Combinatorial Explosion: ..." Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems Mukelabai Mukelabai, Damir Nešić, Salome Maro, Thorsten Berger, and Jan-Philipp Steghöfer (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; KTH, Sweden) @InProceedings{ASE18p165, author = {Mukelabai Mukelabai and Damir Nešić and Salome Maro and Thorsten Berger and Jan-Philipp Steghöfer}, title = {Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {165-164}, doi = {10.1145/3238147.3238201}, year = {2018}, } Publisher's Version Article: ase18main-p316-p doi:10.1145/3238147.3238201
	Stein, Benno	ASE '18: "Safe Stream-Based Programming ..." Safe Stream-Based Programming with Refinement Types Benno Stein, Lazaro Clapp, Manu Sridharan, and Bor-Yuh Evan Chang (University of Colorado Boulder, USA; Uber Technologies, USA) @InProceedings{ASE18p597, author = {Benno Stein and Lazaro Clapp and Manu Sridharan and Bor-Yuh Evan Chang}, title = {Safe Stream-Based Programming with Refinement Types}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {597-596}, doi = {10.1145/3238147.3238174}, year = {2018}, } Publisher's Version Article: ase18main-p26-p doi:10.1145/3238147.3238174
	Stifter, Thomas	ASE '18: "Testing Autonomous Cars for ..." Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, and Thomas Stifter (University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; IEE, Luxembourg) @InProceedings{ASE18p153, author = {Raja Ben Abdessalem and Annibale Panichella and Shiva Nejati and Lionel C. Briand and Thomas Stifter}, title = {Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {153-152}, doi = {10.1145/3238147.3238192}, year = {2018}, } Publisher's Version Article: ase18main-p216-p doi:10.1145/3238147.3238192
	Su, Ting	ASE '18: "DeepGauge: Multi-Granularity ..." DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang (Harbin Institute of Technology, China; Nanyang Technological University, Singapore; Carnegie Mellon University, USA; Kyushu University, Japan; University of Illinois at Urbana-Champaign, USA; Monash University, Australia) @InProceedings{ASE18p129, author = {Lei Ma and Felix Juefei-Xu and Fuyuan Zhang and Jiyuan Sun and Minhui Xue and Bo Li and Chunyang Chen and Ting Su and Li Li and Yang Liu and Jianjun Zhao and Yadong Wang}, title = {DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3238147.3238202}, year = {2018}, } Publisher's Version Article: ase18main-p317-p doi:10.1145/3238147.3238202 ASE '18: "Efficiently Manifesting Asynchronous ..." Efficiently Manifesting Asynchronous Programming Errors in Android Apps Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, and Geguang Pu (East China Normal University, China; Nanyang Technological University, Singapore; Chinese Academy of Sciences, China; New York University Shanghai, China) @InProceedings{ASE18p513, author = {Lingling Fan and Ting Su and Sen Chen and Guozhu Meng and Yang Liu and Lihua Xu and Geguang Pu}, title = {Efficiently Manifesting Asynchronous Programming Errors in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {513-512}, doi = {10.1145/3238147.3238170}, year = {2018}, } Publisher's Version Article: ase18main-p446-p doi:10.1145/3238147.3238170
	Sullivan, Allison	ASE '18: "Automated Model Repair for ..." Automated Model Repair for Alloy Kaiyuan Wang, Allison Sullivan, and Sarfraz Khurshid (University of Texas at Austin, USA) @InProceedings{ASE18p609, author = {Kaiyuan Wang and Allison Sullivan and Sarfraz Khurshid}, title = {Automated Model Repair for Alloy}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {609-608}, doi = {10.1145/3238147.3238162}, year = {2018}, } Publisher's Version Article: ase18main-p79-p doi:10.1145/3238147.3238162
	Sun, Hailong	ASE '18: "Personalized Teammate Recommendation ..." Personalized Teammate Recommendation for Crowdsourced Software Developers Luting Ye, Hailong Sun, Xu Wang, and Jiaruijue Wang (Beihang University, China; Beijing Advanced Innovation Center for Big Data and Brain Computing, China) @InProceedings{ASE18p855, author = {Luting Ye and Hailong Sun and Xu Wang and Jiaruijue Wang}, title = {Personalized Teammate Recommendation for Crowdsourced Software Developers}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {855-854}, doi = {10.1145/3238147.3240472}, year = {2018}, } Publisher's Version Article: ase18ideas-p484-p doi:10.1145/3238147.3240472
	Sun, Jiaguang	ASE '18: "S-gram: Towards Semantic-Aware ..." S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, and Jiaguang Sun (Tsinghua University, China; Peking University, China; Ant Financial, China) @InProceedings{ASE18p861, author = {Han Liu and Chao Liu and Wenqi Zhao and Yu Jiang and Jiaguang Sun}, title = {S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {861-860}, doi = {10.1145/3238147.3240728}, year = {2018}, } Publisher's Version Article: ase18ideas-p196-p doi:10.1145/3238147.3240728 ASE '18: "VulSeeker: A Semantic Learning ..." VulSeeker: A Semantic Learning Based Vulnerability Seeker for Cross-Platform Binary Jian Gao, Xin Yang, Ying Fu, Yu Jiang, and Jiaguang Sun (Tsinghua University, China) @InProceedings{ASE18p943, author = {Jian Gao and Xin Yang and Ying Fu and Yu Jiang and Jiaguang Sun}, title = {VulSeeker: A Semantic Learning Based Vulnerability Seeker for Cross-Platform Binary}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {943-942}, doi = {10.1145/3238147.3240480}, year = {2018}, } Publisher's Version Article: ase18tools-p23-p doi:10.1145/3238147.3240480
	Sun, Jiyuan	ASE '18: "DeepGauge: Multi-Granularity ..." DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang (Harbin Institute of Technology, China; Nanyang Technological University, Singapore; Carnegie Mellon University, USA; Kyushu University, Japan; University of Illinois at Urbana-Champaign, USA; Monash University, Australia) @InProceedings{ASE18p129, author = {Lei Ma and Felix Juefei-Xu and Fuyuan Zhang and Jiyuan Sun and Minhui Xue and Bo Li and Chunyang Chen and Ting Su and Li Li and Yang Liu and Jianjun Zhao and Yadong Wang}, title = {DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3238147.3238202}, year = {2018}, } Publisher's Version Article: ase18main-p317-p doi:10.1145/3238147.3238202
	Sun, Jun	ASE '18: "Delta Debugging Microservice ..." Delta Debugging Microservice Systems Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, and Dan Ding (Fudan University, China; University of Illinois at Urbana-Champaign, USA; Singapore University of Technology and Design, Singapore) @InProceedings{ASE18p849, author = {Xiang Zhou and Xin Peng and Tao Xie and Jun Sun and Wenhai Li and Chao Ji and Dan Ding}, title = {Delta Debugging Microservice Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {849-848}, doi = {10.1145/3238147.3240730}, year = {2018}, } Publisher's Version Article: ase18ideas-p318-p doi:10.1145/3238147.3240730 ASE '18: "Break the Dead End of Dynamic ..." Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, and Jinsong Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Singapore Institute of Technology, Singapore; Nanyang Technological University, Singapore) @InProceedings{ASE18p537, author = {Yun Lin and Jun Sun and Lyly Tran and Guangdong Bai and Haijun Wang and Jinsong Dong}, title = {Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {537-536}, doi = {10.1145/3238147.3238163}, year = {2018}, } Publisher's Version Article: ase18main-p132-p doi:10.1145/3238147.3238163 ASE '18: "PFix: Fixing Concurrency Bugs ..." PFix: Fixing Concurrency Bugs Based on Memory Access Patterns Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, and Guangning Wei (Tianjin University, China; Singapore University of Technology and Design, Singapore) @InProceedings{ASE18p621, author = {Huarui Lin and Zan Wang and Shuang Liu and Jun Sun and Dongdi Zhang and Guangning Wei}, title = {PFix: Fixing Concurrency Bugs Based on Memory Access Patterns}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {621-620}, doi = {10.1145/3238147.3238198}, year = {2018}, } Publisher's Version Article: ase18main-p275-p doi:10.1145/3238147.3238198
	Sun, Youcheng	ASE '18: "Concolic Testing for Deep ..." Concolic Testing for Deep Neural Networks Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, and Daniel Kroening (University of Oxford, UK; University of Liverpool, UK) @InProceedings{ASE18p117, author = {Youcheng Sun and Min Wu and Wenjie Ruan and Xiaowei Huang and Marta Kwiatkowska and Daniel Kroening}, title = {Concolic Testing for Deep Neural Networks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {117-116}, doi = {10.1145/3238147.3238172}, year = {2018}, } Publisher's Version Article: ase18main-p519-p doi:10.1145/3238147.3238172
	Sung, Chungha	ASE '18: "Datalog-Based Scalable Semantic ..." Datalog-Based Scalable Semantic Diffing of Concurrent Programs Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, and Chao Wang (University of Southern California, USA; Microsoft Research, USA; University of Paris Diderot, France) @InProceedings{ASE18p693, author = {Chungha Sung and Shuvendu K. Lahiri and Constantin Enea and Chao Wang}, title = {Datalog-Based Scalable Semantic Diffing of Concurrent Programs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {693-692}, doi = {10.1145/3238147.3238211}, year = {2018}, } Publisher's Version Article: ase18main-p398-p doi:10.1145/3238147.3238211 ASE '18: "CANAL: A Cache Timing Analysis ..." CANAL: A Cache Timing Analysis Framework via LLVM Transformation Chungha Sung, Brandon Paulsen, and Chao Wang (University of Southern California, USA) @InProceedings{ASE18p951, author = {Chungha Sung and Brandon Paulsen and Chao Wang}, title = {CANAL: A Cache Timing Analysis Framework via LLVM Transformation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {951-950}, doi = {10.1145/3238147.3240485}, year = {2018}, } Publisher's Version Article: ase18tools-p33-p doi:10.1145/3238147.3240485
	Tahat, Luay	ASE '18: "Automatically Quantifying ..." Automatically Quantifying the Impact of a Change in Systems (Journal-First Abstract) Nada Almasri, Luay Tahat, and Bogdan Korel (Gulf University for Science and Technology, Kuwait; Illinois Institute of Technology, USA) @InProceedings{ASE18p999, author = {Nada Almasri and Luay Tahat and Bogdan Korel}, title = {Automatically Quantifying the Impact of a Change in Systems (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {999-998}, doi = {10.1145/3238147.3241984}, year = {2018}, } Publisher's Version Article: ase18jfirst-idjf4-p doi:10.1145/3238147.3241984
	Tan, Shin Hwei	ASE '18: "Android Testing via Synthetic ..." Android Testing via Synthetic Symbolic Execution Xiang Gao, Shin Hwei Tan, Zhen Dong, and Abhik Roychoudhury (National University of Singapore, Singapore; Southern University of Science and Technology, China) @InProceedings{ASE18p441, author = {Xiang Gao and Shin Hwei Tan and Zhen Dong and Abhik Roychoudhury}, title = {Android Testing via Synthetic Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {441-440}, doi = {10.1145/3238147.3238225}, year = {2018}, } Publisher's Version Article: ase18main-p507-p doi:10.1145/3238147.3238225
	Tang, Zhenhao	ASE '18: "Dual-Force: Understanding ..." Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, and Jianhua Zhao (Nanjing University, China; Purdue University, USA) @InProceedings{ASE18p753, author = {Zhenhao Tang and Juan Zhai and Minxue Pan and Yousra Aafer and Shiqing Ma and Xiangyu Zhang and Jianhua Zhao}, title = {Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {753-752}, doi = {10.1145/3238147.3238221}, year = {2018}, } Publisher's Version Article: ase18main-p486-p doi:10.1145/3238147.3238221
	Terragni, Valerio	ASE '18: "Effectiveness and Challenges ..." Effectiveness and Challenges in Generating Concurrent Tests for Thread-Safe Classes Valerio Terragni and Mauro Pezzè (University of Lugano, Switzerland) @InProceedings{ASE18p69, author = {Valerio Terragni and Mauro Pezzè}, title = {Effectiveness and Challenges in Generating Concurrent Tests for Thread-Safe Classes}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {69-68}, doi = {10.1145/3238147.3238224}, year = {2018}, } Publisher's Version Article: ase18main-p494-p doi:10.1145/3238147.3238224
	Tosun, Ayse	ASE '18: "Lightweight Source Code Monitoring ..." Lightweight Source Code Monitoring with Triggr Alim Ozdemir, Ayse Tosun, Hakan Erdogmus, and Rui Abreu (Istanbul Technical University, Turkey; Carnegie Mellon University, USA; University of Lisbon, Portugal) @InProceedings{ASE18p911, author = {Alim Ozdemir and Ayse Tosun and Hakan Erdogmus and Rui Abreu}, title = {Lightweight Source Code Monitoring with Triggr}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {911-910}, doi = {10.1145/3238147.3240486}, year = {2018}, } Publisher's Version Article: ase18tools-p35-p doi:10.1145/3238147.3240486
	Traini, Luca	ASE '18: "A Multi-objective Framework ..." A Multi-objective Framework for Effective Performance Fault Injection in Distributed Systems Luca Traini (University of L'Aquila, Italy) @InProceedings{ASE18p983, author = {Luca Traini}, title = {A Multi-objective Framework for Effective Performance Fault Injection in Distributed Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {983-982}, doi = {10.1145/3238147.3241535}, year = {2018}, } Publisher's Version Article: ase18doc-id5-p doi:10.1145/3238147.3241535
	Tran, Lyly	ASE '18: "Break the Dead End of Dynamic ..." Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, and Jinsong Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Singapore Institute of Technology, Singapore; Nanyang Technological University, Singapore) @InProceedings{ASE18p537, author = {Yun Lin and Jun Sun and Lyly Tran and Guangdong Bai and Haijun Wang and Jinsong Dong}, title = {Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {537-536}, doi = {10.1145/3238147.3238163}, year = {2018}, } Publisher's Version Article: ase18main-p132-p doi:10.1145/3238147.3238163
	Tripathi, Rashmi	ASE '18: "Code2graph: Automatic Generation ..." Code2graph: Automatic Generation of Static Call Graphs for Python Source Code Gharib Gharibi, Rashmi Tripathi, and Yugyung Lee (University of Missouri-Kansas City, USA) @InProceedings{ASE18p927, author = {Gharib Gharibi and Rashmi Tripathi and Yugyung Lee}, title = {Code2graph: Automatic Generation of Static Call Graphs for Python Source Code}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {927-926}, doi = {10.1145/3238147.3240484}, year = {2018}, } Publisher's Version Article: ase18tools-p31-p doi:10.1145/3238147.3240484
	Tufano, Michele	ASE '18: "An Empirical Investigation ..." An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, and Denys Poshyvanyk (College of William and Mary, USA; University of Lugano, Switzerland; University of Sannio, Italy) @InProceedings{ASE18p879, author = {Michele Tufano and Cody Watson and Gabriele Bavota and Massimiliano Di Penta and Martin White and Denys Poshyvanyk}, title = {An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {879-878}, doi = {10.1145/3238147.3240732}, year = {2018}, } Publisher's Version Article: ase18ideas-p400-p doi:10.1145/3238147.3240732
	Udeshi, Sakshi	ASE '18: "Automated Directed Fairness ..." Automated Directed Fairness Testing Sakshi Udeshi, Pryanshu Arora, and Sudipta Chattopadhyay (Singapore University of Technology and Design, Singapore; BITS Pilani, India) @InProceedings{ASE18p105, author = {Sakshi Udeshi and Pryanshu Arora and Sudipta Chattopadhyay}, title = {Automated Directed Fairness Testing}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {105-104}, doi = {10.1145/3238147.3238165}, year = {2018}, } Publisher's Version Article: ase18main-p218-p doi:10.1145/3238147.3238165
	Van Tonder, Rijnard	ASE '18: "Semantic Crash Bucketing ..." Semantic Crash Bucketing Rijnard van Tonder, John Kotheimer, and Claire Le Goues (Carnegie Mellon University, USA) @InProceedings{ASE18p645, author = {Rijnard van Tonder and John Kotheimer and Claire Le Goues}, title = {Semantic Crash Bucketing}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {645-644}, doi = {10.1145/3238147.3238200}, year = {2018}, } Publisher's Version Article: ase18main-p292-p doi:10.1145/3238147.3238200
	Vassallo, Carmine	ASE '18: "Continuous Code Quality: Are ..." Continuous Code Quality: Are We (Really) Doing That? Carmine Vassallo, Fabio Palomba, Alberto Bacchelli, and Harald C. Gall (University of Zurich, Switzerland) @InProceedings{ASE18p837, author = {Carmine Vassallo and Fabio Palomba and Alberto Bacchelli and Harald C. Gall}, title = {Continuous Code Quality: Are We (Really) Doing That?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {837-836}, doi = {10.1145/3238147.3240729}, year = {2018}, } Publisher's Version Article: ase18ideas-p304-p doi:10.1145/3238147.3240729
	Vera-Pérez, Oscar Luis	ASE '18: "Descartes: A PITest Engine ..." Descartes: A PITest Engine to Detect Pseudo-Tested Methods: Tool Demonstration Oscar Luis Vera-Pérez, Martin Monperrus, and Benoit Baudry (Inria, France; KTH, Sweden) @InProceedings{ASE18p955, author = {Oscar Luis Vera-Pérez and Martin Monperrus and Benoit Baudry}, title = {Descartes: A PITest Engine to Detect Pseudo-Tested Methods: Tool Demonstration}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {955-954}, doi = {10.1145/3238147.3240474}, year = {2018}, } Publisher's Version Article: ase18tools-p13-p doi:10.1145/3238147.3240474
	Visser, Eelco	ASE '18: "Scalable Incremental Building ..." Scalable Incremental Building with Dynamic Task Dependencies Gabriël Konat, Sebastian Erdweg, and Eelco Visser (Delft University of Technology, Netherlands) @InProceedings{ASE18p81, author = {Gabriël Konat and Sebastian Erdweg and Eelco Visser}, title = {Scalable Incremental Building with Dynamic Task Dependencies}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3238147.3238196}, year = {2018}, } Publisher's Version Article: ase18main-p260-p doi:10.1145/3238147.3238196
	Wan, Yao	ASE '18: "Improving Automatic Source ..." Improving Automatic Source Code Summarization via Deep Reinforcement Learning Yao Wan, Zhou Zhao, Min Yang, Guandong Xu, Haochao Ying, Jian Wu, and Philip S. Yu (Zhejiang University, China; Chinese Academy of Sciences, China; University of Technology Sydney, Australia; University of Illinois at Chicago, USA) @InProceedings{ASE18p417, author = {Yao Wan and Zhou Zhao and Min Yang and Guandong Xu and Haochao Ying and Jian Wu and Philip S. Yu}, title = {Improving Automatic Source Code Summarization via Deep Reinforcement Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {417-416}, doi = {10.1145/3238147.3238206}, year = {2018}, } Publisher's Version Article: ase18main-p382-p doi:10.1145/3238147.3238206
	Wang, Chao	ASE '18: "Datalog-Based Scalable Semantic ..." Datalog-Based Scalable Semantic Diffing of Concurrent Programs Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, and Chao Wang (University of Southern California, USA; Microsoft Research, USA; University of Paris Diderot, France) @InProceedings{ASE18p693, author = {Chungha Sung and Shuvendu K. Lahiri and Constantin Enea and Chao Wang}, title = {Datalog-Based Scalable Semantic Diffing of Concurrent Programs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {693-692}, doi = {10.1145/3238147.3238211}, year = {2018}, } Publisher's Version Article: ase18main-p398-p doi:10.1145/3238147.3238211 ASE '18: "CANAL: A Cache Timing Analysis ..." CANAL: A Cache Timing Analysis Framework via LLVM Transformation Chungha Sung, Brandon Paulsen, and Chao Wang (University of Southern California, USA) @InProceedings{ASE18p951, author = {Chungha Sung and Brandon Paulsen and Chao Wang}, title = {CANAL: A Cache Timing Analysis Framework via LLVM Transformation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {951-950}, doi = {10.1145/3238147.3240485}, year = {2018}, } Publisher's Version Article: ase18tools-p33-p doi:10.1145/3238147.3240485
	Wang, Haijun	ASE '18: "Break the Dead End of Dynamic ..." Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, and Jinsong Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Singapore Institute of Technology, Singapore; Nanyang Technological University, Singapore) @InProceedings{ASE18p537, author = {Yun Lin and Jun Sun and Lyly Tran and Guangdong Bai and Haijun Wang and Jinsong Dong}, title = {Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {537-536}, doi = {10.1145/3238147.3238163}, year = {2018}, } Publisher's Version Article: ase18main-p132-p doi:10.1145/3238147.3238163
	Wang, Hung-En	ASE '18: "A Symbolic Model Checking ..." A Symbolic Model Checking Approach to the Analysis of String and Length Constraints Hung-En Wang, Shih-Yu Chen, Fang Yu, and Jie-Hong R. Jiang (National Taiwan University, Taiwan; National Chengchi University, Taiwan) @InProceedings{ASE18p657, author = {Hung-En Wang and Shih-Yu Chen and Fang Yu and Jie-Hong R. Jiang}, title = {A Symbolic Model Checking Approach to the Analysis of String and Length Constraints}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {657-656}, doi = {10.1145/3238147.3238189}, year = {2018}, } Publisher's Version Article: ase18main-p187-p doi:10.1145/3238147.3238189
	Wang, Ji	ASE '18: "Scheduling Constraint Based ..." Scheduling Constraint Based Abstraction Refinement for Weak Memory Models Liangze Yin, Wei Dong, Wanwei Liu, and Ji Wang (National University of Defense Technology, China) @InProceedings{ASE18p681, author = {Liangze Yin and Wei Dong and Wanwei Liu and Ji Wang}, title = {Scheduling Constraint Based Abstraction Refinement for Weak Memory Models}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3238147.3238223}, year = {2018}, } Publisher's Version Article: ase18main-p491-p doi:10.1145/3238147.3238223
	Wang, Jianghao	ASE '18: "An Evolutionary Approach for ..." An Evolutionary Approach for Analyzing Alloy Specifications Jianghao Wang, Hamid Bagheri, and Myra B. Cohen (University of Nebraska-Lincoln, USA) @InProceedings{ASE18p867, author = {Jianghao Wang and Hamid Bagheri and Myra B. Cohen}, title = {An Evolutionary Approach for Analyzing Alloy Specifications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {867-866}, doi = {10.1145/3238147.3240468}, year = {2018}, } Publisher's Version Article: ase18ideas-p452-p doi:10.1145/3238147.3240468
	Wang, Jiaruijue	ASE '18: "Personalized Teammate Recommendation ..." Personalized Teammate Recommendation for Crowdsourced Software Developers Luting Ye, Hailong Sun, Xu Wang, and Jiaruijue Wang (Beihang University, China; Beijing Advanced Innovation Center for Big Data and Brain Computing, China) @InProceedings{ASE18p855, author = {Luting Ye and Hailong Sun and Xu Wang and Jiaruijue Wang}, title = {Personalized Teammate Recommendation for Crowdsourced Software Developers}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {855-854}, doi = {10.1145/3238147.3240472}, year = {2018}, } Publisher's Version Article: ase18ideas-p484-p doi:10.1145/3238147.3240472
	Wang, Kaiyuan	ASE '18: "Automated Model Repair for ..." Automated Model Repair for Alloy Kaiyuan Wang, Allison Sullivan, and Sarfraz Khurshid (University of Texas at Austin, USA) @InProceedings{ASE18p609, author = {Kaiyuan Wang and Allison Sullivan and Sarfraz Khurshid}, title = {Automated Model Repair for Alloy}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {609-608}, doi = {10.1145/3238147.3238162}, year = {2018}, } Publisher's Version Article: ase18main-p79-p doi:10.1145/3238147.3238162
	Wang, Lei	ASE '18: "Understanding and Detecting ..." Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, and Jingling Xue (Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; UNSW, Australia) @InProceedings{ASE18p177, author = {Dongjie He and Lian Li and Lei Wang and Hengjie Zheng and Guangwei Li and Jingling Xue}, title = {Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {177-176}, doi = {10.1145/3238147.3238185}, year = {2018}, } Publisher's Version Article: ase18main-p103-p doi:10.1145/3238147.3238185
	Wang, Ping	ASE '18: "Characterizing and Identifying ..." Characterizing and Identifying Misexposed Activities in Android Applications Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, and Jian Zhang (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China) @InProceedings{ASE18p729, author = {Jiwei Yan and Xi Deng and Ping Wang and Tianyong Wu and Jun Yan and Jian Zhang}, title = {Characterizing and Identifying Misexposed Activities in Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {729-728}, doi = {10.1145/3238147.3238164}, year = {2018}, } Publisher's Version Article: ase18main-p167-p doi:10.1145/3238147.3238164
	Wang, Wenyu	ASE '18: "An Empirical Study of Android ..." An Empirical Study of Android Test Generation Tools in Industrial Cases Wenyu Wang, Dengfeng Li, Wei Yang, Yurui Cao, Zhenwen Zhang, Yuetang Deng, and Tao Xie (University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA; Tencent, China) @InProceedings{ASE18p777, author = {Wenyu Wang and Dengfeng Li and Wei Yang and Yurui Cao and Zhenwen Zhang and Yuetang Deng and Tao Xie}, title = {An Empirical Study of Android Test Generation Tools in Industrial Cases}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {777-776}, doi = {10.1145/3238147.3240465}, year = {2018}, } Publisher's Version Article: ase18experience-p101-p doi:10.1145/3238147.3240465
	Wang, Xiaoyin	ASE '18: "RUDSEA: Recommending Updates ..." RUDSEA: Recommending Updates of Dockerfiles via Software Environment Analysis Foyzul Hassan, Rodney Rodriguez, and Xiaoyin Wang (University of Texas at San Antonio, USA) @InProceedings{ASE18p843, author = {Foyzul Hassan and Rodney Rodriguez and Xiaoyin Wang}, title = {RUDSEA: Recommending Updates of Dockerfiles via Software Environment Analysis}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {843-842}, doi = {10.1145/3238147.3240470}, year = {2018}, } Publisher's Version Article: ase18ideas-p438-p doi:10.1145/3238147.3240470
	Wang, Xinyu	ASE '18: "API Method Recommendation ..." API Method Recommendation without Worrying about the Task-API Knowledge Gap Qiao Huang, Xin Xia, Zhenchang Xing, David Lo, and Xinyu Wang (Zhejiang University, China; Monash University, Australia; Australian National University, Australia; Singapore Management University, Singapore) @InProceedings{ASE18p309, author = {Qiao Huang and Xin Xia and Zhenchang Xing and David Lo and Xinyu Wang}, title = {API Method Recommendation without Worrying about the Task-API Knowledge Gap}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {309-308}, doi = {10.1145/3238147.3238191}, year = {2018}, } Publisher's Version Article: ase18main-p200-p doi:10.1145/3238147.3238191 ASE '18: "Neural-Machine-Translation-Based ..." Neural-Machine-Translation-Based Commit Message Generation: How Far Are We? Zhongxin Liu, Xin Xia, Ahmed E. Hassan, David Lo, Zhenchang Xing, and Xinyu Wang (Zhejiang University, China; Monash University, Australia; Queen's University, Canada; Singapore Management University, Singapore; Australian National University, Australia) @InProceedings{ASE18p393, author = {Zhongxin Liu and Xin Xia and Ahmed E. Hassan and David Lo and Zhenchang Xing and Xinyu Wang}, title = {Neural-Machine-Translation-Based Commit Message Generation: How Far Are We?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {393-392}, doi = {10.1145/3238147.3238190}, year = {2018}, } Publisher's Version Article: ase18main-p192-p doi:10.1145/3238147.3238190
	Wang, Xu	ASE '18: "Personalized Teammate Recommendation ..." Personalized Teammate Recommendation for Crowdsourced Software Developers Luting Ye, Hailong Sun, Xu Wang, and Jiaruijue Wang (Beihang University, China; Beijing Advanced Innovation Center for Big Data and Brain Computing, China) @InProceedings{ASE18p855, author = {Luting Ye and Hailong Sun and Xu Wang and Jiaruijue Wang}, title = {Personalized Teammate Recommendation for Crowdsourced Software Developers}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {855-854}, doi = {10.1145/3238147.3240472}, year = {2018}, } Publisher's Version Article: ase18ideas-p484-p doi:10.1145/3238147.3240472
	Wang, Yadong	ASE '18: "DeepGauge: Multi-Granularity ..." DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang (Harbin Institute of Technology, China; Nanyang Technological University, Singapore; Carnegie Mellon University, USA; Kyushu University, Japan; University of Illinois at Urbana-Champaign, USA; Monash University, Australia) @InProceedings{ASE18p129, author = {Lei Ma and Felix Juefei-Xu and Fuyuan Zhang and Jiyuan Sun and Minhui Xue and Bo Li and Chunyang Chen and Ting Su and Li Li and Yang Liu and Jianjun Zhao and Yadong Wang}, title = {DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3238147.3238202}, year = {2018}, } Publisher's Version Article: ase18main-p317-p doi:10.1145/3238147.3238202
	Wang, Ying	ASE '18: "ClDiff: Generating Concise ..." ClDiff: Generating Concise Linked Code Differences Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou, Ying Wang, Yang Liu, and Wenyun Zhao (Fudan University, China; Nanyang Technological University, Singapore) @InProceedings{ASE18p717, author = {Kaifeng Huang and Bihuan Chen and Xin Peng and Daihong Zhou and Ying Wang and Yang Liu and Wenyun Zhao}, title = {ClDiff: Generating Concise Linked Code Differences}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {717-716}, doi = {10.1145/3238147.3238219}, year = {2018}, } Publisher's Version Article: ase18main-p461-p doi:10.1145/3238147.3238219
	Wang, Zan	ASE '18: "PFix: Fixing Concurrency Bugs ..." PFix: Fixing Concurrency Bugs Based on Memory Access Patterns Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, and Guangning Wei (Tianjin University, China; Singapore University of Technology and Design, Singapore) @InProceedings{ASE18p621, author = {Huarui Lin and Zan Wang and Shuang Liu and Jun Sun and Dongdi Zhang and Guangning Wei}, title = {PFix: Fixing Concurrency Bugs Based on Memory Access Patterns}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {621-620}, doi = {10.1145/3238147.3238198}, year = {2018}, } Publisher's Version Article: ase18main-p275-p doi:10.1145/3238147.3238198
	Wat, Paul	ASE '18: "Empirically Assessing Opportunities ..." Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps Yixue Zhao, Paul Wat, Marcelo Schmitt Laser, and Nenad Medvidović (University of Southern California, USA) @InProceedings{ASE18p585, author = {Yixue Zhao and Paul Wat and Marcelo Schmitt Laser and Nenad Medvidović}, title = {Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {585-584}, doi = {10.1145/3238147.3238215}, year = {2018}, } Publisher's Version Article: ase18main-p441-p doi:10.1145/3238147.3238215
	Watson, Cody	ASE '18: "An Empirical Investigation ..." An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, and Denys Poshyvanyk (College of William and Mary, USA; University of Lugano, Switzerland; University of Sannio, Italy) @InProceedings{ASE18p879, author = {Michele Tufano and Cody Watson and Gabriele Bavota and Massimiliano Di Penta and Martin White and Denys Poshyvanyk}, title = {An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {879-878}, doi = {10.1145/3238147.3240732}, year = {2018}, } Publisher's Version Article: ase18ideas-p400-p doi:10.1145/3238147.3240732 ASE '18: "Detecting and Summarizing ..." Detecting and Summarizing GUI Changes in Evolving Mobile Apps Kevin Moran, Cody Watson, John Hoskins, George Purnell, and Denys Poshyvanyk (College of William and Mary, USA) @InProceedings{ASE18p573, author = {Kevin Moran and Cody Watson and John Hoskins and George Purnell and Denys Poshyvanyk}, title = {Detecting and Summarizing GUI Changes in Evolving Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {573-572}, doi = {10.1145/3238147.3238203}, year = {2018}, } Publisher's Version Article: ase18main-p341-p doi:10.1145/3238147.3238203
	Wehrle, Klaus	ASE '18: "PARTI: A Multi-interval Theory ..." PARTI: A Multi-interval Theory Solver for Symbolic Execution Oscar Soria Dustmann, Klaus Wehrle, and Cristian Cadar (RWTH Aachen University, Germany; Imperial College London, UK) @InProceedings{ASE18p453, author = {Oscar Soria Dustmann and Klaus Wehrle and Cristian Cadar}, title = {PARTI: A Multi-interval Theory Solver for Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {453-452}, doi = {10.1145/3238147.3238179}, year = {2018}, } Publisher's Version Article: ase18main-p68-p doi:10.1145/3238147.3238179
	Wei, Guangning	ASE '18: "PFix: Fixing Concurrency Bugs ..." PFix: Fixing Concurrency Bugs Based on Memory Access Patterns Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, and Guangning Wei (Tianjin University, China; Singapore University of Technology and Design, Singapore) @InProceedings{ASE18p621, author = {Huarui Lin and Zan Wang and Shuang Liu and Jun Sun and Dongdi Zhang and Guangning Wei}, title = {PFix: Fixing Concurrency Bugs Based on Memory Access Patterns}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {621-620}, doi = {10.1145/3238147.3238198}, year = {2018}, } Publisher's Version Article: ase18main-p275-p doi:10.1145/3238147.3238198
	Wei, Jun	ASE '18: "Expandable Group Identification ..." Expandable Group Identification in Spreadsheets Wensheng Dou, Shi Han, Liang Xu, Dongmei Zhang, and Jun Wei (University of Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Microsoft Research, China) @InProceedings{ASE18p525, author = {Wensheng Dou and Shi Han and Liang Xu and Dongmei Zhang and Jun Wei}, title = {Expandable Group Identification in Spreadsheets}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {525-524}, doi = {10.1145/3238147.3238222}, year = {2018}, } Publisher's Version Article: ase18main-p488-p doi:10.1145/3238147.3238222
	Wei, Lili	ASE '18: "Understanding and Detecting ..." Understanding and Detecting Callback Compatibility Issues for Android Applications Huaxun Huang, Lili Wei, Yepang Liu, and Shing-Chi Cheung (Hong Kong University of Science and Technology, China; Southern University of Science and Technology, China) @InProceedings{ASE18p561, author = {Huaxun Huang and Lili Wei and Yepang Liu and Shing-Chi Cheung}, title = {Understanding and Detecting Callback Compatibility Issues for Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {561-560}, doi = {10.1145/3238147.3238181}, year = {2018}, } Publisher's Version Article: ase18main-p72-p doi:10.1145/3238147.3238181 ASE '18: "A Tale of Two Cities: How ..." A Tale of Two Cities: How WebView Induces Bugs to Android Applications Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung, and Huaxun Huang (Hong Kong University of Science and Technology, China; Southern University of Science and Technology, China) @InProceedings{ASE18p741, author = {Jiajun Hu and Lili Wei and Yepang Liu and Shing-Chi Cheung and Huaxun Huang}, title = {A Tale of Two Cities: How WebView Induces Bugs to Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {741-740}, doi = {10.1145/3238147.3238180}, year = {2018}, } Publisher's Version Article: ase18main-p71-p doi:10.1145/3238147.3238180
	White, Martin	ASE '18: "An Empirical Investigation ..." An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, and Denys Poshyvanyk (College of William and Mary, USA; University of Lugano, Switzerland; University of Sannio, Italy) @InProceedings{ASE18p879, author = {Michele Tufano and Cody Watson and Gabriele Bavota and Massimiliano Di Penta and Martin White and Denys Poshyvanyk}, title = {An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {879-878}, doi = {10.1145/3238147.3240732}, year = {2018}, } Publisher's Version Article: ase18ideas-p400-p doi:10.1145/3238147.3240732
	Wu, Diyu	ASE '18: "TDroid: Exposing App Switching ..." TDroid: Exposing App Switching Attacks in Android with Control Flow Specialization Jie Liu, Diyu Wu, and Jingling Xue (UNSW, Australia) @InProceedings{ASE18p249, author = {Jie Liu and Diyu Wu and Jingling Xue}, title = {TDroid: Exposing App Switching Attacks in Android with Control Flow Specialization}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {249-248}, doi = {10.1145/3238147.3238188}, year = {2018}, } Publisher's Version Article: ase18main-p185-p doi:10.1145/3238147.3238188
	Wu, Jian	ASE '18: "Improving Automatic Source ..." Improving Automatic Source Code Summarization via Deep Reinforcement Learning Yao Wan, Zhou Zhao, Min Yang, Guandong Xu, Haochao Ying, Jian Wu, and Philip S. Yu (Zhejiang University, China; Chinese Academy of Sciences, China; University of Technology Sydney, Australia; University of Illinois at Chicago, USA) @InProceedings{ASE18p417, author = {Yao Wan and Zhou Zhao and Min Yang and Guandong Xu and Haochao Ying and Jian Wu and Philip S. Yu}, title = {Improving Automatic Source Code Summarization via Deep Reinforcement Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {417-416}, doi = {10.1145/3238147.3238206}, year = {2018}, } Publisher's Version Article: ase18main-p382-p doi:10.1145/3238147.3238206
	Wu, Min	ASE '18: "Concolic Testing for Deep ..." Concolic Testing for Deep Neural Networks Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, and Daniel Kroening (University of Oxford, UK; University of Liverpool, UK) @InProceedings{ASE18p117, author = {Youcheng Sun and Min Wu and Wenjie Ruan and Xiaowei Huang and Marta Kwiatkowska and Daniel Kroening}, title = {Concolic Testing for Deep Neural Networks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {117-116}, doi = {10.1145/3238147.3238172}, year = {2018}, } Publisher's Version Article: ase18main-p519-p doi:10.1145/3238147.3238172
	Wu, Tianyong	ASE '18: "Characterizing and Identifying ..." Characterizing and Identifying Misexposed Activities in Android Applications Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, and Jian Zhang (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China) @InProceedings{ASE18p729, author = {Jiwei Yan and Xi Deng and Ping Wang and Tianyong Wu and Jun Yan and Jian Zhang}, title = {Characterizing and Identifying Misexposed Activities in Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {729-728}, doi = {10.1145/3238147.3238164}, year = {2018}, } Publisher's Version Article: ase18main-p167-p doi:10.1145/3238147.3238164
	Wüstholz, Valentin	ASE '18: "Automatically Testing Implementations ..." Automatically Testing Implementations of Numerical Abstract Domains Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, and Peter Müller (ETH Zurich, Switzerland; MPI-SWS, Germany) @InProceedings{ASE18p813, author = {Alexandra Bugariu and Valentin Wüstholz and Maria Christakis and Peter Müller}, title = {Automatically Testing Implementations of Numerical Abstract Domains}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {813-812}, doi = {10.1145/3238147.3240464}, year = {2018}, } Publisher's Version Article: ase18experience-p301-p doi:10.1145/3238147.3240464
	Xia, Xin	ASE '18: "API Method Recommendation ..." API Method Recommendation without Worrying about the Task-API Knowledge Gap Qiao Huang, Xin Xia, Zhenchang Xing, David Lo, and Xinyu Wang (Zhejiang University, China; Monash University, Australia; Australian National University, Australia; Singapore Management University, Singapore) @InProceedings{ASE18p309, author = {Qiao Huang and Xin Xia and Zhenchang Xing and David Lo and Xinyu Wang}, title = {API Method Recommendation without Worrying about the Task-API Knowledge Gap}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {309-308}, doi = {10.1145/3238147.3238191}, year = {2018}, } Publisher's Version Article: ase18main-p200-p doi:10.1145/3238147.3238191 ASE '18: "Neural-Machine-Translation-Based ..." Neural-Machine-Translation-Based Commit Message Generation: How Far Are We? Zhongxin Liu, Xin Xia, Ahmed E. Hassan, David Lo, Zhenchang Xing, and Xinyu Wang (Zhejiang University, China; Monash University, Australia; Queen's University, Canada; Singapore Management University, Singapore; Australian National University, Australia) @InProceedings{ASE18p393, author = {Zhongxin Liu and Xin Xia and Ahmed E. Hassan and David Lo and Zhenchang Xing and Xinyu Wang}, title = {Neural-Machine-Translation-Based Commit Message Generation: How Far Are We?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {393-392}, doi = {10.1145/3238147.3238190}, year = {2018}, } Publisher's Version Article: ase18main-p192-p doi:10.1145/3238147.3238190
	Xie, Tao	ASE '18: "An Empirical Study of Android ..." An Empirical Study of Android Test Generation Tools in Industrial Cases Wenyu Wang, Dengfeng Li, Wei Yang, Yurui Cao, Zhenwen Zhang, Yuetang Deng, and Tao Xie (University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA; Tencent, China) @InProceedings{ASE18p777, author = {Wenyu Wang and Dengfeng Li and Wei Yang and Yurui Cao and Zhenwen Zhang and Yuetang Deng and Tao Xie}, title = {An Empirical Study of Android Test Generation Tools in Industrial Cases}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {777-776}, doi = {10.1145/3238147.3240465}, year = {2018}, } Publisher's Version Article: ase18experience-p101-p doi:10.1145/3238147.3240465 ASE '18: "Delta Debugging Microservice ..." Delta Debugging Microservice Systems Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, and Dan Ding (Fudan University, China; University of Illinois at Urbana-Champaign, USA; Singapore University of Technology and Design, Singapore) @InProceedings{ASE18p849, author = {Xiang Zhou and Xin Peng and Tao Xie and Jun Sun and Wenhai Li and Chao Ji and Dan Ding}, title = {Delta Debugging Microservice Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {849-848}, doi = {10.1145/3238147.3240730}, year = {2018}, } Publisher's Version Article: ase18ideas-p318-p doi:10.1145/3238147.3240730
	Xin, Qi	ASE '18: "SEEDE: Simultaneous Execution ..." SEEDE: Simultaneous Execution and Editing in a Development Environment Steven P. Reiss, Qi Xin, and Jeff Huang (Brown University, USA) @InProceedings{ASE18p285, author = {Steven P. Reiss and Qi Xin and Jeff Huang}, title = {SEEDE: Simultaneous Execution and Editing in a Development Environment}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {285-284}, doi = {10.1145/3238147.3238182}, year = {2018}, } Publisher's Version Article: ase18main-p88-p doi:10.1145/3238147.3238182
	Xing, Zhenchang	ASE '18: "Tell Them Apart: Distilling ..." Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, and Yang Liu (Australian National University, Australia; Monash University, Australia; Nanyang Technological University, Singapore) @InProceedings{ASE18p225, author = {Yi Huang and Chunyang Chen and Zhenchang Xing and Tian Lin and Yang Liu}, title = {Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {225-224}, doi = {10.1145/3238147.3238208}, year = {2018}, } Publisher's Version Article: ase18main-p387-p doi:10.1145/3238147.3238208 ASE '18: "API Method Recommendation ..." API Method Recommendation without Worrying about the Task-API Knowledge Gap Qiao Huang, Xin Xia, Zhenchang Xing, David Lo, and Xinyu Wang (Zhejiang University, China; Monash University, Australia; Australian National University, Australia; Singapore Management University, Singapore) @InProceedings{ASE18p309, author = {Qiao Huang and Xin Xia and Zhenchang Xing and David Lo and Xinyu Wang}, title = {API Method Recommendation without Worrying about the Task-API Knowledge Gap}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {309-308}, doi = {10.1145/3238147.3238191}, year = {2018}, } Publisher's Version Article: ase18main-p200-p doi:10.1145/3238147.3238191 ASE '18: "Neural-Machine-Translation-Based ..." Neural-Machine-Translation-Based Commit Message Generation: How Far Are We? Zhongxin Liu, Xin Xia, Ahmed E. Hassan, David Lo, Zhenchang Xing, and Xinyu Wang (Zhejiang University, China; Monash University, Australia; Queen's University, Canada; Singapore Management University, Singapore; Australian National University, Australia) @InProceedings{ASE18p393, author = {Zhongxin Liu and Xin Xia and Ahmed E. Hassan and David Lo and Zhenchang Xing and Xinyu Wang}, title = {Neural-Machine-Translation-Based Commit Message Generation: How Far Are We?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {393-392}, doi = {10.1145/3238147.3238190}, year = {2018}, } Publisher's Version Article: ase18main-p192-p doi:10.1145/3238147.3238190
	Xu, Chang	ASE '18: "ReScue: Crafting Regular Expression ..." ReScue: Crafting Regular Expression DoS Attacks Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, and Jian Lu (Nanjing University, China) @InProceedings{ASE18p237, author = {Yuju Shen and Yanyan Jiang and Chang Xu and Ping Yu and Xiaoxing Ma and Jian Lu}, title = {ReScue: Crafting Regular Expression DoS Attacks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {237-236}, doi = {10.1145/3238147.3238159}, year = {2018}, } Publisher's Version Article: ase18main-p53-p doi:10.1145/3238147.3238159
	Xu, Guandong	ASE '18: "Improving Automatic Source ..." Improving Automatic Source Code Summarization via Deep Reinforcement Learning Yao Wan, Zhou Zhao, Min Yang, Guandong Xu, Haochao Ying, Jian Wu, and Philip S. Yu (Zhejiang University, China; Chinese Academy of Sciences, China; University of Technology Sydney, Australia; University of Illinois at Chicago, USA) @InProceedings{ASE18p417, author = {Yao Wan and Zhou Zhao and Min Yang and Guandong Xu and Haochao Ying and Jian Wu and Philip S. Yu}, title = {Improving Automatic Source Code Summarization via Deep Reinforcement Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {417-416}, doi = {10.1145/3238147.3238206}, year = {2018}, } Publisher's Version Article: ase18main-p382-p doi:10.1145/3238147.3238206
	Xu, Liang	ASE '18: "Expandable Group Identification ..." Expandable Group Identification in Spreadsheets Wensheng Dou, Shi Han, Liang Xu, Dongmei Zhang, and Jun Wei (University of Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Microsoft Research, China) @InProceedings{ASE18p525, author = {Wensheng Dou and Shi Han and Liang Xu and Dongmei Zhang and Jun Wei}, title = {Expandable Group Identification in Spreadsheets}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {525-524}, doi = {10.1145/3238147.3238222}, year = {2018}, } Publisher's Version Article: ase18main-p488-p doi:10.1145/3238147.3238222
	Xu, Lihua	ASE '18: "Efficiently Manifesting Asynchronous ..." Efficiently Manifesting Asynchronous Programming Errors in Android Apps Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, and Geguang Pu (East China Normal University, China; Nanyang Technological University, Singapore; Chinese Academy of Sciences, China; New York University Shanghai, China) @InProceedings{ASE18p513, author = {Lingling Fan and Ting Su and Sen Chen and Guozhu Meng and Yang Liu and Lihua Xu and Geguang Pu}, title = {Efficiently Manifesting Asynchronous Programming Errors in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {513-512}, doi = {10.1145/3238147.3238170}, year = {2018}, } Publisher's Version Article: ase18main-p446-p doi:10.1145/3238147.3238170
	Xu, Peng	ASE '18: "An Automated Approach to Estimating ..." An Automated Approach to Estimating Code Coverage Measures via Execution Logs Boyuan Chen, Jian Song, Peng Xu, Xing Hu, and Zhen Ming (Jack) Jiang (York University, Canada; Baidu, China) @InProceedings{ASE18p321, author = {Boyuan Chen and Jian Song and Peng Xu and Xing Hu and Zhen Ming (Jack) Jiang}, title = {An Automated Approach to Estimating Code Coverage Measures via Execution Logs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {321-320}, doi = {10.1145/3238147.3238214}, year = {2018}, } Publisher's Version Article: ase18main-p424-p doi:10.1145/3238147.3238214
	Xu, Zhifeng	ASE '18: "Deep Learning Based Feature ..." Deep Learning Based Feature Envy Detection Hui Liu, Zhifeng Xu, and Yanzhen Zou (Beijing Institute of Technology, China; Peking University, China) @InProceedings{ASE18p405, author = {Hui Liu and Zhifeng Xu and Yanzhen Zou}, title = {Deep Learning Based Feature Envy Detection}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {405-404}, doi = {10.1145/3238147.3238166}, year = {2018}, } Publisher's Version Article: ase18main-p247-p doi:10.1145/3238147.3238166
	Xu, Ziheng	ASE '18: "AutoConfig: Automatic Configuration ..." AutoConfig: Automatic Configuration Tuning for Distributed Message Systems Liang Bao, Xin Liu, Ziheng Xu, and Baoyin Fang (Xidian University, China; University of California at Davis, USA) @InProceedings{ASE18p33, author = {Liang Bao and Xin Liu and Ziheng Xu and Baoyin Fang}, title = {AutoConfig: Automatic Configuration Tuning for Distributed Message Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3238147.3238175}, year = {2018}, } Publisher's Version Article: ase18main-p32-p doi:10.1145/3238147.3238175
	Xue, Jingling	ASE '18: "Understanding and Detecting ..." Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, and Jingling Xue (Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; UNSW, Australia) @InProceedings{ASE18p177, author = {Dongjie He and Lian Li and Lei Wang and Hengjie Zheng and Guangwei Li and Jingling Xue}, title = {Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {177-176}, doi = {10.1145/3238147.3238185}, year = {2018}, } Publisher's Version Article: ase18main-p103-p doi:10.1145/3238147.3238185 ASE '18: "TDroid: Exposing App Switching ..." TDroid: Exposing App Switching Attacks in Android with Control Flow Specialization Jie Liu, Diyu Wu, and Jingling Xue (UNSW, Australia) @InProceedings{ASE18p249, author = {Jie Liu and Diyu Wu and Jingling Xue}, title = {TDroid: Exposing App Switching Attacks in Android with Control Flow Specialization}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {249-248}, doi = {10.1145/3238147.3238188}, year = {2018}, } Publisher's Version Article: ase18main-p185-p doi:10.1145/3238147.3238188
	Xue, Minhui	ASE '18: "DeepGauge: Multi-Granularity ..." DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang (Harbin Institute of Technology, China; Nanyang Technological University, Singapore; Carnegie Mellon University, USA; Kyushu University, Japan; University of Illinois at Urbana-Champaign, USA; Monash University, Australia) @InProceedings{ASE18p129, author = {Lei Ma and Felix Juefei-Xu and Fuyuan Zhang and Jiyuan Sun and Minhui Xue and Bo Li and Chunyang Chen and Ting Su and Li Li and Yang Liu and Jianjun Zhao and Yadong Wang}, title = {DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3238147.3238202}, year = {2018}, } Publisher's Version Article: ase18main-p317-p doi:10.1145/3238147.3238202
	Yan, Jiwei	ASE '18: "Characterizing and Identifying ..." Characterizing and Identifying Misexposed Activities in Android Applications Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, and Jian Zhang (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China) @InProceedings{ASE18p729, author = {Jiwei Yan and Xi Deng and Ping Wang and Tianyong Wu and Jun Yan and Jian Zhang}, title = {Characterizing and Identifying Misexposed Activities in Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {729-728}, doi = {10.1145/3238147.3238164}, year = {2018}, } Publisher's Version Article: ase18main-p167-p doi:10.1145/3238147.3238164
	Yan, Jun	ASE '18: "Characterizing and Identifying ..." Characterizing and Identifying Misexposed Activities in Android Applications Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, and Jian Zhang (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China) @InProceedings{ASE18p729, author = {Jiwei Yan and Xi Deng and Ping Wang and Tianyong Wu and Jun Yan and Jian Zhang}, title = {Characterizing and Identifying Misexposed Activities in Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {729-728}, doi = {10.1145/3238147.3238164}, year = {2018}, } Publisher's Version Article: ase18main-p167-p doi:10.1145/3238147.3238164
	Yang, Min	ASE '18: "Improving Automatic Source ..." Improving Automatic Source Code Summarization via Deep Reinforcement Learning Yao Wan, Zhou Zhao, Min Yang, Guandong Xu, Haochao Ying, Jian Wu, and Philip S. Yu (Zhejiang University, China; Chinese Academy of Sciences, China; University of Technology Sydney, Australia; University of Illinois at Chicago, USA) @InProceedings{ASE18p417, author = {Yao Wan and Zhou Zhao and Min Yang and Guandong Xu and Haochao Ying and Jian Wu and Philip S. Yu}, title = {Improving Automatic Source Code Summarization via Deep Reinforcement Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {417-416}, doi = {10.1145/3238147.3238206}, year = {2018}, } Publisher's Version Article: ase18main-p382-p doi:10.1145/3238147.3238206
	Yang, Wei	ASE '18: "An Empirical Study of Android ..." An Empirical Study of Android Test Generation Tools in Industrial Cases Wenyu Wang, Dengfeng Li, Wei Yang, Yurui Cao, Zhenwen Zhang, Yuetang Deng, and Tao Xie (University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA; Tencent, China) @InProceedings{ASE18p777, author = {Wenyu Wang and Dengfeng Li and Wei Yang and Yurui Cao and Zhenwen Zhang and Yuetang Deng and Tao Xie}, title = {An Empirical Study of Android Test Generation Tools in Industrial Cases}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {777-776}, doi = {10.1145/3238147.3240465}, year = {2018}, } Publisher's Version Article: ase18experience-p101-p doi:10.1145/3238147.3240465
	Yang, Xin	ASE '18: "VulSeeker: A Semantic Learning ..." VulSeeker: A Semantic Learning Based Vulnerability Seeker for Cross-Platform Binary Jian Gao, Xin Yang, Ying Fu, Yu Jiang, and Jiaguang Sun (Tsinghua University, China) @InProceedings{ASE18p943, author = {Jian Gao and Xin Yang and Ying Fu and Yu Jiang and Jiaguang Sun}, title = {VulSeeker: A Semantic Learning Based Vulnerability Seeker for Cross-Platform Binary}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {943-942}, doi = {10.1145/3238147.3240480}, year = {2018}, } Publisher's Version Article: ase18tools-p23-p doi:10.1145/3238147.3240480
	Ye, Luting	ASE '18: "Personalized Teammate Recommendation ..." Personalized Teammate Recommendation for Crowdsourced Software Developers Luting Ye, Hailong Sun, Xu Wang, and Jiaruijue Wang (Beihang University, China; Beijing Advanced Innovation Center for Big Data and Brain Computing, China) @InProceedings{ASE18p855, author = {Luting Ye and Hailong Sun and Xu Wang and Jiaruijue Wang}, title = {Personalized Teammate Recommendation for Crowdsourced Software Developers}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {855-854}, doi = {10.1145/3238147.3240472}, year = {2018}, } Publisher's Version Article: ase18ideas-p484-p doi:10.1145/3238147.3240472
	Yin, Liangze	ASE '18: "Scheduling Constraint Based ..." Scheduling Constraint Based Abstraction Refinement for Weak Memory Models Liangze Yin, Wei Dong, Wanwei Liu, and Ji Wang (National University of Defense Technology, China) @InProceedings{ASE18p681, author = {Liangze Yin and Wei Dong and Wanwei Liu and Ji Wang}, title = {Scheduling Constraint Based Abstraction Refinement for Weak Memory Models}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3238147.3238223}, year = {2018}, } Publisher's Version Article: ase18main-p491-p doi:10.1145/3238147.3238223
	Ying, Haochao	ASE '18: "Improving Automatic Source ..." Improving Automatic Source Code Summarization via Deep Reinforcement Learning Yao Wan, Zhou Zhao, Min Yang, Guandong Xu, Haochao Ying, Jian Wu, and Philip S. Yu (Zhejiang University, China; Chinese Academy of Sciences, China; University of Technology Sydney, Australia; University of Illinois at Chicago, USA) @InProceedings{ASE18p417, author = {Yao Wan and Zhou Zhao and Min Yang and Guandong Xu and Haochao Ying and Jian Wu and Philip S. Yu}, title = {Improving Automatic Source Code Summarization via Deep Reinforcement Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {417-416}, doi = {10.1145/3238147.3238206}, year = {2018}, } Publisher's Version Article: ase18main-p382-p doi:10.1145/3238147.3238206
	Yu, Fang	ASE '18: "A Symbolic Model Checking ..." A Symbolic Model Checking Approach to the Analysis of String and Length Constraints Hung-En Wang, Shih-Yu Chen, Fang Yu, and Jie-Hong R. Jiang (National Taiwan University, Taiwan; National Chengchi University, Taiwan) @InProceedings{ASE18p657, author = {Hung-En Wang and Shih-Yu Chen and Fang Yu and Jie-Hong R. Jiang}, title = {A Symbolic Model Checking Approach to the Analysis of String and Length Constraints}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {657-656}, doi = {10.1145/3238147.3238189}, year = {2018}, } Publisher's Version Article: ase18main-p187-p doi:10.1145/3238147.3238189
	Yu, Philip S.	ASE '18: "Improving Automatic Source ..." Improving Automatic Source Code Summarization via Deep Reinforcement Learning Yao Wan, Zhou Zhao, Min Yang, Guandong Xu, Haochao Ying, Jian Wu, and Philip S. Yu (Zhejiang University, China; Chinese Academy of Sciences, China; University of Technology Sydney, Australia; University of Illinois at Chicago, USA) @InProceedings{ASE18p417, author = {Yao Wan and Zhou Zhao and Min Yang and Guandong Xu and Haochao Ying and Jian Wu and Philip S. Yu}, title = {Improving Automatic Source Code Summarization via Deep Reinforcement Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {417-416}, doi = {10.1145/3238147.3238206}, year = {2018}, } Publisher's Version Article: ase18main-p382-p doi:10.1145/3238147.3238206
	Yu, Ping	ASE '18: "ReScue: Crafting Regular Expression ..." ReScue: Crafting Regular Expression DoS Attacks Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, and Jian Lu (Nanjing University, China) @InProceedings{ASE18p237, author = {Yuju Shen and Yanyan Jiang and Chang Xu and Ping Yu and Xiaoxing Ma and Jian Lu}, title = {ReScue: Crafting Regular Expression DoS Attacks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {237-236}, doi = {10.1145/3238147.3238159}, year = {2018}, } Publisher's Version Article: ase18main-p53-p doi:10.1145/3238147.3238159
	Yu, Tingting	ASE '18: "PerfLearner: Learning from ..." PerfLearner: Learning from Bug Reports to Understand and Generate Performance Test Frames Xue Han, Tingting Yu, and David Lo (University of Kentucky, USA; Singapore Management University, Singapore) @InProceedings{ASE18p21, author = {Xue Han and Tingting Yu and David Lo}, title = {PerfLearner: Learning from Bug Reports to Understand and Generate Performance Test Frames}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3238147.3238204}, year = {2018}, } Publisher's Version Article: ase18main-p354-p doi:10.1145/3238147.3238204
	Zaffar, Fareed	ASE '18: "TRIMMER: Application Specialization ..." TRIMMER: Application Specialization for Code Debloating Hashim Sharif, Muhammad Abubakar, Ashish Gehani, and Fareed Zaffar (University of Illinois at Urbana-Champaign, USA; Lahore University of Management Sciences, Pakistan; SRI International, USA) @InProceedings{ASE18p345, author = {Hashim Sharif and Muhammad Abubakar and Ashish Gehani and Fareed Zaffar}, title = {TRIMMER: Application Specialization for Code Debloating}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {345-344}, doi = {10.1145/3238147.3238160}, year = {2018}, } Publisher's Version Article: ase18main-p66-p doi:10.1145/3238147.3238160
	Zeller, Andreas	ASE '18: "DroidMate-2: A Platform for ..." DroidMate-2: A Platform for Android Test Generation Nataniel P. Borges Jr., Jenny Hotzkow, and Andreas Zeller (Saarland University, Germany) @InProceedings{ASE18p963, author = {Nataniel P. Borges Jr. and Jenny Hotzkow and Andreas Zeller}, title = {DroidMate-2: A Platform for Android Test Generation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {963-962}, doi = {10.1145/3238147.3240479}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Article: ase18tools-p22-p doi:10.1145/3238147.3240479
	Zhai, Juan	ASE '18: "Dual-Force: Understanding ..." Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, and Jianhua Zhao (Nanjing University, China; Purdue University, USA) @InProceedings{ASE18p753, author = {Zhenhao Tang and Juan Zhai and Minxue Pan and Yousra Aafer and Shiqing Ma and Xiangyu Zhang and Jianhua Zhao}, title = {Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {753-752}, doi = {10.1145/3238147.3238221}, year = {2018}, } Publisher's Version Article: ase18main-p486-p doi:10.1145/3238147.3238221
	Zhang, Chao	ASE '18: "αDiff: Cross-Version Binary ..." αDiff: Cross-Version Binary Code Similarity Detection with DNN Bingchang Liu, Wei Huo, Chao Zhang, Wenchao Li, Feng Li, Aihua Piao, and Wei Zou (Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Tsinghua University, China) @InProceedings{ASE18p705, author = {Bingchang Liu and Wei Huo and Chao Zhang and Wenchao Li and Feng Li and Aihua Piao and Wei Zou}, title = {αDiff: Cross-Version Binary Code Similarity Detection with DNN}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {705-704}, doi = {10.1145/3238147.3238199}, year = {2018}, } Publisher's Version Article: ase18main-p282-p doi:10.1145/3238147.3238199
	Zhang, Dongdi	ASE '18: "PFix: Fixing Concurrency Bugs ..." PFix: Fixing Concurrency Bugs Based on Memory Access Patterns Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, and Guangning Wei (Tianjin University, China; Singapore University of Technology and Design, Singapore) @InProceedings{ASE18p621, author = {Huarui Lin and Zan Wang and Shuang Liu and Jun Sun and Dongdi Zhang and Guangning Wei}, title = {PFix: Fixing Concurrency Bugs Based on Memory Access Patterns}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {621-620}, doi = {10.1145/3238147.3238198}, year = {2018}, } Publisher's Version Article: ase18main-p275-p doi:10.1145/3238147.3238198
	Zhang, Dongmei	ASE '18: "Expandable Group Identification ..." Expandable Group Identification in Spreadsheets Wensheng Dou, Shi Han, Liang Xu, Dongmei Zhang, and Jun Wei (University of Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Microsoft Research, China) @InProceedings{ASE18p525, author = {Wensheng Dou and Shi Han and Liang Xu and Dongmei Zhang and Jun Wei}, title = {Expandable Group Identification in Spreadsheets}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {525-524}, doi = {10.1145/3238147.3238222}, year = {2018}, } Publisher's Version Article: ase18main-p488-p doi:10.1145/3238147.3238222
	Zhang, Fuyuan	ASE '18: "DeepGauge: Multi-Granularity ..." DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang (Harbin Institute of Technology, China; Nanyang Technological University, Singapore; Carnegie Mellon University, USA; Kyushu University, Japan; University of Illinois at Urbana-Champaign, USA; Monash University, Australia) @InProceedings{ASE18p129, author = {Lei Ma and Felix Juefei-Xu and Fuyuan Zhang and Jiyuan Sun and Minhui Xue and Bo Li and Chunyang Chen and Ting Su and Li Li and Yang Liu and Jianjun Zhao and Yadong Wang}, title = {DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3238147.3238202}, year = {2018}, } Publisher's Version Article: ase18main-p317-p doi:10.1145/3238147.3238202
	Zhang, Jian	ASE '18: "Characterizing and Identifying ..." Characterizing and Identifying Misexposed Activities in Android Applications Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, and Jian Zhang (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China) @InProceedings{ASE18p729, author = {Jiwei Yan and Xi Deng and Ping Wang and Tianyong Wu and Jun Yan and Jian Zhang}, title = {Characterizing and Identifying Misexposed Activities in Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {729-728}, doi = {10.1145/3238147.3238164}, year = {2018}, } Publisher's Version Article: ase18main-p167-p doi:10.1145/3238147.3238164
	Zhang, Lingming	ASE '18: "DeepRoad: GAN-Based Metamorphic ..." DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, and Sarfraz Khurshid (University of Texas at Austin, USA; Southern University of Science and Technology, China; University of Texas at Dallas, USA) @InProceedings{ASE18p141, author = {Mengshi Zhang and Yuqun Zhang and Lingming Zhang and Cong Liu and Sarfraz Khurshid}, title = {DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3238147.3238187}, year = {2018}, } Publisher's Version Article: ase18main-p160-p doi:10.1145/3238147.3238187
	Zhang, Mengshi	ASE '18: "DeepRoad: GAN-Based Metamorphic ..." DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, and Sarfraz Khurshid (University of Texas at Austin, USA; Southern University of Science and Technology, China; University of Texas at Dallas, USA) @InProceedings{ASE18p141, author = {Mengshi Zhang and Yuqun Zhang and Lingming Zhang and Cong Liu and Sarfraz Khurshid}, title = {DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3238147.3238187}, year = {2018}, } Publisher's Version Article: ase18main-p160-p doi:10.1145/3238147.3238187
	Zhang, Xiangyu	ASE '18: "Dual-Force: Understanding ..." Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, and Jianhua Zhao (Nanjing University, China; Purdue University, USA) @InProceedings{ASE18p753, author = {Zhenhao Tang and Juan Zhai and Minxue Pan and Yousra Aafer and Shiqing Ma and Xiangyu Zhang and Jianhua Zhao}, title = {Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {753-752}, doi = {10.1145/3238147.3238221}, year = {2018}, } Publisher's Version Article: ase18main-p486-p doi:10.1145/3238147.3238221
	Zhang, Yuqun	ASE '18: "DeepRoad: GAN-Based Metamorphic ..." DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, and Sarfraz Khurshid (University of Texas at Austin, USA; Southern University of Science and Technology, China; University of Texas at Dallas, USA) @InProceedings{ASE18p141, author = {Mengshi Zhang and Yuqun Zhang and Lingming Zhang and Cong Liu and Sarfraz Khurshid}, title = {DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3238147.3238187}, year = {2018}, } Publisher's Version Article: ase18main-p160-p doi:10.1145/3238147.3238187
	Zhang, Zhenwen	ASE '18: "An Empirical Study of Android ..." An Empirical Study of Android Test Generation Tools in Industrial Cases Wenyu Wang, Dengfeng Li, Wei Yang, Yurui Cao, Zhenwen Zhang, Yuetang Deng, and Tao Xie (University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA; Tencent, China) @InProceedings{ASE18p777, author = {Wenyu Wang and Dengfeng Li and Wei Yang and Yurui Cao and Zhenwen Zhang and Yuetang Deng and Tao Xie}, title = {An Empirical Study of Android Test Generation Tools in Industrial Cases}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {777-776}, doi = {10.1145/3238147.3240465}, year = {2018}, } Publisher's Version Article: ase18experience-p101-p doi:10.1145/3238147.3240465
	Zhao, Jianhua	ASE '18: "Dual-Force: Understanding ..." Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, and Jianhua Zhao (Nanjing University, China; Purdue University, USA) @InProceedings{ASE18p753, author = {Zhenhao Tang and Juan Zhai and Minxue Pan and Yousra Aafer and Shiqing Ma and Xiangyu Zhang and Jianhua Zhao}, title = {Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {753-752}, doi = {10.1145/3238147.3238221}, year = {2018}, } Publisher's Version Article: ase18main-p486-p doi:10.1145/3238147.3238221
	Zhao, Jianjun	ASE '18: "DeepGauge: Multi-Granularity ..." DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang (Harbin Institute of Technology, China; Nanyang Technological University, Singapore; Carnegie Mellon University, USA; Kyushu University, Japan; University of Illinois at Urbana-Champaign, USA; Monash University, Australia) @InProceedings{ASE18p129, author = {Lei Ma and Felix Juefei-Xu and Fuyuan Zhang and Jiyuan Sun and Minhui Xue and Bo Li and Chunyang Chen and Ting Su and Li Li and Yang Liu and Jianjun Zhao and Yadong Wang}, title = {DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3238147.3238202}, year = {2018}, } Publisher's Version Article: ase18main-p317-p doi:10.1145/3238147.3238202
	Zhao, Wenqi	ASE '18: "S-gram: Towards Semantic-Aware ..." S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, and Jiaguang Sun (Tsinghua University, China; Peking University, China; Ant Financial, China) @InProceedings{ASE18p861, author = {Han Liu and Chao Liu and Wenqi Zhao and Yu Jiang and Jiaguang Sun}, title = {S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {861-860}, doi = {10.1145/3238147.3240728}, year = {2018}, } Publisher's Version Article: ase18ideas-p196-p doi:10.1145/3238147.3240728
	Zhao, Wenyun	ASE '18: "ClDiff: Generating Concise ..." ClDiff: Generating Concise Linked Code Differences Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou, Ying Wang, Yang Liu, and Wenyun Zhao (Fudan University, China; Nanyang Technological University, Singapore) @InProceedings{ASE18p717, author = {Kaifeng Huang and Bihuan Chen and Xin Peng and Daihong Zhou and Ying Wang and Yang Liu and Wenyun Zhao}, title = {ClDiff: Generating Concise Linked Code Differences}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {717-716}, doi = {10.1145/3238147.3238219}, year = {2018}, } Publisher's Version Article: ase18main-p461-p doi:10.1145/3238147.3238219
	Zhao, Yixue	ASE '18: "Empirically Assessing Opportunities ..." Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps Yixue Zhao, Paul Wat, Marcelo Schmitt Laser, and Nenad Medvidović (University of Southern California, USA) @InProceedings{ASE18p585, author = {Yixue Zhao and Paul Wat and Marcelo Schmitt Laser and Nenad Medvidović}, title = {Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {585-584}, doi = {10.1145/3238147.3238215}, year = {2018}, } Publisher's Version Article: ase18main-p441-p doi:10.1145/3238147.3238215
	Zhao, Zhou	ASE '18: "Improving Automatic Source ..." Improving Automatic Source Code Summarization via Deep Reinforcement Learning Yao Wan, Zhou Zhao, Min Yang, Guandong Xu, Haochao Ying, Jian Wu, and Philip S. Yu (Zhejiang University, China; Chinese Academy of Sciences, China; University of Technology Sydney, Australia; University of Illinois at Chicago, USA) @InProceedings{ASE18p417, author = {Yao Wan and Zhou Zhao and Min Yang and Guandong Xu and Haochao Ying and Jian Wu and Philip S. Yu}, title = {Improving Automatic Source Code Summarization via Deep Reinforcement Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {417-416}, doi = {10.1145/3238147.3238206}, year = {2018}, } Publisher's Version Article: ase18main-p382-p doi:10.1145/3238147.3238206
	Zheng, Hengjie	ASE '18: "Understanding and Detecting ..." Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, and Jingling Xue (Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; UNSW, Australia) @InProceedings{ASE18p177, author = {Dongjie He and Lian Li and Lei Wang and Hengjie Zheng and Guangwei Li and Jingling Xue}, title = {Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {177-176}, doi = {10.1145/3238147.3238185}, year = {2018}, } Publisher's Version Article: ase18main-p103-p doi:10.1145/3238147.3238185
	Zheng, Qinghua	ASE '18: "node2defect: Using Network ..." node2defect: Using Network Embedding to Improve Software Defect Prediction Yu Qu, Ting Liu, Jianlei Chi, Yangxu Jin, Di Cui, Ancheng He, and Qinghua Zheng (Xi'an Jiaotong University, China) @InProceedings{ASE18p891, author = {Yu Qu and Ting Liu and Jianlei Chi and Yangxu Jin and Di Cui and Ancheng He and Qinghua Zheng}, title = {node2defect: Using Network Embedding to Improve Software Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {891-890}, doi = {10.1145/3238147.3240469}, year = {2018}, } Publisher's Version Article: ase18ideas-p469-p doi:10.1145/3238147.3240469
	Zhou, Daihong	ASE '18: "ClDiff: Generating Concise ..." ClDiff: Generating Concise Linked Code Differences Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou, Ying Wang, Yang Liu, and Wenyun Zhao (Fudan University, China; Nanyang Technological University, Singapore) @InProceedings{ASE18p717, author = {Kaifeng Huang and Bihuan Chen and Xin Peng and Daihong Zhou and Ying Wang and Yang Liu and Wenyun Zhao}, title = {ClDiff: Generating Concise Linked Code Differences}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {717-716}, doi = {10.1145/3238147.3238219}, year = {2018}, } Publisher's Version Article: ase18main-p461-p doi:10.1145/3238147.3238219
	Zhou, Minghui	ASE '18: "A Neural Framework for Retrieval ..." A Neural Framework for Retrieval and Summarization of Source Code Qingying Chen and Minghui Zhou (Peking University, China) @InProceedings{ASE18p873, author = {Qingying Chen and Minghui Zhou}, title = {A Neural Framework for Retrieval and Summarization of Source Code}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {873-872}, doi = {10.1145/3238147.3240471}, year = {2018}, } Publisher's Version Article: ase18ideas-p466-p doi:10.1145/3238147.3240471
	Zhou, Xiang	ASE '18: "Delta Debugging Microservice ..." Delta Debugging Microservice Systems Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, and Dan Ding (Fudan University, China; University of Illinois at Urbana-Champaign, USA; Singapore University of Technology and Design, Singapore) @InProceedings{ASE18p849, author = {Xiang Zhou and Xin Peng and Tao Xie and Jun Sun and Wenhai Li and Chao Ji and Dan Ding}, title = {Delta Debugging Microservice Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {849-848}, doi = {10.1145/3238147.3240730}, year = {2018}, } Publisher's Version Article: ase18ideas-p318-p doi:10.1145/3238147.3240730
	Zou, Wei	ASE '18: "αDiff: Cross-Version Binary ..." αDiff: Cross-Version Binary Code Similarity Detection with DNN Bingchang Liu, Wei Huo, Chao Zhang, Wenchao Li, Feng Li, Aihua Piao, and Wei Zou (Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Tsinghua University, China) @InProceedings{ASE18p705, author = {Bingchang Liu and Wei Huo and Chao Zhang and Wenchao Li and Feng Li and Aihua Piao and Wei Zou}, title = {αDiff: Cross-Version Binary Code Similarity Detection with DNN}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {705-704}, doi = {10.1145/3238147.3238199}, year = {2018}, } Publisher's Version Article: ase18main-p282-p doi:10.1145/3238147.3238199
	Zou, Yanzhen	ASE '18: "Deep Learning Based Feature ..." Deep Learning Based Feature Envy Detection Hui Liu, Zhifeng Xu, and Yanzhen Zou (Beijing Institute of Technology, China; Peking University, China) @InProceedings{ASE18p405, author = {Hui Liu and Zhifeng Xu and Yanzhen Zou}, title = {Deep Learning Based Feature Envy Detection}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {405-404}, doi = {10.1145/3238147.3238166}, year = {2018}, } Publisher's Version Article: ase18main-p247-p doi:10.1145/3238147.3238166