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 ..." Article: fse17main-mainid227-p doi:
Abdalkareem, Rabe ESEC/FSE '17: "Why Do Developers Use Trivial ..." Article: fse17main-mainid134-p doi: ESEC/FSE '17: "Reasons and Drawbacks of using ..." Article: fse17src-srcid10-p doi:
Abusair, Mai ESEC/FSE '17: "User- and Analysis-Driven ..." Article: fse17doc-docid6-p doi:
Adzic, Gojko ESEC/FSE '17: "Serverless Computing: Economic ..." Article: fse17ind-indid5-p doi:
Aguirre, Nazareno ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..." Article: fse17demo-demoid350-p doi: ESEC/FSE '17: "CLTSA: Labelled Transition ..." Article: fse17demo-demoid353-p doi:
Ahmadian, Amir Shayan ESEC/FSE '17: "Model-Based Privacy and Security ..." Article: fse17demo-demoid345-p doi:
Ahmed, Umair Z. ESEC/FSE '17: "A Feasibility Study of Using ..." Article: fse17main-mainid116-p doi:
Albarghouthi, Aws ESEC/FSE '17: "Discovering Relational Specifications ..." Article: fse17main-mainid185-p doi:
Aliabadi, Maryam Raiyat ESEC/FSE '17: "ARTINALI: Dynamic Invariant ..." Article: fse17main-mainid193-p doi:
Alrajeh, Dalal ESEC/FSE '17: "On Evidence Preservation Requirements ..." Article: fse17main-mainid304-p doi:
Amann, Sven ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..." Article: fse17main-mainid289-p doi:
Amidon, Peter ESEC/FSE '17: "Automatic Inference of Code ..." Article: fse17main-mainid79-p doi:
Angelov, Samuil ESEC/FSE '17: "Reference Architectures and ..." Article: fse17ind-indid27-p doi:
Antonopoulos, Timos ESEC/FSE '17: "Counterexample-Guided Approach ..." Article: fse17main-mainid191-p doi:
Apel, Sven ESEC/FSE '17: "Measuring Neural Efficiency ..." Article: fse17main-mainid135-p doi: ESEC/FSE '17: "Using Bad Learners to Find ..." Article: fse17main-mainid14-p doi: ESEC/FSE '17: "Attributed Variability Models: ..." Article: fse17main-mainid73-p doi:
Atlee, Joanne M. ESEC/FSE '17: "Continuous Variable-Specific ..." Article: fse17main-mainid284-p doi:
Aydin, Abdulbaki ESEC/FSE '17: "Constraint Normalization and ..." Article: fse17main-mainid287-p doi:
Bagherzadeh, Mojtaba ESEC/FSE '17: "Model-Level, Platform-Independent ..." Article: fse17main-mainid182-p doi:
Barnett, Michael ESEC/FSE '17: "Static Analysis for Optimizing ..." Article: fse17ind-indid28-p doi:
Batory, Don ESEC/FSE '17: "Finding Near-Optimal Configurations ..." Article: fse17main-mainid152-p doi:
Bavota, Gabriele ESEC/FSE '17: "Enabling Mutation Testing ..." Article: fse17main-mainid157-p doi: ESEC/FSE '17: "Detecting Missing Information ..." Article: fse17main-mainid206-p doi:
Begel, Andrew ESEC/FSE '17: "Measuring Neural Efficiency ..." Article: fse17main-mainid135-p doi:
Bergmann, Gábor ESEC/FSE '17: "The MONDO Collaboration Framework: ..." Article: fse17demo-demoid354-p doi:
Bernal-Cárdenas, Carlos ESEC/FSE '17: "Enabling Mutation Testing ..." Article: fse17main-mainid157-p doi:
Bethmann, Anja ESEC/FSE '17: "Measuring Neural Efficiency ..." Article: fse17main-mainid135-p doi:
Bianchi, Francesco A. ESEC/FSE '17: "Reproducing Concurrency Failures ..." Article: fse17main-mainid233-p doi:
Bianculli, Domenico ESEC/FSE '17: "JoanAudit: A Tool for Auditing ..." Article: fse17demo-demoid341-p doi:
Binkley, David ESEC/FSE '17: "Generalized Observational ..." Article: fse17main-mainid288-p doi:
Böhme, Marcel ESEC/FSE '17: "Where Is the Bug and How Is ..." Article: fse17main-mainid85-p doi:
Bos, Jeroen van den ESEC/FSE '17: "Model-Driven Software Engineering ..." Article: fse17ind-indid30-p doi:
Brechmann, André ESEC/FSE '17: "Measuring Neural Efficiency ..." Article: fse17main-mainid135-p doi:
Brennan, Tegan ESEC/FSE '17: "Constraint Normalization and ..." Article: fse17main-mainid287-p doi:
Briand, Lionel C. ESEC/FSE '17: "JoanAudit: A Tool for Auditing ..." Article: fse17demo-demoid341-p doi: ESEC/FSE '17: "Automated Testing of Hybrid ..." Article: fse17ind-indid9-p doi:
Brown, David Bingham ESEC/FSE '17: "The Care and Feeding of Wild-Caught ..." Article: fse17main-mainid188-p doi:
Brun, Yuriy ESEC/FSE '17: "Fairness Testing: Testing ..." Article: fse17main-mainid177-p doi:
Bu, Wenqi ESEC/FSE '17: "When Program Analysis Meets ..." Article: fse17ind-indid20-p doi:
Bultan, Tevfik ESEC/FSE '17: "Constraint Normalization and ..." Article: fse17main-mainid287-p doi:
Bunyakiati, Panuchart ESEC/FSE '17: "Cherry-Picking of Code Commits ..." Article: fse17demo-demoid320-p doi:
Búr, Márton ESEC/FSE '17: "The MONDO Collaboration Framework: ..." Article: fse17demo-demoid354-p doi:
Cai, Yan ESEC/FSE '17: "Adaptively Generating High ..." Article: fse17main-mainid22-p doi: ESEC/FSE '17: "AtexRace: Across Thread and ..." Article: fse17main-mainid29-p doi:
Cao, Lingwei ESEC/FSE '17: "Adaptively Generating High ..." Article: fse17main-mainid22-p doi:
Cappos, Justin ESEC/FSE '17: "Understanding Misunderstandings ..." Article: fse17main-mainid119-p doi:
Casalnuovo, Casey ESEC/FSE '17: "Recovering Clear, Natural ..." Article: fse17main-mainid223-p doi:
Castelluccio, Marco ESEC/FSE '17: "Automatically Analyzing Groups ..." Article: fse17main-mainid295-p doi:
Cedrim, Diego ESEC/FSE '17: "Understanding the Impact of ..." Article: fse17main-mainid97-p doi:
Celik, Ahmet ESEC/FSE '17: "Regression Test Selection ..." Article: fse17main-mainid261-p doi:
Chandramohan, Mahinthan ESEC/FSE '17: "Steelix: Program-State Based ..." Article: fse17main-mainid256-p doi:
Chaparro, Oscar ESEC/FSE '17: "Detecting Missing Information ..." Article: fse17main-mainid206-p doi:
Chatley, Robert ESEC/FSE '17: "Serverless Computing: Economic ..." Article: fse17ind-indid5-p doi:
Chattopadhyay, Sudipta ESEC/FSE '17: "Where Is the Bug and How Is ..." Article: fse17main-mainid85-p doi:
Chaudhuri, Swarat ESEC/FSE '17: "Bayesian Specification Learning ..." Article: fse17main-mainid203-p doi:
Chávez, Alexander ESEC/FSE '17: "Understanding the Impact of ..." Article: fse17main-mainid97-p doi:
Chen, Bihuan ESEC/FSE '17: "Loopster: Static Loop Termination ..." Article: fse17main-mainid106-p doi: ESEC/FSE '17: "Steelix: Program-State Based ..." Article: fse17main-mainid256-p doi:
Chen, Qingying ESEC/FSE '17: "On the Scalability of Linux ..." Article: fse17main-mainid212-p doi:
Chen, Yuting ESEC/FSE '17: "Guided, Stochastic Model-Based ..." Article: fse17main-mainid263-p doi:
Chen, Zhenbang ESEC/FSE '17: "RGSE: A Regular Property Guided ..." Article: fse17demo-demoid355-p doi:
Cheung, Shing-Chi ESEC/FSE '17: "OASIS: Prioritizing Static ..." Article: fse17main-mainid251-p doi:
Christakis, Maria ESEC/FSE '17: "Failure-Directed Program Trimming ..." Article: fse17main-mainid63-p doi:
Chu, Duc-Hiep ESEC/FSE '17: "S3: Syntax- and Semantic-Guided ..." Article: fse17main-mainid307-p doi:
Coelho, Jailton ESEC/FSE '17: "Why Modern Open Source Projects ..." Article: fse17main-mainid47-p doi:
Cornejo, César ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..." Article: fse17demo-demoid350-p doi:
Creeten, Christophe ESEC/FSE '17: "Model-Driven Software Engineering ..." Article: fse17ind-indid30-p doi:
Dahlke, Jannik ESEC/FSE '17: "From Scenario Modeling to ..." Article: fse17demo-demoid352-p doi:
Danas, Natasha ESEC/FSE '17: "The Power of "Why" ..." Article: fse17main-mainid151-p doi:
D'Antoni, Loris ESEC/FSE '17: "NoFAQ: Synthesizing Command ..." Article: fse17main-mainid28-p doi:
Davidson, Drew ESEC/FSE '17: "Cimplifier: Automatically ..." Article: fse17main-mainid150-p doi:
Debreceni, Csaba ESEC/FSE '17: "The MONDO Collaboration Framework: ..." Article: fse17demo-demoid354-p doi:
De Carli, Lorenzo ESEC/FSE '17: "Cimplifier: Automatically ..." Article: fse17main-mainid150-p doi:
Degiovanni, Renzo ESEC/FSE '17: "CLTSA: Labelled Transition ..." Article: fse17demo-demoid353-p doi:
DeLong, Lois ESEC/FSE '17: "Understanding Misunderstandings ..." Article: fse17main-mainid119-p doi:
De Mello, Rafael ESEC/FSE '17: "Understanding the Impact of ..." Article: fse17main-mainid97-p doi:
Deng, Yuetang ESEC/FSE '17: "Record and Replay for Android: ..." Article: fse17ind-indid15-p doi:
De Oliveira, Marcos César ESEC/FSE '17: "DRACO: Discovering Refactorings ..." Article: fse17doc-docid14-p doi:
Devanbu, Premkumar ESEC/FSE '17: "Recovering Clear, Natural ..." Article: fse17main-mainid223-p doi: ESEC/FSE '17: "Are Deep Neural Networks the ..." Article: fse17main-mainid224-p doi:
Dietsch, Daniel ESEC/FSE '17: "Craig vs. Newton in Software ..." Article: fse17main-mainid298-p doi:
Dig, Danny ESEC/FSE '17: "Trade-Offs in Continuous Integration: ..." Article: fse17main-mainid149-p doi:
Dijk, Roel van ESEC/FSE '17: "Model-Driven Software Engineering ..." Article: fse17ind-indid30-p doi:
Dillig, Isil ESEC/FSE '17: "Failure-Directed Program Trimming ..." Article: fse17main-mainid63-p doi:
Dingel, Juergen ESEC/FSE '17: "Model-Level, Platform-Independent ..." Article: fse17main-mainid182-p doi:
Di Penta, Massimiliano ESEC/FSE '17: "Enabling Mutation Testing ..." Article: fse17main-mainid157-p doi: ESEC/FSE '17: "Detecting Missing Information ..." Article: fse17main-mainid206-p doi:
D'Ippolito, Nicolas ESEC/FSE '17: "CLTSA: Labelled Transition ..." Article: fse17demo-demoid353-p doi:
Donaldson, Alastair F. ESEC/FSE '17: "Cooperative Kernels: GPU Multitasking ..." Article: fse17main-mainid121-p doi:
Dong, Wei ESEC/FSE '17: "RGSE: A Regular Property Guided ..." Article: fse17demo-demoid355-p doi:
Dotzler, Georg ESEC/FSE '17: "More Accurate Recommendations ..." Article: fse17main-mainid175-p doi:
Dougherty, Daniel J. ESEC/FSE '17: "The Power of "Why" ..." Article: fse17main-mainid151-p doi:
Dovgalyuk, Pavel ESEC/FSE '17: "QEMU-Based Framework for Non-intrusive ..." Article: fse17demo-demoid315-p doi:
Easterbrook, Steve ESEC/FSE '17: "Verifying the Forecast: How ..." Article: fse17inv-inv1-p doi:
Eden, Anthony ESEC/FSE '17: "CodeCarbonCopy ..." Article: fse17main-mainid138-p doi:
Eichberg, Michael ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..." Article: fse17main-mainid289-p doi:
Ellmann, Mathias ESEC/FSE '17: "On the Similarity of Software ..." Article: fse17doc-docid11-p doi:
Emmerich, Wolfgang ESEC/FSE '17: "Software Engineering Research ..." Article: fse17inv-inv3-p doi:
Erata, Ferhat ESEC/FSE '17: "A Tool for Automated Reasoning ..." Article: fse17demo-demoid347-p doi:
Erenkrantz, Justin R. ESEC/FSE '17: "Reflections on the REST Architectural ..." Article: fse17inv-inv4-p doi:
Evrard, Hugues ESEC/FSE '17: "Cooperative Kernels: GPU Multitasking ..." Article: fse17main-mainid121-p doi:
Ferles, Kostas ESEC/FSE '17: "Failure-Directed Program Trimming ..." Article: fse17main-mainid63-p doi:
Ferns, Gabriel ESEC/FSE '17: "Discovering Relational Specifications ..." Article: fse17main-mainid185-p doi:
Fielding, Roy T. ESEC/FSE '17: "Reflections on the REST Architectural ..." Article: fse17inv-inv4-p doi:
Filieri, Antonio ESEC/FSE '17: "Automated Control of Multiple ..." Article: fse17main-mainid52-p doi:
Fonseca, Baldoino ESEC/FSE '17: "Understanding the Impact of ..." Article: fse17main-mainid97-p doi:
Frias, Marcelo ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..." Article: fse17demo-demoid350-p doi:
Fu, Wei ESEC/FSE '17: "Revisiting Unsupervised Learning ..." Article: fse17main-mainid88-p doi: ESEC/FSE '17: "Easy over Hard: A Case Study ..." Article: fse17main-mainid87-p doi:
Fursova, Natalia ESEC/FSE '17: "QEMU-Based Framework for Non-intrusive ..." Article: fse17demo-demoid315-p doi:
Galeotti, Juan Pablo ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..." Article: fse17demo-demoid350-p doi:
Galhotra, Sainyam ESEC/FSE '17: "Fairness Testing: Testing ..." Article: fse17main-mainid177-p doi:
Galster, Matthias ESEC/FSE '17: "Reference Architectures and ..." Article: fse17ind-indid27-p doi:
Gantayat, Neelamadhav ESEC/FSE '17: "Natural Language Querying ..." Article: fse17ind-indid32-p doi:
Garbervetsky, Diego ESEC/FSE '17: "Static Analysis for Optimizing ..." Article: fse17ind-indid28-p doi: ESEC/FSE '17: "Toward Full Elasticity in ..." Article: fse17main-mainid111-p doi:
Garcés, Kelly ESEC/FSE '17: "Improving Understanding of ..." Article: fse17ind-indid21-p doi:
Garcia, Alessandro ESEC/FSE '17: "Understanding the Impact of ..." Article: fse17main-mainid97-p doi:
García, Jair ESEC/FSE '17: "Improving Understanding of ..." Article: fse17ind-indid21-p doi:
Garcia, Joshua ESEC/FSE '17: "Automatic Generation of Inter-Component ..." Article: fse17main-mainid207-p doi:
Gascon-Samson, Julien ESEC/FSE '17: "ARTINALI: Dynamic Invariant ..." Article: fse17main-mainid193-p doi:
Gazzillo, Paul ESEC/FSE '17: "Kmax: Finding All Configurations ..." Article: fse17main-mainid198-p doi:
Gheyi, Rohit ESEC/FSE '17: "Understanding the Impact of ..." Article: fse17main-mainid97-p doi:
Ghezzi, Carlo ESEC/FSE '17: "Modeling and Verification ..." Article: fse17main-mainid268-p doi:
Ghorbani, Negar ESEC/FSE '17: "Automatic Generation of Inter-Component ..." Article: fse17main-mainid207-p doi:
Glanz, Leonid ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..." Article: fse17main-mainid289-p doi:
Gligoric, Milos ESEC/FSE '17: "File-Level vs. Module-Level ..." Article: fse17ind-indid31-p doi: ESEC/FSE '17: "Regression Test Selection ..." Article: fse17main-mainid261-p doi:
Goknil, Arda ESEC/FSE '17: "A Tool for Automated Reasoning ..." Article: fse17demo-demoid347-p doi:
Gold, Nicolas E. ESEC/FSE '17: "Generalized Observational ..." Article: fse17main-mainid288-p doi:
Gopstein, Dan ESEC/FSE '17: "Understanding Misunderstandings ..." Article: fse17main-mainid119-p doi:
Gorlick, Michael M. ESEC/FSE '17: "Reflections on the REST Architectural ..." Article: fse17inv-inv4-p doi:
Gousios, Georgios ESEC/FSE '17: "Strong Agile Metrics: Mining ..." Article: fse17ind-indid36-p doi:
Greenyer, Joel ESEC/FSE '17: "From Scenario Modeling to ..." Article: fse17demo-demoid352-p doi:
Gritzner, Daniel ESEC/FSE '17: "From Scenario Modeling to ..." Article: fse17demo-demoid352-p doi:
Guo, Shengjian ESEC/FSE '17: "Symbolic Execution of Programmable ..." Article: fse17main-mainid40-p doi:
Guo, Yu ESEC/FSE '17: "AtexRace: Across Thread and ..." Article: fse17main-mainid29-p doi:
Gutiérrez Brida, Simón ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..." Article: fse17demo-demoid350-p doi:
Ham, Jeroen van der ESEC/FSE '17: "Model-Driven Software Engineering ..." Article: fse17ind-indid30-p doi:
Hammad, Mahmoud ESEC/FSE '17: "Automatic Generation of Inter-Component ..." Article: fse17main-mainid207-p doi:
Harman, Mark ESEC/FSE '17: "Generalized Observational ..." Article: fse17main-mainid288-p doi:
Harms, Holger ESEC/FSE '17: "Guidelines for Adopting Frontend ..." Article: fse17ind-indid4-p doi:
Heizmann, Matthias ESEC/FSE '17: "Craig vs. Newton in Software ..." Article: fse17main-mainid298-p doi:
Hellendoorn, Vincent J. ESEC/FSE '17: "Are Deep Neural Networks the ..." Article: fse17main-mainid224-p doi:
Heo, Min-Jae ESEC/FSE '17: "Applying Deep Learning Based ..." Article: fse17ind-indid16-p doi:
Hermann, Ben ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..." Article: fse17main-mainid289-p doi:
Hicks, Michael ESEC/FSE '17: "Counterexample-Guided Approach ..." Article: fse17main-mainid191-p doi:
Hili, Nicolas ESEC/FSE '17: "Model-Level, Platform-Independent ..." Article: fse17main-mainid182-p doi:
Hilton, Michael ESEC/FSE '17: "Trade-Offs in Continuous Integration: ..." Article: fse17main-mainid149-p doi:
Hoek, André van der ESEC/FSE '17: "Understanding the Impact of ..." Article: fse17main-mainid237-p doi:
Hoffmann, Henry ESEC/FSE '17: "Automated Control of Multiple ..." Article: fse17main-mainid52-p doi:
Hofmeister, Johannes ESEC/FSE '17: "Measuring Neural Efficiency ..." Article: fse17main-mainid135-p doi:
Holmes, Reid ESEC/FSE '17: "Measuring the Cost of Regression ..." Article: fse17main-mainid213-p doi:
Huijgens, Hennie ESEC/FSE '17: "Strong Agile Metrics: Mining ..." Article: fse17ind-indid36-p doi:
Iannacone, Jake ESEC/FSE '17: "Understanding Misunderstandings ..." Article: fse17main-mainid119-p doi:
Inozemtseva, Laura ESEC/FSE '17: "Measuring the Cost of Regression ..." Article: fse17main-mainid213-p doi:
Islam, Syed ESEC/FSE '17: "Generalized Observational ..." Article: fse17main-mainid288-p doi:
Ivanov, Vladimir ESEC/FSE '17: "What Do Software Engineers ..." Article: fse17ind-indid34-p doi:
Jabbarvand, Reyhaneh ESEC/FSE '17: "µDroid: An Energy-Aware Mutation ..." Article: fse17main-mainid38-p doi: ESEC/FSE '17: "PATDroid: Permission-Aware ..." Article: fse17main-mainid71-p doi:
Jaffe, Alan ESEC/FSE '17: "Suggesting Meaningful Variable ..." Article: fse17src-srcid4-p doi:
Jeong, Gaeul ESEC/FSE '17: "Applying Deep Learning Based ..." Article: fse17ind-indid16-p doi:
Jermaine, Chris ESEC/FSE '17: "Bayesian Specification Learning ..." Article: fse17main-mainid203-p doi:
Jha, Somesh ESEC/FSE '17: "Cimplifier: Automatically ..." Article: fse17main-mainid150-p doi:
Jürjens, Jan ESEC/FSE '17: "Model-Based Privacy and Security ..." Article: fse17demo-demoid345-p doi:
Käfer, Verena ESEC/FSE '17: "Summarizing Software Engineering ..." Article: fse17doc-docid12-p doi:
Kamath, Amita Ajith ESEC/FSE '17: "ARTINALI: Dynamic Invariant ..." Article: fse17main-mainid193-p doi:
Kamp, Marius ESEC/FSE '17: "More Accurate Recommendations ..." Article: fse17main-mainid175-p doi:
Kardas, Geylani ESEC/FSE '17: "A Tool for Automated Reasoning ..." Article: fse17demo-demoid347-p doi:
Karkare, Amey ESEC/FSE '17: "A Feasibility Study of Using ..." Article: fse17main-mainid116-p doi:
Kästner, Christian ESEC/FSE '17: "Measuring Neural Efficiency ..." Article: fse17main-mainid135-p doi:
Kehrer, Timo ESEC/FSE '17: "Modeling and Verification ..." Article: fse17main-mainid268-p doi:
Khare, Rohit ESEC/FSE '17: "Reflections on the REST Architectural ..." Article: fse17inv-inv4-p doi:
Kim, Milhan ESEC/FSE '17: "Applying Deep Learning Based ..." Article: fse17ind-indid16-p doi:
Knüppel, Alexander ESEC/FSE '17: "Is There a Mismatch between ..." Article: fse17main-mainid74-p doi:
Kögel, Stefan ESEC/FSE '17: "Recommender System for Model ..." Article: fse17doc-docid5-p doi:
Kohli, Ayush ESEC/FSE '17: "DecisionDroid: A Supervised ..." Article: fse17src-srcid7-p doi:
König, Florian ESEC/FSE '17: "From Scenario Modeling to ..." Article: fse17demo-demoid352-p doi:
Kreutzer, Patrick ESEC/FSE '17: "More Accurate Recommendations ..." Article: fse17main-mainid175-p doi:
Krinke, Jens ESEC/FSE '17: "Generalized Observational ..." Article: fse17main-mainid288-p doi:
Krishnamurthi, Shriram ESEC/FSE '17: "The Power of "Why" ..." Article: fse17main-mainid151-p doi:
Kusano, Markus ESEC/FSE '17: "Thread-Modular Static Analysis ..." Article: fse17main-mainid37-p doi:
Kuvent, Aviv ESEC/FSE '17: "A Symbolic Justice Violations ..." Article: fse17main-mainid24-p doi:
Kwak, Thomas ESEC/FSE '17: "Understanding the Impact of ..." Article: fse17main-mainid237-p doi:
Labuschagne, Adriaan ESEC/FSE '17: "Measuring the Cost of Regression ..." Article: fse17main-mainid213-p doi:
Lahtinen, Eric ESEC/FSE '17: "CodeCarbonCopy ..." Article: fse17main-mainid138-p doi:
Lam, Wing ESEC/FSE '17: "Record and Replay for Android: ..." Article: fse17ind-indid15-p doi:
Lamping, Robert ESEC/FSE '17: "Strong Agile Metrics: Mining ..." Article: fse17ind-indid36-p doi:
Le, Xuan-Bach D. ESEC/FSE '17: "XSearch: A Domain-Specific ..." Article: fse17demo-demoid337-p doi: ESEC/FSE '17: "S3: Syntax- and Semantic-Guided ..." Article: fse17main-mainid307-p doi:
Lee, Chan-Gun ESEC/FSE '17: "Applying Deep Learning Based ..." Article: fse17ind-indid16-p doi:
Lee, Sun-Ro ESEC/FSE '17: "Applying Deep Learning Based ..." Article: fse17ind-indid16-p doi:
Lee, Wen-Chuan ESEC/FSE '17: "LAMP: Data Provenance for ..." Article: fse17main-mainid227-p doi:
Le Goues, Claire ESEC/FSE '17: "S3: Syntax- and Semantic-Guided ..." Article: fse17main-mainid307-p doi:
Lerch, Johannes ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..." Article: fse17main-mainid289-p doi:
Li, Dengfeng ESEC/FSE '17: "Record and Replay for Android: ..." Article: fse17ind-indid15-p doi:
Li, Xiaohong ESEC/FSE '17: "Loopster: Static Loop Termination ..." Article: fse17main-mainid106-p doi:
Li, Yuekang ESEC/FSE '17: "Steelix: Program-State Based ..." Article: fse17main-mainid256-p doi:
Liblit, Ben ESEC/FSE '17: "The Care and Feeding of Wild-Caught ..." Article: fse17main-mainid188-p doi:
Lin, Shang-Wei ESEC/FSE '17: "Loopster: Static Loop Termination ..." Article: fse17main-mainid106-p doi: ESEC/FSE '17: "Steelix: Program-State Based ..." Article: fse17main-mainid256-p doi:
Linares-Vásquez, Mario ESEC/FSE '17: "Enabling Mutation Testing ..." Article: fse17main-mainid157-p doi:
Liu, Yang ESEC/FSE '17: "Loopster: Static Loop Termination ..." Article: fse17main-mainid106-p doi: ESEC/FSE '17: "Guided, Stochastic Model-Based ..." Article: fse17main-mainid263-p doi: ESEC/FSE '17: "Steelix: Program-State Based ..." Article: fse17main-mainid256-p doi:
Liu, Yepang ESEC/FSE '17: "OASIS: Prioritizing Static ..." Article: fse17main-mainid251-p doi:
Liu, Yingqi ESEC/FSE '17: "LAMP: Data Provenance for ..." Article: fse17main-mainid227-p doi:
Liu, Yuefei ESEC/FSE '17: "Better Test Cases for Better ..." Article: fse17main-mainid156-p doi:
Livshits, Benjamin ESEC/FSE '17: "Toward Full Elasticity in ..." Article: fse17main-mainid111-p doi:
Llerena, Yamilet R. Serrano ESEC/FSE '17: "Probabilistic Model Checking ..." Article: fse17main-mainid275-p doi:
Lo, David ESEC/FSE '17: "XSearch: A Domain-Specific ..." Article: fse17demo-demoid337-p doi: ESEC/FSE '17: "S3: Syntax- and Semantic-Guided ..." Article: fse17main-mainid307-p doi:
Lo Iacono, Luigi ESEC/FSE '17: "Guidelines for Adopting Frontend ..." Article: fse17ind-indid4-p doi:
Long, Fan ESEC/FSE '17: "CodeCarbonCopy ..." Article: fse17main-mainid138-p doi: ESEC/FSE '17: "Automatic Inference of Code ..." Article: fse17main-mainid79-p doi:
Lu, Jing ESEC/FSE '17: "Detecting Missing Information ..." Article: fse17main-mainid206-p doi:
Luo, Hui ESEC/FSE '17: "Record and Replay for Android: ..." Article: fse17ind-indid15-p doi:
Ma, Shiqing ESEC/FSE '17: "LAMP: Data Provenance for ..." Article: fse17main-mainid227-p doi:
Maggio, Martina ESEC/FSE '17: "Automated Control of Multiple ..." Article: fse17main-mainid52-p doi:
Makarov, Vladimir ESEC/FSE '17: "QEMU-Based Framework for Non-intrusive ..." Article: fse17demo-demoid315-p doi:
Malek, Sam ESEC/FSE '17: "µDroid: An Energy-Aware Mutation ..." Article: fse17main-mainid38-p doi: ESEC/FSE '17: "PATDroid: Permission-Aware ..." Article: fse17main-mainid71-p doi: ESEC/FSE '17: "Automatic Generation of Inter-Component ..." Article: fse17main-mainid207-p doi:
Mani, Senthil ESEC/FSE '17: "Natural Language Querying ..." Article: fse17ind-indid32-p doi:
Maoz, Shahar ESEC/FSE '17: "A Symbolic Justice Violations ..." Article: fse17main-mainid24-p doi:
Marcus, Andrian ESEC/FSE '17: "Detecting Missing Information ..." Article: fse17main-mainid206-p doi:
Mariani, Leonardo ESEC/FSE '17: "VART: A Tool for the Automatic ..." Article: fse17demo-demoid327-p doi: ESEC/FSE '17: "BDCI: Behavioral Driven Conflict ..." Article: fse17main-mainid257-p doi:
Marin, Victor J. ESEC/FSE '17: "ARCC: Assistant for Repetitive ..." Article: fse17demo-demoid346-p doi:
Marinov, Darko ESEC/FSE '17: "Trade-Offs in Continuous Integration: ..." Article: fse17main-mainid149-p doi:
Martie, Lee ESEC/FSE '17: "Understanding the Impact of ..." Article: fse17main-mainid237-p doi:
Martínez-Fernández, Silverio ESEC/FSE '17: "Reference Architectures and ..." Article: fse17ind-indid27-p doi:
Matinnejad, Reza ESEC/FSE '17: "Automated Testing of Hybrid ..." Article: fse17ind-indid9-p doi:
McDaniel, Patrick ESEC/FSE '17: "Cimplifier: Automatically ..." Article: fse17main-mainid150-p doi:
Meinicke, Jens ESEC/FSE '17: "Is There a Mismatch between ..." Article: fse17main-mainid74-p doi:
Meliou, Alexandra ESEC/FSE '17: "Fairness Testing: Testing ..." Article: fse17main-mainid177-p doi:
Meng, Guozhu ESEC/FSE '17: "Guided, Stochastic Model-Based ..." Article: fse17main-mainid263-p doi:
Mennicke, Stephan ESEC/FSE '17: "Is There a Mismatch between ..." Article: fse17main-mainid74-p doi:
Menzies, Tim ESEC/FSE '17: "Revisiting Unsupervised Learning ..." Article: fse17main-mainid88-p doi: ESEC/FSE '17: "Using Bad Learners to Find ..." Article: fse17main-mainid14-p doi: ESEC/FSE '17: "Easy over Hard: A Case Study ..." Article: fse17main-mainid87-p doi:
Mezini, Mira ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..." Article: fse17main-mainid289-p doi:
Micucci, Daniela ESEC/FSE '17: "BDCI: Behavioral Driven Conflict ..." Article: fse17main-mainid257-p doi:
Milicevic, Aleksandar ESEC/FSE '17: "File-Level vs. Module-Level ..." Article: fse17ind-indid31-p doi: ESEC/FSE '17: "Regression Test Selection ..." Article: fse17main-mainid261-p doi:
Mills, Chris ESEC/FSE '17: "Automating Traceability Link ..." Article: fse17src-srcid6-p doi:
Mitchell, Barry ESEC/FSE '17: "Natural Language Querying ..." Article: fse17ind-indid32-p doi:
Mockus, Audris ESEC/FSE '17: "On the Scalability of Linux ..." Article: fse17main-mainid212-p doi:
Mongiovi, Melina ESEC/FSE '17: "Understanding the Impact of ..." Article: fse17main-mainid97-p doi:
Moran, Kevin ESEC/FSE '17: "Enabling Mutation Testing ..." Article: fse17main-mainid157-p doi:
Moreno, Laura ESEC/FSE '17: "Detecting Missing Information ..." Article: fse17main-mainid206-p doi:
Mujahid, Suhaib ESEC/FSE '17: "Why Do Developers Use Trivial ..." Article: fse17main-mainid134-p doi: ESEC/FSE '17: "Detecting Wearable App Permission ..." Article: fse17src-srcid11-p doi:
Murali, Vijayaraghavan ESEC/FSE '17: "Bayesian Specification Learning ..." Article: fse17main-mainid203-p doi:
Musa, Betim ESEC/FSE '17: "Craig vs. Newton in Software ..." Article: fse17main-mainid298-p doi:
Musuvathi, Madanlal ESEC/FSE '17: "Static Analysis for Optimizing ..." Article: fse17ind-indid28-p doi:
Myers, Margaret ESEC/FSE '17: "Finding Near-Optimal Configurations ..." Article: fse17main-mainid152-p doi:
Mytkowicz, Todd ESEC/FSE '17: "Static Analysis for Optimizing ..." Article: fse17ind-indid28-p doi:
Nagarakatte, Santosh ESEC/FSE '17: "A Fast Causal Profiler for ..." Article: fse17main-mainid80-p doi:
Nair, Vivek ESEC/FSE '17: "Using Bad Learners to Find ..." Article: fse17main-mainid14-p doi:
Nam, Jaechang ESEC/FSE '17: "QTEP: Quality-Aware Test Case ..." Article: fse17main-mainid90-p doi:
Nejati, Shiva ESEC/FSE '17: "Automated Testing of Hybrid ..." Article: fse17ind-indid9-p doi:
Nelson, Nicholas ESEC/FSE '17: "Trade-Offs in Continuous Integration: ..." Article: fse17main-mainid149-p doi:
Nelson, Tim ESEC/FSE '17: "The Power of "Why" ..." Article: fse17main-mainid151-p doi:
Ng, Vincent ESEC/FSE '17: "Detecting Missing Information ..." Article: fse17main-mainid206-p doi:
Nguyen, ThanhVu ESEC/FSE '17: "Counterexample-Guided Approach ..." Article: fse17main-mainid191-p doi:
Nigar, Natasha ESEC/FSE '17: "Model-Based Dynamic Software ..." Article: fse17doc-docid7-p doi:
Nourry, Olivier ESEC/FSE '17: "Why Do Developers Use Trivial ..." Article: fse17main-mainid134-p doi:
Nunez, Wilberto Z. ESEC/FSE '17: "ARCC: Assistant for Repetitive ..." Article: fse17demo-demoid346-p doi:
Nuseibeh, Bashar ESEC/FSE '17: "On Evidence Preservation Requirements ..." Article: fse17main-mainid304-p doi:
Nutz, Alexander ESEC/FSE '17: "Craig vs. Newton in Software ..." Article: fse17main-mainid298-p doi:
Oh, Jeho ESEC/FSE '17: "Finding Near-Optimal Configurations ..." Article: fse17main-mainid152-p doi:
Oreizy, Peyman ESEC/FSE '17: "Reflections on the REST Architectural ..." Article: fse17inv-inv4-p doi:
Papadopoulos, Alessandro Vittorio ESEC/FSE '17: "Automated Control of Multiple ..." Article: fse17main-mainid52-p doi:
Parnin, Chris ESEC/FSE '17: "Measuring Neural Efficiency ..." Article: fse17main-mainid135-p doi:
Parvez, Zuhair ESEC/FSE '17: "File-Level vs. Module-Level ..." Article: fse17ind-indid31-p doi:
Pashchenko, Ivan ESEC/FSE '17: "FOSS Version Differentiation ..." Article: fse17src-srcid3-p doi:
Pasquale, Liliana ESEC/FSE '17: "On Evidence Preservation Requirements ..." Article: fse17main-mainid304-p doi:
Pastore, Fabrizio ESEC/FSE '17: "VART: A Tool for the Automatic ..." Article: fse17demo-demoid327-p doi: ESEC/FSE '17: "BDCI: Behavioral Driven Conflict ..." Article: fse17main-mainid257-p doi:
Pattabiraman, Karthik ESEC/FSE '17: "ARTINALI: Dynamic Invariant ..." Article: fse17main-mainid193-p doi:
Pavlinovic, Zvonimir ESEC/FSE '17: "Static Analysis for Optimizing ..." Article: fse17ind-indid28-p doi:
Peitek, Norman ESEC/FSE '17: "Measuring Neural Efficiency ..." Article: fse17main-mainid135-p doi:
Peldszus, Sven ESEC/FSE '17: "Model-Based Privacy and Security ..." Article: fse17demo-demoid345-p doi:
Pezzè, Mauro ESEC/FSE '17: "Reproducing Concurrency Failures ..." Article: fse17main-mainid233-p doi:
Philippsen, Michael ESEC/FSE '17: "More Accurate Recommendations ..." Article: fse17main-mainid175-p doi:
Phipathananunth, Chadarat ESEC/FSE '17: "Cherry-Picking of Code Commits ..." Article: fse17demo-demoid320-p doi:
Podelski, Andreas ESEC/FSE '17: "Craig vs. Newton in Software ..." Article: fse17main-mainid298-p doi:
Podgurski, Andy ESEC/FSE '17: "RunDroid: Recovering Execution ..." Article: fse17demo-demoid338-p doi:
Poggi, Giovanni ESEC/FSE '17: "Automatically Analyzing Groups ..." Article: fse17main-mainid295-p doi:
Politano, Mariano ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..." Article: fse17demo-demoid350-p doi:
Ponzio, Pablo ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..." Article: fse17demo-demoid350-p doi:
Poshyvanyk, Denys ESEC/FSE '17: "Enabling Mutation Testing ..." Article: fse17main-mainid157-p doi:
Pu, Geguang ESEC/FSE '17: "Guided, Stochastic Model-Based ..." Article: fse17main-mainid263-p doi:
Rajamani, Sriram ESEC/FSE '17: "A Compiler and Verifier for ..." Article: fse17main-mainid56-p doi:
Ramadan, Qusai ESEC/FSE '17: "Model-Based Privacy and Security ..." Article: fse17demo-demoid345-p doi:
Rastogi, Vaibhav ESEC/FSE '17: "Cimplifier: Automatically ..." Article: fse17main-mainid150-p doi:
Ráth, István ESEC/FSE '17: "The MONDO Collaboration Framework: ..." Article: fse17demo-demoid354-p doi:
Raverta, Fernando ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..." Article: fse17demo-demoid350-p doi:
Ray, Baishakhi ESEC/FSE '17: "Automatically Diagnosing and ..." Article: fse17main-mainid271-p doi:
Regis, Germán ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..." Article: fse17demo-demoid350-p doi: ESEC/FSE '17: "CLTSA: Labelled Transition ..." Article: fse17demo-demoid353-p doi:
Reif, Michael ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..." Article: fse17main-mainid289-p doi:
Reps, Thomas ESEC/FSE '17: "The Care and Feeding of Wild-Caught ..." Article: fse17main-mainid188-p doi:
Ribeiro, Márcio ESEC/FSE '17: "Understanding the Impact of ..." Article: fse17main-mainid97-p doi:
Rinard, Martin ESEC/FSE '17: "CodeCarbonCopy ..." Article: fse17main-mainid138-p doi: ESEC/FSE '17: "Automatic Inference of Code ..." Article: fse17main-mainid79-p doi:
Ringert, Jan Oliver ESEC/FSE '17: "A Symbolic Justice Violations ..." Article: fse17main-mainid24-p doi:
Rivero, Carlos R. ESEC/FSE '17: "ARCC: Assistant for Repetitive ..." Article: fse17demo-demoid346-p doi:
Rogers, Alan ESEC/FSE '17: "What Do Software Engineers ..." Article: fse17ind-indid34-p doi:
Rogowski, Collin ESEC/FSE '17: "Guidelines for Adopting Frontend ..." Article: fse17ind-indid4-p doi:
Romano, Daniele ESEC/FSE '17: "Strong Agile Metrics: Mining ..." Article: fse17ind-indid36-p doi:
Rosenblum, David S. ESEC/FSE '17: "Probabilistic Model Checking ..." Article: fse17main-mainid275-p doi:
Rosner, Nicolás ESEC/FSE '17: "Constraint Normalization and ..." Article: fse17main-mainid287-p doi:
Rothengatter, Hartger ESEC/FSE '17: "Strong Agile Metrics: Mining ..." Article: fse17ind-indid36-p doi:
Roy, Subhajit ESEC/FSE '17: "Synergistic Debug-Repair of ..." Article: fse17main-mainid118-p doi:
Roychoudhury, Abhik ESEC/FSE '17: "A Feasibility Study of Using ..." Article: fse17main-mainid116-p doi:
Ruef, Andrew ESEC/FSE '17: "Counterexample-Guided Approach ..." Article: fse17main-mainid191-p doi:
Sadeghi, Alireza ESEC/FSE '17: "PATDroid: Permission-Aware ..." Article: fse17main-mainid71-p doi:
Saha, Diptikalyan ESEC/FSE '17: "Natural Language Querying ..." Article: fse17ind-indid32-p doi:
Sansone, Carlo ESEC/FSE '17: "Automatically Analyzing Groups ..." Article: fse17main-mainid295-p doi:
Schaefer, Ina ESEC/FSE '17: "Is There a Mismatch between ..." Article: fse17main-mainid74-p doi:
Schramm, Liam ESEC/FSE '17: "Improving Performance of Automatic ..." Article: fse17src-srcid9-p doi:
Schuler, Andreas ESEC/FSE '17: "Application of Search-Based ..." Article: fse17doc-docid2-p doi:
Seshia, Sanjit A. ESEC/FSE '17: "A Compiler and Verifier for ..." Article: fse17main-mainid56-p doi:
Shar, Lwin Khin ESEC/FSE '17: "JoanAudit: A Tool for Auditing ..." Article: fse17demo-demoid341-p doi:
Sharma, Asankhaya ESEC/FSE '17: "Automated Identification of ..." Article: fse17ind-indid11-p doi:
Shi, Jianwei ESEC/FSE '17: "From Scenario Modeling to ..." Article: fse17demo-demoid352-p doi:
Shihab, Emad ESEC/FSE '17: "Why Do Developers Use Trivial ..." Article: fse17main-mainid134-p doi:
Shmueli, Edi ESEC/FSE '17: "Screening Heuristics for Project ..." Article: fse17ind-indid2-p doi:
Sidiroglou-Douskos, Stelios ESEC/FSE '17: "CodeCarbonCopy ..." Article: fse17main-mainid138-p doi:
Siegmund, Janet ESEC/FSE '17: "Measuring Neural Efficiency ..." Article: fse17main-mainid135-p doi:
Siegmund, Norbert ESEC/FSE '17: "Finding Near-Optimal Configurations ..." Article: fse17main-mainid152-p doi: ESEC/FSE '17: "Using Bad Learners to Find ..." Article: fse17main-mainid14-p doi: ESEC/FSE '17: "Attributed Variability Models: ..." Article: fse17main-mainid73-p doi:
Singh, Rishabh ESEC/FSE '17: "NoFAQ: Synthesizing Command ..." Article: fse17main-mainid28-p doi:
Sinha, Rohit ESEC/FSE '17: "A Compiler and Verifier for ..." Article: fse17main-mainid56-p doi:
Smith, Calvin ESEC/FSE '17: "Discovering Relational Specifications ..." Article: fse17main-mainid185-p doi:
Sobernig, Stefan ESEC/FSE '17: "Attributed Variability Models: ..." Article: fse17main-mainid73-p doi:
Soremekun, Ezekiel O. ESEC/FSE '17: "Where Is the Bug and How Is ..." Article: fse17main-mainid85-p doi:
Sorensen, Tyler ESEC/FSE '17: "Cooperative Kernels: GPU Multitasking ..." Article: fse17main-mainid121-p doi:
Sousa, Leonardo ESEC/FSE '17: "Understanding the Impact of ..." Article: fse17main-mainid97-p doi:
Stevens, Dick ESEC/FSE '17: "Strong Agile Metrics: Mining ..." Article: fse17ind-indid36-p doi:
Su, Guoxin ESEC/FSE '17: "Probabilistic Model Checking ..." Article: fse17main-mainid275-p doi:
Su, Ting ESEC/FSE '17: "Guided, Stochastic Model-Based ..." Article: fse17main-mainid263-p doi:
Su, Zhendong ESEC/FSE '17: "Guided, Stochastic Model-Based ..." Article: fse17main-mainid263-p doi:
Succi, Giancarlo ESEC/FSE '17: "What Do Software Engineers ..." Article: fse17ind-indid34-p doi:
Tan, Lin ESEC/FSE '17: "Better Test Cases for Better ..." Article: fse17main-mainid156-p doi: ESEC/FSE '17: "QTEP: Quality-Aware Test Case ..." Article: fse17main-mainid90-p doi:
Tan, Shin Hwei ESEC/FSE '17: "A Feasibility Study of Using ..." Article: fse17main-mainid116-p doi:
Tang, Chong ESEC/FSE '17: "System Performance Optimization ..." Article: fse17doc-docid13-p doi:
Tang, Zhushou ESEC/FSE '17: "When Program Analysis Meets ..." Article: fse17ind-indid20-p doi:
Taylor, Richard N. ESEC/FSE '17: "Reflections on the REST Architectural ..." Article: fse17inv-inv4-p doi:
Tekinerdogan, Bedir ESEC/FSE '17: "A Tool for Automated Reasoning ..." Article: fse17demo-demoid347-p doi:
Terragni, Valerio ESEC/FSE '17: "Reproducing Concurrency Failures ..." Article: fse17main-mainid233-p doi:
Thomé, Julian ESEC/FSE '17: "JoanAudit: A Tool for Auditing ..." Article: fse17demo-demoid341-p doi:
Thüm, Thomas ESEC/FSE '17: "Is There a Mismatch between ..." Article: fse17main-mainid74-p doi:
Tian, Yuchi ESEC/FSE '17: "Automatically Diagnosing and ..." Article: fse17main-mainid271-p doi:
Tiu, Alwen ESEC/FSE '17: "Steelix: Program-State Based ..." Article: fse17main-mainid256-p doi:
Tofan, Dan ESEC/FSE '17: "Reference Architectures and ..." Article: fse17ind-indid27-p doi:
Tsigkanos, Christos ESEC/FSE '17: "Modeling and Verification ..." Article: fse17main-mainid268-p doi:
Tsiskaridze, Nestan ESEC/FSE '17: "Constraint Normalization and ..." Article: fse17main-mainid287-p doi:
Tufano, Michele ESEC/FSE '17: "Enabling Mutation Testing ..." Article: fse17main-mainid157-p doi:
Tunnell, Timothy ESEC/FSE '17: "Trade-Offs in Continuous Integration: ..." Article: fse17main-mainid149-p doi:
Ugherughe, Emamurho ESEC/FSE '17: "Where Is the Bug and How Is ..." Article: fse17main-mainid85-p doi:
Valente, Marco Tulio ESEC/FSE '17: "Why Modern Open Source Projects ..." Article: fse17main-mainid47-p doi:
Varró, Dániel ESEC/FSE '17: "The MONDO Collaboration Framework: ..." Article: fse17demo-demoid354-p doi:
Vasic, Marko ESEC/FSE '17: "File-Level vs. Module-Level ..." Article: fse17ind-indid31-p doi: ESEC/FSE '17: "Regression Test Selection ..." Article: fse17main-mainid261-p doi:
Vasilescu, Bogdan ESEC/FSE '17: "Recovering Clear, Natural ..." Article: fse17main-mainid223-p doi:
Vasiliev, Ivan ESEC/FSE '17: "QEMU-Based Framework for Non-intrusive ..." Article: fse17demo-demoid315-p doi:
Vaughn, Michael ESEC/FSE '17: "The Care and Feeding of Wild-Caught ..." Article: fse17main-mainid188-p doi: ESEC/FSE '17: "NoFAQ: Synthesizing Command ..." Article: fse17main-mainid28-p doi:
Vendome, Christopher ESEC/FSE '17: "Enabling Mutation Testing ..." Article: fse17main-mainid157-p doi:
Verdoliva, Luisa ESEC/FSE '17: "Automatically Analyzing Groups ..." Article: fse17main-mainid295-p doi:
Verma, Sahil ESEC/FSE '17: "Synergistic Debug-Repair of ..." Article: fse17main-mainid118-p doi:
Visser, Willem ESEC/FSE '17: "S3: Syntax- and Semantic-Guided ..." Article: fse17main-mainid307-p doi:
Volf, Zahy ESEC/FSE '17: "Screening Heuristics for Project ..." Article: fse17ind-indid2-p doi:
Wang, Chao ESEC/FSE '17: "Symbolic Execution of Programmable ..." Article: fse17main-mainid40-p doi: ESEC/FSE '17: "Thread-Modular Static Analysis ..." Article: fse17main-mainid37-p doi: ESEC/FSE '17: "DESCRY: Reproducing System-Level ..." Article: fse17main-mainid129-p doi:
Wang, Ji ESEC/FSE '17: "RGSE: A Regular Property Guided ..." Article: fse17demo-demoid355-p doi:
Wang, Lu ESEC/FSE '17: "Using Search-Based Software ..." Article: fse17doc-docid3-p doi:
Wang, Song ESEC/FSE '17: "QTEP: Quality-Aware Test Case ..." Article: fse17main-mainid90-p doi:
Wang, Wenyu ESEC/FSE '17: "Record and Replay for Android: ..." Article: fse17ind-indid15-p doi:
Wehaibi, Sultan ESEC/FSE '17: "Why Do Developers Use Trivial ..." Article: fse17main-mainid134-p doi:
Wei, Lili ESEC/FSE '17: "OASIS: Prioritizing Static ..." Article: fse17main-mainid251-p doi:
Wete, Eric ESEC/FSE '17: "From Scenario Modeling to ..." Article: fse17demo-demoid352-p doi:
Whitehead, Jim ESEC/FSE '17: "Reflections on the REST Architectural ..." Article: fse17inv-inv4-p doi:
Williams, Laurie ESEC/FSE '17: "The Rising Tide Lifts All ..." Article: fse17inv-inv2-p doi:
Wu, Fengguang ESEC/FSE '17: "On the Scalability of Linux ..." Article: fse17main-mainid212-p doi:
Wu, Jingzheng ESEC/FSE '17: "LaChouTi: Kernel Vulnerability ..." Article: fse17ind-indid10-p doi:
Wu, Ke ESEC/FSE '17: "Guided, Stochastic Model-Based ..." Article: fse17main-mainid263-p doi:
Wu, Meng ESEC/FSE '17: "Symbolic Execution of Programmable ..." Article: fse17main-mainid40-p doi:
Wu, Zhengkai ESEC/FSE '17: "Record and Replay for Android: ..." Article: fse17ind-indid15-p doi:
Wüstholz, Valentin ESEC/FSE '17: "Failure-Directed Program Trimming ..." Article: fse17main-mainid63-p doi:
Xia, Xin ESEC/FSE '17: "XSearch: A Domain-Specific ..." Article: fse17demo-demoid337-p doi:
Xiao, Xusheng ESEC/FSE '17: "RunDroid: Recovering Execution ..." Article: fse17demo-demoid338-p doi:
Xie, Tao ESEC/FSE '17: "When Program Analysis Meets ..." Article: fse17ind-indid20-p doi: ESEC/FSE '17: "Record and Replay for Android: ..." Article: fse17ind-indid15-p doi:
Xie, Xiaofei ESEC/FSE '17: "Loopster: Static Loop Termination ..." Article: fse17main-mainid106-p doi:
Xing, Zhenchang ESEC/FSE '17: "XSearch: A Domain-Specific ..." Article: fse17demo-demoid337-p doi:
Xu, Bowen ESEC/FSE '17: "XSearch: A Domain-Specific ..." Article: fse17demo-demoid337-p doi:
Xu, Lihua ESEC/FSE '17: "RunDroid: Recovering Execution ..." Article: fse17demo-demoid338-p doi: ESEC/FSE '17: "When Program Analysis Meets ..." Article: fse17ind-indid20-p doi:
Xu, Zhaogui ESEC/FSE '17: "LAMP: Data Provenance for ..." Article: fse17main-mainid227-p doi:
Xue, Minhui ESEC/FSE '17: "When Program Analysis Meets ..." Article: fse17ind-indid20-p doi:
Yan, Peng ESEC/FSE '17: "Record and Replay for Android: ..." Article: fse17ind-indid15-p doi:
Yan, Yu ESEC/FSE '17: "Understanding Misunderstandings ..." Article: fse17main-mainid119-p doi:
Yang, Jinqiu ESEC/FSE '17: "Better Test Cases for Better ..." Article: fse17main-mainid156-p doi:
Yang, Mutian ESEC/FSE '17: "LaChouTi: Kernel Vulnerability ..." Article: fse17ind-indid10-p doi:
Yang, Weiming ESEC/FSE '17: "Guided, Stochastic Model-Based ..." Article: fse17main-mainid263-p doi:
Yang, Zijiang ESEC/FSE '17: "AtexRace: Across Thread and ..." Article: fse17main-mainid29-p doi:
Yao, Yao ESEC/FSE '17: "Guided, Stochastic Model-Based ..." Article: fse17main-mainid263-p doi:
Yeh, Martin K.-C. ESEC/FSE '17: "Understanding Misunderstandings ..." Article: fse17main-mainid119-p doi:
Yi, Jooyong ESEC/FSE '17: "What Do Software Engineers ..." Article: fse17ind-indid34-p doi: ESEC/FSE '17: "A Feasibility Study of Using ..." Article: fse17main-mainid116-p doi:
Yoga, Adarsh ESEC/FSE '17: "A Fast Causal Profiler for ..." Article: fse17main-mainid80-p doi:
Yoo, Shin ESEC/FSE '17: "Generalized Observational ..." Article: fse17main-mainid288-p doi:
Yu, Hengbiao ESEC/FSE '17: "RGSE: A Regular Property Guided ..." Article: fse17demo-demoid355-p doi: ESEC/FSE '17: "Practical Symbolic Verification ..." Article: fse17src-srcid13-p doi:
Yu, Tingting ESEC/FSE '17: "DESCRY: Reproducing System-Level ..." Article: fse17main-mainid129-p doi:
Yuan, Yujie ESEC/FSE '17: "RunDroid: Recovering Execution ..." Article: fse17demo-demoid338-p doi:
Zaman, Tarannum S. ESEC/FSE '17: "DESCRY: Reproducing System-Level ..." Article: fse17main-mainid129-p doi:
Zampetti, Fiorella ESEC/FSE '17: "Detecting Missing Information ..." Article: fse17main-mainid206-p doi:
Zeller, Andreas ESEC/FSE '17: "Where Is the Bug and How Is ..." Article: fse17main-mainid85-p doi:
Zhai, Juan ESEC/FSE '17: "LAMP: Data Provenance for ..." Article: fse17main-mainid227-p doi:
Zhang, Chi ESEC/FSE '17: "Continuous Variable-Specific ..." Article: fse17main-mainid284-p doi:
Zhang, Xiangyu ESEC/FSE '17: "LAMP: Data Provenance for ..." Article: fse17main-mainid227-p doi:
Zhang, Yufeng ESEC/FSE '17: "RGSE: A Regular Property Guided ..." Article: fse17demo-demoid355-p doi:
Zhao, Jing ESEC/FSE '17: "Adaptively Generating High ..." Article: fse17main-mainid22-p doi:
Zheng, Haibing ESEC/FSE '17: "Record and Replay for Android: ..." Article: fse17ind-indid15-p doi:
Zhikhartsev, Alexey ESEC/FSE '17: "Better Test Cases for Better ..." Article: fse17main-mainid156-p doi:
Zhou, Minghui ESEC/FSE '17: "On the Scalability of Linux ..." Article: fse17main-mainid212-p doi:
Zhou, Yajin ESEC/FSE '17: "When Program Analysis Meets ..." Article: fse17ind-indid20-p doi:
Zhou, Yaqin ESEC/FSE '17: "Automated Identification of ..." Article: fse17ind-indid11-p doi:
Zhu, Huibiao ESEC/FSE '17: "RunDroid: Recovering Execution ..." Article: fse17demo-demoid338-p doi:
Zhuang, Yanyan ESEC/FSE '17: "Understanding Misunderstandings ..." Article: fse17main-mainid119-p doi:
Zibaeenejad, M. Hadi ESEC/FSE '17: "Continuous Variable-Specific ..." Article: fse17main-mainid284-p doi:
Zoppi, Edgardo ESEC/FSE '17: "Static Analysis for Optimizing ..." Article: fse17ind-indid28-p doi: ESEC/FSE '17: "Toward Full Elasticity in ..." Article: fse17main-mainid111-p doi:
Zorin, Vasilii ESEC/FSE '17: "What Do Software Engineers ..." Article: fse17ind-indid34-p doi:
Zou, Liang ESEC/FSE '17: "Loopster: Static Loop Termination ..." Article: fse17main-mainid106-p doi:

446 authors

proc time: 0.43