ASE 2017
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)
Powered by
Conference Publishing Consulting

2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), October 30 – November 3, 2017, Urbana-Champaign, IL, USA

ASE 2017 – Author Index

Contents - Abstracts - Authors

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

Aafer, Yousra ASE '17: "UI Driven Android Application ..." ASE '17: "PAD: Programming Third-Party ..."
Abate, Alessandro ASE '17-DEMO: "DSSynth: An Automated Digital ..."
Abdelrasoul, Mahmoud ASE '17: "Promoting Secondary Orders ..."
Agarwal, Yuvraj ASE '17: "Transfer Learning for Performance ..."
Ahmed, Toufique ASE '17: "SentiCR: A Customized Sentiment ..."
Alatawi, Eman ASE '17: "Leveraging Abstract Interpretation ..."
Aleti, Aldeida ASE '17: "Analysing the Fitness Landscape ..."
Ali, Karim ASE '17-DEMO: "CogniCrypt: Supporting Developers ..."
Amarasinghe, Saman ASE '17-DEMO: "taco: A Tool to Generate Tensor ..."
Aniche, Maurício ASE '17: "Why and How JavaScript Developers ..."
Apel, Sven ASE '17: "Renaming and Shifted Code ..."
Aranovich, Raul ASE '17: "Perceived Language Complexity ..."
Armaly, Ameer ASE '17: "Automatically Generating Commit ..."
Asaduzzaman, Muhammad ASE '17-DEMO: "FEMIR: A Tool for Recommending ..."
Avdiienko, Vitalii ASE '17: "Detecting Information Flow ..."
Bandara, Arosha K. ASE '17: "Learning to Share: Engineering ..."
Bavota, Gabriele ASE '17: "Automatically Assessing Code ..."
Benatallah, Boualem ASE '17: "Programming Bots by Synthesizing ..."
Bessa, Iury ASE '17-DEMO: "DSSynth: An Automated Digital ..."
Binkley, David ASE '17: "Predicting Relevance of Change ..."
Bodden, Eric ASE '17-DEMO: "CogniCrypt: Supporting Developers ..."
Boehm, Barry ASE '17: "Understanding Feature Requests ..." ASE '17: "Improving Missing Issue-Commit ..."
Böhme, Marcel ASE '17: "Detecting Information Flow ..."
Bokor, Péter ASE '17: "Quick Verification of Concurrent ..."
Boockmann, Jan H. ASE '17: "DSIbin: Identifying Dynamic ..."
Bos, Herbert ASE '17: "DSIbin: Identifying Dynamic ..."
Bosu, Amiangshu ASE '17: "SentiCR: A Customized Sentiment ..."
Braberman, Víctor ASE '17: "Model Checker Execution Reports ..."
Briand, Lionel C. ASE '17: "Synthetic Data Generation ..."
Brun, Yuriy ASE '17: "Tortoise: Interactive System ..."
Bu, Lei ASE '17: "Sketch-Guided GUI Test Generation ..."
Busari, Saheed A. ASE '17-DOC: "Towards Search-Based Modelling ..."
Cabot, Jordi ASE '17: "Gremlin-ATL: A Scalable Model ..."
Cadar, Cristian ASE '17: "Automatic Testing of Symbolic ..." ASE '17: "Floating-Point Symbolic Execution: ..."
Cai, Yan ASE '17: "Automatically Assessing Crashes ..." ASE '17: "UNDEAD: Detecting and Preventing ..."
Caiuta, Rafael ASE '17: "Meta-learning Based Selection ..."
Calikli, Gul ASE '17: "Learning to Share: Engineering ..."
Candido, Jeanderson ASE '17: "Test Suite Parallelization ..."
Canino, Anthony ASE '17: "Understanding and Overcoming ..."
Casati, Fabio ASE '17: "Programming Bots by Synthesizing ..."
Castaño, Rodrigo ASE '17: "Model Checker Execution Reports ..."
Castor, Fernando ASE '17: "Understanding and Overcoming ..."
Cattaruzza, Dario ASE '17-DEMO: "DSSynth: An Automated Digital ..."
Celik, Ahmet ASE '17: "iCoq: Regression Proof Selection ..."
Cha, Sang Kil ASE '17: "Testing Intermediate Representations ..."
Chai Barukh, Moshe ASE '17: "Programming Bots by Synthesizing ..."
Chan, W. K. ASE '17: "SimplyDroid: Efficient Event ..."
Chapman, Carl ASE '17: "Exploring Regular Expression ..."
Chaves, Lennon ASE '17-DEMO: "DSSynth: An Automated Digital ..."
Chen, Celia ASE '17: "Understanding Feature Requests ..." ASE '17: "Improving Missing Issue-Commit ..."
Chen, Enhong ASE '17: "Systematically Testing Background ..."
Chen, Jia ASE '17: "Static Detection of Asymptotic ..."
Chen, Liushan ASE '17: "Contract-Based Program Repair ..."
Chen, Xi ASE '17: "DSIbin: Identifying Dynamic ..."
Chen, Xin ASE '17: "Sketch-Guided GUI Test Generation ..."
Cheng, Haoliang ASE '17: "Sketch-Guided GUI Test Generation ..."
Cheng, Lin ASE '17: "Systematic Reduction of GUI ..."
Cheng, Xi ASE '17-DEMO: "IntPTI: Automatic Integer ..."
Chou, Stephen ASE '17-DEMO: "taco: A Tool to Generate Tensor ..."
Chrisment, Isabelle ASE '17-DEMO: "ANDROFLEET: Testing WiFi Peer-to-Peer ..."
Cleland-Huang, Jane ASE '17-DEMO: "TiQi: A Natural Language Interface ..." ASE '17: "Diagnosing Assumption Problems ..."
Cohen, Myra B. ASE '17-DEMO: "EventFlowSlicer: A Tool for ..."
Coppa, Emilio ASE '17: "Rethinking Pointer Reasoning ..."
Coppik, Nicolas ASE '17: "TrEKer: Tracing Error Propagation ..."
Cordeiro, Lucas ASE '17-DEMO: "DSSynth: An Automated Digital ..."
Corradini, Flavio ASE '17-DEMO: "BProVe: Tool Support for Business ..." ASE '17: "BProVe: A Formal Verification ..."
D’Amorim, Marcelo ASE '17: "Test Suite Parallelization ..."
Daniel, Gwendal ASE '17: "Gremlin-ATL: A Scalable Model ..."
David, Cristina ASE '17-DEMO: "DSSynth: An Automated Digital ..."
De Lara, Juan ASE '17: "The Rise of the (Modelling) ..."
D’Elia, Daniele Cono ASE '17: "Rethinking Pointer Reasoning ..."
Della Toffola, Luca ASE '17: "Saying ’Hi!’ Is Not Enough: ..."
Demetrescu, Camil ASE '17: "Rethinking Pointer Reasoning ..."
Demmler, Daniel ASE '17-DEMO: "CogniCrypt: Supporting Developers ..."
Deursen, Arie van ASE '17-KEY: "Software Engineering without ..." ASE '17: "Why and How JavaScript Developers ..."
Dickens, Luke ASE '17: "Learning to Share: Engineering ..."
Di Franco, Anthony ASE '17: "A Comprehensive Study of Real-World ..."
Dillig, Isil ASE '17: "Static Detection of Asymptotic ..."
Donaldson, Alastair F. ASE '17: "Floating-Point Symbolic Execution: ..."
Dong, Jinsong ASE '17: "Mining Implicit Design Templates ..."
Dou, Wensheng ASE '17: "A Comprehensive Study on Real ..."
Duan, Zhao ASE '17: "More Effective Interpolations ..."
Duan, Zhenhua ASE '17: "More Effective Interpolations ..."
Dwyer, Matthew B. ASE '17: "Comprehensive Failure Characterization ..." ASE '17: "SymInfer: Inferring Program ..."
Erata, Ferhat ASE '17-DEMO: "ModelWriter: Text and Model-Synchronized ..."
Eugster, Patrick ASE '17: "PAD: Programming Third-Party ..."
Faerevaag, Markus ASE '17: "Testing Intermediate Representations ..."
Fazzini, Mattia ASE '17: "Automated Cross-Platform Inconsistency ..."
Feng, Dengguo ASE '17: "Automatically Assessing Crashes ..."
Filkov, Vladimir ASE '17: "The Impact of Continuous Integration ..." ASE '17: "Perceived Language Complexity ..."
Fischer, Bernd ASE '17: "Parallel Bug-Finding in Concurrent ..."
Fischmeister, Sebastian ASE '17-DEMO: "TREM: A Tool for Mining Timed ..."
Fornari, Fabrizio ASE '17-DEMO: "BProVe: Tool Support for Business ..." ASE '17: "BProVe: A Formal Verification ..."
Fu, Yang ASE '17: "Recommending Crowdsourced ..."
Furia, Carlo A. ASE '17: "Contract-Based Program Repair ..."
Gacek, Andrew ASE '17: "Proof-Based Coverage Metrics ..."
Ganapathy, Vinod ASE '17: "Detecting Plagiarized Mobile ..."
Gao, Chushu ASE '17: "A Comprehensive Study on Real ..."
Gao, Jian ASE '17: "A Language Model for Statements ..."
Gao, Yu ASE '17: "A Comprehensive Study on Real ..."
Garbervetsky, Diego ASE '17: "Model Checker Execution Reports ..."
Gardent, Claire ASE '17-DEMO: "ModelWriter: Text and Model-Synchronized ..."
Garrido, Alejandra ASE '17-DEMO: "Kobold: Web Usability as a ..."
Gasparic, Marko ASE '17: "Context-Aware Integrated Development ..."
Gerrard, Mitchell J. ASE '17: "Comprehensive Failure Characterization ..."
Ghassabani, Elaheh ASE '17: "Proof-Based Coverage Metrics ..."
Gligoric, Milos ASE '17: "iCoq: Regression Proof Selection ..."
Godefroid, Patrice ASE '17: "Learn&Fuzz: Machine Learning ..."
Göpfert, Florian ASE '17-DEMO: "CogniCrypt: Supporting Developers ..."
Gokhale, Amruta ASE '17: "Detecting Plagiarized Mobile ..."
Gomez, Maria ASE '17-DEMO: "ANDROFLEET: Testing WiFi Peer-to-Peer ..."
Goss, William ASE '17-DEMO: "TiQi: A Natural Language Interface ..."
Grigera, Julián ASE '17-DEMO: "Kobold: Web Usability as a ..."
Griswold, William G. ASE '17: "Semantics-Assisted Code Review: ..."
Grünbacher, Paul ASE '17-DEMO: "Visualization Support for ..." ASE '17: "Mining Constraints for Event-based ..."
Grunske, Lars ASE '17: "Analysing the Fitness Landscape ..."
Gu, Ming ASE '17-DEMO: "A Static Analysis Tool with ..." ASE '17-DEMO: "IntPTI: Automatic Integer ..." ASE '17: "A Language Model for Statements ..."
Günther, Felix ASE '17-DEMO: "CogniCrypt: Supporting Developers ..."
Guerra, Esther ASE '17: "The Rise of the (Modelling) ..."
Guerriero, Michele ASE '17-DOC: "Privacy-Aware Data-Intensive ..."
Guha, Arjun ASE '17: "Tortoise: Interactive System ..."
Guo, Hui ASE '17: "A Comprehensive Study of Real-World ..."
Guo, Jin ASE '17-DEMO: "TiQi: A Natural Language Interface ..."
Gurbanov, Tural ASE '17: "Context-Aware Integrated Development ..."
Gyawali, Bikash ASE '17-DEMO: "ModelWriter: Text and Model-Synchronized ..."
Han, DongGyun ASE '17: "Are Developers Aware of the ..."
Han, Jiawei ASE '17-KEY: "Mining Structures from Massive ..."
Hansen, Henri ASE '17: "FiB: Squeezing Loop Invariants ..."
Harman, Mark ASE '17: "Are Developers Aware of the ..." ASE '17: "Crowd Intelligence Enhances ..."
He, Liang ASE '17: "Automatically Assessing Crashes ..."
Heimdahl, Mats P. E. ASE '17: "Proof-Based Coverage Metrics ..."
Hellendoorn, Vincent ASE '17: "Perceived Language Complexity ..."
Herfert, Satia ASE '17: "Automatically Reducing Tree-Structured ..."
Higo, Yoshiki ASE '17: "Generating Simpler AST Edit ..."
Holzmann, Gerard ASE '17-KEY: "Cobra - An Interactive Static ..."
Hou, Daqing ASE '17-DEMO: "FEMIR: A Tool for Recommending ..."
Hu, Hong ASE '17: "Automatically Assessing Crashes ..."
Huang, Huafeng ASE '17: "Automatically Assessing Crashes ..."
Huang, Jeff ASE '17: "EHBDroid: Beyond GUI Testing ..."
Huang, Jianjun ASE '17: "UI Driven Android Application ..."
Hwang, Sungjae ASE '17: "All about Activity Injection: ..."
Incerto, Emilio ASE '17: "Software Performance Self-Adaptation ..."
Iqbal, Anindya ASE '17: "SentiCR: A Customized Sentiment ..."
Jamshidi, Pooyan ASE '17: "Transfer Learning for Performance ..."
Jia, Xiangkun ASE '17: "Automatically Assessing Crashes ..."
Jia, Yue ASE '17: "Crowd Intelligence Enhances ..."
Jiang, Bo ASE '17: "SimplyDroid: Efficient Event ..."
Jiang, Siyuan ASE '17: "Automatically Generating Commit ..."
Jiang, Yu ASE '17-DEMO: "A Static Analysis Tool with ..." ASE '17: "A Language Model for Statements ..."
Jouault, Frédéric ASE '17: "Gremlin-ATL: A Scalable Model ..."
Jung, Minkyu ASE '17: "Testing Intermediate Representations ..."
Jung, SeungIl ASE '17: "Testing Intermediate Representations ..."
Jurado, Francisco ASE '17: "The Rise of the (Modelling) ..."
Kästner, Christian ASE '17: "Transfer Learning for Performance ..." ASE '17: "Renaming and Shifted Code ..."
Kamath, Ram ASE '17-DEMO: "CogniCrypt: Supporting Developers ..."
Kamil, Shoaib ASE '17-DEMO: "taco: A Tool to Generate Tensor ..."
Kapus, Timotej ASE '17: "Automatic Testing of Symbolic ..."
Kardas, Geylani ASE '17-DEMO: "ModelWriter: Text and Model-Synchronized ..."
Kargén, Ulf ASE '17: "Towards Robust Instruction-Level ..."
Kavaler, David ASE '17: "Perceived Language Complexity ..."
Kehrer, Timo ASE '17-DEMO: "Incrementally Slicing Editable ..."
Kelter, Udo ASE '17-DEMO: "Incrementally Slicing Editable ..."
Kesseli, Pascal ASE '17-DEMO: "DSSynth: An Automated Digital ..."
Khatchadourian, Raffi ASE '17-DEMO: "Defaultification Refactoring: ..."
Khomh, Foutse ASE '17-DEMO: "Opiner: An Opinion Search ..." ASE '17: "Automatic Summarization of ..."
Kim, Daeyoung ASE '17: "Detecting Plagiarized Mobile ..."
Kim, I.-Luk ASE '17: "PAD: Programming Third-Party ..."
Kim, Soomin ASE '17: "Testing Intermediate Representations ..."
Kjolstad, Fredrik ASE '17-DEMO: "taco: A Tool to Generate Tensor ..."
Krinke, Jens ASE '17: "Are Developers Aware of the ..."
Krishna, Rahul ASE '17-DOC: "Learning Effective Changes ..."
Krismayer, Thomas ASE '17-DEMO: "Visualization Support for ..." ASE '17: "Mining Constraints for Event-based ..."
Kritzinger, Lisa Maria ASE '17-DEMO: "Visualization Support for ..."
Kroening, Daniel ASE '17-DEMO: "DSSynth: An Automated Digital ..."
Krüger, Stefan ASE '17-DEMO: "CogniCrypt: Supporting Developers ..."
Kusano, Markus ASE '17: "Modular Verification of Interrupt-Driven ..."
Kusumoto, Shinji ASE '17: "Generating Simpler AST Edit ..."
Kwon, Yonghwi ASE '17: "PAD: Programming Third-Party ..."
La Torre, Salvatore ASE '17: "Parallel Bug-Finding in Concurrent ..."
Lazaar, Nadjib ASE '17: "Fault Localization using Itemset ..."
Le, Quang Loc ASE '17: "Automatic Loop-Invariant Generation ..."
Lebbah, Yahia ASE '17: "Fault Localization using Itemset ..."
Lee, JongHyup ASE '17: "Testing Intermediate Representations ..."
Lee, Sungho ASE '17: "All about Activity Injection: ..."
Lee, Wen-Chuan ASE '17: "PAD: Programming Third-Party ..."
Lee, Youn Kyu ASE '17-DEMO: "SEALANT: A Detection and Visualization ..."
Legunsen, Owolabi ASE '17-DEMO: "STARTS: STAtic Regression ..."
Lerner, Sorin ASE '17: "Parsimony: An IDE for Example-Guided ..."
Leßenich, Olaf ASE '17: "Renaming and Shifted Code ..."
Leung, Alan ASE '17: "Parsimony: An IDE for Example-Guided ..."
Leung, Hareton ASE '17: "Understanding the Value of ..."
Levine, Mark ASE '17: "Learning to Share: Engineering ..."
Li, Jiaying ASE '17: "Automatic Loop-Invariant Generation ..."
Li, Li ASE '17: "Automatic Loop-Invariant Generation ..."
Li, Shoubin ASE '17: "Understanding Feature Requests ..."
Li, Teng ASE '17: "SimplyDroid: Efficient Event ..."
Li, Xuandong ASE '17: "Sketch-Guided GUI Test Generation ..."
Li, Yi ASE '17-DOC: "Managing Software Evolution ..."
Liang, Chieh-Jan Mike ASE '17: "Systematically Testing Background ..."
Liang, Zhenkai ASE '17: "Automatically Assessing Crashes ..."
Liew, Daniel ASE '17: "Floating-Point Symbolic Execution: ..."
Lin, Calvin ASE '17: "Static Detection of Asymptotic ..."
Lin, Jinfeng ASE '17-DEMO: "TiQi: A Natural Language Interface ..."
Lin, Shang-Wei ASE '17: "FiB: Squeezing Loop Invariants ..." ASE '17: "Automatic Loop-Invariant Generation ..."
Lin, Yun ASE '17: "Mining Implicit Design Templates ..."
Lin, Zeqi ASE '17: "Improving Software Text Retrieval ..."
Linares-Vásquez, Mario ASE '17: "Automatically Assessing Code ..."
Liu, Han ASE '17: "A Language Model for Statements ..."
Liu, Hongyu ASE '17: "UNDEAD: Detecting and Preventing ..."
Liu, Jinping ASE '17: "Understanding the Value of ..."
Liu, Tongping ASE '17: "UNDEAD: Detecting and Preventing ..."
Liu, Wenchuang ASE '17-DEMO: "TiQi: A Natural Language Interface ..."
Liu, Yalin ASE '17-DEMO: "TiQi: A Natural Language Interface ..."
Liu, Yang ASE '17: "FiB: Squeezing Loop Invariants ..." ASE '17: "Mining Implicit Design Templates ..."
Liu, Yingqi ASE '17: "PAD: Programming Third-Party ..."
Liu, Yu David ASE '17: "Understanding and Overcoming ..."
Liu, Yunxin ASE '17: "Systematically Testing Background ..."
Lo, David ASE '17: "AnswerBot: Automated Generation ..." ASE '17: "APIBot: Question Answering ..." ASE '17: "An Effective Change Recommendation ..."
Lohar, Sugandha ASE '17-DEMO: "TiQi: A Natural Language Interface ..."
Loudni, Samir ASE '17: "Fault Localization using Itemset ..."
Lu, Hongmin ASE '17: "Understanding the Value of ..."
Lüttgen, Gerald ASE '17: "DSIbin: Identifying Dynamic ..."
Lugato, David ASE '17-DEMO: "taco: A Tool to Generate Tensor ..."
Lussaud, Yvan ASE '17-DEMO: "ModelWriter: Text and Model-Synchronized ..."
Lutz, Robyn ASE '17: "Diagnosing Assumption Problems ..."
Lyu, Yingjun ASE '17: "ELIXIR: Effective Object Oriented ..."
Maamar, Mehdi ASE '17: "Fault Localization using Itemset ..."
Mao, Ke ASE '17: "Crowd Intelligence Enhances ..."
Marinov, Darko ASE '17-DEMO: "STARTS: STAtic Regression ..."
Masuhara, Hidehiko ASE '17-DEMO: "Defaultification Refactoring: ..."
Mathis, Björn ASE '17: "Detecting Information Flow ..."
McMillan, Collin ASE '17: "Automatically Generating Commit ..."
Medvidovic, Nenad ASE '17-DEMO: "SEALANT: A Detection and Visualization ..."
Meftah, Lakhdar ASE '17-DEMO: "ANDROFLEET: Testing WiFi Peer-to-Peer ..."
Melo, Luis ASE '17: "Test Suite Parallelization ..."
Menarini, Massimiliano ASE '17: "Semantics-Assisted Code Review: ..."
Meng, Guozhu ASE '17: "Mining Implicit Design Templates ..."
Meng, Weijie ASE '17: "PAD: Programming Third-Party ..."
Mesbah, Ali ASE '17: "Detecting Unknown Inconsistencies ..."
Metzler, Patrick ASE '17: "Quick Verification of Concurrent ..."
Mezini, Mira ASE '17-DEMO: "CogniCrypt: Supporting Developers ..."
Miller, Tim ASE '17: "Leveraging Abstract Interpretation ..."
Mills, Chris ASE '17-DOC: "Towards the Automatic Classification ..."
Mirhosseini, Samim ASE '17: "Can Automated Pull Requests ..."
Monaikul, Natawut ASE '17-DEMO: "TiQi: A Natural Language Interface ..."
Monceaux, Anne ASE '17-DEMO: "ModelWriter: Text and Model-Synchronized ..."
Moonen, Leon ASE '17: "Predicting Relevance of Change ..."
Moser, I. ASE '17: "Analysing the Fitness Landscape ..."
Nadi, Sarah ASE '17-DEMO: "CogniCrypt: Supporting Developers ..."
Nam, Daye ASE '17-DEMO: "SEALANT: A Detection and Visualization ..."
Narayan, Apurva ASE '17-DEMO: "TREM: A Tool for Mining Timed ..."
Nguyen, ThanhVu ASE '17: "SymInfer: Inferring Program ..."
Nguyen, Truc L. ASE '17: "Parallel Bug-Finding in Concurrent ..."
Nielebock, Sebastian ASE '17-DOC: "Towards API-Specific Automatic ..."
Nuseibeh, Bashar ASE '17: "Learning to Share: Engineering ..." ASE '17: "O2O Service Composition with ..."
Ocariza, Jr., Frolin S. ASE '17: "Detecting Unknown Inconsistencies ..."
Oh, DongYeop ASE '17: "Testing Intermediate Representations ..."
Ohrndorf, Manuel ASE '17-DEMO: "Incrementally Slicing Editable ..."
Ohtani, Akio ASE '17: "Generating Simpler AST Edit ..."
Oliveto, Rocco ASE '17: "Automatically Assessing Code ..."
Olivo, Oswaldo ASE '17: "Static Detection of Asymptotic ..."
Ong, C.-H. Luke ASE '17: "More Effective Interpolations ..."
Orso, Alessandro ASE '17: "Automated Cross-Platform Inconsistency ..."