ESEC/FSE 2017
2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017)
Powered by
Conference Publishing Consulting

2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), September 4–8, 2017, Paderborn, Germany

ESEC/FSE 2017 – Author Index

Contents - Abstracts - Authors

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

Aafer, Yousra ESEC/FSE '17: "LAMP: Data Provenance for ..."
Abdalkareem, Rabe ESEC/FSE '17: "Why Do Developers Use Trivial ..." ESEC/FSE '17-SRC: "Reasons and Drawbacks of using ..."
Abusair, Mai ESEC/FSE '17-DOC: "User- and Analysis-Driven ..."
Adzic, Gojko ESEC/FSE '17-IND: "Serverless Computing: Economic ..."
Aguirre, Nazareno ESEC/FSE '17-DEMO: "DynAlloy Analyzer: A Tool ..." ESEC/FSE '17-DEMO: "CLTSA: Labelled Transition ..."
Ahmadian, Amir Shayan ESEC/FSE '17-DEMO: "Model-Based Privacy and Security ..."
Ahmed, Umair Z. ESEC/FSE '17: "A Feasibility Study of Using ..."
Albarghouthi, Aws ESEC/FSE '17: "Discovering Relational Specifications ..."
Aliabadi, Maryam Raiyat ESEC/FSE '17: "ARTINALI: Dynamic Invariant ..."
Alrajeh, Dalal ESEC/FSE '17: "On Evidence Preservation Requirements ..."
Amann, Sven ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..."
Amidon, Peter ESEC/FSE '17: "Automatic Inference of Code ..."
Angelov, Samuil ESEC/FSE '17-IND: "Reference Architectures and ..."
Antonopoulos, Timos ESEC/FSE '17: "Counterexample-Guided Approach ..."
Apel, Sven ESEC/FSE '17: "Measuring Neural Efficiency ..." ESEC/FSE '17: "Attributed Variability Models: ..." ESEC/FSE '17: "Using Bad Learners to Find ..."
Atlee, Joanne M. ESEC/FSE '17: "Continuous Variable-Specific ..."
Aydin, Abdulbaki ESEC/FSE '17: "Constraint Normalization and ..."
Bagherzadeh, Mojtaba ESEC/FSE '17: "Model-Level, Platform-Independent ..."
Barnett, Michael ESEC/FSE '17-IND: "Static Analysis for Optimizing ..."
Batory, Don ESEC/FSE '17: "Finding Near-Optimal Configurations ..."
Bavota, Gabriele ESEC/FSE '17: "Enabling Mutation Testing ..." ESEC/FSE '17: "Detecting Missing Information ..."
Begel, Andrew ESEC/FSE '17: "Measuring Neural Efficiency ..."
Bergmann, Gábor ESEC/FSE '17-DEMO: "The MONDO Collaboration Framework: ..."
Bernal-Cárdenas, Carlos ESEC/FSE '17: "Enabling Mutation Testing ..."
Bethmann, Anja ESEC/FSE '17: "Measuring Neural Efficiency ..."
Bianchi, Francesco A. ESEC/FSE '17: "Reproducing Concurrency Failures ..."
Bianculli, Domenico ESEC/FSE '17-DEMO: "JoanAudit: A Tool for Auditing ..."
Binkley, David ESEC/FSE '17: "Generalized Observational ..."
Böhme, Marcel ESEC/FSE '17: "Where Is the Bug and How Is ..."
Bos, Jeroen van den ESEC/FSE '17-IND: "Model-Driven Software Engineering ..."
Brechmann, André ESEC/FSE '17: "Measuring Neural Efficiency ..."
Brennan, Tegan ESEC/FSE '17: "Constraint Normalization and ..."
Briand, Lionel C. ESEC/FSE '17-DEMO: "JoanAudit: A Tool for Auditing ..." ESEC/FSE '17-IND: "Automated Testing of Hybrid ..."
Brown, David Bingham ESEC/FSE '17: "The Care and Feeding of Wild-Caught ..."
Brun, Yuriy ESEC/FSE '17: "Fairness Testing: Testing ..."
Bu, Wenqi ESEC/FSE '17-IND: "When Program Analysis Meets ..."
Bultan, Tevfik ESEC/FSE '17: "Constraint Normalization and ..."
Bunyakiati, Panuchart ESEC/FSE '17-DEMO: "Cherry-Picking of Code Commits ..."
Búr, Márton ESEC/FSE '17-DEMO: "The MONDO Collaboration Framework: ..."
Cai, Yan ESEC/FSE '17: "AtexRace: Across Thread and ..." ESEC/FSE '17: "Adaptively Generating High ..."
Cao, Lingwei ESEC/FSE '17: "Adaptively Generating High ..."
Cappos, Justin ESEC/FSE '17: "Understanding Misunderstandings ..."
Casalnuovo, Casey ESEC/FSE '17: "Recovering Clear, Natural ..."
Castelluccio, Marco ESEC/FSE '17: "Automatically Analyzing Groups ..."
Cedrim, Diego ESEC/FSE '17: "Understanding the Impact of ..."
Celik, Ahmet ESEC/FSE '17: "Regression Test Selection ..."
Chandramohan, Mahinthan ESEC/FSE '17: "Steelix: Program-State Based ..."
Chaparro, Oscar ESEC/FSE '17: "Detecting Missing Information ..."
Chatley, Robert ESEC/FSE '17-IND: "Serverless Computing: Economic ..."
Chattopadhyay, Sudipta ESEC/FSE '17: "Where Is the Bug and How Is ..."
Chaudhuri, Swarat ESEC/FSE '17: "Bayesian Specification Learning ..."
Chávez, Alexander ESEC/FSE '17: "Understanding the Impact of ..."
Chen, Bihuan ESEC/FSE '17: "Loopster: Static Loop Termination ..." ESEC/FSE '17: "Steelix: Program-State Based ..."
Chen, Qingying ESEC/FSE '17: "On the Scalability of Linux ..."
Chen, Yuting ESEC/FSE '17: "Guided, Stochastic Model-Based ..."
Chen, Zhenbang ESEC/FSE '17-DEMO: "RGSE: A Regular Property Guided ..."
Cheung, Shing-Chi ESEC/FSE '17: "OASIS: Prioritizing Static ..."
Christakis, Maria ESEC/FSE '17: "Failure-Directed Program Trimming ..."
Chu, Duc-Hiep ESEC/FSE '17: "S3: Syntax- and Semantic-Guided ..."
Coelho, Jailton ESEC/FSE '17: "Why Modern Open Source Projects ..."
Cornejo, César ESEC/FSE '17-DEMO: "DynAlloy Analyzer: A Tool ..."
Creeten, Christophe ESEC/FSE '17-IND: "Model-Driven Software Engineering ..."
Dahlke, Jannik ESEC/FSE '17-DEMO: "From Scenario Modeling to ..."
Danas, Natasha ESEC/FSE '17: "The Power of "Why" ..."
D'Antoni, Loris ESEC/FSE '17: "NoFAQ: Synthesizing Command ..."
Davidson, Drew ESEC/FSE '17: "Cimplifier: Automatically ..."
Debreceni, Csaba ESEC/FSE '17-DEMO: "The MONDO Collaboration Framework: ..."
De Carli, Lorenzo ESEC/FSE '17: "Cimplifier: Automatically ..."
Degiovanni, Renzo ESEC/FSE '17-DEMO: "CLTSA: Labelled Transition ..."
DeLong, Lois ESEC/FSE '17: "Understanding Misunderstandings ..."
De Mello, Rafael ESEC/FSE '17: "Understanding the Impact of ..."
Deng, Yuetang ESEC/FSE '17-IND: "Record and Replay for Android: ..."
De Oliveira, Marcos César ESEC/FSE '17-DOC: "DRACO: Discovering Refactorings ..."
Devanbu, Premkumar ESEC/FSE '17: "Are Deep Neural Networks the ..." ESEC/FSE '17: "Recovering Clear, Natural ..."
Dietsch, Daniel ESEC/FSE '17: "Craig vs. Newton in Software ..."
Dig, Danny ESEC/FSE '17: "Trade-Offs in Continuous Integration: ..."
Dijk, Roel van ESEC/FSE '17-IND: "Model-Driven Software Engineering ..."
Dillig, Isil ESEC/FSE '17: "Failure-Directed Program Trimming ..."
Dingel, Juergen ESEC/FSE '17: "Model-Level, Platform-Independent ..."
Di Penta, Massimiliano ESEC/FSE '17: "Enabling Mutation Testing ..." ESEC/FSE '17: "Detecting Missing Information ..."
D'Ippolito, Nicolas ESEC/FSE '17-DEMO: "CLTSA: Labelled Transition ..."
Donaldson, Alastair F. ESEC/FSE '17: "Cooperative Kernels: GPU Multitasking ..."
Dong, Wei ESEC/FSE '17-DEMO: "RGSE: A Regular Property Guided ..."
Dotzler, Georg ESEC/FSE '17: "More Accurate Recommendations ..."
Dougherty, Daniel J. ESEC/FSE '17: "The Power of "Why" ..."
Dovgalyuk, Pavel ESEC/FSE '17-DEMO: "QEMU-Based Framework for Non-intrusive ..."
Easterbrook, Steve ESEC/FSE '17-INV: "Verifying the Forecast: How ..."
Eden, Anthony ESEC/FSE '17: "CodeCarbonCopy ..."
Eichberg, Michael ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..."
Ellmann, Mathias ESEC/FSE '17-DOC: "On the Similarity of Software ..."
Emmerich, Wolfgang ESEC/FSE '17-INV: "Software Engineering Research ..."
Erata, Ferhat ESEC/FSE '17-DEMO: "A Tool for Automated Reasoning ..."
Erenkrantz, Justin R. ESEC/FSE '17-INV: "Reflections on the REST Architectural ..."
Evrard, Hugues ESEC/FSE '17: "Cooperative Kernels: GPU Multitasking ..."
Ferles, Kostas ESEC/FSE '17: "Failure-Directed Program Trimming ..."
Ferns, Gabriel ESEC/FSE '17: "Discovering Relational Specifications ..."
Fielding, Roy T. ESEC/FSE '17-INV: "Reflections on the REST Architectural ..."
Filieri, Antonio ESEC/FSE '17: "Automated Control of Multiple ..."
Fonseca, Baldoino ESEC/FSE '17: "Understanding the Impact of ..."
Frias, Marcelo ESEC/FSE '17-DEMO: "DynAlloy Analyzer: A Tool ..."
Fu, Wei ESEC/FSE '17: "Revisiting Unsupervised Learning ..." ESEC/FSE '17: "Easy over Hard: A Case Study ..."
Fursova, Natalia ESEC/FSE '17-DEMO: "QEMU-Based Framework for Non-intrusive ..."
Galeotti, Juan Pablo ESEC/FSE '17-DEMO: "DynAlloy Analyzer: A Tool ..."
Galhotra, Sainyam ESEC/FSE '17: "Fairness Testing: Testing ..."
Galster, Matthias ESEC/FSE '17-IND: "Reference Architectures and ..."
Gantayat, Neelamadhav ESEC/FSE '17-IND: "Natural Language Querying ..."
Garbervetsky, Diego ESEC/FSE '17-IND: "Static Analysis for Optimizing ..." ESEC/FSE '17: "Toward Full Elasticity in ..."
Garcés, Kelly ESEC/FSE '17-IND: "Improving Understanding of ..."
Garcia, Alessandro ESEC/FSE '17: "Understanding the Impact of ..."
García, Jair ESEC/FSE '17-IND: "Improving Understanding of ..."
Garcia, Joshua ESEC/FSE '17: "Automatic Generation of Inter-Component ..."
Gascon-Samson, Julien ESEC/FSE '17: "ARTINALI: Dynamic Invariant ..."
Gazzillo, Paul ESEC/FSE '17: "Kmax: Finding All Configurations ..."
Gheyi, Rohit ESEC/FSE '17: "Understanding the Impact of ..."
Ghezzi, Carlo ESEC/FSE '17: "Modeling and Verification ..."
Ghorbani, Negar ESEC/FSE '17: "Automatic Generation of Inter-Component ..."
Glanz, Leonid ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..."
Gligoric, Milos ESEC/FSE '17-IND: "File-Level vs. Module-Level ..." ESEC/FSE '17: "Regression Test Selection ..."
Goknil, Arda ESEC/FSE '17-DEMO: "A Tool for Automated Reasoning ..."
Gold, Nicolas E. ESEC/FSE '17: "Generalized Observational ..."
Gopstein, Dan ESEC/FSE '17: "Understanding Misunderstandings ..."
Gorlick, Michael M. ESEC/FSE '17-INV: "Reflections on the REST Architectural ..."
Gousios, Georgios ESEC/FSE '17-IND: "Strong Agile Metrics: Mining ..."
Greenyer, Joel ESEC/FSE '17-DEMO: "From Scenario Modeling to ..."
Gritzner, Daniel ESEC/FSE '17-DEMO: "From Scenario Modeling to ..."
Guo, Shengjian ESEC/FSE '17: "Symbolic Execution of Programmable ..."
Guo, Yu ESEC/FSE '17: "AtexRace: Across Thread and ..."
Gutiérrez Brida, Simón ESEC/FSE '17-DEMO: "DynAlloy Analyzer: A Tool ..."
Ham, Jeroen van der ESEC/FSE '17-IND: "Model-Driven Software Engineering ..."
Hammad, Mahmoud ESEC/FSE '17: "Automatic Generation of Inter-Component ..."
Harman, Mark ESEC/FSE '17: "Generalized Observational ..."
Harms, Holger ESEC/FSE '17-IND: "Guidelines for Adopting Frontend ..."
Heizmann, Matthias ESEC/FSE '17: "Craig vs. Newton in Software ..."
Hellendoorn, Vincent J. ESEC/FSE '17: "Are Deep Neural Networks the ..."
Heo, Min-Jae ESEC/FSE '17-IND: "Applying Deep Learning Based ..."
Hermann, Ben ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..."
Hicks, Michael ESEC/FSE '17: "Counterexample-Guided Approach ..."
Hili, Nicolas ESEC/FSE '17: "Model-Level, Platform-Independent ..."
Hilton, Michael ESEC/FSE '17: "Trade-Offs in Continuous Integration: ..."
Hoek, André van der ESEC/FSE '17: "Understanding the Impact of ..."
Hoffmann, Henry ESEC/FSE '17: "Automated Control of Multiple ..."
Hofmeister, Johannes ESEC/FSE '17: "Measuring Neural Efficiency ..."
Holmes, Reid ESEC/FSE '17: "Measuring the Cost of Regression ..."
Huijgens, Hennie ESEC/FSE '17-IND: "Strong Agile Metrics: Mining ..."
Iannacone, Jake ESEC/FSE '17: "Understanding Misunderstandings ..."
Inozemtseva, Laura ESEC/FSE '17: "Measuring the Cost of Regression ..."
Islam, Syed ESEC/FSE '17: "Generalized Observational ..."
Ivanov, Vladimir ESEC/FSE '17-IND: "What Do Software Engineers ..."
Jabbarvand, Reyhaneh ESEC/FSE '17: "µDroid: An Energy-Aware Mutation ..." ESEC/FSE '17: "PATDroid: Permission-Aware ..."
Jaffe, Alan ESEC/FSE '17-SRC: "Suggesting Meaningful Variable ..."
Jeong, Gaeul ESEC/FSE '17-IND: "Applying Deep Learning Based ..."
Jermaine, Chris ESEC/FSE '17: "Bayesian Specification Learning ..."
Jha, Somesh ESEC/FSE '17: "Cimplifier: Automatically ..."
Jürjens, Jan ESEC/FSE '17-DEMO: "Model-Based Privacy and Security ..."
Käfer, Verena ESEC/FSE '17-DOC: "Summarizing Software Engineering ..."
Kästner, Christian ESEC/FSE '17: "Measuring Neural Efficiency ..."
Kamath, Amita Ajith ESEC/FSE '17: "ARTINALI: Dynamic Invariant ..."
Kamp, Marius ESEC/FSE '17: "More Accurate Recommendations ..."
Kardas, Geylani ESEC/FSE '17-DEMO: "A Tool for Automated Reasoning ..."
Karkare, Amey ESEC/FSE '17: "A Feasibility Study of Using ..."
Kehrer, Timo ESEC/FSE '17: "Modeling and Verification ..."
Khare, Rohit ESEC/FSE '17-INV: "Reflections on the REST Architectural ..."
Kim, Milhan ESEC/FSE '17-IND: "Applying Deep Learning Based ..."
Knüppel, Alexander ESEC/FSE '17: "Is There a Mismatch between ..."
Kögel, Stefan ESEC/FSE '17-DOC: "Recommender System for Model ..."
König, Florian ESEC/FSE '17-DEMO: "From Scenario Modeling to ..."
Kohli, Ayush ESEC/FSE '17-SRC: "DecisionDroid: A Supervised ..."
Kreutzer, Patrick ESEC/FSE '17: "More Accurate Recommendations ..."
Krinke, Jens ESEC/FSE '17: "Generalized Observational ..."
Krishnamurthi, Shriram ESEC/FSE '17: "The Power of "Why" ..."
Kusano, Markus ESEC/FSE '17: "Thread-Modular Static Analysis ..."
Kuvent, Aviv ESEC/FSE '17: "A Symbolic Justice Violations ..."
Kwak, Thomas ESEC/FSE '17: "Understanding the Impact of ..."
Labuschagne, Adriaan ESEC/FSE '17: "Measuring the Cost of Regression ..."
Lahtinen, Eric ESEC/FSE '17: "CodeCarbonCopy ..."
Lam, Wing ESEC/FSE '17-IND: "Record and Replay for Android: ..."
Lamping, Robert ESEC/FSE '17-IND: "Strong Agile Metrics: Mining ..."
Le, Xuan-Bach D. ESEC/FSE '17-DEMO: "XSearch: A Domain-Specific ..." ESEC/FSE '17: "S3: Syntax- and Semantic-Guided ..."
Lee, Chan-Gun ESEC/FSE '17-IND: "Applying Deep Learning Based ..."
Lee, Sun-Ro ESEC/FSE '17-IND: "Applying Deep Learning Based ..."
Lee, Wen-Chuan ESEC/FSE '17: "LAMP: Data Provenance for ..."
Le Goues, Claire ESEC/FSE '17: "S3: Syntax- and Semantic-Guided ..."
Lerch, Johannes ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..."
Li, Dengfeng ESEC/FSE '17-IND: "Record and Replay for Android: ..."
Li, Xiaohong ESEC/FSE '17: "Loopster: Static Loop Termination ..."
Li, Yuekang ESEC/FSE '17: "Steelix: Program-State Based ..."
Liblit, Ben ESEC/FSE '17: "The Care and Feeding of Wild-Caught ..."
Lin, Shang-Wei ESEC/FSE '17: "Loopster: Static Loop Termination ..." ESEC/FSE '17: "Steelix: Program-State Based ..."
Linares-Vásquez, Mario ESEC/FSE '17: "Enabling Mutation Testing ..."
Liu, Yang ESEC/FSE '17: "Guided, Stochastic Model-Based ..." ESEC/FSE '17: "Loopster: Static Loop Termination ..." ESEC/FSE '17: "Steelix: Program-State Based ..."
Liu, Yepang ESEC/FSE '17: "OASIS: Prioritizing Static ..."
Liu, Yingqi ESEC/FSE '17: "LAMP: Data Provenance for ..."
Liu, Yuefei ESEC/FSE '17: "Better Test Cases for Better ..."
Livshits, Benjamin ESEC/FSE '17: "Toward Full Elasticity in ..."
Llerena, Yamilet R. Serrano ESEC/FSE '17: "Probabilistic Model Checking ..."
Lo, David ESEC/FSE '17-DEMO: "XSearch: A Domain-Specific ..." ESEC/FSE '17: "S3: Syntax- and Semantic-Guided ..."
Lo Iacono, Luigi ESEC/FSE '17-IND: "Guidelines for Adopting Frontend ..."
Long, Fan ESEC/FSE '17: "Automatic Inference of Code ..." ESEC/FSE '17: "CodeCarbonCopy ..."
Lu, Jing ESEC/FSE '17: "Detecting Missing Information ..."
Luo, Hui ESEC/FSE '17-IND: "Record and Replay for Android: ..."
Ma, Shiqing ESEC/FSE '17: "LAMP: Data Provenance for ..."
Maggio, Martina ESEC/FSE '17: "Automated Control of Multiple ..."
Makarov, Vladimir ESEC/FSE '17-DEMO: "QEMU-Based Framework for Non-intrusive ..."
Malek, Sam ESEC/FSE '17: "µDroid: An Energy-Aware Mutation ..." ESEC/FSE '17: "Automatic Generation of Inter-Component ..." ESEC/FSE '17: "PATDroid: Permission-Aware ..."
Mani, Senthil ESEC/FSE '17-IND: "Natural Language Querying ..."
Maoz, Shahar ESEC/FSE '17: "A Symbolic Justice Violations ..."
Marcus, Andrian ESEC/FSE '17: "Detecting Missing Information ..."
Mariani, Leonardo ESEC/FSE '17-DEMO: "VART: A Tool for the Automatic ..." ESEC/FSE '17: "BDCI: Behavioral Driven Conflict ..."
Marin, Victor J. ESEC/FSE '17-DEMO: "ARCC: Assistant for Repetitive ..."
Marinov, Darko ESEC/FSE '17: "Trade-Offs in Continuous Integration: ..."
Martie, Lee ESEC/FSE '17: "Understanding the Impact of ..."
Martínez-Fernández, Silverio ESEC/FSE '17-IND: "Reference Architectures and ..."
Matinnejad, Reza ESEC/FSE '17-IND: "Automated Testing of Hybrid ..."
McDaniel, Patrick ESEC/FSE '17: "Cimplifier: Automatically ..."
Meinicke, Jens ESEC/FSE '17: "Is There a Mismatch between ..."
Meliou, Alexandra ESEC/FSE '17: "Fairness Testing: Testing ..."
Meng, Guozhu ESEC/FSE '17: "Guided, Stochastic Model-Based ..."
Mennicke, Stephan ESEC/FSE '17: "Is There a Mismatch between ..."
Menzies, Tim ESEC/FSE '17: "Revisiting Unsupervised Learning ..." ESEC/FSE '17: "Using Bad Learners to Find ..." ESEC/FSE '17: "Easy over Hard: A Case Study ..."
Mezini, Mira ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..."
Micucci, Daniela ESEC/FSE '17: "BDCI: Behavioral Driven Conflict ..."
Milicevic, Aleksandar ESEC/FSE '17-IND: "File-Level vs. Module-Level ..." ESEC/FSE '17: "Regression Test Selection ..."
Mills, Chris ESEC/FSE '17-SRC: "Automating Traceability Link ..."
Mitchell, Barry ESEC/FSE '17-IND: "Natural Language Querying ..."
Mockus, Audris ESEC/FSE '17: "On the Scalability of Linux ..."
Mongiovi, Melina ESEC/FSE '17: "Understanding the Impact of ..."
Moran, Kevin ESEC/FSE '17: "Enabling Mutation Testing ..."
Moreno, Laura ESEC/FSE '17: "Detecting Missing Information ..."