ESEC/FSE '17: "LAMP: Data Provenance for ..."
LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation
Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai, Yingqi Liu, and Xiangyu Zhang
(Purdue University, USA; Nanjing University, China)
@InProceedings{ESEC/FSE17p987,
author = {Shiqing Ma and Yousra Aafer and Zhaogui Xu and Wen-Chuan Lee and Juan Zhai and Yingqi Liu and Xiangyu Zhang},
title = {LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {987-986},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Why Do Developers Use Trivial ..."
Why Do Developers Use Trivial Packages? An Empirical Case Study on npm
Rabe Abdalkareem, Olivier Nourry, Sultan Wehaibi, Suhaib Mujahid, and Emad Shihab
(Concordia University, Canada)
@InProceedings{ESEC/FSE17p497,
author = {Rabe Abdalkareem and Olivier Nourry and Sultan Wehaibi and Suhaib Mujahid and Emad Shihab},
title = {Why Do Developers Use Trivial Packages? An Empirical Case Study on npm},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {497-496},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Reasons and Drawbacks of using ..."
Reasons and Drawbacks of using Trivial npm Packages: The Developers' Perspective
Rabe Abdalkareem
(Concordia University, Canada)
@InProceedings{ESEC/FSE17p1277,
author = {Rabe Abdalkareem},
title = {Reasons and Drawbacks of using Trivial npm Packages: The Developers' Perspective},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1277-1276},
doi = {},
year = {2017},
}
ESEC/FSE '17: "User- and Analysis-Driven ..."
User- and Analysis-Driven Context Aware Software Development in Mobile Computing
Mai Abusair
(University of L'Aquila, Italy)
@InProceedings{ESEC/FSE17p1237,
author = {Mai Abusair},
title = {User- and Analysis-Driven Context Aware Software Development in Mobile Computing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1237-1236},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Serverless Computing: Economic ..."
Serverless Computing: Economic and Architectural Impact
Gojko Adzic and Robert Chatley
(Neuri Consulting, UK; Imperial College London, UK)
@InProceedings{ESEC/FSE17p1099,
author = {Gojko Adzic and Robert Chatley},
title = {Serverless Computing: Economic and Architectural Impact},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1099-1098},
doi = {},
year = {2017},
}
ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..."
DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour
Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, and Marcelo Frias
(Universidad Nacional de Río Cuarto, Argentina; Universidad Nacional de Córdoba, Argentina; University of Buenos Aires, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ESEC/FSE17p1184,
author = {Germán Regis and César Cornejo and Simón Gutiérrez Brida and Mariano Politano and Fernando Raverta and Pablo Ponzio and Nazareno Aguirre and Juan Pablo Galeotti and Marcelo Frias},
title = {DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1184-1183},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CLTSA: Labelled Transition ..."
CLTSA: Labelled Transition System Analyser with Counting Fluent Support
Germán Regis, Renzo Degiovanni, Nicolas D'Ippolito, and Nazareno Aguirre
(Universidad Nacional de Río Cuarto, Argentina; CONICET, Argentina; University of Buenos Aires, Argentina)
@InProceedings{ESEC/FSE17p1194,
author = {Germán Regis and Renzo Degiovanni and Nicolas D'Ippolito and Nazareno Aguirre},
title = {CLTSA: Labelled Transition System Analyser with Counting Fluent Support},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1194-1193},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Model-Based Privacy and Security ..."
Model-Based Privacy and Security Analysis with CARiSMA
Amir Shayan Ahmadian, Sven Peldszus, Qusai Ramadan, and Jan Jürjens
(University of Koblenz-Landau, Germany; Fraunhofer ISST, Germany)
@InProceedings{ESEC/FSE17p1204,
author = {Amir Shayan Ahmadian and Sven Peldszus and Qusai Ramadan and Jan Jürjens},
title = {Model-Based Privacy and Security Analysis with CARiSMA},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1204-1203},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Feasibility Study of Using ..."
A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments
Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, and Abhik Roychoudhury
(Innopolis University, Russia; IIT Kanpur, India; National University of Singapore, Singapore)
@InProceedings{ESEC/FSE17p931,
author = {Jooyong Yi and Umair Z. Ahmed and Amey Karkare and Shin Hwei Tan and Abhik Roychoudhury},
title = {A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {931-930},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "Discovering Relational Specifications ..."
Discovering Relational Specifications
Calvin Smith, Gabriel Ferns, and Aws Albarghouthi
(University of Wisconsin-Madison, USA)
@InProceedings{ESEC/FSE17p777,
author = {Calvin Smith and Gabriel Ferns and Aws Albarghouthi},
title = {Discovering Relational Specifications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {777-776},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "ARTINALI: Dynamic Invariant ..."
ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security
Maryam Raiyat Aliabadi, Amita Ajith Kamath, Julien Gascon-Samson, and Karthik Pattabiraman
(University of British Columbia, Canada; National Institute of Technology Karnataka, India)
@InProceedings{ESEC/FSE17p455,
author = {Maryam Raiyat Aliabadi and Amita Ajith Kamath and Julien Gascon-Samson and Karthik Pattabiraman},
title = {ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {455-454},
doi = {},
year = {2017},
}
ESEC/FSE '17: "On Evidence Preservation Requirements ..."
On Evidence Preservation Requirements for Forensic-Ready Systems
Dalal Alrajeh, Liliana Pasquale, and Bashar Nuseibeh
(Imperial College London, UK; University College Dublin, Ireland; Open University, UK; Lero, Ireland)
@InProceedings{ESEC/FSE17p707,
author = {Dalal Alrajeh and Liliana Pasquale and Bashar Nuseibeh},
title = {On Evidence Preservation Requirements for Forensic-Ready Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {707-706},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..."
CodeMatch: Obfuscation Won't Conceal Your Repackaged App
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, and Mira Mezini
(TU Darmstadt, Germany)
@InProceedings{ESEC/FSE17p805,
author = {Leonid Glanz and Sven Amann and Michael Eichberg and Michael Reif and Ben Hermann and Johannes Lerch and Mira Mezini},
title = {CodeMatch: Obfuscation Won't Conceal Your Repackaged App},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {805-804},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automatic Inference of Code ..."
Automatic Inference of Code Transforms for Patch Generation
Fan Long, Peter Amidon, and Martin Rinard
(Massachusetts Institute of Technology, USA; University of California at San Diego, USA)
@InProceedings{ESEC/FSE17p917,
author = {Fan Long and Peter Amidon and Martin Rinard},
title = {Automatic Inference of Code Transforms for Patch Generation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {917-916},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "Reference Architectures and ..."
Reference Architectures and Scrum: Friends or Foes?
Matthias Galster, Samuil Angelov, Silverio Martínez-Fernández, and Dan Tofan
(University of Canterbury, New Zealand; Fontys University of Applied Sciences, Netherlands; Fraunhofer IESE, Germany)
@InProceedings{ESEC/FSE17p1111,
author = {Matthias Galster and Samuil Angelov and Silverio Martínez-Fernández and Dan Tofan},
title = {Reference Architectures and Scrum: Friends or Foes?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1111-1110},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Counterexample-Guided Approach ..."
Counterexample-Guided Approach to Finding Numerical Invariants
ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, and Michael Hicks
(University of Nebraska-Lincoln, USA; Yale University, USA; University of Maryland, USA)
@InProceedings{ESEC/FSE17p763,
author = {ThanhVu Nguyen and Timos Antonopoulos and Andrew Ruef and Michael Hicks},
title = {Counterexample-Guided Approach to Finding Numerical Invariants},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {763-762},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Measuring Neural Efficiency ..."
Measuring Neural Efficiency of Program Comprehension
Janet Siegmund, Norman Peitek, Chris Parnin, Sven Apel, Johannes Hofmeister, Christian Kästner, Andrew Begel, Anja Bethmann, and André Brechmann
(University of Passau, Germany; Leibniz Institute for Neurobiology, Germany; North Carolina State University, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p203,
author = {Janet Siegmund and Norman Peitek and Chris Parnin and Sven Apel and Johannes Hofmeister and Christian Kästner and Andrew Begel and Anja Bethmann and André Brechmann},
title = {Measuring Neural Efficiency of Program Comprehension},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {203-202},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Using Bad Learners to Find ..."
Using Bad Learners to Find Good Configurations
Vivek Nair, Tim Menzies, Norbert Siegmund, and Sven Apel
(North Carolina State University, USA; Bauhaus-University Weimar, Germany; University of Passau, Germany)
@InProceedings{ESEC/FSE17p343,
author = {Vivek Nair and Tim Menzies and Norbert Siegmund and Sven Apel},
title = {Using Bad Learners to Find Good Configurations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {343-342},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Attributed Variability Models: ..."
Attributed Variability Models: Outside the Comfort Zone
Norbert Siegmund, Stefan Sobernig, and Sven Apel
(Bauhaus-University Weimar, Germany; WU Vienna, Austria; University of Passau, Germany)
@InProceedings{ESEC/FSE17p357,
author = {Norbert Siegmund and Stefan Sobernig and Sven Apel},
title = {Attributed Variability Models: Outside the Comfort Zone},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {357-356},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Continuous Variable-Specific ..."
Continuous Variable-Specific Resolutions of Feature Interactions
M. Hadi Zibaeenejad, Chi Zhang, and Joanne M. Atlee
(University of Waterloo, Canada)
@InProceedings{ESEC/FSE17p525,
author = {M. Hadi Zibaeenejad and Chi Zhang and Joanne M. Atlee},
title = {Continuous Variable-Specific Resolutions of Feature Interactions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {525-524},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Constraint Normalization and ..."
Constraint Normalization and Parameterized Caching for Quantitative Program Analysis
Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, and Tevfik Bultan
(University of California at Santa Barbara, USA)
@InProceedings{ESEC/FSE17p679,
author = {Tegan Brennan and Nestan Tsiskaridze and Nicolás Rosner and Abdulbaki Aydin and Tevfik Bultan},
title = {Constraint Normalization and Parameterized Caching for Quantitative Program Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {679-678},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Model-Level, Platform-Independent ..."
Model-Level, Platform-Independent Debugging in the Context of the Model-Driven Development of Real-Time Systems
Mojtaba Bagherzadeh, Nicolas Hili, and Juergen Dingel
(Queen's University, Canada)
@InProceedings{ESEC/FSE17p539,
author = {Mojtaba Bagherzadeh and Nicolas Hili and Juergen Dingel},
title = {Model-Level, Platform-Independent Debugging in the Context of the Model-Driven Development of Real-Time Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {539-538},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "Static Analysis for Optimizing ..."
Static Analysis for Optimizing Big Data Queries
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, and Edgardo Zoppi
(University of Buenos Aires, Argentina; New York University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p1147,
author = {Diego Garbervetsky and Zvonimir Pavlinovic and Michael Barnett and Madanlal Musuvathi and Todd Mytkowicz and Edgardo Zoppi},
title = {Static Analysis for Optimizing Big Data Queries},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1147-1146},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Finding Near-Optimal Configurations ..."
Finding Near-Optimal Configurations in Product Lines by Random Sampling
Jeho Oh, Don Batory, Margaret Myers, and Norbert Siegmund
(University of Texas at Austin, USA; Bauhaus-University Weimar, Germany)
@InProceedings{ESEC/FSE17p105,
author = {Jeho Oh and Don Batory and Margaret Myers and Norbert Siegmund},
title = {Finding Near-Optimal Configurations in Product Lines by Random Sampling},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {105-104},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Enabling Mutation Testing ..."
Enabling Mutation Testing for Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Michele Tufano, Kevin Moran, Massimiliano Di Penta, Christopher Vendome, Carlos Bernal-Cárdenas, and Denys Poshyvanyk
(Universidad de los Andes, Colombia; University of Lugano, Switzerland; College of William and Mary, USA; University of Sannio, Italy)
@InProceedings{ESEC/FSE17p315,
author = {Mario Linares-Vásquez and Gabriele Bavota and Michele Tufano and Kevin Moran and Massimiliano Di Penta and Christopher Vendome and Carlos Bernal-Cárdenas and Denys Poshyvanyk},
title = {Enabling Mutation Testing for Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {315-314},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Detecting Missing Information ..."
Detecting Missing Information in Bug Descriptions
Oscar Chaparro, Jing Lu, Fiorella Zampetti, Laura Moreno, Massimiliano Di Penta, Andrian Marcus, Gabriele Bavota, and Vincent Ng
(University of Texas at Dallas, USA; University of Sannio, Italy; Colorado State University, USA; University of Lugano, Switzerland)
@InProceedings{ESEC/FSE17p511,
author = {Oscar Chaparro and Jing Lu and Fiorella Zampetti and Laura Moreno and Massimiliano Di Penta and Andrian Marcus and Gabriele Bavota and Vincent Ng},
title = {Detecting Missing Information in Bug Descriptions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {511-510},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Measuring Neural Efficiency ..."
Measuring Neural Efficiency of Program Comprehension
Janet Siegmund, Norman Peitek, Chris Parnin, Sven Apel, Johannes Hofmeister, Christian Kästner, Andrew Begel, Anja Bethmann, and André Brechmann
(University of Passau, Germany; Leibniz Institute for Neurobiology, Germany; North Carolina State University, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p203,
author = {Janet Siegmund and Norman Peitek and Chris Parnin and Sven Apel and Johannes Hofmeister and Christian Kästner and Andrew Begel and Anja Bethmann and André Brechmann},
title = {Measuring Neural Efficiency of Program Comprehension},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {203-202},
doi = {},
year = {2017},
}
ESEC/FSE '17: "The MONDO Collaboration Framework: ..."
The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems
Csaba Debreceni, Gábor Bergmann, Márton Búr, István Ráth, and Dániel Varró
(Budapest University of Technology and Economics, Hungary; MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary; McGill University, Canada)
@InProceedings{ESEC/FSE17p1199,
author = {Csaba Debreceni and Gábor Bergmann and Márton Búr and István Ráth and Dániel Varró},
title = {The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1199-1198},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Enabling Mutation Testing ..."
Enabling Mutation Testing for Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Michele Tufano, Kevin Moran, Massimiliano Di Penta, Christopher Vendome, Carlos Bernal-Cárdenas, and Denys Poshyvanyk
(Universidad de los Andes, Colombia; University of Lugano, Switzerland; College of William and Mary, USA; University of Sannio, Italy)
@InProceedings{ESEC/FSE17p315,
author = {Mario Linares-Vásquez and Gabriele Bavota and Michele Tufano and Kevin Moran and Massimiliano Di Penta and Christopher Vendome and Carlos Bernal-Cárdenas and Denys Poshyvanyk},
title = {Enabling Mutation Testing for Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {315-314},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Measuring Neural Efficiency ..."
Measuring Neural Efficiency of Program Comprehension
Janet Siegmund, Norman Peitek, Chris Parnin, Sven Apel, Johannes Hofmeister, Christian Kästner, Andrew Begel, Anja Bethmann, and André Brechmann
(University of Passau, Germany; Leibniz Institute for Neurobiology, Germany; North Carolina State University, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p203,
author = {Janet Siegmund and Norman Peitek and Chris Parnin and Sven Apel and Johannes Hofmeister and Christian Kästner and Andrew Begel and Anja Bethmann and André Brechmann},
title = {Measuring Neural Efficiency of Program Comprehension},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {203-202},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Reproducing Concurrency Failures ..."
Reproducing Concurrency Failures from Crash Stacks
Francesco A. Bianchi, Mauro Pezzè, and Valerio Terragni
(University of Lugano, Switzerland)
@InProceedings{ESEC/FSE17p889,
author = {Francesco A. Bianchi and Mauro Pezzè and Valerio Terragni},
title = {Reproducing Concurrency Failures from Crash Stacks},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {889-888},
doi = {},
year = {2017},
}
ESEC/FSE '17: "JoanAudit: A Tool for Auditing ..."
JoanAudit: A Tool for Auditing Common Injection Vulnerabilities
Julian Thomé, Lwin Khin Shar, Domenico Bianculli, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
@InProceedings{ESEC/FSE17p1219,
author = {Julian Thomé and Lwin Khin Shar and Domenico Bianculli and Lionel C. Briand},
title = {JoanAudit: A Tool for Auditing Common Injection Vulnerabilities},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1219-1218},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Generalized Observational ..."
Generalized Observational Slicing for Tree-Represented Modelling Languages
Nicolas E. Gold, David Binkley, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo
(University College London, UK; Loyola University Maryland, USA; University of East London, UK; KAIST, South Korea)
@InProceedings{ESEC/FSE17p693,
author = {Nicolas E. Gold and David Binkley and Mark Harman and Syed Islam and Jens Krinke and Shin Yoo},
title = {Generalized Observational Slicing for Tree-Represented Modelling Languages},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {693-692},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Where Is the Bug and How Is ..."
Where Is the Bug and How Is It Fixed? An Experiment with Practitioners
Marcel Böhme, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, and Andreas Zeller
(National University of Singapore, Singapore; Saarland University, Germany; Singapore University of Technology and Design, Singapore; SAP, Germany)
@InProceedings{ESEC/FSE17p175,
author = {Marcel Böhme and Ezekiel O. Soremekun and Sudipta Chattopadhyay and Emamurho Ugherughe and Andreas Zeller},
title = {Where Is the Bug and How Is It Fixed? An Experiment with Practitioners},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {175-174},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Model-Driven Software Engineering ..."
Model-Driven Software Engineering in Practice: Privacy-Enhanced Filtering of Network Traffic
Roel van Dijk, Christophe Creeten, Jeroen van der Ham, and Jeroen van den Bos
(Netherlands Forensic Institute, Netherlands; Delft University of Technology, Netherlands; National Cyber Security Centre, Netherlands; Zuyd University of Applied Sciences, Netherlands)
@InProceedings{ESEC/FSE17p1075,
author = {Roel van Dijk and Christophe Creeten and Jeroen van der Ham and Jeroen van den Bos},
title = {Model-Driven Software Engineering in Practice: Privacy-Enhanced Filtering of Network Traffic},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1075-1074},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Measuring Neural Efficiency ..."
Measuring Neural Efficiency of Program Comprehension
Janet Siegmund, Norman Peitek, Chris Parnin, Sven Apel, Johannes Hofmeister, Christian Kästner, Andrew Begel, Anja Bethmann, and André Brechmann
(University of Passau, Germany; Leibniz Institute for Neurobiology, Germany; North Carolina State University, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p203,
author = {Janet Siegmund and Norman Peitek and Chris Parnin and Sven Apel and Johannes Hofmeister and Christian Kästner and Andrew Begel and Anja Bethmann and André Brechmann},
title = {Measuring Neural Efficiency of Program Comprehension},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {203-202},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Constraint Normalization and ..."
Constraint Normalization and Parameterized Caching for Quantitative Program Analysis
Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, and Tevfik Bultan
(University of California at Santa Barbara, USA)
@InProceedings{ESEC/FSE17p679,
author = {Tegan Brennan and Nestan Tsiskaridze and Nicolás Rosner and Abdulbaki Aydin and Tevfik Bultan},
title = {Constraint Normalization and Parameterized Caching for Quantitative Program Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {679-678},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "JoanAudit: A Tool for Auditing ..."
JoanAudit: A Tool for Auditing Common Injection Vulnerabilities
Julian Thomé, Lwin Khin Shar, Domenico Bianculli, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
@InProceedings{ESEC/FSE17p1219,
author = {Julian Thomé and Lwin Khin Shar and Domenico Bianculli and Lionel C. Briand},
title = {JoanAudit: A Tool for Auditing Common Injection Vulnerabilities},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1219-1218},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automated Testing of Hybrid ..."
Automated Testing of Hybrid Simulink/Stateflow Controllers: Industrial Case Studies
Reza Matinnejad, Shiva Nejati, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
@InProceedings{ESEC/FSE17p1153,
author = {Reza Matinnejad and Shiva Nejati and Lionel C. Briand},
title = {Automated Testing of Hybrid Simulink/Stateflow Controllers: Industrial Case Studies},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1153-1152},
doi = {},
year = {2017},
}
ESEC/FSE '17: "The Care and Feeding of Wild-Caught ..."
The Care and Feeding of Wild-Caught Mutants
David Bingham Brown, Michael Vaughn, Ben Liblit, and Thomas Reps
(University of Wisconsin-Madison, USA)
@InProceedings{ESEC/FSE17p651,
author = {David Bingham Brown and Michael Vaughn and Ben Liblit and Thomas Reps},
title = {The Care and Feeding of Wild-Caught Mutants},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {651-650},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Fairness Testing: Testing ..."
Fairness Testing: Testing Software for Discrimination
Sainyam Galhotra, Yuriy Brun, and Alexandra Meliou
(University of Massachusetts at Amherst, USA)
@InProceedings{ESEC/FSE17p637,
author = {Sainyam Galhotra and Yuriy Brun and Alexandra Meliou},
title = {Fairness Testing: Testing Software for Discrimination},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {637-636},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "When Program Analysis Meets ..."
When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets
Wenqi Bu, Minhui Xue, Lihua Xu, Yajin Zhou, Zhushou Tang, and Tao Xie
(East China Normal University, China; New York University Shanghai, China; Pwnzen Infotech, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE17p1057,
author = {Wenqi Bu and Minhui Xue and Lihua Xu and Yajin Zhou and Zhushou Tang and Tao Xie},
title = {When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1057-1056},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Constraint Normalization and ..."
Constraint Normalization and Parameterized Caching for Quantitative Program Analysis
Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, and Tevfik Bultan
(University of California at Santa Barbara, USA)
@InProceedings{ESEC/FSE17p679,
author = {Tegan Brennan and Nestan Tsiskaridze and Nicolás Rosner and Abdulbaki Aydin and Tevfik Bultan},
title = {Constraint Normalization and Parameterized Caching for Quantitative Program Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {679-678},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Cherry-Picking of Code Commits ..."
Cherry-Picking of Code Commits in Long-Running, Multi-release Software
Panuchart Bunyakiati and Chadarat Phipathananunth
(University of the Thai Chamber of Commerce, Thailand)
@InProceedings{ESEC/FSE17p1209,
author = {Panuchart Bunyakiati and Chadarat Phipathananunth},
title = {Cherry-Picking of Code Commits in Long-Running, Multi-release Software},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1209-1208},
doi = {},
year = {2017},
}
ESEC/FSE '17: "The MONDO Collaboration Framework: ..."
The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems
Csaba Debreceni, Gábor Bergmann, Márton Búr, István Ráth, and Dániel Varró
(Budapest University of Technology and Economics, Hungary; MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary; McGill University, Canada)
@InProceedings{ESEC/FSE17p1199,
author = {Csaba Debreceni and Gábor Bergmann and Márton Búr and István Ráth and Dániel Varró},
title = {The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1199-1198},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Adaptively Generating High ..."
Adaptively Generating High Quality Fixes for Atomicity Violations
Yan Cai, Lingwei Cao, and Jing Zhao
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Harbin Engineering University, China)
@InProceedings{ESEC/FSE17p399,
author = {Yan Cai and Lingwei Cao and Jing Zhao},
title = {Adaptively Generating High Quality Fixes for Atomicity Violations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {399-398},
doi = {},
year = {2017},
}
ESEC/FSE '17: "AtexRace: Across Thread and ..."
AtexRace: Across Thread and Execution Sampling for In-House Race Detection
Yu Guo, Yan Cai, and Zijiang Yang
(Western Michigan University, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ESEC/FSE17p413,
author = {Yu Guo and Yan Cai and Zijiang Yang},
title = {AtexRace: Across Thread and Execution Sampling for In-House Race Detection},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {413-412},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Adaptively Generating High ..."
Adaptively Generating High Quality Fixes for Atomicity Violations
Yan Cai, Lingwei Cao, and Jing Zhao
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Harbin Engineering University, China)
@InProceedings{ESEC/FSE17p399,
author = {Yan Cai and Lingwei Cao and Jing Zhao},
title = {Adaptively Generating High Quality Fixes for Atomicity Violations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {399-398},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Understanding Misunderstandings ..."
Understanding Misunderstandings in Source Code
Dan Gopstein, Jake Iannacone, Yu Yan, Lois DeLong, Yanyan Zhuang, Martin K.-C. Yeh, and Justin Cappos
(New York University, USA; Pennsylvania State University, USA; University of Colorado at Colorado Springs, USA)
@InProceedings{ESEC/FSE17p189,
author = {Dan Gopstein and Jake Iannacone and Yu Yan and Lois DeLong and Yanyan Zhuang and Martin K.-C. Yeh and Justin Cappos},
title = {Understanding Misunderstandings in Source Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {189-188},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Recovering Clear, Natural ..."
Recovering Clear, Natural Identifiers from Obfuscated JS Names
Bogdan Vasilescu, Casey Casalnuovo, and Premkumar Devanbu
(Carnegie Mellon University, USA; University of California at Davis, USA)
@InProceedings{ESEC/FSE17p861,
author = {Bogdan Vasilescu and Casey Casalnuovo and Premkumar Devanbu},
title = {Recovering Clear, Natural Identifiers from Obfuscated JS Names},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {861-860},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automatically Analyzing Groups ..."
Automatically Analyzing Groups of Crashes for Finding Correlations
Marco Castelluccio, Carlo Sansone, Luisa Verdoliva, and Giovanni Poggi
(Federico II University of Naples, Italy; Mozilla, UK)
@InProceedings{ESEC/FSE17p903,
author = {Marco Castelluccio and Carlo Sansone and Luisa Verdoliva and Giovanni Poggi},
title = {Automatically Analyzing Groups of Crashes for Finding Correlations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {903-902},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Understanding the Impact of ..."
Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects
Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo Sousa, Rafael de Mello, Baldoino Fonseca, Márcio Ribeiro, and Alexander Chávez
(PUC-Rio, Brazil; Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil)
@InProceedings{ESEC/FSE17p595,
author = {Diego Cedrim and Alessandro Garcia and Melina Mongiovi and Rohit Gheyi and Leonardo Sousa and Rafael de Mello and Baldoino Fonseca and Márcio Ribeiro and Alexander Chávez},
title = {Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {595-594},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Regression Test Selection ..."
Regression Test Selection Across JVM Boundaries
Ahmet Celik, Marko Vasic, Aleksandar Milicevic, and Milos Gligoric
(University of Texas at Austin, USA; Microsoft, USA)
@InProceedings{ESEC/FSE17p1015,
author = {Ahmet Celik and Marko Vasic and Aleksandar Milicevic and Milos Gligoric},
title = {Regression Test Selection Across JVM Boundaries},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1015-1014},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Steelix: Program-State Based ..."
Steelix: Program-State Based Binary Fuzzing
Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, and Alwen Tiu
(Nanyang Technological University, Singapore; Fudan University, China)
@InProceedings{ESEC/FSE17p791,
author = {Yuekang Li and Bihuan Chen and Mahinthan Chandramohan and Shang-Wei Lin and Yang Liu and Alwen Tiu},
title = {Steelix: Program-State Based Binary Fuzzing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {791-790},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Detecting Missing Information ..."
Detecting Missing Information in Bug Descriptions
Oscar Chaparro, Jing Lu, Fiorella Zampetti, Laura Moreno, Massimiliano Di Penta, Andrian Marcus, Gabriele Bavota, and Vincent Ng
(University of Texas at Dallas, USA; University of Sannio, Italy; Colorado State University, USA; University of Lugano, Switzerland)
@InProceedings{ESEC/FSE17p511,
author = {Oscar Chaparro and Jing Lu and Fiorella Zampetti and Laura Moreno and Massimiliano Di Penta and Andrian Marcus and Gabriele Bavota and Vincent Ng},
title = {Detecting Missing Information in Bug Descriptions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {511-510},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Serverless Computing: Economic ..."
Serverless Computing: Economic and Architectural Impact
Gojko Adzic and Robert Chatley
(Neuri Consulting, UK; Imperial College London, UK)
@InProceedings{ESEC/FSE17p1099,
author = {Gojko Adzic and Robert Chatley},
title = {Serverless Computing: Economic and Architectural Impact},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1099-1098},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Where Is the Bug and How Is ..."
Where Is the Bug and How Is It Fixed? An Experiment with Practitioners
Marcel Böhme, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, and Andreas Zeller
(National University of Singapore, Singapore; Saarland University, Germany; Singapore University of Technology and Design, Singapore; SAP, Germany)
@InProceedings{ESEC/FSE17p175,
author = {Marcel Böhme and Ezekiel O. Soremekun and Sudipta Chattopadhyay and Emamurho Ugherughe and Andreas Zeller},
title = {Where Is the Bug and How Is It Fixed? An Experiment with Practitioners},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {175-174},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Bayesian Specification Learning ..."
Bayesian Specification Learning for Finding API Usage Errors
Vijayaraghavan Murali, Swarat Chaudhuri, and Chris Jermaine
(Rice University, USA)
@InProceedings{ESEC/FSE17p217,
author = {Vijayaraghavan Murali and Swarat Chaudhuri and Chris Jermaine},
title = {Bayesian Specification Learning for Finding API Usage Errors},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {217-216},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Understanding the Impact of ..."
Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects
Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo Sousa, Rafael de Mello, Baldoino Fonseca, Márcio Ribeiro, and Alexander Chávez
(PUC-Rio, Brazil; Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil)
@InProceedings{ESEC/FSE17p595,
author = {Diego Cedrim and Alessandro Garcia and Melina Mongiovi and Rohit Gheyi and Leonardo Sousa and Rafael de Mello and Baldoino Fonseca and Márcio Ribeiro and Alexander Chávez},
title = {Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {595-594},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Loopster: Static Loop Termination ..."
Loopster: Static Loop Termination Analysis
Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu, and Xiaohong Li
(Tianjin University, China; Nanyang Technological University, Singapore)
@InProceedings{ESEC/FSE17p133,
author = {Xiaofei Xie and Bihuan Chen and Liang Zou and Shang-Wei Lin and Yang Liu and Xiaohong Li},
title = {Loopster: Static Loop Termination Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {133-132},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Steelix: Program-State Based ..."
Steelix: Program-State Based Binary Fuzzing
Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, and Alwen Tiu
(Nanyang Technological University, Singapore; Fudan University, China)
@InProceedings{ESEC/FSE17p791,
author = {Yuekang Li and Bihuan Chen and Mahinthan Chandramohan and Shang-Wei Lin and Yang Liu and Alwen Tiu},
title = {Steelix: Program-State Based Binary Fuzzing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {791-790},
doi = {},
year = {2017},
}
ESEC/FSE '17: "On the Scalability of Linux ..."
On the Scalability of Linux Kernel Maintainers' Work
Minghui Zhou, Qingying Chen, Audris Mockus, and Fengguang Wu
(Peking University, China; University of Tennessee, USA; Intel, China)
@InProceedings{ESEC/FSE17p63,
author = {Minghui Zhou and Qingying Chen and Audris Mockus and Fengguang Wu},
title = {On the Scalability of Linux Kernel Maintainers' Work},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {63-62},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Guided, Stochastic Model-Based ..."
Guided, Stochastic Model-Based GUI Testing of Android Apps
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, and Zhendong Su
(East China Normal University, China; Nanyang Technological University, Singapore; Shanghai Jiao Tong University, China; University of California at Davis, USA)
@InProceedings{ESEC/FSE17p329,
author = {Ting Su and Guozhu Meng and Yuting Chen and Ke Wu and Weiming Yang and Yao Yao and Geguang Pu and Yang Liu and Zhendong Su},
title = {Guided, Stochastic Model-Based GUI Testing of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {329-328},
doi = {},
year = {2017},
}
ESEC/FSE '17: "RGSE: A Regular Property Guided ..."
RGSE: A Regular Property Guided Symbolic Executor for Java
Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, and Wei Dong
(National University of Defense Technology, China; Jiangnan Institute of Computing, China)
@InProceedings{ESEC/FSE17p1169,
author = {Hengbiao Yu and Zhenbang Chen and Yufeng Zhang and Ji Wang and Wei Dong},
title = {RGSE: A Regular Property Guided Symbolic Executor for Java},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1169-1168},
doi = {},
year = {2017},
}
ESEC/FSE '17: "OASIS: Prioritizing Static ..."
OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews
Lili Wei, Yepang Liu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China)
@InProceedings{ESEC/FSE17p847,
author = {Lili Wei and Yepang Liu and Shing-Chi Cheung},
title = {OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {847-846},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Failure-Directed Program Trimming ..."
Failure-Directed Program Trimming
Kostas Ferles, Valentin Wüstholz, Maria Christakis, and Isil Dillig
(University of Texas at Austin, USA; University of Kent, UK)
@InProceedings{ESEC/FSE17p245,
author = {Kostas Ferles and Valentin Wüstholz and Maria Christakis and Isil Dillig},
title = {Failure-Directed Program Trimming},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {245-244},
doi = {},
year = {2017},
}
ESEC/FSE '17: "S3: Syntax- and Semantic-Guided ..."
S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples
Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser
(Singapore Management University, Singapore; IST Austria, Austria; Carnegie Mellon University, USA; Stellenbosch University, South Africa)
@InProceedings{ESEC/FSE17p749,
author = {Xuan-Bach D. Le and Duc-Hiep Chu and David Lo and Claire Le Goues and Willem Visser},
title = {S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {749-748},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Why Modern Open Source Projects ..."
Why Modern Open Source Projects Fail
Jailton Coelho and Marco Tulio Valente
(Federal University of Minas Gerais, Brazil)
@InProceedings{ESEC/FSE17p259,
author = {Jailton Coelho and Marco Tulio Valente},
title = {Why Modern Open Source Projects Fail},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {259-258},
doi = {},
year = {2017},
}
ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..."
DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour
Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, and Marcelo Frias
(Universidad Nacional de Río Cuarto, Argentina; Universidad Nacional de Córdoba, Argentina; University of Buenos Aires, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ESEC/FSE17p1184,
author = {Germán Regis and César Cornejo and Simón Gutiérrez Brida and Mariano Politano and Fernando Raverta and Pablo Ponzio and Nazareno Aguirre and Juan Pablo Galeotti and Marcelo Frias},
title = {DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1184-1183},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Model-Driven Software Engineering ..."
Model-Driven Software Engineering in Practice: Privacy-Enhanced Filtering of Network Traffic
Roel van Dijk, Christophe Creeten, Jeroen van der Ham, and Jeroen van den Bos
(Netherlands Forensic Institute, Netherlands; Delft University of Technology, Netherlands; National Cyber Security Centre, Netherlands; Zuyd University of Applied Sciences, Netherlands)
@InProceedings{ESEC/FSE17p1075,
author = {Roel van Dijk and Christophe Creeten and Jeroen van der Ham and Jeroen van den Bos},
title = {Model-Driven Software Engineering in Practice: Privacy-Enhanced Filtering of Network Traffic},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1075-1074},
doi = {},
year = {2017},
}
ESEC/FSE '17: "From Scenario Modeling to ..."
From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology
Joel Greenyer, Daniel Gritzner, Florian König, Jannik Dahlke, Jianwei Shi, and Eric Wete
(Leibniz Universität Hannover, Germany)
@InProceedings{ESEC/FSE17p1189,
author = {Joel Greenyer and Daniel Gritzner and Florian König and Jannik Dahlke and Jianwei Shi and Eric Wete},
title = {From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1189-1188},
doi = {},
year = {2017},
}
ESEC/FSE '17: "The Power of "Why" ..."
The Power of "Why" and "Why Not": Enriching Scenario Exploration with Provenance
Tim Nelson, Natasha Danas, Daniel J. Dougherty, and Shriram Krishnamurthi
(Brown University, USA; Worcester Polytechnic Institute, USA)
@InProceedings{ESEC/FSE17p161,
author = {Tim Nelson and Natasha Danas and Daniel J. Dougherty and Shriram Krishnamurthi},
title = {The Power of "Why" and "Why Not": Enriching Scenario Exploration with Provenance},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {161-160},
doi = {},
year = {2017},
}
Artifacts Reusable
Best-Paper Award
ESEC/FSE '17: "NoFAQ: Synthesizing Command ..."
NoFAQ: Synthesizing Command Repairs from Examples
Loris D'Antoni, Rishabh Singh, and Michael Vaughn
(University of Wisconsin-Madison, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p735,
author = {Loris D'Antoni and Rishabh Singh and Michael Vaughn},
title = {NoFAQ: Synthesizing Command Repairs from Examples},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {735-734},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Cimplifier: Automatically ..."
Cimplifier: Automatically Debloating Containers
Vaibhav Rastogi, Drew Davidson, Lorenzo De Carli, Somesh Jha, and Patrick McDaniel
(University of Wisconsin-Madison, USA; Tala Security, USA; Colorado State University, USA; Pennsylvania State University, USA)
@InProceedings{ESEC/FSE17p609,
author = {Vaibhav Rastogi and Drew Davidson and Lorenzo De Carli and Somesh Jha and Patrick McDaniel},
title = {Cimplifier: Automatically Debloating Containers},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {609-608},
doi = {},
year = {2017},
}
ESEC/FSE '17: "The MONDO Collaboration Framework: ..."
The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems
Csaba Debreceni, Gábor Bergmann, Márton Búr, István Ráth, and Dániel Varró
(Budapest University of Technology and Economics, Hungary; MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary; McGill University, Canada)
@InProceedings{ESEC/FSE17p1199,
author = {Csaba Debreceni and Gábor Bergmann and Márton Búr and István Ráth and Dániel Varró},
title = {The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1199-1198},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Cimplifier: Automatically ..."
Cimplifier: Automatically Debloating Containers
Vaibhav Rastogi, Drew Davidson, Lorenzo De Carli, Somesh Jha, and Patrick McDaniel
(University of Wisconsin-Madison, USA; Tala Security, USA; Colorado State University, USA; Pennsylvania State University, USA)
@InProceedings{ESEC/FSE17p609,
author = {Vaibhav Rastogi and Drew Davidson and Lorenzo De Carli and Somesh Jha and Patrick McDaniel},
title = {Cimplifier: Automatically Debloating Containers},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {609-608},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CLTSA: Labelled Transition ..."
CLTSA: Labelled Transition System Analyser with Counting Fluent Support
Germán Regis, Renzo Degiovanni, Nicolas D'Ippolito, and Nazareno Aguirre
(Universidad Nacional de Río Cuarto, Argentina; CONICET, Argentina; University of Buenos Aires, Argentina)
@InProceedings{ESEC/FSE17p1194,
author = {Germán Regis and Renzo Degiovanni and Nicolas D'Ippolito and Nazareno Aguirre},
title = {CLTSA: Labelled Transition System Analyser with Counting Fluent Support},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1194-1193},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Understanding Misunderstandings ..."
Understanding Misunderstandings in Source Code
Dan Gopstein, Jake Iannacone, Yu Yan, Lois DeLong, Yanyan Zhuang, Martin K.-C. Yeh, and Justin Cappos
(New York University, USA; Pennsylvania State University, USA; University of Colorado at Colorado Springs, USA)
@InProceedings{ESEC/FSE17p189,
author = {Dan Gopstein and Jake Iannacone and Yu Yan and Lois DeLong and Yanyan Zhuang and Martin K.-C. Yeh and Justin Cappos},
title = {Understanding Misunderstandings in Source Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {189-188},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Understanding the Impact of ..."
Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects
Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo Sousa, Rafael de Mello, Baldoino Fonseca, Márcio Ribeiro, and Alexander Chávez
(PUC-Rio, Brazil; Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil)
@InProceedings{ESEC/FSE17p595,
author = {Diego Cedrim and Alessandro Garcia and Melina Mongiovi and Rohit Gheyi and Leonardo Sousa and Rafael de Mello and Baldoino Fonseca and Márcio Ribeiro and Alexander Chávez},
title = {Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {595-594},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Record and Replay for Android: ..."
Record and Replay for Android: Are We There Yet in Industrial Cases?
Wing Lam, Zhengkai Wu, Dengfeng Li, Wenyu Wang, Haibing Zheng, Hui Luo, Peng Yan, Yuetang Deng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tencent, China)
@InProceedings{ESEC/FSE17p1069,
author = {Wing Lam and Zhengkai Wu and Dengfeng Li and Wenyu Wang and Haibing Zheng and Hui Luo and Peng Yan and Yuetang Deng and Tao Xie},
title = {Record and Replay for Android: Are We There Yet in Industrial Cases?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1069-1068},
doi = {},
year = {2017},
}
ESEC/FSE '17: "DRACO: Discovering Refactorings ..."
DRACO: Discovering Refactorings That Improve Architecture using Fine-Grained Co-change Dependencies
Marcos César de Oliveira
(University of Brasília, Brazil)
@InProceedings{ESEC/FSE17p1233,
author = {Marcos César de Oliveira},
title = {DRACO: Discovering Refactorings That Improve Architecture using Fine-Grained Co-change Dependencies},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1233-1232},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Recovering Clear, Natural ..."
Recovering Clear, Natural Identifiers from Obfuscated JS Names
Bogdan Vasilescu, Casey Casalnuovo, and Premkumar Devanbu
(Carnegie Mellon University, USA; University of California at Davis, USA)
@InProceedings{ESEC/FSE17p861,
author = {Bogdan Vasilescu and Casey Casalnuovo and Premkumar Devanbu},
title = {Recovering Clear, Natural Identifiers from Obfuscated JS Names},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {861-860},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Are Deep Neural Networks the ..."
Are Deep Neural Networks the Best Choice for Modeling Source Code?
Vincent J. Hellendoorn and Premkumar Devanbu
(University of California at Davis, USA)
@InProceedings{ESEC/FSE17p959,
author = {Vincent J. Hellendoorn and Premkumar Devanbu},
title = {Are Deep Neural Networks the Best Choice for Modeling Source Code?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {959-958},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Craig vs. Newton in Software ..."
Craig vs. Newton in Software Model Checking
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, and Andreas Podelski
(University of Freiburg, Germany)
@InProceedings{ESEC/FSE17p623,
author = {Daniel Dietsch and Matthias Heizmann and Betim Musa and Alexander Nutz and Andreas Podelski},
title = {Craig vs. Newton in Software Model Checking},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {623-622},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Trade-Offs in Continuous Integration: ..."
Trade-Offs in Continuous Integration: Assurance, Security, and Flexibility
Michael Hilton, Nicholas Nelson, Timothy Tunnell, Darko Marinov, and Danny Dig
(Oregon State University, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE17p273,
author = {Michael Hilton and Nicholas Nelson and Timothy Tunnell and Darko Marinov and Danny Dig},
title = {Trade-Offs in Continuous Integration: Assurance, Security, and Flexibility},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {273-272},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Model-Driven Software Engineering ..."
Model-Driven Software Engineering in Practice: Privacy-Enhanced Filtering of Network Traffic
Roel van Dijk, Christophe Creeten, Jeroen van der Ham, and Jeroen van den Bos
(Netherlands Forensic Institute, Netherlands; Delft University of Technology, Netherlands; National Cyber Security Centre, Netherlands; Zuyd University of Applied Sciences, Netherlands)
@InProceedings{ESEC/FSE17p1075,
author = {Roel van Dijk and Christophe Creeten and Jeroen van der Ham and Jeroen van den Bos},
title = {Model-Driven Software Engineering in Practice: Privacy-Enhanced Filtering of Network Traffic},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1075-1074},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Failure-Directed Program Trimming ..."
Failure-Directed Program Trimming
Kostas Ferles, Valentin Wüstholz, Maria Christakis, and Isil Dillig
(University of Texas at Austin, USA; University of Kent, UK)
@InProceedings{ESEC/FSE17p245,
author = {Kostas Ferles and Valentin Wüstholz and Maria Christakis and Isil Dillig},
title = {Failure-Directed Program Trimming},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {245-244},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Model-Level, Platform-Independent ..."
Model-Level, Platform-Independent Debugging in the Context of the Model-Driven Development of Real-Time Systems
Mojtaba Bagherzadeh, Nicolas Hili, and Juergen Dingel
(Queen's University, Canada)
@InProceedings{ESEC/FSE17p539,
author = {Mojtaba Bagherzadeh and Nicolas Hili and Juergen Dingel},
title = {Model-Level, Platform-Independent Debugging in the Context of the Model-Driven Development of Real-Time Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {539-538},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "Enabling Mutation Testing ..."
Enabling Mutation Testing for Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Michele Tufano, Kevin Moran, Massimiliano Di Penta, Christopher Vendome, Carlos Bernal-Cárdenas, and Denys Poshyvanyk
(Universidad de los Andes, Colombia; University of Lugano, Switzerland; College of William and Mary, USA; University of Sannio, Italy)
@InProceedings{ESEC/FSE17p315,
author = {Mario Linares-Vásquez and Gabriele Bavota and Michele Tufano and Kevin Moran and Massimiliano Di Penta and Christopher Vendome and Carlos Bernal-Cárdenas and Denys Poshyvanyk},
title = {Enabling Mutation Testing for Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {315-314},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Detecting Missing Information ..."
Detecting Missing Information in Bug Descriptions
Oscar Chaparro, Jing Lu, Fiorella Zampetti, Laura Moreno, Massimiliano Di Penta, Andrian Marcus, Gabriele Bavota, and Vincent Ng
(University of Texas at Dallas, USA; University of Sannio, Italy; Colorado State University, USA; University of Lugano, Switzerland)
@InProceedings{ESEC/FSE17p511,
author = {Oscar Chaparro and Jing Lu and Fiorella Zampetti and Laura Moreno and Massimiliano Di Penta and Andrian Marcus and Gabriele Bavota and Vincent Ng},
title = {Detecting Missing Information in Bug Descriptions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {511-510},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CLTSA: Labelled Transition ..."
CLTSA: Labelled Transition System Analyser with Counting Fluent Support
Germán Regis, Renzo Degiovanni, Nicolas D'Ippolito, and Nazareno Aguirre
(Universidad Nacional de Río Cuarto, Argentina; CONICET, Argentina; University of Buenos Aires, Argentina)
@InProceedings{ESEC/FSE17p1194,
author = {Germán Regis and Renzo Degiovanni and Nicolas D'Ippolito and Nazareno Aguirre},
title = {CLTSA: Labelled Transition System Analyser with Counting Fluent Support},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1194-1193},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Cooperative Kernels: GPU Multitasking ..."
Cooperative Kernels: GPU Multitasking for Blocking Algorithms
Tyler Sorensen, Hugues Evrard, and Alastair F. Donaldson
(Imperial College London, UK)
@InProceedings{ESEC/FSE17p553,
author = {Tyler Sorensen and Hugues Evrard and Alastair F. Donaldson},
title = {Cooperative Kernels: GPU Multitasking for Blocking Algorithms},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {553-552},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "RGSE: A Regular Property Guided ..."
RGSE: A Regular Property Guided Symbolic Executor for Java
Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, and Wei Dong
(National University of Defense Technology, China; Jiangnan Institute of Computing, China)
@InProceedings{ESEC/FSE17p1169,
author = {Hengbiao Yu and Zhenbang Chen and Yufeng Zhang and Ji Wang and Wei Dong},
title = {RGSE: A Regular Property Guided Symbolic Executor for Java},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1169-1168},
doi = {},
year = {2017},
}
ESEC/FSE '17: "More Accurate Recommendations ..."
More Accurate Recommendations for Method-Level Changes
Georg Dotzler, Marius Kamp, Patrick Kreutzer, and Michael Philippsen
(Friedrich-Alexander University Erlangen-Nürnberg, Germany)
@InProceedings{ESEC/FSE17p1001,
author = {Georg Dotzler and Marius Kamp and Patrick Kreutzer and Michael Philippsen},
title = {More Accurate Recommendations for Method-Level Changes},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1001-1000},
doi = {},
year = {2017},
}
ESEC/FSE '17: "The Power of "Why" ..."
The Power of "Why" and "Why Not": Enriching Scenario Exploration with Provenance
Tim Nelson, Natasha Danas, Daniel J. Dougherty, and Shriram Krishnamurthi
(Brown University, USA; Worcester Polytechnic Institute, USA)
@InProceedings{ESEC/FSE17p161,
author = {Tim Nelson and Natasha Danas and Daniel J. Dougherty and Shriram Krishnamurthi},
title = {The Power of "Why" and "Why Not": Enriching Scenario Exploration with Provenance},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {161-160},
doi = {},
year = {2017},
}
Artifacts Reusable
Best-Paper Award
ESEC/FSE '17: "QEMU-Based Framework for Non-intrusive ..."
QEMU-Based Framework for Non-intrusive Virtual Machine Instrumentation and Introspection
Pavel Dovgalyuk, Natalia Fursova, Ivan Vasiliev, and Vladimir Makarov
(Novgorod State University, Russia)
@InProceedings{ESEC/FSE17p1159,
author = {Pavel Dovgalyuk and Natalia Fursova and Ivan Vasiliev and Vladimir Makarov},
title = {QEMU-Based Framework for Non-intrusive Virtual Machine Instrumentation and Introspection},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1159-1158},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Verifying the Forecast: How ..."
Verifying the Forecast: How Climate Models Are Developed and Tested (Invited Talk)
Steve Easterbrook
(University of Toronto, Canada)
@InProceedings{ESEC/FSE17p13,
author = {Steve Easterbrook},
title = {Verifying the Forecast: How Climate Models Are Developed and Tested (Invited Talk)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CodeCarbonCopy ..."
CodeCarbonCopy
Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden, Fan Long, and Martin Rinard
(Massachusetts Institute of Technology, USA)
@InProceedings{ESEC/FSE17p147,
author = {Stelios Sidiroglou-Douskos and Eric Lahtinen and Anthony Eden and Fan Long and Martin Rinard},
title = {CodeCarbonCopy},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {147-146},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..."
CodeMatch: Obfuscation Won't Conceal Your Repackaged App
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, and Mira Mezini
(TU Darmstadt, Germany)
@InProceedings{ESEC/FSE17p805,
author = {Leonid Glanz and Sven Amann and Michael Eichberg and Michael Reif and Ben Hermann and Johannes Lerch and Mira Mezini},
title = {CodeMatch: Obfuscation Won't Conceal Your Repackaged App},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {805-804},
doi = {},
year = {2017},
}
ESEC/FSE '17: "On the Similarity of Software ..."
On the Similarity of Software Development Documentation
Mathias Ellmann
(University of Hamburg, Germany)
@InProceedings{ESEC/FSE17p1245,
author = {Mathias Ellmann},
title = {On the Similarity of Software Development Documentation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1245-1244},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Software Engineering Research ..."
Software Engineering Research Results in Industrial Practice: A Tale of Two Projects (Invited Talk)
Wolfgang Emmerich
(Zuhlke, UK)
@InProceedings{ESEC/FSE17p25,
author = {Wolfgang Emmerich},
title = {Software Engineering Research Results in Industrial Practice: A Tale of Two Projects (Invited Talk)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Tool for Automated Reasoning ..."
A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, and Geylani Kardas
(Wageningen University, Netherlands; University of Luxembourg, Luxembourg; Ege University, Turkey)
@InProceedings{ESEC/FSE17p1174,
author = {Ferhat Erata and Arda Goknil and Bedir Tekinerdogan and Geylani Kardas},
title = {A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1174-1173},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Reflections on the REST Architectural ..."
Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)
Roy T. Fielding, Richard N. Taylor, Justin R. Erenkrantz, Michael M. Gorlick, Jim Whitehead, Rohit Khare, and Peyman Oreizy
(Adobe, USA; University of California at Irvine, USA; Bloomberg, USA; University of California at Santa Cruz, USA; Google, USA; Dynamic Variable, USA)
@InProceedings{ESEC/FSE17p37,
author = {Roy T. Fielding and Richard N. Taylor and Justin R. Erenkrantz and Michael M. Gorlick and Jim Whitehead and Rohit Khare and Peyman Oreizy},
title = {Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Cooperative Kernels: GPU Multitasking ..."
Cooperative Kernels: GPU Multitasking for Blocking Algorithms
Tyler Sorensen, Hugues Evrard, and Alastair F. Donaldson
(Imperial College London, UK)
@InProceedings{ESEC/FSE17p553,
author = {Tyler Sorensen and Hugues Evrard and Alastair F. Donaldson},
title = {Cooperative Kernels: GPU Multitasking for Blocking Algorithms},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {553-552},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Failure-Directed Program Trimming ..."
Failure-Directed Program Trimming
Kostas Ferles, Valentin Wüstholz, Maria Christakis, and Isil Dillig
(University of Texas at Austin, USA; University of Kent, UK)
@InProceedings{ESEC/FSE17p245,
author = {Kostas Ferles and Valentin Wüstholz and Maria Christakis and Isil Dillig},
title = {Failure-Directed Program Trimming},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {245-244},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Discovering Relational Specifications ..."
Discovering Relational Specifications
Calvin Smith, Gabriel Ferns, and Aws Albarghouthi
(University of Wisconsin-Madison, USA)
@InProceedings{ESEC/FSE17p777,
author = {Calvin Smith and Gabriel Ferns and Aws Albarghouthi},
title = {Discovering Relational Specifications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {777-776},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Reflections on the REST Architectural ..."
Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)
Roy T. Fielding, Richard N. Taylor, Justin R. Erenkrantz, Michael M. Gorlick, Jim Whitehead, Rohit Khare, and Peyman Oreizy
(Adobe, USA; University of California at Irvine, USA; Bloomberg, USA; University of California at Santa Cruz, USA; Google, USA; Dynamic Variable, USA)
@InProceedings{ESEC/FSE17p37,
author = {Roy T. Fielding and Richard N. Taylor and Justin R. Erenkrantz and Michael M. Gorlick and Jim Whitehead and Rohit Khare and Peyman Oreizy},
title = {Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automated Control of Multiple ..."
Automated Control of Multiple Software Goals using Multiple Actuators
Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, and Henry Hoffmann
(Lund University, Sweden; Mälardalen University, Sweden; Imperial College London, UK; University of Chicago, USA)
@InProceedings{ESEC/FSE17p483,
author = {Martina Maggio and Alessandro Vittorio Papadopoulos and Antonio Filieri and Henry Hoffmann},
title = {Automated Control of Multiple Software Goals using Multiple Actuators},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {483-482},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Understanding the Impact of ..."
Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects
Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo Sousa, Rafael de Mello, Baldoino Fonseca, Márcio Ribeiro, and Alexander Chávez
(PUC-Rio, Brazil; Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil)
@InProceedings{ESEC/FSE17p595,
author = {Diego Cedrim and Alessandro Garcia and Melina Mongiovi and Rohit Gheyi and Leonardo Sousa and Rafael de Mello and Baldoino Fonseca and Márcio Ribeiro and Alexander Chávez},
title = {Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {595-594},
doi = {},
year = {2017},
}
ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..."
DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour
Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, and Marcelo Frias
(Universidad Nacional de Río Cuarto, Argentina; Universidad Nacional de Córdoba, Argentina; University of Buenos Aires, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ESEC/FSE17p1184,
author = {Germán Regis and César Cornejo and Simón Gutiérrez Brida and Mariano Politano and Fernando Raverta and Pablo Ponzio and Nazareno Aguirre and Juan Pablo Galeotti and Marcelo Frias},
title = {DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1184-1183},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Revisiting Unsupervised Learning ..."
Revisiting Unsupervised Learning for Defect Prediction
Wei Fu and Tim Menzies
(North Carolina State University, USA)
@InProceedings{ESEC/FSE17p119,
author = {Wei Fu and Tim Menzies},
title = {Revisiting Unsupervised Learning for Defect Prediction},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {119-118},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Easy over Hard: A Case Study ..."
Easy over Hard: A Case Study on Deep Learning
Wei Fu and Tim Menzies
(North Carolina State University, USA)
@InProceedings{ESEC/FSE17p91,
author = {Wei Fu and Tim Menzies},
title = {Easy over Hard: A Case Study on Deep Learning},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {91-90},
doi = {},
year = {2017},
}
ESEC/FSE '17: "QEMU-Based Framework for Non-intrusive ..."
QEMU-Based Framework for Non-intrusive Virtual Machine Instrumentation and Introspection
Pavel Dovgalyuk, Natalia Fursova, Ivan Vasiliev, and Vladimir Makarov
(Novgorod State University, Russia)
@InProceedings{ESEC/FSE17p1159,
author = {Pavel Dovgalyuk and Natalia Fursova and Ivan Vasiliev and Vladimir Makarov},
title = {QEMU-Based Framework for Non-intrusive Virtual Machine Instrumentation and Introspection},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1159-1158},
doi = {},
year = {2017},
}
ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..."
DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour
Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, and Marcelo Frias
(Universidad Nacional de Río Cuarto, Argentina; Universidad Nacional de Córdoba, Argentina; University of Buenos Aires, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ESEC/FSE17p1184,
author = {Germán Regis and César Cornejo and Simón Gutiérrez Brida and Mariano Politano and Fernando Raverta and Pablo Ponzio and Nazareno Aguirre and Juan Pablo Galeotti and Marcelo Frias},
title = {DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1184-1183},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Fairness Testing: Testing ..."
Fairness Testing: Testing Software for Discrimination
Sainyam Galhotra, Yuriy Brun, and Alexandra Meliou
(University of Massachusetts at Amherst, USA)
@InProceedings{ESEC/FSE17p637,
author = {Sainyam Galhotra and Yuriy Brun and Alexandra Meliou},
title = {Fairness Testing: Testing Software for Discrimination},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {637-636},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Reference Architectures and ..."
Reference Architectures and Scrum: Friends or Foes?
Matthias Galster, Samuil Angelov, Silverio Martínez-Fernández, and Dan Tofan
(University of Canterbury, New Zealand; Fontys University of Applied Sciences, Netherlands; Fraunhofer IESE, Germany)
@InProceedings{ESEC/FSE17p1111,
author = {Matthias Galster and Samuil Angelov and Silverio Martínez-Fernández and Dan Tofan},
title = {Reference Architectures and Scrum: Friends or Foes?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1111-1110},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Natural Language Querying ..."
Natural Language Querying in SAP-ERP Platform
Diptikalyan Saha, Neelamadhav Gantayat, Senthil Mani, and Barry Mitchell
(IBM Research, India; IBM, USA)
@InProceedings{ESEC/FSE17p1093,
author = {Diptikalyan Saha and Neelamadhav Gantayat and Senthil Mani and Barry Mitchell},
title = {Natural Language Querying in SAP-ERP Platform},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1093-1092},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Static Analysis for Optimizing ..."
Static Analysis for Optimizing Big Data Queries
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, and Edgardo Zoppi
(University of Buenos Aires, Argentina; New York University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p1147,
author = {Diego Garbervetsky and Zvonimir Pavlinovic and Michael Barnett and Madanlal Musuvathi and Todd Mytkowicz and Edgardo Zoppi},
title = {Static Analysis for Optimizing Big Data Queries},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1147-1146},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Toward Full Elasticity in ..."
Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis
Diego Garbervetsky, Edgardo Zoppi, and Benjamin Livshits
(University of Buenos Aires, Argentina; Imperial College London, UK)
@InProceedings{ESEC/FSE17p567,
author = {Diego Garbervetsky and Edgardo Zoppi and Benjamin Livshits},
title = {Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {567-566},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Improving Understanding of ..."
Improving Understanding of Dynamically Typed Software Developed by Agile Practitioners
Jair García and Kelly Garcés
(Grupo Saberes, Colombia; Universidad de los Andes, Colombia)
@InProceedings{ESEC/FSE17p1123,
author = {Jair García and Kelly Garcés},
title = {Improving Understanding of Dynamically Typed Software Developed by Agile Practitioners},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1123-1122},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Understanding the Impact of ..."
Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects
Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo Sousa, Rafael de Mello, Baldoino Fonseca, Márcio Ribeiro, and Alexander Chávez
(PUC-Rio, Brazil; Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil)
@InProceedings{ESEC/FSE17p595,
author = {Diego Cedrim and Alessandro Garcia and Melina Mongiovi and Rohit Gheyi and Leonardo Sousa and Rafael de Mello and Baldoino Fonseca and Márcio Ribeiro and Alexander Chávez},
title = {Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {595-594},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Improving Understanding of ..."
Improving Understanding of Dynamically Typed Software Developed by Agile Practitioners
Jair García and Kelly Garcés
(Grupo Saberes, Colombia; Universidad de los Andes, Colombia)
@InProceedings{ESEC/FSE17p1123,
author = {Jair García and Kelly Garcés},
title = {Improving Understanding of Dynamically Typed Software Developed by Agile Practitioners},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1123-1122},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automatic Generation of Inter-Component ..."
Automatic Generation of Inter-Component Communication Exploits for Android Applications
Joshua Garcia, Mahmoud Hammad, Negar Ghorbani, and Sam Malek
(University of California at Irvine, USA)
@InProceedings{ESEC/FSE17p833,
author = {Joshua Garcia and Mahmoud Hammad and Negar Ghorbani and Sam Malek},
title = {Automatic Generation of Inter-Component Communication Exploits for Android Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {833-832},
doi = {},
year = {2017},
}
ESEC/FSE '17: "ARTINALI: Dynamic Invariant ..."
ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security
Maryam Raiyat Aliabadi, Amita Ajith Kamath, Julien Gascon-Samson, and Karthik Pattabiraman
(University of British Columbia, Canada; National Institute of Technology Karnataka, India)
@InProceedings{ESEC/FSE17p455,
author = {Maryam Raiyat Aliabadi and Amita Ajith Kamath and Julien Gascon-Samson and Karthik Pattabiraman},
title = {ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {455-454},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Kmax: Finding All Configurations ..."
Kmax: Finding All Configurations of Kbuild Makefiles Statically
Paul Gazzillo
(Yale University, USA)
@InProceedings{ESEC/FSE17p371,
author = {Paul Gazzillo},
title = {Kmax: Finding All Configurations of Kbuild Makefiles Statically},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {371-370},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Understanding the Impact of ..."
Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects
Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo Sousa, Rafael de Mello, Baldoino Fonseca, Márcio Ribeiro, and Alexander Chávez
(PUC-Rio, Brazil; Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil)
@InProceedings{ESEC/FSE17p595,
author = {Diego Cedrim and Alessandro Garcia and Melina Mongiovi and Rohit Gheyi and Leonardo Sousa and Rafael de Mello and Baldoino Fonseca and Márcio Ribeiro and Alexander Chávez},
title = {Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {595-594},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Modeling and Verification ..."
Modeling and Verification of Evolving Cyber-Physical Spaces
Christos Tsigkanos, Timo Kehrer, and Carlo Ghezzi
(Politecnico di Milano, Italy)
@InProceedings{ESEC/FSE17p77,
author = {Christos Tsigkanos and Timo Kehrer and Carlo Ghezzi},
title = {Modeling and Verification of Evolving Cyber-Physical Spaces},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {77-76},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automatic Generation of Inter-Component ..."
Automatic Generation of Inter-Component Communication Exploits for Android Applications
Joshua Garcia, Mahmoud Hammad, Negar Ghorbani, and Sam Malek
(University of California at Irvine, USA)
@InProceedings{ESEC/FSE17p833,
author = {Joshua Garcia and Mahmoud Hammad and Negar Ghorbani and Sam Malek},
title = {Automatic Generation of Inter-Component Communication Exploits for Android Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {833-832},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..."
CodeMatch: Obfuscation Won't Conceal Your Repackaged App
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, and Mira Mezini
(TU Darmstadt, Germany)
@InProceedings{ESEC/FSE17p805,
author = {Leonid Glanz and Sven Amann and Michael Eichberg and Michael Reif and Ben Hermann and Johannes Lerch and Mira Mezini},
title = {CodeMatch: Obfuscation Won't Conceal Your Repackaged App},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {805-804},
doi = {},
year = {2017},
}
ESEC/FSE '17: "File-Level vs. Module-Level ..."
File-Level vs. Module-Level Regression Test Selection for .NET
Marko Vasic, Zuhair Parvez, Aleksandar Milicevic, and Milos Gligoric
(University of Texas at Austin, USA; Microsoft, USA)
@InProceedings{ESEC/FSE17p1063,
author = {Marko Vasic and Zuhair Parvez and Aleksandar Milicevic and Milos Gligoric},
title = {File-Level vs. Module-Level Regression Test Selection for .NET},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1063-1062},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Regression Test Selection ..."
Regression Test Selection Across JVM Boundaries
Ahmet Celik, Marko Vasic, Aleksandar Milicevic, and Milos Gligoric
(University of Texas at Austin, USA; Microsoft, USA)
@InProceedings{ESEC/FSE17p1015,
author = {Ahmet Celik and Marko Vasic and Aleksandar Milicevic and Milos Gligoric},
title = {Regression Test Selection Across JVM Boundaries},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1015-1014},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Tool for Automated Reasoning ..."
A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, and Geylani Kardas
(Wageningen University, Netherlands; University of Luxembourg, Luxembourg; Ege University, Turkey)
@InProceedings{ESEC/FSE17p1174,
author = {Ferhat Erata and Arda Goknil and Bedir Tekinerdogan and Geylani Kardas},
title = {A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1174-1173},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Generalized Observational ..."
Generalized Observational Slicing for Tree-Represented Modelling Languages
Nicolas E. Gold, David Binkley, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo
(University College London, UK; Loyola University Maryland, USA; University of East London, UK; KAIST, South Korea)
@InProceedings{ESEC/FSE17p693,
author = {Nicolas E. Gold and David Binkley and Mark Harman and Syed Islam and Jens Krinke and Shin Yoo},
title = {Generalized Observational Slicing for Tree-Represented Modelling Languages},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {693-692},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Understanding Misunderstandings ..."
Understanding Misunderstandings in Source Code
Dan Gopstein, Jake Iannacone, Yu Yan, Lois DeLong, Yanyan Zhuang, Martin K.-C. Yeh, and Justin Cappos
(New York University, USA; Pennsylvania State University, USA; University of Colorado at Colorado Springs, USA)
@InProceedings{ESEC/FSE17p189,
author = {Dan Gopstein and Jake Iannacone and Yu Yan and Lois DeLong and Yanyan Zhuang and Martin K.-C. Yeh and Justin Cappos},
title = {Understanding Misunderstandings in Source Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {189-188},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Reflections on the REST Architectural ..."
Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)
Roy T. Fielding, Richard N. Taylor, Justin R. Erenkrantz, Michael M. Gorlick, Jim Whitehead, Rohit Khare, and Peyman Oreizy
(Adobe, USA; University of California at Irvine, USA; Bloomberg, USA; University of California at Santa Cruz, USA; Google, USA; Dynamic Variable, USA)
@InProceedings{ESEC/FSE17p37,
author = {Roy T. Fielding and Richard N. Taylor and Justin R. Erenkrantz and Michael M. Gorlick and Jim Whitehead and Rohit Khare and Peyman Oreizy},
title = {Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Strong Agile Metrics: Mining ..."
Strong Agile Metrics: Mining Log Data to Determine Predictive Power of Software Metrics for Continuous Delivery Teams
Hennie Huijgens, Robert Lamping, Dick Stevens, Hartger Rothengatter, Georgios Gousios, and Daniele Romano
(Delft University of Technology, Netherlands; ING Bank, Netherlands; CGI, Netherlands)
@InProceedings{ESEC/FSE17p1081,
author = {Hennie Huijgens and Robert Lamping and Dick Stevens and Hartger Rothengatter and Georgios Gousios and Daniele Romano},
title = {Strong Agile Metrics: Mining Log Data to Determine Predictive Power of Software Metrics for Continuous Delivery Teams},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1081-1080},
doi = {},
year = {2017},
}
ESEC/FSE '17: "From Scenario Modeling to ..."
From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology
Joel Greenyer, Daniel Gritzner, Florian König, Jannik Dahlke, Jianwei Shi, and Eric Wete
(Leibniz Universität Hannover, Germany)
@InProceedings{ESEC/FSE17p1189,
author = {Joel Greenyer and Daniel Gritzner and Florian König and Jannik Dahlke and Jianwei Shi and Eric Wete},
title = {From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1189-1188},
doi = {},
year = {2017},
}
ESEC/FSE '17: "From Scenario Modeling to ..."
From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology
Joel Greenyer, Daniel Gritzner, Florian König, Jannik Dahlke, Jianwei Shi, and Eric Wete
(Leibniz Universität Hannover, Germany)
@InProceedings{ESEC/FSE17p1189,
author = {Joel Greenyer and Daniel Gritzner and Florian König and Jannik Dahlke and Jianwei Shi and Eric Wete},
title = {From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1189-1188},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Symbolic Execution of Programmable ..."
Symbolic Execution of Programmable Logic Controller Code
Shengjian Guo, Meng Wu, and Chao Wang
(Virginia Tech, USA; University of Southern California, USA)
@InProceedings{ESEC/FSE17p427,
author = {Shengjian Guo and Meng Wu and Chao Wang},
title = {Symbolic Execution of Programmable Logic Controller Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {427-426},
doi = {},
year = {2017},
}
ESEC/FSE '17: "AtexRace: Across Thread and ..."
AtexRace: Across Thread and Execution Sampling for In-House Race Detection
Yu Guo, Yan Cai, and Zijiang Yang
(Western Michigan University, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ESEC/FSE17p413,
author = {Yu Guo and Yan Cai and Zijiang Yang},
title = {AtexRace: Across Thread and Execution Sampling for In-House Race Detection},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {413-412},
doi = {},
year = {2017},
}
ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..."
DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour
Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, and Marcelo Frias
(Universidad Nacional de Río Cuarto, Argentina; Universidad Nacional de Córdoba, Argentina; University of Buenos Aires, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ESEC/FSE17p1184,
author = {Germán Regis and César Cornejo and Simón Gutiérrez Brida and Mariano Politano and Fernando Raverta and Pablo Ponzio and Nazareno Aguirre and Juan Pablo Galeotti and Marcelo Frias},
title = {DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1184-1183},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Model-Driven Software Engineering ..."
Model-Driven Software Engineering in Practice: Privacy-Enhanced Filtering of Network Traffic
Roel van Dijk, Christophe Creeten, Jeroen van der Ham, and Jeroen van den Bos
(Netherlands Forensic Institute, Netherlands; Delft University of Technology, Netherlands; National Cyber Security Centre, Netherlands; Zuyd University of Applied Sciences, Netherlands)
@InProceedings{ESEC/FSE17p1075,
author = {Roel van Dijk and Christophe Creeten and Jeroen van der Ham and Jeroen van den Bos},
title = {Model-Driven Software Engineering in Practice: Privacy-Enhanced Filtering of Network Traffic},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1075-1074},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automatic Generation of Inter-Component ..."
Automatic Generation of Inter-Component Communication Exploits for Android Applications
Joshua Garcia, Mahmoud Hammad, Negar Ghorbani, and Sam Malek
(University of California at Irvine, USA)
@InProceedings{ESEC/FSE17p833,
author = {Joshua Garcia and Mahmoud Hammad and Negar Ghorbani and Sam Malek},
title = {Automatic Generation of Inter-Component Communication Exploits for Android Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {833-832},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Generalized Observational ..."
Generalized Observational Slicing for Tree-Represented Modelling Languages
Nicolas E. Gold, David Binkley, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo
(University College London, UK; Loyola University Maryland, USA; University of East London, UK; KAIST, South Korea)
@InProceedings{ESEC/FSE17p693,
author = {Nicolas E. Gold and David Binkley and Mark Harman and Syed Islam and Jens Krinke and Shin Yoo},
title = {Generalized Observational Slicing for Tree-Represented Modelling Languages},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {693-692},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Guidelines for Adopting Frontend ..."
Guidelines for Adopting Frontend Architectures and Patterns in Microservices-Based Systems
Holger Harms, Collin Rogowski, and Luigi Lo Iacono
(Funke Digital, Germany; inovex, Germany; Cologne University of Applied Sciences, Germany)
@InProceedings{ESEC/FSE17p1117,
author = {Holger Harms and Collin Rogowski and Luigi Lo Iacono},
title = {Guidelines for Adopting Frontend Architectures and Patterns in Microservices-Based Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1117-1116},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Craig vs. Newton in Software ..."
Craig vs. Newton in Software Model Checking
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, and Andreas Podelski
(University of Freiburg, Germany)
@InProceedings{ESEC/FSE17p623,
author = {Daniel Dietsch and Matthias Heizmann and Betim Musa and Alexander Nutz and Andreas Podelski},
title = {Craig vs. Newton in Software Model Checking},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {623-622},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Are Deep Neural Networks the ..."
Are Deep Neural Networks the Best Choice for Modeling Source Code?
Vincent J. Hellendoorn and Premkumar Devanbu
(University of California at Davis, USA)
@InProceedings{ESEC/FSE17p959,
author = {Vincent J. Hellendoorn and Premkumar Devanbu},
title = {Are Deep Neural Networks the Best Choice for Modeling Source Code?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {959-958},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Applying Deep Learning Based ..."
Applying Deep Learning Based Automatic Bug Triager to Industrial Projects
Sun-Ro Lee, Min-Jae Heo, Chan-Gun Lee, Milhan Kim, and Gaeul Jeong
(Chung-Ang University, South Korea; LG Electronics, South Korea)
@InProceedings{ESEC/FSE17p1141,
author = {Sun-Ro Lee and Min-Jae Heo and Chan-Gun Lee and Milhan Kim and Gaeul Jeong},
title = {Applying Deep Learning Based Automatic Bug Triager to Industrial Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1141-1140},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..."
CodeMatch: Obfuscation Won't Conceal Your Repackaged App
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, and Mira Mezini
(TU Darmstadt, Germany)
@InProceedings{ESEC/FSE17p805,
author = {Leonid Glanz and Sven Amann and Michael Eichberg and Michael Reif and Ben Hermann and Johannes Lerch and Mira Mezini},
title = {CodeMatch: Obfuscation Won't Conceal Your Repackaged App},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {805-804},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Counterexample-Guided Approach ..."
Counterexample-Guided Approach to Finding Numerical Invariants
ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, and Michael Hicks
(University of Nebraska-Lincoln, USA; Yale University, USA; University of Maryland, USA)
@InProceedings{ESEC/FSE17p763,
author = {ThanhVu Nguyen and Timos Antonopoulos and Andrew Ruef and Michael Hicks},
title = {Counterexample-Guided Approach to Finding Numerical Invariants},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {763-762},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Model-Level, Platform-Independent ..."
Model-Level, Platform-Independent Debugging in the Context of the Model-Driven Development of Real-Time Systems
Mojtaba Bagherzadeh, Nicolas Hili, and Juergen Dingel
(Queen's University, Canada)
@InProceedings{ESEC/FSE17p539,
author = {Mojtaba Bagherzadeh and Nicolas Hili and Juergen Dingel},
title = {Model-Level, Platform-Independent Debugging in the Context of the Model-Driven Development of Real-Time Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {539-538},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "Trade-Offs in Continuous Integration: ..."
Trade-Offs in Continuous Integration: Assurance, Security, and Flexibility
Michael Hilton, Nicholas Nelson, Timothy Tunnell, Darko Marinov, and Danny Dig
(Oregon State University, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE17p273,
author = {Michael Hilton and Nicholas Nelson and Timothy Tunnell and Darko Marinov and Danny Dig},
title = {Trade-Offs in Continuous Integration: Assurance, Security, and Flexibility},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {273-272},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Understanding the Impact of ..."
Understanding the Impact of Support for Iteration on Code Search
Lee Martie, André van der Hoek, and Thomas Kwak
(University of California at Irvine, USA)
@InProceedings{ESEC/FSE17p973,
author = {Lee Martie and André van der Hoek and Thomas Kwak},
title = {Understanding the Impact of Support for Iteration on Code Search},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {973-972},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automated Control of Multiple ..."
Automated Control of Multiple Software Goals using Multiple Actuators
Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, and Henry Hoffmann
(Lund University, Sweden; Mälardalen University, Sweden; Imperial College London, UK; University of Chicago, USA)
@InProceedings{ESEC/FSE17p483,
author = {Martina Maggio and Alessandro Vittorio Papadopoulos and Antonio Filieri and Henry Hoffmann},
title = {Automated Control of Multiple Software Goals using Multiple Actuators},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {483-482},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Measuring Neural Efficiency ..."
Measuring Neural Efficiency of Program Comprehension
Janet Siegmund, Norman Peitek, Chris Parnin, Sven Apel, Johannes Hofmeister, Christian Kästner, Andrew Begel, Anja Bethmann, and André Brechmann
(University of Passau, Germany; Leibniz Institute for Neurobiology, Germany; North Carolina State University, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p203,
author = {Janet Siegmund and Norman Peitek and Chris Parnin and Sven Apel and Johannes Hofmeister and Christian Kästner and Andrew Begel and Anja Bethmann and André Brechmann},
title = {Measuring Neural Efficiency of Program Comprehension},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {203-202},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Measuring the Cost of Regression ..."
Measuring the Cost of Regression Testing in Practice: A Study of Java Projects using Continuous Integration
Adriaan Labuschagne, Laura Inozemtseva, and Reid Holmes
(University of Waterloo, Canada; University of British Columbia, Canada)
@InProceedings{ESEC/FSE17p1029,
author = {Adriaan Labuschagne and Laura Inozemtseva and Reid Holmes},
title = {Measuring the Cost of Regression Testing in Practice: A Study of Java Projects using Continuous Integration},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1029-1028},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Strong Agile Metrics: Mining ..."
Strong Agile Metrics: Mining Log Data to Determine Predictive Power of Software Metrics for Continuous Delivery Teams
Hennie Huijgens, Robert Lamping, Dick Stevens, Hartger Rothengatter, Georgios Gousios, and Daniele Romano
(Delft University of Technology, Netherlands; ING Bank, Netherlands; CGI, Netherlands)
@InProceedings{ESEC/FSE17p1081,
author = {Hennie Huijgens and Robert Lamping and Dick Stevens and Hartger Rothengatter and Georgios Gousios and Daniele Romano},
title = {Strong Agile Metrics: Mining Log Data to Determine Predictive Power of Software Metrics for Continuous Delivery Teams},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1081-1080},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Understanding Misunderstandings ..."
Understanding Misunderstandings in Source Code
Dan Gopstein, Jake Iannacone, Yu Yan, Lois DeLong, Yanyan Zhuang, Martin K.-C. Yeh, and Justin Cappos
(New York University, USA; Pennsylvania State University, USA; University of Colorado at Colorado Springs, USA)
@InProceedings{ESEC/FSE17p189,
author = {Dan Gopstein and Jake Iannacone and Yu Yan and Lois DeLong and Yanyan Zhuang and Martin K.-C. Yeh and Justin Cappos},
title = {Understanding Misunderstandings in Source Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {189-188},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Measuring the Cost of Regression ..."
Measuring the Cost of Regression Testing in Practice: A Study of Java Projects using Continuous Integration
Adriaan Labuschagne, Laura Inozemtseva, and Reid Holmes
(University of Waterloo, Canada; University of British Columbia, Canada)
@InProceedings{ESEC/FSE17p1029,
author = {Adriaan Labuschagne and Laura Inozemtseva and Reid Holmes},
title = {Measuring the Cost of Regression Testing in Practice: A Study of Java Projects using Continuous Integration},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1029-1028},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Generalized Observational ..."
Generalized Observational Slicing for Tree-Represented Modelling Languages
Nicolas E. Gold, David Binkley, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo
(University College London, UK; Loyola University Maryland, USA; University of East London, UK; KAIST, South Korea)
@InProceedings{ESEC/FSE17p693,
author = {Nicolas E. Gold and David Binkley and Mark Harman and Syed Islam and Jens Krinke and Shin Yoo},
title = {Generalized Observational Slicing for Tree-Represented Modelling Languages},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {693-692},
doi = {},
year = {2017},
}
ESEC/FSE '17: "What Do Software Engineers ..."
What Do Software Engineers Care About? Gaps between Research and Practice
Vladimir Ivanov, Alan Rogers, Giancarlo Succi, Jooyong Yi, and Vasilii Zorin
(Innopolis University, Russia)
@InProceedings{ESEC/FSE17p1105,
author = {Vladimir Ivanov and Alan Rogers and Giancarlo Succi and Jooyong Yi and Vasilii Zorin},
title = {What Do Software Engineers Care About? Gaps between Research and Practice},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1105-1104},
doi = {},
year = {2017},
}
ESEC/FSE '17: "µDroid: An Energy-Aware Mutation ..."
µDroid: An Energy-Aware Mutation Testing Framework for Android
Reyhaneh Jabbarvand and Sam Malek
(University of California at Irvine, USA)
@InProceedings{ESEC/FSE17p287,
author = {Reyhaneh Jabbarvand and Sam Malek},
title = {µDroid: An Energy-Aware Mutation Testing Framework for Android},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {287-286},
doi = {},
year = {2017},
}
ESEC/FSE '17: "PATDroid: Permission-Aware ..."
PATDroid: Permission-Aware GUI Testing of Android
Alireza Sadeghi, Reyhaneh Jabbarvand, and Sam Malek
(University of California at Irvine, USA)
@InProceedings{ESEC/FSE17p301,
author = {Alireza Sadeghi and Reyhaneh Jabbarvand and Sam Malek},
title = {PATDroid: Permission-Aware GUI Testing of Android},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {301-300},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "Suggesting Meaningful Variable ..."
Suggesting Meaningful Variable Names for Decompiled Code: A Machine Translation Approach
Alan Jaffe
(Carnegie Mellon University, USA)
@InProceedings{ESEC/FSE17p1265,
author = {Alan Jaffe},
title = {Suggesting Meaningful Variable Names for Decompiled Code: A Machine Translation Approach},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1265-1264},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Applying Deep Learning Based ..."
Applying Deep Learning Based Automatic Bug Triager to Industrial Projects
Sun-Ro Lee, Min-Jae Heo, Chan-Gun Lee, Milhan Kim, and Gaeul Jeong
(Chung-Ang University, South Korea; LG Electronics, South Korea)
@InProceedings{ESEC/FSE17p1141,
author = {Sun-Ro Lee and Min-Jae Heo and Chan-Gun Lee and Milhan Kim and Gaeul Jeong},
title = {Applying Deep Learning Based Automatic Bug Triager to Industrial Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1141-1140},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Bayesian Specification Learning ..."
Bayesian Specification Learning for Finding API Usage Errors
Vijayaraghavan Murali, Swarat Chaudhuri, and Chris Jermaine
(Rice University, USA)
@InProceedings{ESEC/FSE17p217,
author = {Vijayaraghavan Murali and Swarat Chaudhuri and Chris Jermaine},
title = {Bayesian Specification Learning for Finding API Usage Errors},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {217-216},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Cimplifier: Automatically ..."
Cimplifier: Automatically Debloating Containers
Vaibhav Rastogi, Drew Davidson, Lorenzo De Carli, Somesh Jha, and Patrick McDaniel
(University of Wisconsin-Madison, USA; Tala Security, USA; Colorado State University, USA; Pennsylvania State University, USA)
@InProceedings{ESEC/FSE17p609,
author = {Vaibhav Rastogi and Drew Davidson and Lorenzo De Carli and Somesh Jha and Patrick McDaniel},
title = {Cimplifier: Automatically Debloating Containers},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {609-608},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Model-Based Privacy and Security ..."
Model-Based Privacy and Security Analysis with CARiSMA
Amir Shayan Ahmadian, Sven Peldszus, Qusai Ramadan, and Jan Jürjens
(University of Koblenz-Landau, Germany; Fraunhofer ISST, Germany)
@InProceedings{ESEC/FSE17p1204,
author = {Amir Shayan Ahmadian and Sven Peldszus and Qusai Ramadan and Jan Jürjens},
title = {Model-Based Privacy and Security Analysis with CARiSMA},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1204-1203},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Summarizing Software Engineering ..."
Summarizing Software Engineering Communication Artifacts from Different Sources
Verena Käfer
(University of Stuttgart, Germany)
@InProceedings{ESEC/FSE17p1253,
author = {Verena Käfer},
title = {Summarizing Software Engineering Communication Artifacts from Different Sources},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1253-1252},
doi = {},
year = {2017},
}
ESEC/FSE '17: "ARTINALI: Dynamic Invariant ..."
ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security
Maryam Raiyat Aliabadi, Amita Ajith Kamath, Julien Gascon-Samson, and Karthik Pattabiraman
(University of British Columbia, Canada; National Institute of Technology Karnataka, India)
@InProceedings{ESEC/FSE17p455,
author = {Maryam Raiyat Aliabadi and Amita Ajith Kamath and Julien Gascon-Samson and Karthik Pattabiraman},
title = {ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {455-454},
doi = {},
year = {2017},
}
ESEC/FSE '17: "More Accurate Recommendations ..."
More Accurate Recommendations for Method-Level Changes
Georg Dotzler, Marius Kamp, Patrick Kreutzer, and Michael Philippsen
(Friedrich-Alexander University Erlangen-Nürnberg, Germany)
@InProceedings{ESEC/FSE17p1001,
author = {Georg Dotzler and Marius Kamp and Patrick Kreutzer and Michael Philippsen},
title = {More Accurate Recommendations for Method-Level Changes},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1001-1000},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Tool for Automated Reasoning ..."
A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, and Geylani Kardas
(Wageningen University, Netherlands; University of Luxembourg, Luxembourg; Ege University, Turkey)
@InProceedings{ESEC/FSE17p1174,
author = {Ferhat Erata and Arda Goknil and Bedir Tekinerdogan and Geylani Kardas},
title = {A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1174-1173},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Feasibility Study of Using ..."
A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments
Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, and Abhik Roychoudhury
(Innopolis University, Russia; IIT Kanpur, India; National University of Singapore, Singapore)
@InProceedings{ESEC/FSE17p931,
author = {Jooyong Yi and Umair Z. Ahmed and Amey Karkare and Shin Hwei Tan and Abhik Roychoudhury},
title = {A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {931-930},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "Measuring Neural Efficiency ..."
Measuring Neural Efficiency of Program Comprehension
Janet Siegmund, Norman Peitek, Chris Parnin, Sven Apel, Johannes Hofmeister, Christian Kästner, Andrew Begel, Anja Bethmann, and André Brechmann
(University of Passau, Germany; Leibniz Institute for Neurobiology, Germany; North Carolina State University, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p203,
author = {Janet Siegmund and Norman Peitek and Chris Parnin and Sven Apel and Johannes Hofmeister and Christian Kästner and Andrew Begel and Anja Bethmann and André Brechmann},
title = {Measuring Neural Efficiency of Program Comprehension},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {203-202},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Modeling and Verification ..."
Modeling and Verification of Evolving Cyber-Physical Spaces
Christos Tsigkanos, Timo Kehrer, and Carlo Ghezzi
(Politecnico di Milano, Italy)
@InProceedings{ESEC/FSE17p77,
author = {Christos Tsigkanos and Timo Kehrer and Carlo Ghezzi},
title = {Modeling and Verification of Evolving Cyber-Physical Spaces},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {77-76},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Reflections on the REST Architectural ..."
Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)
Roy T. Fielding, Richard N. Taylor, Justin R. Erenkrantz, Michael M. Gorlick, Jim Whitehead, Rohit Khare, and Peyman Oreizy
(Adobe, USA; University of California at Irvine, USA; Bloomberg, USA; University of California at Santa Cruz, USA; Google, USA; Dynamic Variable, USA)
@InProceedings{ESEC/FSE17p37,
author = {Roy T. Fielding and Richard N. Taylor and Justin R. Erenkrantz and Michael M. Gorlick and Jim Whitehead and Rohit Khare and Peyman Oreizy},
title = {Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Applying Deep Learning Based ..."
Applying Deep Learning Based Automatic Bug Triager to Industrial Projects
Sun-Ro Lee, Min-Jae Heo, Chan-Gun Lee, Milhan Kim, and Gaeul Jeong
(Chung-Ang University, South Korea; LG Electronics, South Korea)
@InProceedings{ESEC/FSE17p1141,
author = {Sun-Ro Lee and Min-Jae Heo and Chan-Gun Lee and Milhan Kim and Gaeul Jeong},
title = {Applying Deep Learning Based Automatic Bug Triager to Industrial Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1141-1140},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Is There a Mismatch between ..."
Is There a Mismatch between Real-World Feature Models and Product-Line Research?
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, and Ina Schaefer
(TU Braunschweig, Germany; University of Magdeburg, Germany)
@InProceedings{ESEC/FSE17p385,
author = {Alexander Knüppel and Thomas Thüm and Stephan Mennicke and Jens Meinicke and Ina Schaefer},
title = {Is There a Mismatch between Real-World Feature Models and Product-Line Research?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {385-384},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Recommender System for Model ..."
Recommender System for Model Driven Software Development
Stefan Kögel
(University of Ulm, Germany)
@InProceedings{ESEC/FSE17p1241,
author = {Stefan Kögel},
title = {Recommender System for Model Driven Software Development},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1241-1240},
doi = {},
year = {2017},
}
ESEC/FSE '17: "DecisionDroid: A Supervised ..."
DecisionDroid: A Supervised Learning-Based System to Identify Cloned Android Applications
Ayush Kohli
(Southern Illinois University at Carbondale, USA)
@InProceedings{ESEC/FSE17p1274,
author = {Ayush Kohli},
title = {DecisionDroid: A Supervised Learning-Based System to Identify Cloned Android Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1274-1273},
doi = {},
year = {2017},
}
ESEC/FSE '17: "From Scenario Modeling to ..."
From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology
Joel Greenyer, Daniel Gritzner, Florian König, Jannik Dahlke, Jianwei Shi, and Eric Wete
(Leibniz Universität Hannover, Germany)
@InProceedings{ESEC/FSE17p1189,
author = {Joel Greenyer and Daniel Gritzner and Florian König and Jannik Dahlke and Jianwei Shi and Eric Wete},
title = {From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1189-1188},
doi = {},
year = {2017},
}
ESEC/FSE '17: "More Accurate Recommendations ..."
More Accurate Recommendations for Method-Level Changes
Georg Dotzler, Marius Kamp, Patrick Kreutzer, and Michael Philippsen
(Friedrich-Alexander University Erlangen-Nürnberg, Germany)
@InProceedings{ESEC/FSE17p1001,
author = {Georg Dotzler and Marius Kamp and Patrick Kreutzer and Michael Philippsen},
title = {More Accurate Recommendations for Method-Level Changes},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1001-1000},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Generalized Observational ..."
Generalized Observational Slicing for Tree-Represented Modelling Languages
Nicolas E. Gold, David Binkley, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo
(University College London, UK; Loyola University Maryland, USA; University of East London, UK; KAIST, South Korea)
@InProceedings{ESEC/FSE17p693,
author = {Nicolas E. Gold and David Binkley and Mark Harman and Syed Islam and Jens Krinke and Shin Yoo},
title = {Generalized Observational Slicing for Tree-Represented Modelling Languages},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {693-692},
doi = {},
year = {2017},
}
ESEC/FSE '17: "The Power of "Why" ..."
The Power of "Why" and "Why Not": Enriching Scenario Exploration with Provenance
Tim Nelson, Natasha Danas, Daniel J. Dougherty, and Shriram Krishnamurthi
(Brown University, USA; Worcester Polytechnic Institute, USA)
@InProceedings{ESEC/FSE17p161,
author = {Tim Nelson and Natasha Danas and Daniel J. Dougherty and Shriram Krishnamurthi},
title = {The Power of "Why" and "Why Not": Enriching Scenario Exploration with Provenance},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {161-160},
doi = {},
year = {2017},
}
Artifacts Reusable
Best-Paper Award
ESEC/FSE '17: "Thread-Modular Static Analysis ..."
Thread-Modular Static Analysis for Relaxed Memory Models
Markus Kusano and Chao Wang
(Virginia Tech, USA; University of Southern California, USA)
@InProceedings{ESEC/FSE17p441,
author = {Markus Kusano and Chao Wang},
title = {Thread-Modular Static Analysis for Relaxed Memory Models},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {441-440},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Symbolic Justice Violations ..."
A Symbolic Justice Violations Transition System for Unrealizable GR(1) Specifications
Aviv Kuvent, Shahar Maoz, and Jan Oliver Ringert
(Tel Aviv University, Israel)
@InProceedings{ESEC/FSE17p469,
author = {Aviv Kuvent and Shahar Maoz and Jan Oliver Ringert},
title = {A Symbolic Justice Violations Transition System for Unrealizable GR(1) Specifications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {469-468},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Understanding the Impact of ..."
Understanding the Impact of Support for Iteration on Code Search
Lee Martie, André van der Hoek, and Thomas Kwak
(University of California at Irvine, USA)
@InProceedings{ESEC/FSE17p973,
author = {Lee Martie and André van der Hoek and Thomas Kwak},
title = {Understanding the Impact of Support for Iteration on Code Search},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {973-972},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Measuring the Cost of Regression ..."
Measuring the Cost of Regression Testing in Practice: A Study of Java Projects using Continuous Integration
Adriaan Labuschagne, Laura Inozemtseva, and Reid Holmes
(University of Waterloo, Canada; University of British Columbia, Canada)
@InProceedings{ESEC/FSE17p1029,
author = {Adriaan Labuschagne and Laura Inozemtseva and Reid Holmes},
title = {Measuring the Cost of Regression Testing in Practice: A Study of Java Projects using Continuous Integration},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1029-1028},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CodeCarbonCopy ..."
CodeCarbonCopy
Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden, Fan Long, and Martin Rinard
(Massachusetts Institute of Technology, USA)
@InProceedings{ESEC/FSE17p147,
author = {Stelios Sidiroglou-Douskos and Eric Lahtinen and Anthony Eden and Fan Long and Martin Rinard},
title = {CodeCarbonCopy},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {147-146},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Record and Replay for Android: ..."
Record and Replay for Android: Are We There Yet in Industrial Cases?
Wing Lam, Zhengkai Wu, Dengfeng Li, Wenyu Wang, Haibing Zheng, Hui Luo, Peng Yan, Yuetang Deng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tencent, China)
@InProceedings{ESEC/FSE17p1069,
author = {Wing Lam and Zhengkai Wu and Dengfeng Li and Wenyu Wang and Haibing Zheng and Hui Luo and Peng Yan and Yuetang Deng and Tao Xie},
title = {Record and Replay for Android: Are We There Yet in Industrial Cases?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1069-1068},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Strong Agile Metrics: Mining ..."
Strong Agile Metrics: Mining Log Data to Determine Predictive Power of Software Metrics for Continuous Delivery Teams
Hennie Huijgens, Robert Lamping, Dick Stevens, Hartger Rothengatter, Georgios Gousios, and Daniele Romano
(Delft University of Technology, Netherlands; ING Bank, Netherlands; CGI, Netherlands)
@InProceedings{ESEC/FSE17p1081,
author = {Hennie Huijgens and Robert Lamping and Dick Stevens and Hartger Rothengatter and Georgios Gousios and Daniele Romano},
title = {Strong Agile Metrics: Mining Log Data to Determine Predictive Power of Software Metrics for Continuous Delivery Teams},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1081-1080},
doi = {},
year = {2017},
}
ESEC/FSE '17: "XSearch: A Domain-Specific ..."
XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool
Bowen Xu, Zhenchang Xing, Xin Xia, David Lo, and Xuan-Bach D. Le
(Zhejiang University, China; Australian National University, Australia; University of British Columbia, Canada; Singapore Management University, Singapore)
@InProceedings{ESEC/FSE17p1224,
author = {Bowen Xu and Zhenchang Xing and Xin Xia and David Lo and Xuan-Bach D. Le},
title = {XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1224-1223},
doi = {},
year = {2017},
}
ESEC/FSE '17: "S3: Syntax- and Semantic-Guided ..."
S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples
Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser
(Singapore Management University, Singapore; IST Austria, Austria; Carnegie Mellon University, USA; Stellenbosch University, South Africa)
@InProceedings{ESEC/FSE17p749,
author = {Xuan-Bach D. Le and Duc-Hiep Chu and David Lo and Claire Le Goues and Willem Visser},
title = {S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {749-748},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Applying Deep Learning Based ..."
Applying Deep Learning Based Automatic Bug Triager to Industrial Projects
Sun-Ro Lee, Min-Jae Heo, Chan-Gun Lee, Milhan Kim, and Gaeul Jeong
(Chung-Ang University, South Korea; LG Electronics, South Korea)
@InProceedings{ESEC/FSE17p1141,
author = {Sun-Ro Lee and Min-Jae Heo and Chan-Gun Lee and Milhan Kim and Gaeul Jeong},
title = {Applying Deep Learning Based Automatic Bug Triager to Industrial Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1141-1140},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Applying Deep Learning Based ..."
Applying Deep Learning Based Automatic Bug Triager to Industrial Projects
Sun-Ro Lee, Min-Jae Heo, Chan-Gun Lee, Milhan Kim, and Gaeul Jeong
(Chung-Ang University, South Korea; LG Electronics, South Korea)
@InProceedings{ESEC/FSE17p1141,
author = {Sun-Ro Lee and Min-Jae Heo and Chan-Gun Lee and Milhan Kim and Gaeul Jeong},
title = {Applying Deep Learning Based Automatic Bug Triager to Industrial Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1141-1140},
doi = {},
year = {2017},
}
ESEC/FSE '17: "LAMP: Data Provenance for ..."
LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation
Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai, Yingqi Liu, and Xiangyu Zhang
(Purdue University, USA; Nanjing University, China)
@InProceedings{ESEC/FSE17p987,
author = {Shiqing Ma and Yousra Aafer and Zhaogui Xu and Wen-Chuan Lee and Juan Zhai and Yingqi Liu and Xiangyu Zhang},
title = {LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {987-986},
doi = {},
year = {2017},
}
ESEC/FSE '17: "S3: Syntax- and Semantic-Guided ..."
S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples
Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser
(Singapore Management University, Singapore; IST Austria, Austria; Carnegie Mellon University, USA; Stellenbosch University, South Africa)
@InProceedings{ESEC/FSE17p749,
author = {Xuan-Bach D. Le and Duc-Hiep Chu and David Lo and Claire Le Goues and Willem Visser},
title = {S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {749-748},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..."
CodeMatch: Obfuscation Won't Conceal Your Repackaged App
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, and Mira Mezini
(TU Darmstadt, Germany)
@InProceedings{ESEC/FSE17p805,
author = {Leonid Glanz and Sven Amann and Michael Eichberg and Michael Reif and Ben Hermann and Johannes Lerch and Mira Mezini},
title = {CodeMatch: Obfuscation Won't Conceal Your Repackaged App},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {805-804},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Record and Replay for Android: ..."
Record and Replay for Android: Are We There Yet in Industrial Cases?
Wing Lam, Zhengkai Wu, Dengfeng Li, Wenyu Wang, Haibing Zheng, Hui Luo, Peng Yan, Yuetang Deng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tencent, China)
@InProceedings{ESEC/FSE17p1069,
author = {Wing Lam and Zhengkai Wu and Dengfeng Li and Wenyu Wang and Haibing Zheng and Hui Luo and Peng Yan and Yuetang Deng and Tao Xie},
title = {Record and Replay for Android: Are We There Yet in Industrial Cases?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1069-1068},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Loopster: Static Loop Termination ..."
Loopster: Static Loop Termination Analysis
Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu, and Xiaohong Li
(Tianjin University, China; Nanyang Technological University, Singapore)
@InProceedings{ESEC/FSE17p133,
author = {Xiaofei Xie and Bihuan Chen and Liang Zou and Shang-Wei Lin and Yang Liu and Xiaohong Li},
title = {Loopster: Static Loop Termination Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {133-132},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Steelix: Program-State Based ..."
Steelix: Program-State Based Binary Fuzzing
Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, and Alwen Tiu
(Nanyang Technological University, Singapore; Fudan University, China)
@InProceedings{ESEC/FSE17p791,
author = {Yuekang Li and Bihuan Chen and Mahinthan Chandramohan and Shang-Wei Lin and Yang Liu and Alwen Tiu},
title = {Steelix: Program-State Based Binary Fuzzing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {791-790},
doi = {},
year = {2017},
}
ESEC/FSE '17: "The Care and Feeding of Wild-Caught ..."
The Care and Feeding of Wild-Caught Mutants
David Bingham Brown, Michael Vaughn, Ben Liblit, and Thomas Reps
(University of Wisconsin-Madison, USA)
@InProceedings{ESEC/FSE17p651,
author = {David Bingham Brown and Michael Vaughn and Ben Liblit and Thomas Reps},
title = {The Care and Feeding of Wild-Caught Mutants},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {651-650},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Loopster: Static Loop Termination ..."
Loopster: Static Loop Termination Analysis
Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu, and Xiaohong Li
(Tianjin University, China; Nanyang Technological University, Singapore)
@InProceedings{ESEC/FSE17p133,
author = {Xiaofei Xie and Bihuan Chen and Liang Zou and Shang-Wei Lin and Yang Liu and Xiaohong Li},
title = {Loopster: Static Loop Termination Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {133-132},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Steelix: Program-State Based ..."
Steelix: Program-State Based Binary Fuzzing
Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, and Alwen Tiu
(Nanyang Technological University, Singapore; Fudan University, China)
@InProceedings{ESEC/FSE17p791,
author = {Yuekang Li and Bihuan Chen and Mahinthan Chandramohan and Shang-Wei Lin and Yang Liu and Alwen Tiu},
title = {Steelix: Program-State Based Binary Fuzzing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {791-790},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Enabling Mutation Testing ..."
Enabling Mutation Testing for Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Michele Tufano, Kevin Moran, Massimiliano Di Penta, Christopher Vendome, Carlos Bernal-Cárdenas, and Denys Poshyvanyk
(Universidad de los Andes, Colombia; University of Lugano, Switzerland; College of William and Mary, USA; University of Sannio, Italy)
@InProceedings{ESEC/FSE17p315,
author = {Mario Linares-Vásquez and Gabriele Bavota and Michele Tufano and Kevin Moran and Massimiliano Di Penta and Christopher Vendome and Carlos Bernal-Cárdenas and Denys Poshyvanyk},
title = {Enabling Mutation Testing for Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {315-314},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Loopster: Static Loop Termination ..."
Loopster: Static Loop Termination Analysis
Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu, and Xiaohong Li
(Tianjin University, China; Nanyang Technological University, Singapore)
@InProceedings{ESEC/FSE17p133,
author = {Xiaofei Xie and Bihuan Chen and Liang Zou and Shang-Wei Lin and Yang Liu and Xiaohong Li},
title = {Loopster: Static Loop Termination Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {133-132},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Guided, Stochastic Model-Based ..."
Guided, Stochastic Model-Based GUI Testing of Android Apps
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, and Zhendong Su
(East China Normal University, China; Nanyang Technological University, Singapore; Shanghai Jiao Tong University, China; University of California at Davis, USA)
@InProceedings{ESEC/FSE17p329,
author = {Ting Su and Guozhu Meng and Yuting Chen and Ke Wu and Weiming Yang and Yao Yao and Geguang Pu and Yang Liu and Zhendong Su},
title = {Guided, Stochastic Model-Based GUI Testing of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {329-328},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Steelix: Program-State Based ..."
Steelix: Program-State Based Binary Fuzzing
Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, and Alwen Tiu
(Nanyang Technological University, Singapore; Fudan University, China)
@InProceedings{ESEC/FSE17p791,
author = {Yuekang Li and Bihuan Chen and Mahinthan Chandramohan and Shang-Wei Lin and Yang Liu and Alwen Tiu},
title = {Steelix: Program-State Based Binary Fuzzing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {791-790},
doi = {},
year = {2017},
}
ESEC/FSE '17: "OASIS: Prioritizing Static ..."
OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews
Lili Wei, Yepang Liu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China)
@InProceedings{ESEC/FSE17p847,
author = {Lili Wei and Yepang Liu and Shing-Chi Cheung},
title = {OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {847-846},
doi = {},
year = {2017},
}
ESEC/FSE '17: "LAMP: Data Provenance for ..."
LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation
Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai, Yingqi Liu, and Xiangyu Zhang
(Purdue University, USA; Nanjing University, China)
@InProceedings{ESEC/FSE17p987,
author = {Shiqing Ma and Yousra Aafer and Zhaogui Xu and Wen-Chuan Lee and Juan Zhai and Yingqi Liu and Xiangyu Zhang},
title = {LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {987-986},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Better Test Cases for Better ..."
Better Test Cases for Better Automated Program Repair
Jinqiu Yang, Alexey Zhikhartsev, Yuefei Liu, and Lin Tan
(University of Waterloo, Canada)
@InProceedings{ESEC/FSE17p1043,
author = {Jinqiu Yang and Alexey Zhikhartsev and Yuefei Liu and Lin Tan},
title = {Better Test Cases for Better Automated Program Repair},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1043-1042},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Toward Full Elasticity in ..."
Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis
Diego Garbervetsky, Edgardo Zoppi, and Benjamin Livshits
(University of Buenos Aires, Argentina; Imperial College London, UK)
@InProceedings{ESEC/FSE17p567,
author = {Diego Garbervetsky and Edgardo Zoppi and Benjamin Livshits},
title = {Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {567-566},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Probabilistic Model Checking ..."
Probabilistic Model Checking of Perturbed MDPs with Applications to Cloud Computing
Yamilet R. Serrano Llerena, Guoxin Su, and David S. Rosenblum
(National University of Singapore, Singapore; University of Wollongong, Australia)
@InProceedings{ESEC/FSE17p581,
author = {Yamilet R. Serrano Llerena and Guoxin Su and David S. Rosenblum},
title = {Probabilistic Model Checking of Perturbed MDPs with Applications to Cloud Computing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {581-580},
doi = {},
year = {2017},
}
ESEC/FSE '17: "XSearch: A Domain-Specific ..."
XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool
Bowen Xu, Zhenchang Xing, Xin Xia, David Lo, and Xuan-Bach D. Le
(Zhejiang University, China; Australian National University, Australia; University of British Columbia, Canada; Singapore Management University, Singapore)
@InProceedings{ESEC/FSE17p1224,
author = {Bowen Xu and Zhenchang Xing and Xin Xia and David Lo and Xuan-Bach D. Le},
title = {XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1224-1223},
doi = {},
year = {2017},
}
ESEC/FSE '17: "S3: Syntax- and Semantic-Guided ..."
S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples
Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser
(Singapore Management University, Singapore; IST Austria, Austria; Carnegie Mellon University, USA; Stellenbosch University, South Africa)
@InProceedings{ESEC/FSE17p749,
author = {Xuan-Bach D. Le and Duc-Hiep Chu and David Lo and Claire Le Goues and Willem Visser},
title = {S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {749-748},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Guidelines for Adopting Frontend ..."
Guidelines for Adopting Frontend Architectures and Patterns in Microservices-Based Systems
Holger Harms, Collin Rogowski, and Luigi Lo Iacono
(Funke Digital, Germany; inovex, Germany; Cologne University of Applied Sciences, Germany)
@InProceedings{ESEC/FSE17p1117,
author = {Holger Harms and Collin Rogowski and Luigi Lo Iacono},
title = {Guidelines for Adopting Frontend Architectures and Patterns in Microservices-Based Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1117-1116},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CodeCarbonCopy ..."
CodeCarbonCopy
Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden, Fan Long, and Martin Rinard
(Massachusetts Institute of Technology, USA)
@InProceedings{ESEC/FSE17p147,
author = {Stelios Sidiroglou-Douskos and Eric Lahtinen and Anthony Eden and Fan Long and Martin Rinard},
title = {CodeCarbonCopy},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {147-146},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automatic Inference of Code ..."
Automatic Inference of Code Transforms for Patch Generation
Fan Long, Peter Amidon, and Martin Rinard
(Massachusetts Institute of Technology, USA; University of California at San Diego, USA)
@InProceedings{ESEC/FSE17p917,
author = {Fan Long and Peter Amidon and Martin Rinard},
title = {Automatic Inference of Code Transforms for Patch Generation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {917-916},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "Detecting Missing Information ..."
Detecting Missing Information in Bug Descriptions
Oscar Chaparro, Jing Lu, Fiorella Zampetti, Laura Moreno, Massimiliano Di Penta, Andrian Marcus, Gabriele Bavota, and Vincent Ng
(University of Texas at Dallas, USA; University of Sannio, Italy; Colorado State University, USA; University of Lugano, Switzerland)
@InProceedings{ESEC/FSE17p511,
author = {Oscar Chaparro and Jing Lu and Fiorella Zampetti and Laura Moreno and Massimiliano Di Penta and Andrian Marcus and Gabriele Bavota and Vincent Ng},
title = {Detecting Missing Information in Bug Descriptions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {511-510},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Record and Replay for Android: ..."
Record and Replay for Android: Are We There Yet in Industrial Cases?
Wing Lam, Zhengkai Wu, Dengfeng Li, Wenyu Wang, Haibing Zheng, Hui Luo, Peng Yan, Yuetang Deng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tencent, China)
@InProceedings{ESEC/FSE17p1069,
author = {Wing Lam and Zhengkai Wu and Dengfeng Li and Wenyu Wang and Haibing Zheng and Hui Luo and Peng Yan and Yuetang Deng and Tao Xie},
title = {Record and Replay for Android: Are We There Yet in Industrial Cases?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1069-1068},
doi = {},
year = {2017},
}
ESEC/FSE '17: "LAMP: Data Provenance for ..."
LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation
Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai, Yingqi Liu, and Xiangyu Zhang
(Purdue University, USA; Nanjing University, China)
@InProceedings{ESEC/FSE17p987,
author = {Shiqing Ma and Yousra Aafer and Zhaogui Xu and Wen-Chuan Lee and Juan Zhai and Yingqi Liu and Xiangyu Zhang},
title = {LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {987-986},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automated Control of Multiple ..."
Automated Control of Multiple Software Goals using Multiple Actuators
Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, and Henry Hoffmann
(Lund University, Sweden; Mälardalen University, Sweden; Imperial College London, UK; University of Chicago, USA)
@InProceedings{ESEC/FSE17p483,
author = {Martina Maggio and Alessandro Vittorio Papadopoulos and Antonio Filieri and Henry Hoffmann},
title = {Automated Control of Multiple Software Goals using Multiple Actuators},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {483-482},
doi = {},
year = {2017},
}
ESEC/FSE '17: "QEMU-Based Framework for Non-intrusive ..."
QEMU-Based Framework for Non-intrusive Virtual Machine Instrumentation and Introspection
Pavel Dovgalyuk, Natalia Fursova, Ivan Vasiliev, and Vladimir Makarov
(Novgorod State University, Russia)
@InProceedings{ESEC/FSE17p1159,
author = {Pavel Dovgalyuk and Natalia Fursova and Ivan Vasiliev and Vladimir Makarov},
title = {QEMU-Based Framework for Non-intrusive Virtual Machine Instrumentation and Introspection},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1159-1158},
doi = {},
year = {2017},
}
ESEC/FSE '17: "µDroid: An Energy-Aware Mutation ..."
µDroid: An Energy-Aware Mutation Testing Framework for Android
Reyhaneh Jabbarvand and Sam Malek
(University of California at Irvine, USA)
@InProceedings{ESEC/FSE17p287,
author = {Reyhaneh Jabbarvand and Sam Malek},
title = {µDroid: An Energy-Aware Mutation Testing Framework for Android},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {287-286},
doi = {},
year = {2017},
}
ESEC/FSE '17: "PATDroid: Permission-Aware ..."
PATDroid: Permission-Aware GUI Testing of Android
Alireza Sadeghi, Reyhaneh Jabbarvand, and Sam Malek
(University of California at Irvine, USA)
@InProceedings{ESEC/FSE17p301,
author = {Alireza Sadeghi and Reyhaneh Jabbarvand and Sam Malek},
title = {PATDroid: Permission-Aware GUI Testing of Android},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {301-300},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "Automatic Generation of Inter-Component ..."
Automatic Generation of Inter-Component Communication Exploits for Android Applications
Joshua Garcia, Mahmoud Hammad, Negar Ghorbani, and Sam Malek
(University of California at Irvine, USA)
@InProceedings{ESEC/FSE17p833,
author = {Joshua Garcia and Mahmoud Hammad and Negar Ghorbani and Sam Malek},
title = {Automatic Generation of Inter-Component Communication Exploits for Android Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {833-832},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Natural Language Querying ..."
Natural Language Querying in SAP-ERP Platform
Diptikalyan Saha, Neelamadhav Gantayat, Senthil Mani, and Barry Mitchell
(IBM Research, India; IBM, USA)
@InProceedings{ESEC/FSE17p1093,
author = {Diptikalyan Saha and Neelamadhav Gantayat and Senthil Mani and Barry Mitchell},
title = {Natural Language Querying in SAP-ERP Platform},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1093-1092},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Symbolic Justice Violations ..."
A Symbolic Justice Violations Transition System for Unrealizable GR(1) Specifications
Aviv Kuvent, Shahar Maoz, and Jan Oliver Ringert
(Tel Aviv University, Israel)
@InProceedings{ESEC/FSE17p469,
author = {Aviv Kuvent and Shahar Maoz and Jan Oliver Ringert},
title = {A Symbolic Justice Violations Transition System for Unrealizable GR(1) Specifications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {469-468},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Detecting Missing Information ..."
Detecting Missing Information in Bug Descriptions
Oscar Chaparro, Jing Lu, Fiorella Zampetti, Laura Moreno, Massimiliano Di Penta, Andrian Marcus, Gabriele Bavota, and Vincent Ng
(University of Texas at Dallas, USA; University of Sannio, Italy; Colorado State University, USA; University of Lugano, Switzerland)
@InProceedings{ESEC/FSE17p511,
author = {Oscar Chaparro and Jing Lu and Fiorella Zampetti and Laura Moreno and Massimiliano Di Penta and Andrian Marcus and Gabriele Bavota and Vincent Ng},
title = {Detecting Missing Information in Bug Descriptions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {511-510},
doi = {},
year = {2017},
}
ESEC/FSE '17: "VART: A Tool for the Automatic ..."
VART: A Tool for the Automatic Detection of Regression Faults
Fabrizio Pastore and Leonardo Mariani
(University of Milano-Bicocca, Italy)
@InProceedings{ESEC/FSE17p1179,
author = {Fabrizio Pastore and Leonardo Mariani},
title = {VART: A Tool for the Automatic Detection of Regression Faults},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1179-1178},
doi = {},
year = {2017},
}
ESEC/FSE '17: "BDCI: Behavioral Driven Conflict ..."
BDCI: Behavioral Driven Conflict Identification
Fabrizio Pastore, Leonardo Mariani, and Daniela Micucci
(University of Milano-Bicocca, Italy)
@InProceedings{ESEC/FSE17p721,
author = {Fabrizio Pastore and Leonardo Mariani and Daniela Micucci},
title = {BDCI: Behavioral Driven Conflict Identification},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {721-720},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "ARCC: Assistant for Repetitive ..."
ARCC: Assistant for Repetitive Code Comprehension
Wilberto Z. Nunez, Victor J. Marin, and Carlos R. Rivero
(Rochester Institute of Technology, USA)
@InProceedings{ESEC/FSE17p1214,
author = {Wilberto Z. Nunez and Victor J. Marin and Carlos R. Rivero},
title = {ARCC: Assistant for Repetitive Code Comprehension},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1214-1213},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Trade-Offs in Continuous Integration: ..."
Trade-Offs in Continuous Integration: Assurance, Security, and Flexibility
Michael Hilton, Nicholas Nelson, Timothy Tunnell, Darko Marinov, and Danny Dig
(Oregon State University, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE17p273,
author = {Michael Hilton and Nicholas Nelson and Timothy Tunnell and Darko Marinov and Danny Dig},
title = {Trade-Offs in Continuous Integration: Assurance, Security, and Flexibility},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {273-272},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Understanding the Impact of ..."
Understanding the Impact of Support for Iteration on Code Search
Lee Martie, André van der Hoek, and Thomas Kwak
(University of California at Irvine, USA)
@InProceedings{ESEC/FSE17p973,
author = {Lee Martie and André van der Hoek and Thomas Kwak},
title = {Understanding the Impact of Support for Iteration on Code Search},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {973-972},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Reference Architectures and ..."
Reference Architectures and Scrum: Friends or Foes?
Matthias Galster, Samuil Angelov, Silverio Martínez-Fernández, and Dan Tofan
(University of Canterbury, New Zealand; Fontys University of Applied Sciences, Netherlands; Fraunhofer IESE, Germany)
@InProceedings{ESEC/FSE17p1111,
author = {Matthias Galster and Samuil Angelov and Silverio Martínez-Fernández and Dan Tofan},
title = {Reference Architectures and Scrum: Friends or Foes?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1111-1110},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automated Testing of Hybrid ..."
Automated Testing of Hybrid Simulink/Stateflow Controllers: Industrial Case Studies
Reza Matinnejad, Shiva Nejati, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
@InProceedings{ESEC/FSE17p1153,
author = {Reza Matinnejad and Shiva Nejati and Lionel C. Briand},
title = {Automated Testing of Hybrid Simulink/Stateflow Controllers: Industrial Case Studies},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1153-1152},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Cimplifier: Automatically ..."
Cimplifier: Automatically Debloating Containers
Vaibhav Rastogi, Drew Davidson, Lorenzo De Carli, Somesh Jha, and Patrick McDaniel
(University of Wisconsin-Madison, USA; Tala Security, USA; Colorado State University, USA; Pennsylvania State University, USA)
@InProceedings{ESEC/FSE17p609,
author = {Vaibhav Rastogi and Drew Davidson and Lorenzo De Carli and Somesh Jha and Patrick McDaniel},
title = {Cimplifier: Automatically Debloating Containers},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {609-608},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Is There a Mismatch between ..."
Is There a Mismatch between Real-World Feature Models and Product-Line Research?
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, and Ina Schaefer
(TU Braunschweig, Germany; University of Magdeburg, Germany)
@InProceedings{ESEC/FSE17p385,
author = {Alexander Knüppel and Thomas Thüm and Stephan Mennicke and Jens Meinicke and Ina Schaefer},
title = {Is There a Mismatch between Real-World Feature Models and Product-Line Research?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {385-384},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Fairness Testing: Testing ..."
Fairness Testing: Testing Software for Discrimination
Sainyam Galhotra, Yuriy Brun, and Alexandra Meliou
(University of Massachusetts at Amherst, USA)
@InProceedings{ESEC/FSE17p637,
author = {Sainyam Galhotra and Yuriy Brun and Alexandra Meliou},
title = {Fairness Testing: Testing Software for Discrimination},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {637-636},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Guided, Stochastic Model-Based ..."
Guided, Stochastic Model-Based GUI Testing of Android Apps
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, and Zhendong Su
(East China Normal University, China; Nanyang Technological University, Singapore; Shanghai Jiao Tong University, China; University of California at Davis, USA)
@InProceedings{ESEC/FSE17p329,
author = {Ting Su and Guozhu Meng and Yuting Chen and Ke Wu and Weiming Yang and Yao Yao and Geguang Pu and Yang Liu and Zhendong Su},
title = {Guided, Stochastic Model-Based GUI Testing of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {329-328},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Is There a Mismatch between ..."
Is There a Mismatch between Real-World Feature Models and Product-Line Research?
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, and Ina Schaefer
(TU Braunschweig, Germany; University of Magdeburg, Germany)
@InProceedings{ESEC/FSE17p385,
author = {Alexander Knüppel and Thomas Thüm and Stephan Mennicke and Jens Meinicke and Ina Schaefer},
title = {Is There a Mismatch between Real-World Feature Models and Product-Line Research?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {385-384},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Revisiting Unsupervised Learning ..."
Revisiting Unsupervised Learning for Defect Prediction
Wei Fu and Tim Menzies
(North Carolina State University, USA)
@InProceedings{ESEC/FSE17p119,
author = {Wei Fu and Tim Menzies},
title = {Revisiting Unsupervised Learning for Defect Prediction},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {119-118},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Using Bad Learners to Find ..."
Using Bad Learners to Find Good Configurations
Vivek Nair, Tim Menzies, Norbert Siegmund, and Sven Apel
(North Carolina State University, USA; Bauhaus-University Weimar, Germany; University of Passau, Germany)
@InProceedings{ESEC/FSE17p343,
author = {Vivek Nair and Tim Menzies and Norbert Siegmund and Sven Apel},
title = {Using Bad Learners to Find Good Configurations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {343-342},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Easy over Hard: A Case Study ..."
Easy over Hard: A Case Study on Deep Learning
Wei Fu and Tim Menzies
(North Carolina State University, USA)
@InProceedings{ESEC/FSE17p91,
author = {Wei Fu and Tim Menzies},
title = {Easy over Hard: A Case Study on Deep Learning},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {91-90},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..."
CodeMatch: Obfuscation Won't Conceal Your Repackaged App
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, and Mira Mezini
(TU Darmstadt, Germany)
@InProceedings{ESEC/FSE17p805,
author = {Leonid Glanz and Sven Amann and Michael Eichberg and Michael Reif and Ben Hermann and Johannes Lerch and Mira Mezini},
title = {CodeMatch: Obfuscation Won't Conceal Your Repackaged App},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {805-804},
doi = {},
year = {2017},
}
ESEC/FSE '17: "BDCI: Behavioral Driven Conflict ..."
BDCI: Behavioral Driven Conflict Identification
Fabrizio Pastore, Leonardo Mariani, and Daniela Micucci
(University of Milano-Bicocca, Italy)
@InProceedings{ESEC/FSE17p721,
author = {Fabrizio Pastore and Leonardo Mariani and Daniela Micucci},
title = {BDCI: Behavioral Driven Conflict Identification},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {721-720},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "File-Level vs. Module-Level ..."
File-Level vs. Module-Level Regression Test Selection for .NET
Marko Vasic, Zuhair Parvez, Aleksandar Milicevic, and Milos Gligoric
(University of Texas at Austin, USA; Microsoft, USA)
@InProceedings{ESEC/FSE17p1063,
author = {Marko Vasic and Zuhair Parvez and Aleksandar Milicevic and Milos Gligoric},
title = {File-Level vs. Module-Level Regression Test Selection for .NET},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1063-1062},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Regression Test Selection ..."
Regression Test Selection Across JVM Boundaries
Ahmet Celik, Marko Vasic, Aleksandar Milicevic, and Milos Gligoric
(University of Texas at Austin, USA; Microsoft, USA)
@InProceedings{ESEC/FSE17p1015,
author = {Ahmet Celik and Marko Vasic and Aleksandar Milicevic and Milos Gligoric},
title = {Regression Test Selection Across JVM Boundaries},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1015-1014},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automating Traceability Link ..."
Automating Traceability Link Recovery through Classification
Chris Mills
(Florida State University, USA)
@InProceedings{ESEC/FSE17p1283,
author = {Chris Mills},
title = {Automating Traceability Link Recovery through Classification},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1283-1282},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Natural Language Querying ..."
Natural Language Querying in SAP-ERP Platform
Diptikalyan Saha, Neelamadhav Gantayat, Senthil Mani, and Barry Mitchell
(IBM Research, India; IBM, USA)
@InProceedings{ESEC/FSE17p1093,
author = {Diptikalyan Saha and Neelamadhav Gantayat and Senthil Mani and Barry Mitchell},
title = {Natural Language Querying in SAP-ERP Platform},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1093-1092},
doi = {},
year = {2017},
}
ESEC/FSE '17: "On the Scalability of Linux ..."
On the Scalability of Linux Kernel Maintainers' Work
Minghui Zhou, Qingying Chen, Audris Mockus, and Fengguang Wu
(Peking University, China; University of Tennessee, USA; Intel, China)
@InProceedings{ESEC/FSE17p63,
author = {Minghui Zhou and Qingying Chen and Audris Mockus and Fengguang Wu},
title = {On the Scalability of Linux Kernel Maintainers' Work},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {63-62},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Understanding the Impact of ..."
Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects
Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo Sousa, Rafael de Mello, Baldoino Fonseca, Márcio Ribeiro, and Alexander Chávez
(PUC-Rio, Brazil; Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil)
@InProceedings{ESEC/FSE17p595,
author = {Diego Cedrim and Alessandro Garcia and Melina Mongiovi and Rohit Gheyi and Leonardo Sousa and Rafael de Mello and Baldoino Fonseca and Márcio Ribeiro and Alexander Chávez},
title = {Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {595-594},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Enabling Mutation Testing ..."
Enabling Mutation Testing for Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Michele Tufano, Kevin Moran, Massimiliano Di Penta, Christopher Vendome, Carlos Bernal-Cárdenas, and Denys Poshyvanyk
(Universidad de los Andes, Colombia; University of Lugano, Switzerland; College of William and Mary, USA; University of Sannio, Italy)
@InProceedings{ESEC/FSE17p315,
author = {Mario Linares-Vásquez and Gabriele Bavota and Michele Tufano and Kevin Moran and Massimiliano Di Penta and Christopher Vendome and Carlos Bernal-Cárdenas and Denys Poshyvanyk},
title = {Enabling Mutation Testing for Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {315-314},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Detecting Missing Information ..."
Detecting Missing Information in Bug Descriptions
Oscar Chaparro, Jing Lu, Fiorella Zampetti, Laura Moreno, Massimiliano Di Penta, Andrian Marcus, Gabriele Bavota, and Vincent Ng
(University of Texas at Dallas, USA; University of Sannio, Italy; Colorado State University, USA; University of Lugano, Switzerland)
@InProceedings{ESEC/FSE17p511,
author = {Oscar Chaparro and Jing Lu and Fiorella Zampetti and Laura Moreno and Massimiliano Di Penta and Andrian Marcus and Gabriele Bavota and Vincent Ng},
title = {Detecting Missing Information in Bug Descriptions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {511-510},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Why Do Developers Use Trivial ..."
Why Do Developers Use Trivial Packages? An Empirical Case Study on npm
Rabe Abdalkareem, Olivier Nourry, Sultan Wehaibi, Suhaib Mujahid, and Emad Shihab
(Concordia University, Canada)
@InProceedings{ESEC/FSE17p497,
author = {Rabe Abdalkareem and Olivier Nourry and Sultan Wehaibi and Suhaib Mujahid and Emad Shihab},
title = {Why Do Developers Use Trivial Packages? An Empirical Case Study on npm},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {497-496},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Detecting Wearable App Permission ..."
Detecting Wearable App Permission Mismatches: A Case Study on Android Wear
Suhaib Mujahid
(Concordia University, Canada)
@InProceedings{ESEC/FSE17p1280,
author = {Suhaib Mujahid},
title = {Detecting Wearable App Permission Mismatches: A Case Study on Android Wear},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1280-1279},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Bayesian Specification Learning ..."
Bayesian Specification Learning for Finding API Usage Errors
Vijayaraghavan Murali, Swarat Chaudhuri, and Chris Jermaine
(Rice University, USA)
@InProceedings{ESEC/FSE17p217,
author = {Vijayaraghavan Murali and Swarat Chaudhuri and Chris Jermaine},
title = {Bayesian Specification Learning for Finding API Usage Errors},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {217-216},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Craig vs. Newton in Software ..."
Craig vs. Newton in Software Model Checking
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, and Andreas Podelski
(University of Freiburg, Germany)
@InProceedings{ESEC/FSE17p623,
author = {Daniel Dietsch and Matthias Heizmann and Betim Musa and Alexander Nutz and Andreas Podelski},
title = {Craig vs. Newton in Software Model Checking},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {623-622},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Static Analysis for Optimizing ..."
Static Analysis for Optimizing Big Data Queries
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, and Edgardo Zoppi
(University of Buenos Aires, Argentina; New York University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p1147,
author = {Diego Garbervetsky and Zvonimir Pavlinovic and Michael Barnett and Madanlal Musuvathi and Todd Mytkowicz and Edgardo Zoppi},
title = {Static Analysis for Optimizing Big Data Queries},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1147-1146},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Finding Near-Optimal Configurations ..."
Finding Near-Optimal Configurations in Product Lines by Random Sampling
Jeho Oh, Don Batory, Margaret Myers, and Norbert Siegmund
(University of Texas at Austin, USA; Bauhaus-University Weimar, Germany)
@InProceedings{ESEC/FSE17p105,
author = {Jeho Oh and Don Batory and Margaret Myers and Norbert Siegmund},
title = {Finding Near-Optimal Configurations in Product Lines by Random Sampling},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {105-104},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Static Analysis for Optimizing ..."
Static Analysis for Optimizing Big Data Queries
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, and Edgardo Zoppi
(University of Buenos Aires, Argentina; New York University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p1147,
author = {Diego Garbervetsky and Zvonimir Pavlinovic and Michael Barnett and Madanlal Musuvathi and Todd Mytkowicz and Edgardo Zoppi},
title = {Static Analysis for Optimizing Big Data Queries},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1147-1146},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Fast Causal Profiler for ..."
A Fast Causal Profiler for Task Parallel Programs
Adarsh Yoga and Santosh Nagarakatte
(Rutgers University, USA)
@InProceedings{ESEC/FSE17p49,
author = {Adarsh Yoga and Santosh Nagarakatte},
title = {A Fast Causal Profiler for Task Parallel Programs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {49-48},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "Using Bad Learners to Find ..."
Using Bad Learners to Find Good Configurations
Vivek Nair, Tim Menzies, Norbert Siegmund, and Sven Apel
(North Carolina State University, USA; Bauhaus-University Weimar, Germany; University of Passau, Germany)
@InProceedings{ESEC/FSE17p343,
author = {Vivek Nair and Tim Menzies and Norbert Siegmund and Sven Apel},
title = {Using Bad Learners to Find Good Configurations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {343-342},
doi = {},
year = {2017},
}
ESEC/FSE '17: "QTEP: Quality-Aware Test Case ..."
QTEP: Quality-Aware Test Case Prioritization
Song Wang, Jaechang Nam, and Lin Tan
(University of Waterloo, Canada)
@InProceedings{ESEC/FSE17p665,
author = {Song Wang and Jaechang Nam and Lin Tan},
title = {QTEP: Quality-Aware Test Case Prioritization},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {665-664},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automated Testing of Hybrid ..."
Automated Testing of Hybrid Simulink/Stateflow Controllers: Industrial Case Studies
Reza Matinnejad, Shiva Nejati, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
@InProceedings{ESEC/FSE17p1153,
author = {Reza Matinnejad and Shiva Nejati and Lionel C. Briand},
title = {Automated Testing of Hybrid Simulink/Stateflow Controllers: Industrial Case Studies},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1153-1152},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Trade-Offs in Continuous Integration: ..."
Trade-Offs in Continuous Integration: Assurance, Security, and Flexibility
Michael Hilton, Nicholas Nelson, Timothy Tunnell, Darko Marinov, and Danny Dig
(Oregon State University, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE17p273,
author = {Michael Hilton and Nicholas Nelson and Timothy Tunnell and Darko Marinov and Danny Dig},
title = {Trade-Offs in Continuous Integration: Assurance, Security, and Flexibility},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {273-272},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "The Power of "Why" ..."
The Power of "Why" and "Why Not": Enriching Scenario Exploration with Provenance
Tim Nelson, Natasha Danas, Daniel J. Dougherty, and Shriram Krishnamurthi
(Brown University, USA; Worcester Polytechnic Institute, USA)
@InProceedings{ESEC/FSE17p161,
author = {Tim Nelson and Natasha Danas and Daniel J. Dougherty and Shriram Krishnamurthi},
title = {The Power of "Why" and "Why Not": Enriching Scenario Exploration with Provenance},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {161-160},
doi = {},
year = {2017},
}
Artifacts Reusable
Best-Paper Award
ESEC/FSE '17: "Detecting Missing Information ..."
Detecting Missing Information in Bug Descriptions
Oscar Chaparro, Jing Lu, Fiorella Zampetti, Laura Moreno, Massimiliano Di Penta, Andrian Marcus, Gabriele Bavota, and Vincent Ng
(University of Texas at Dallas, USA; University of Sannio, Italy; Colorado State University, USA; University of Lugano, Switzerland)
@InProceedings{ESEC/FSE17p511,
author = {Oscar Chaparro and Jing Lu and Fiorella Zampetti and Laura Moreno and Massimiliano Di Penta and Andrian Marcus and Gabriele Bavota and Vincent Ng},
title = {Detecting Missing Information in Bug Descriptions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {511-510},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Counterexample-Guided Approach ..."
Counterexample-Guided Approach to Finding Numerical Invariants
ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, and Michael Hicks
(University of Nebraska-Lincoln, USA; Yale University, USA; University of Maryland, USA)
@InProceedings{ESEC/FSE17p763,
author = {ThanhVu Nguyen and Timos Antonopoulos and Andrew Ruef and Michael Hicks},
title = {Counterexample-Guided Approach to Finding Numerical Invariants},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {763-762},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Model-Based Dynamic Software ..."
Model-Based Dynamic Software Project Scheduling
Natasha Nigar
(University of Birmingham, UK)
@InProceedings{ESEC/FSE17p1257,
author = {Natasha Nigar},
title = {Model-Based Dynamic Software Project Scheduling},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1257-1256},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Why Do Developers Use Trivial ..."
Why Do Developers Use Trivial Packages? An Empirical Case Study on npm
Rabe Abdalkareem, Olivier Nourry, Sultan Wehaibi, Suhaib Mujahid, and Emad Shihab
(Concordia University, Canada)
@InProceedings{ESEC/FSE17p497,
author = {Rabe Abdalkareem and Olivier Nourry and Sultan Wehaibi and Suhaib Mujahid and Emad Shihab},
title = {Why Do Developers Use Trivial Packages? An Empirical Case Study on npm},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {497-496},
doi = {},
year = {2017},
}
ESEC/FSE '17: "ARCC: Assistant for Repetitive ..."
ARCC: Assistant for Repetitive Code Comprehension
Wilberto Z. Nunez, Victor J. Marin, and Carlos R. Rivero
(Rochester Institute of Technology, USA)
@InProceedings{ESEC/FSE17p1214,
author = {Wilberto Z. Nunez and Victor J. Marin and Carlos R. Rivero},
title = {ARCC: Assistant for Repetitive Code Comprehension},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1214-1213},
doi = {},
year = {2017},
}
ESEC/FSE '17: "On Evidence Preservation Requirements ..."
On Evidence Preservation Requirements for Forensic-Ready Systems
Dalal Alrajeh, Liliana Pasquale, and Bashar Nuseibeh
(Imperial College London, UK; University College Dublin, Ireland; Open University, UK; Lero, Ireland)
@InProceedings{ESEC/FSE17p707,
author = {Dalal Alrajeh and Liliana Pasquale and Bashar Nuseibeh},
title = {On Evidence Preservation Requirements for Forensic-Ready Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {707-706},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Craig vs. Newton in Software ..."
Craig vs. Newton in Software Model Checking
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, and Andreas Podelski
(University of Freiburg, Germany)
@InProceedings{ESEC/FSE17p623,
author = {Daniel Dietsch and Matthias Heizmann and Betim Musa and Alexander Nutz and Andreas Podelski},
title = {Craig vs. Newton in Software Model Checking},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {623-622},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Finding Near-Optimal Configurations ..."
Finding Near-Optimal Configurations in Product Lines by Random Sampling
Jeho Oh, Don Batory, Margaret Myers, and Norbert Siegmund
(University of Texas at Austin, USA; Bauhaus-University Weimar, Germany)
@InProceedings{ESEC/FSE17p105,
author = {Jeho Oh and Don Batory and Margaret Myers and Norbert Siegmund},
title = {Finding Near-Optimal Configurations in Product Lines by Random Sampling},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {105-104},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Reflections on the REST Architectural ..."
Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)
Roy T. Fielding, Richard N. Taylor, Justin R. Erenkrantz, Michael M. Gorlick, Jim Whitehead, Rohit Khare, and Peyman Oreizy
(Adobe, USA; University of California at Irvine, USA; Bloomberg, USA; University of California at Santa Cruz, USA; Google, USA; Dynamic Variable, USA)
@InProceedings{ESEC/FSE17p37,
author = {Roy T. Fielding and Richard N. Taylor and Justin R. Erenkrantz and Michael M. Gorlick and Jim Whitehead and Rohit Khare and Peyman Oreizy},
title = {Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automated Control of Multiple ..."
Automated Control of Multiple Software Goals using Multiple Actuators
Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, and Henry Hoffmann
(Lund University, Sweden; Mälardalen University, Sweden; Imperial College London, UK; University of Chicago, USA)
@InProceedings{ESEC/FSE17p483,
author = {Martina Maggio and Alessandro Vittorio Papadopoulos and Antonio Filieri and Henry Hoffmann},
title = {Automated Control of Multiple Software Goals using Multiple Actuators},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {483-482},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Measuring Neural Efficiency ..."
Measuring Neural Efficiency of Program Comprehension
Janet Siegmund, Norman Peitek, Chris Parnin, Sven Apel, Johannes Hofmeister, Christian Kästner, Andrew Begel, Anja Bethmann, and André Brechmann
(University of Passau, Germany; Leibniz Institute for Neurobiology, Germany; North Carolina State University, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p203,
author = {Janet Siegmund and Norman Peitek and Chris Parnin and Sven Apel and Johannes Hofmeister and Christian Kästner and Andrew Begel and Anja Bethmann and André Brechmann},
title = {Measuring Neural Efficiency of Program Comprehension},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {203-202},
doi = {},
year = {2017},
}
ESEC/FSE '17: "File-Level vs. Module-Level ..."
File-Level vs. Module-Level Regression Test Selection for .NET
Marko Vasic, Zuhair Parvez, Aleksandar Milicevic, and Milos Gligoric
(University of Texas at Austin, USA; Microsoft, USA)
@InProceedings{ESEC/FSE17p1063,
author = {Marko Vasic and Zuhair Parvez and Aleksandar Milicevic and Milos Gligoric},
title = {File-Level vs. Module-Level Regression Test Selection for .NET},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1063-1062},
doi = {},
year = {2017},
}
ESEC/FSE '17: "FOSS Version Differentiation ..."
FOSS Version Differentiation as a Benchmark for Static Analysis Security Testing Tools
Ivan Pashchenko
(University of Trento, Italy)
@InProceedings{ESEC/FSE17p1271,
author = {Ivan Pashchenko},
title = {FOSS Version Differentiation as a Benchmark for Static Analysis Security Testing Tools},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1271-1270},
doi = {},
year = {2017},
}
ESEC/FSE '17: "On Evidence Preservation Requirements ..."
On Evidence Preservation Requirements for Forensic-Ready Systems
Dalal Alrajeh, Liliana Pasquale, and Bashar Nuseibeh
(Imperial College London, UK; University College Dublin, Ireland; Open University, UK; Lero, Ireland)
@InProceedings{ESEC/FSE17p707,
author = {Dalal Alrajeh and Liliana Pasquale and Bashar Nuseibeh},
title = {On Evidence Preservation Requirements for Forensic-Ready Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {707-706},
doi = {},
year = {2017},
}
ESEC/FSE '17: "VART: A Tool for the Automatic ..."
VART: A Tool for the Automatic Detection of Regression Faults
Fabrizio Pastore and Leonardo Mariani
(University of Milano-Bicocca, Italy)
@InProceedings{ESEC/FSE17p1179,
author = {Fabrizio Pastore and Leonardo Mariani},
title = {VART: A Tool for the Automatic Detection of Regression Faults},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1179-1178},
doi = {},
year = {2017},
}
ESEC/FSE '17: "BDCI: Behavioral Driven Conflict ..."
BDCI: Behavioral Driven Conflict Identification
Fabrizio Pastore, Leonardo Mariani, and Daniela Micucci
(University of Milano-Bicocca, Italy)
@InProceedings{ESEC/FSE17p721,
author = {Fabrizio Pastore and Leonardo Mariani and Daniela Micucci},
title = {BDCI: Behavioral Driven Conflict Identification},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {721-720},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "ARTINALI: Dynamic Invariant ..."
ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security
Maryam Raiyat Aliabadi, Amita Ajith Kamath, Julien Gascon-Samson, and Karthik Pattabiraman
(University of British Columbia, Canada; National Institute of Technology Karnataka, India)
@InProceedings{ESEC/FSE17p455,
author = {Maryam Raiyat Aliabadi and Amita Ajith Kamath and Julien Gascon-Samson and Karthik Pattabiraman},
title = {ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {455-454},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Static Analysis for Optimizing ..."
Static Analysis for Optimizing Big Data Queries
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, and Edgardo Zoppi
(University of Buenos Aires, Argentina; New York University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p1147,
author = {Diego Garbervetsky and Zvonimir Pavlinovic and Michael Barnett and Madanlal Musuvathi and Todd Mytkowicz and Edgardo Zoppi},
title = {Static Analysis for Optimizing Big Data Queries},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1147-1146},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Measuring Neural Efficiency ..."
Measuring Neural Efficiency of Program Comprehension
Janet Siegmund, Norman Peitek, Chris Parnin, Sven Apel, Johannes Hofmeister, Christian Kästner, Andrew Begel, Anja Bethmann, and André Brechmann
(University of Passau, Germany; Leibniz Institute for Neurobiology, Germany; North Carolina State University, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p203,
author = {Janet Siegmund and Norman Peitek and Chris Parnin and Sven Apel and Johannes Hofmeister and Christian Kästner and Andrew Begel and Anja Bethmann and André Brechmann},
title = {Measuring Neural Efficiency of Program Comprehension},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {203-202},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Model-Based Privacy and Security ..."
Model-Based Privacy and Security Analysis with CARiSMA
Amir Shayan Ahmadian, Sven Peldszus, Qusai Ramadan, and Jan Jürjens
(University of Koblenz-Landau, Germany; Fraunhofer ISST, Germany)
@InProceedings{ESEC/FSE17p1204,
author = {Amir Shayan Ahmadian and Sven Peldszus and Qusai Ramadan and Jan Jürjens},
title = {Model-Based Privacy and Security Analysis with CARiSMA},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1204-1203},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Reproducing Concurrency Failures ..."
Reproducing Concurrency Failures from Crash Stacks
Francesco A. Bianchi, Mauro Pezzè, and Valerio Terragni
(University of Lugano, Switzerland)
@InProceedings{ESEC/FSE17p889,
author = {Francesco A. Bianchi and Mauro Pezzè and Valerio Terragni},
title = {Reproducing Concurrency Failures from Crash Stacks},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {889-888},
doi = {},
year = {2017},
}
ESEC/FSE '17: "More Accurate Recommendations ..."
More Accurate Recommendations for Method-Level Changes
Georg Dotzler, Marius Kamp, Patrick Kreutzer, and Michael Philippsen
(Friedrich-Alexander University Erlangen-Nürnberg, Germany)
@InProceedings{ESEC/FSE17p1001,
author = {Georg Dotzler and Marius Kamp and Patrick Kreutzer and Michael Philippsen},
title = {More Accurate Recommendations for Method-Level Changes},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1001-1000},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Cherry-Picking of Code Commits ..."
Cherry-Picking of Code Commits in Long-Running, Multi-release Software
Panuchart Bunyakiati and Chadarat Phipathananunth
(University of the Thai Chamber of Commerce, Thailand)
@InProceedings{ESEC/FSE17p1209,
author = {Panuchart Bunyakiati and Chadarat Phipathananunth},
title = {Cherry-Picking of Code Commits in Long-Running, Multi-release Software},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1209-1208},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Craig vs. Newton in Software ..."
Craig vs. Newton in Software Model Checking
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, and Andreas Podelski
(University of Freiburg, Germany)
@InProceedings{ESEC/FSE17p623,
author = {Daniel Dietsch and Matthias Heizmann and Betim Musa and Alexander Nutz and Andreas Podelski},
title = {Craig vs. Newton in Software Model Checking},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {623-622},
doi = {},
year = {2017},
}
ESEC/FSE '17: "RunDroid: Recovering Execution ..."
RunDroid: Recovering Execution Call Graphs for Android Applications
Yujie Yuan, Lihua Xu, Xusheng Xiao, Andy Podgurski, and Huibiao Zhu
(East China Normal University, China; Case Western Reserve University, USA)
@InProceedings{ESEC/FSE17p1164,
author = {Yujie Yuan and Lihua Xu and Xusheng Xiao and Andy Podgurski and Huibiao Zhu},
title = {RunDroid: Recovering Execution Call Graphs for Android Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1164-1163},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automatically Analyzing Groups ..."
Automatically Analyzing Groups of Crashes for Finding Correlations
Marco Castelluccio, Carlo Sansone, Luisa Verdoliva, and Giovanni Poggi
(Federico II University of Naples, Italy; Mozilla, UK)
@InProceedings{ESEC/FSE17p903,
author = {Marco Castelluccio and Carlo Sansone and Luisa Verdoliva and Giovanni Poggi},
title = {Automatically Analyzing Groups of Crashes for Finding Correlations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {903-902},
doi = {},
year = {2017},
}
ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..."
DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour
Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, and Marcelo Frias
(Universidad Nacional de Río Cuarto, Argentina; Universidad Nacional de Córdoba, Argentina; University of Buenos Aires, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ESEC/FSE17p1184,
author = {Germán Regis and César Cornejo and Simón Gutiérrez Brida and Mariano Politano and Fernando Raverta and Pablo Ponzio and Nazareno Aguirre and Juan Pablo Galeotti and Marcelo Frias},
title = {DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1184-1183},
doi = {},
year = {2017},
}
ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..."
DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour
Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, and Marcelo Frias
(Universidad Nacional de Río Cuarto, Argentina; Universidad Nacional de Córdoba, Argentina; University of Buenos Aires, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ESEC/FSE17p1184,
author = {Germán Regis and César Cornejo and Simón Gutiérrez Brida and Mariano Politano and Fernando Raverta and Pablo Ponzio and Nazareno Aguirre and Juan Pablo Galeotti and Marcelo Frias},
title = {DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1184-1183},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Enabling Mutation Testing ..."
Enabling Mutation Testing for Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Michele Tufano, Kevin Moran, Massimiliano Di Penta, Christopher Vendome, Carlos Bernal-Cárdenas, and Denys Poshyvanyk
(Universidad de los Andes, Colombia; University of Lugano, Switzerland; College of William and Mary, USA; University of Sannio, Italy)
@InProceedings{ESEC/FSE17p315,
author = {Mario Linares-Vásquez and Gabriele Bavota and Michele Tufano and Kevin Moran and Massimiliano Di Penta and Christopher Vendome and Carlos Bernal-Cárdenas and Denys Poshyvanyk},
title = {Enabling Mutation Testing for Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {315-314},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Guided, Stochastic Model-Based ..."
Guided, Stochastic Model-Based GUI Testing of Android Apps
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, and Zhendong Su
(East China Normal University, China; Nanyang Technological University, Singapore; Shanghai Jiao Tong University, China; University of California at Davis, USA)
@InProceedings{ESEC/FSE17p329,
author = {Ting Su and Guozhu Meng and Yuting Chen and Ke Wu and Weiming Yang and Yao Yao and Geguang Pu and Yang Liu and Zhendong Su},
title = {Guided, Stochastic Model-Based GUI Testing of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {329-328},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Compiler and Verifier for ..."
A Compiler and Verifier for Page Access Oblivious Computation
Rohit Sinha, Sriram Rajamani, and Sanjit A. Seshia
(University of California at Berkeley, USA; Microsoft Research, India)
@InProceedings{ESEC/FSE17p819,
author = {Rohit Sinha and Sriram Rajamani and Sanjit A. Seshia},
title = {A Compiler and Verifier for Page Access Oblivious Computation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {819-818},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Model-Based Privacy and Security ..."
Model-Based Privacy and Security Analysis with CARiSMA
Amir Shayan Ahmadian, Sven Peldszus, Qusai Ramadan, and Jan Jürjens
(University of Koblenz-Landau, Germany; Fraunhofer ISST, Germany)
@InProceedings{ESEC/FSE17p1204,
author = {Amir Shayan Ahmadian and Sven Peldszus and Qusai Ramadan and Jan Jürjens},
title = {Model-Based Privacy and Security Analysis with CARiSMA},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1204-1203},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Cimplifier: Automatically ..."
Cimplifier: Automatically Debloating Containers
Vaibhav Rastogi, Drew Davidson, Lorenzo De Carli, Somesh Jha, and Patrick McDaniel
(University of Wisconsin-Madison, USA; Tala Security, USA; Colorado State University, USA; Pennsylvania State University, USA)
@InProceedings{ESEC/FSE17p609,
author = {Vaibhav Rastogi and Drew Davidson and Lorenzo De Carli and Somesh Jha and Patrick McDaniel},
title = {Cimplifier: Automatically Debloating Containers},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {609-608},
doi = {},
year = {2017},
}
ESEC/FSE '17: "The MONDO Collaboration Framework: ..."
The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems
Csaba Debreceni, Gábor Bergmann, Márton Búr, István Ráth, and Dániel Varró
(Budapest University of Technology and Economics, Hungary; MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary; McGill University, Canada)
@InProceedings{ESEC/FSE17p1199,
author = {Csaba Debreceni and Gábor Bergmann and Márton Búr and István Ráth and Dániel Varró},
title = {The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1199-1198},
doi = {},
year = {2017},
}
ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..."
DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour
Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, and Marcelo Frias
(Universidad Nacional de Río Cuarto, Argentina; Universidad Nacional de Córdoba, Argentina; University of Buenos Aires, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ESEC/FSE17p1184,
author = {Germán Regis and César Cornejo and Simón Gutiérrez Brida and Mariano Politano and Fernando Raverta and Pablo Ponzio and Nazareno Aguirre and Juan Pablo Galeotti and Marcelo Frias},
title = {DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1184-1183},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automatically Diagnosing and ..."
Automatically Diagnosing and Repairing Error Handling Bugs in C
Yuchi Tian and Baishakhi Ray
(University of Virginia, USA)
@InProceedings{ESEC/FSE17p945,
author = {Yuchi Tian and Baishakhi Ray},
title = {Automatically Diagnosing and Repairing Error Handling Bugs in C},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {945-944},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "DynAlloy Analyzer: A Tool ..."
DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour
Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, and Marcelo Frias
(Universidad Nacional de Río Cuarto, Argentina; Universidad Nacional de Córdoba, Argentina; University of Buenos Aires, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ESEC/FSE17p1184,
author = {Germán Regis and César Cornejo and Simón Gutiérrez Brida and Mariano Politano and Fernando Raverta and Pablo Ponzio and Nazareno Aguirre and Juan Pablo Galeotti and Marcelo Frias},
title = {DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1184-1183},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CLTSA: Labelled Transition ..."
CLTSA: Labelled Transition System Analyser with Counting Fluent Support
Germán Regis, Renzo Degiovanni, Nicolas D'Ippolito, and Nazareno Aguirre
(Universidad Nacional de Río Cuarto, Argentina; CONICET, Argentina; University of Buenos Aires, Argentina)
@InProceedings{ESEC/FSE17p1194,
author = {Germán Regis and Renzo Degiovanni and Nicolas D'Ippolito and Nazareno Aguirre},
title = {CLTSA: Labelled Transition System Analyser with Counting Fluent Support},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1194-1193},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CodeMatch: Obfuscation Won't ..."
CodeMatch: Obfuscation Won't Conceal Your Repackaged App
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, and Mira Mezini
(TU Darmstadt, Germany)
@InProceedings{ESEC/FSE17p805,
author = {Leonid Glanz and Sven Amann and Michael Eichberg and Michael Reif and Ben Hermann and Johannes Lerch and Mira Mezini},
title = {CodeMatch: Obfuscation Won't Conceal Your Repackaged App},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {805-804},
doi = {},
year = {2017},
}
ESEC/FSE '17: "The Care and Feeding of Wild-Caught ..."
The Care and Feeding of Wild-Caught Mutants
David Bingham Brown, Michael Vaughn, Ben Liblit, and Thomas Reps
(University of Wisconsin-Madison, USA)
@InProceedings{ESEC/FSE17p651,
author = {David Bingham Brown and Michael Vaughn and Ben Liblit and Thomas Reps},
title = {The Care and Feeding of Wild-Caught Mutants},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {651-650},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Understanding the Impact of ..."
Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects
Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo Sousa, Rafael de Mello, Baldoino Fonseca, Márcio Ribeiro, and Alexander Chávez
(PUC-Rio, Brazil; Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil)
@InProceedings{ESEC/FSE17p595,
author = {Diego Cedrim and Alessandro Garcia and Melina Mongiovi and Rohit Gheyi and Leonardo Sousa and Rafael de Mello and Baldoino Fonseca and Márcio Ribeiro and Alexander Chávez},
title = {Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {595-594},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CodeCarbonCopy ..."
CodeCarbonCopy
Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden, Fan Long, and Martin Rinard
(Massachusetts Institute of Technology, USA)
@InProceedings{ESEC/FSE17p147,
author = {Stelios Sidiroglou-Douskos and Eric Lahtinen and Anthony Eden and Fan Long and Martin Rinard},
title = {CodeCarbonCopy},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {147-146},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automatic Inference of Code ..."
Automatic Inference of Code Transforms for Patch Generation
Fan Long, Peter Amidon, and Martin Rinard
(Massachusetts Institute of Technology, USA; University of California at San Diego, USA)
@InProceedings{ESEC/FSE17p917,
author = {Fan Long and Peter Amidon and Martin Rinard},
title = {Automatic Inference of Code Transforms for Patch Generation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {917-916},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "A Symbolic Justice Violations ..."
A Symbolic Justice Violations Transition System for Unrealizable GR(1) Specifications
Aviv Kuvent, Shahar Maoz, and Jan Oliver Ringert
(Tel Aviv University, Israel)
@InProceedings{ESEC/FSE17p469,
author = {Aviv Kuvent and Shahar Maoz and Jan Oliver Ringert},
title = {A Symbolic Justice Violations Transition System for Unrealizable GR(1) Specifications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {469-468},
doi = {},
year = {2017},
}
ESEC/FSE '17: "ARCC: Assistant for Repetitive ..."
ARCC: Assistant for Repetitive Code Comprehension
Wilberto Z. Nunez, Victor J. Marin, and Carlos R. Rivero
(Rochester Institute of Technology, USA)
@InProceedings{ESEC/FSE17p1214,
author = {Wilberto Z. Nunez and Victor J. Marin and Carlos R. Rivero},
title = {ARCC: Assistant for Repetitive Code Comprehension},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1214-1213},
doi = {},
year = {2017},
}
ESEC/FSE '17: "What Do Software Engineers ..."
What Do Software Engineers Care About? Gaps between Research and Practice
Vladimir Ivanov, Alan Rogers, Giancarlo Succi, Jooyong Yi, and Vasilii Zorin
(Innopolis University, Russia)
@InProceedings{ESEC/FSE17p1105,
author = {Vladimir Ivanov and Alan Rogers and Giancarlo Succi and Jooyong Yi and Vasilii Zorin},
title = {What Do Software Engineers Care About? Gaps between Research and Practice},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1105-1104},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Guidelines for Adopting Frontend ..."
Guidelines for Adopting Frontend Architectures and Patterns in Microservices-Based Systems
Holger Harms, Collin Rogowski, and Luigi Lo Iacono
(Funke Digital, Germany; inovex, Germany; Cologne University of Applied Sciences, Germany)
@InProceedings{ESEC/FSE17p1117,
author = {Holger Harms and Collin Rogowski and Luigi Lo Iacono},
title = {Guidelines for Adopting Frontend Architectures and Patterns in Microservices-Based Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1117-1116},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Strong Agile Metrics: Mining ..."
Strong Agile Metrics: Mining Log Data to Determine Predictive Power of Software Metrics for Continuous Delivery Teams
Hennie Huijgens, Robert Lamping, Dick Stevens, Hartger Rothengatter, Georgios Gousios, and Daniele Romano
(Delft University of Technology, Netherlands; ING Bank, Netherlands; CGI, Netherlands)
@InProceedings{ESEC/FSE17p1081,
author = {Hennie Huijgens and Robert Lamping and Dick Stevens and Hartger Rothengatter and Georgios Gousios and Daniele Romano},
title = {Strong Agile Metrics: Mining Log Data to Determine Predictive Power of Software Metrics for Continuous Delivery Teams},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1081-1080},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Probabilistic Model Checking ..."
Probabilistic Model Checking of Perturbed MDPs with Applications to Cloud Computing
Yamilet R. Serrano Llerena, Guoxin Su, and David S. Rosenblum
(National University of Singapore, Singapore; University of Wollongong, Australia)
@InProceedings{ESEC/FSE17p581,
author = {Yamilet R. Serrano Llerena and Guoxin Su and David S. Rosenblum},
title = {Probabilistic Model Checking of Perturbed MDPs with Applications to Cloud Computing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {581-580},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Constraint Normalization and ..."
Constraint Normalization and Parameterized Caching for Quantitative Program Analysis
Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, and Tevfik Bultan
(University of California at Santa Barbara, USA)
@InProceedings{ESEC/FSE17p679,
author = {Tegan Brennan and Nestan Tsiskaridze and Nicolás Rosner and Abdulbaki Aydin and Tevfik Bultan},
title = {Constraint Normalization and Parameterized Caching for Quantitative Program Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {679-678},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Strong Agile Metrics: Mining ..."
Strong Agile Metrics: Mining Log Data to Determine Predictive Power of Software Metrics for Continuous Delivery Teams
Hennie Huijgens, Robert Lamping, Dick Stevens, Hartger Rothengatter, Georgios Gousios, and Daniele Romano
(Delft University of Technology, Netherlands; ING Bank, Netherlands; CGI, Netherlands)
@InProceedings{ESEC/FSE17p1081,
author = {Hennie Huijgens and Robert Lamping and Dick Stevens and Hartger Rothengatter and Georgios Gousios and Daniele Romano},
title = {Strong Agile Metrics: Mining Log Data to Determine Predictive Power of Software Metrics for Continuous Delivery Teams},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1081-1080},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Synergistic Debug-Repair of ..."
Synergistic Debug-Repair of Heap Manipulations
Sahil Verma and Subhajit Roy
(IIT Kanpur, India)
@InProceedings{ESEC/FSE17p231,
author = {Sahil Verma and Subhajit Roy},
title = {Synergistic Debug-Repair of Heap Manipulations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {231-230},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Feasibility Study of Using ..."
A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments
Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, and Abhik Roychoudhury
(Innopolis University, Russia; IIT Kanpur, India; National University of Singapore, Singapore)
@InProceedings{ESEC/FSE17p931,
author = {Jooyong Yi and Umair Z. Ahmed and Amey Karkare and Shin Hwei Tan and Abhik Roychoudhury},
title = {A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {931-930},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "Counterexample-Guided Approach ..."
Counterexample-Guided Approach to Finding Numerical Invariants
ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, and Michael Hicks
(University of Nebraska-Lincoln, USA; Yale University, USA; University of Maryland, USA)
@InProceedings{ESEC/FSE17p763,
author = {ThanhVu Nguyen and Timos Antonopoulos and Andrew Ruef and Michael Hicks},
title = {Counterexample-Guided Approach to Finding Numerical Invariants},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {763-762},
doi = {},
year = {2017},
}
ESEC/FSE '17: "PATDroid: Permission-Aware ..."
PATDroid: Permission-Aware GUI Testing of Android
Alireza Sadeghi, Reyhaneh Jabbarvand, and Sam Malek
(University of California at Irvine, USA)
@InProceedings{ESEC/FSE17p301,
author = {Alireza Sadeghi and Reyhaneh Jabbarvand and Sam Malek},
title = {PATDroid: Permission-Aware GUI Testing of Android},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {301-300},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "Natural Language Querying ..."
Natural Language Querying in SAP-ERP Platform
Diptikalyan Saha, Neelamadhav Gantayat, Senthil Mani, and Barry Mitchell
(IBM Research, India; IBM, USA)
@InProceedings{ESEC/FSE17p1093,
author = {Diptikalyan Saha and Neelamadhav Gantayat and Senthil Mani and Barry Mitchell},
title = {Natural Language Querying in SAP-ERP Platform},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1093-1092},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automatically Analyzing Groups ..."
Automatically Analyzing Groups of Crashes for Finding Correlations
Marco Castelluccio, Carlo Sansone, Luisa Verdoliva, and Giovanni Poggi
(Federico II University of Naples, Italy; Mozilla, UK)
@InProceedings{ESEC/FSE17p903,
author = {Marco Castelluccio and Carlo Sansone and Luisa Verdoliva and Giovanni Poggi},
title = {Automatically Analyzing Groups of Crashes for Finding Correlations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {903-902},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Is There a Mismatch between ..."
Is There a Mismatch between Real-World Feature Models and Product-Line Research?
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, and Ina Schaefer
(TU Braunschweig, Germany; University of Magdeburg, Germany)
@InProceedings{ESEC/FSE17p385,
author = {Alexander Knüppel and Thomas Thüm and Stephan Mennicke and Jens Meinicke and Ina Schaefer},
title = {Is There a Mismatch between Real-World Feature Models and Product-Line Research?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {385-384},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Improving Performance of Automatic ..."
Improving Performance of Automatic Program Repair using Learned Heuristics
Liam Schramm
(Bard College, USA)
@InProceedings{ESEC/FSE17p1286,
author = {Liam Schramm},
title = {Improving Performance of Automatic Program Repair using Learned Heuristics},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1286-1285},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Application of Search-Based ..."
Application of Search-Based Software Engineering Methodologies for Test Suite Optimization and Evolution in Mission Critical Mobile Application Development
Andreas Schuler
(University of Applied Sciences Upper Austria, Austria)
@InProceedings{ESEC/FSE17p1249,
author = {Andreas Schuler},
title = {Application of Search-Based Software Engineering Methodologies for Test Suite Optimization and Evolution in Mission Critical Mobile Application Development},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1249-1248},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Compiler and Verifier for ..."
A Compiler and Verifier for Page Access Oblivious Computation
Rohit Sinha, Sriram Rajamani, and Sanjit A. Seshia
(University of California at Berkeley, USA; Microsoft Research, India)
@InProceedings{ESEC/FSE17p819,
author = {Rohit Sinha and Sriram Rajamani and Sanjit A. Seshia},
title = {A Compiler and Verifier for Page Access Oblivious Computation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {819-818},
doi = {},
year = {2017},
}
ESEC/FSE '17: "JoanAudit: A Tool for Auditing ..."
JoanAudit: A Tool for Auditing Common Injection Vulnerabilities
Julian Thomé, Lwin Khin Shar, Domenico Bianculli, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
@InProceedings{ESEC/FSE17p1219,
author = {Julian Thomé and Lwin Khin Shar and Domenico Bianculli and Lionel C. Briand},
title = {JoanAudit: A Tool for Auditing Common Injection Vulnerabilities},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1219-1218},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automated Identification of ..."
Automated Identification of Security Issues from Commit Messages and Bug Reports
Yaqin Zhou and Asankhaya Sharma
(SourceClear, Singapore)
@InProceedings{ESEC/FSE17p1129,
author = {Yaqin Zhou and Asankhaya Sharma},
title = {Automated Identification of Security Issues from Commit Messages and Bug Reports},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1129-1128},
doi = {},
year = {2017},
}
ESEC/FSE '17: "From Scenario Modeling to ..."
From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology
Joel Greenyer, Daniel Gritzner, Florian König, Jannik Dahlke, Jianwei Shi, and Eric Wete
(Leibniz Universität Hannover, Germany)
@InProceedings{ESEC/FSE17p1189,
author = {Joel Greenyer and Daniel Gritzner and Florian König and Jannik Dahlke and Jianwei Shi and Eric Wete},
title = {From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1189-1188},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Why Do Developers Use Trivial ..."
Why Do Developers Use Trivial Packages? An Empirical Case Study on npm
Rabe Abdalkareem, Olivier Nourry, Sultan Wehaibi, Suhaib Mujahid, and Emad Shihab
(Concordia University, Canada)
@InProceedings{ESEC/FSE17p497,
author = {Rabe Abdalkareem and Olivier Nourry and Sultan Wehaibi and Suhaib Mujahid and Emad Shihab},
title = {Why Do Developers Use Trivial Packages? An Empirical Case Study on npm},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {497-496},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Screening Heuristics for Project ..."
Screening Heuristics for Project Gating Systems
Zahy Volf and Edi Shmueli
(Bar-Ilan University, Israel)
@InProceedings{ESEC/FSE17p1087,
author = {Zahy Volf and Edi Shmueli},
title = {Screening Heuristics for Project Gating Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1087-1086},
doi = {},
year = {2017},
}
ESEC/FSE '17: "CodeCarbonCopy ..."
CodeCarbonCopy
Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden, Fan Long, and Martin Rinard
(Massachusetts Institute of Technology, USA)
@InProceedings{ESEC/FSE17p147,
author = {Stelios Sidiroglou-Douskos and Eric Lahtinen and Anthony Eden and Fan Long and Martin Rinard},
title = {CodeCarbonCopy},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {147-146},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Measuring Neural Efficiency ..."
Measuring Neural Efficiency of Program Comprehension
Janet Siegmund, Norman Peitek, Chris Parnin, Sven Apel, Johannes Hofmeister, Christian Kästner, Andrew Begel, Anja Bethmann, and André Brechmann
(University of Passau, Germany; Leibniz Institute for Neurobiology, Germany; North Carolina State University, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p203,
author = {Janet Siegmund and Norman Peitek and Chris Parnin and Sven Apel and Johannes Hofmeister and Christian Kästner and Andrew Begel and Anja Bethmann and André Brechmann},
title = {Measuring Neural Efficiency of Program Comprehension},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {203-202},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Finding Near-Optimal Configurations ..."
Finding Near-Optimal Configurations in Product Lines by Random Sampling
Jeho Oh, Don Batory, Margaret Myers, and Norbert Siegmund
(University of Texas at Austin, USA; Bauhaus-University Weimar, Germany)
@InProceedings{ESEC/FSE17p105,
author = {Jeho Oh and Don Batory and Margaret Myers and Norbert Siegmund},
title = {Finding Near-Optimal Configurations in Product Lines by Random Sampling},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {105-104},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Using Bad Learners to Find ..."
Using Bad Learners to Find Good Configurations
Vivek Nair, Tim Menzies, Norbert Siegmund, and Sven Apel
(North Carolina State University, USA; Bauhaus-University Weimar, Germany; University of Passau, Germany)
@InProceedings{ESEC/FSE17p343,
author = {Vivek Nair and Tim Menzies and Norbert Siegmund and Sven Apel},
title = {Using Bad Learners to Find Good Configurations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {343-342},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Attributed Variability Models: ..."
Attributed Variability Models: Outside the Comfort Zone
Norbert Siegmund, Stefan Sobernig, and Sven Apel
(Bauhaus-University Weimar, Germany; WU Vienna, Austria; University of Passau, Germany)
@InProceedings{ESEC/FSE17p357,
author = {Norbert Siegmund and Stefan Sobernig and Sven Apel},
title = {Attributed Variability Models: Outside the Comfort Zone},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {357-356},
doi = {},
year = {2017},
}
ESEC/FSE '17: "NoFAQ: Synthesizing Command ..."
NoFAQ: Synthesizing Command Repairs from Examples
Loris D'Antoni, Rishabh Singh, and Michael Vaughn
(University of Wisconsin-Madison, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p735,
author = {Loris D'Antoni and Rishabh Singh and Michael Vaughn},
title = {NoFAQ: Synthesizing Command Repairs from Examples},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {735-734},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Compiler and Verifier for ..."
A Compiler and Verifier for Page Access Oblivious Computation
Rohit Sinha, Sriram Rajamani, and Sanjit A. Seshia
(University of California at Berkeley, USA; Microsoft Research, India)
@InProceedings{ESEC/FSE17p819,
author = {Rohit Sinha and Sriram Rajamani and Sanjit A. Seshia},
title = {A Compiler and Verifier for Page Access Oblivious Computation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {819-818},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Discovering Relational Specifications ..."
Discovering Relational Specifications
Calvin Smith, Gabriel Ferns, and Aws Albarghouthi
(University of Wisconsin-Madison, USA)
@InProceedings{ESEC/FSE17p777,
author = {Calvin Smith and Gabriel Ferns and Aws Albarghouthi},
title = {Discovering Relational Specifications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {777-776},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Attributed Variability Models: ..."
Attributed Variability Models: Outside the Comfort Zone
Norbert Siegmund, Stefan Sobernig, and Sven Apel
(Bauhaus-University Weimar, Germany; WU Vienna, Austria; University of Passau, Germany)
@InProceedings{ESEC/FSE17p357,
author = {Norbert Siegmund and Stefan Sobernig and Sven Apel},
title = {Attributed Variability Models: Outside the Comfort Zone},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {357-356},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Where Is the Bug and How Is ..."
Where Is the Bug and How Is It Fixed? An Experiment with Practitioners
Marcel Böhme, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, and Andreas Zeller
(National University of Singapore, Singapore; Saarland University, Germany; Singapore University of Technology and Design, Singapore; SAP, Germany)
@InProceedings{ESEC/FSE17p175,
author = {Marcel Böhme and Ezekiel O. Soremekun and Sudipta Chattopadhyay and Emamurho Ugherughe and Andreas Zeller},
title = {Where Is the Bug and How Is It Fixed? An Experiment with Practitioners},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {175-174},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Cooperative Kernels: GPU Multitasking ..."
Cooperative Kernels: GPU Multitasking for Blocking Algorithms
Tyler Sorensen, Hugues Evrard, and Alastair F. Donaldson
(Imperial College London, UK)
@InProceedings{ESEC/FSE17p553,
author = {Tyler Sorensen and Hugues Evrard and Alastair F. Donaldson},
title = {Cooperative Kernels: GPU Multitasking for Blocking Algorithms},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {553-552},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Understanding the Impact of ..."
Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects
Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo Sousa, Rafael de Mello, Baldoino Fonseca, Márcio Ribeiro, and Alexander Chávez
(PUC-Rio, Brazil; Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil)
@InProceedings{ESEC/FSE17p595,
author = {Diego Cedrim and Alessandro Garcia and Melina Mongiovi and Rohit Gheyi and Leonardo Sousa and Rafael de Mello and Baldoino Fonseca and Márcio Ribeiro and Alexander Chávez},
title = {Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {595-594},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Strong Agile Metrics: Mining ..."
Strong Agile Metrics: Mining Log Data to Determine Predictive Power of Software Metrics for Continuous Delivery Teams
Hennie Huijgens, Robert Lamping, Dick Stevens, Hartger Rothengatter, Georgios Gousios, and Daniele Romano
(Delft University of Technology, Netherlands; ING Bank, Netherlands; CGI, Netherlands)
@InProceedings{ESEC/FSE17p1081,
author = {Hennie Huijgens and Robert Lamping and Dick Stevens and Hartger Rothengatter and Georgios Gousios and Daniele Romano},
title = {Strong Agile Metrics: Mining Log Data to Determine Predictive Power of Software Metrics for Continuous Delivery Teams},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1081-1080},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Probabilistic Model Checking ..."
Probabilistic Model Checking of Perturbed MDPs with Applications to Cloud Computing
Yamilet R. Serrano Llerena, Guoxin Su, and David S. Rosenblum
(National University of Singapore, Singapore; University of Wollongong, Australia)
@InProceedings{ESEC/FSE17p581,
author = {Yamilet R. Serrano Llerena and Guoxin Su and David S. Rosenblum},
title = {Probabilistic Model Checking of Perturbed MDPs with Applications to Cloud Computing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {581-580},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Guided, Stochastic Model-Based ..."
Guided, Stochastic Model-Based GUI Testing of Android Apps
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, and Zhendong Su
(East China Normal University, China; Nanyang Technological University, Singapore; Shanghai Jiao Tong University, China; University of California at Davis, USA)
@InProceedings{ESEC/FSE17p329,
author = {Ting Su and Guozhu Meng and Yuting Chen and Ke Wu and Weiming Yang and Yao Yao and Geguang Pu and Yang Liu and Zhendong Su},
title = {Guided, Stochastic Model-Based GUI Testing of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {329-328},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Guided, Stochastic Model-Based ..."
Guided, Stochastic Model-Based GUI Testing of Android Apps
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, and Zhendong Su
(East China Normal University, China; Nanyang Technological University, Singapore; Shanghai Jiao Tong University, China; University of California at Davis, USA)
@InProceedings{ESEC/FSE17p329,
author = {Ting Su and Guozhu Meng and Yuting Chen and Ke Wu and Weiming Yang and Yao Yao and Geguang Pu and Yang Liu and Zhendong Su},
title = {Guided, Stochastic Model-Based GUI Testing of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {329-328},
doi = {},
year = {2017},
}
ESEC/FSE '17: "What Do Software Engineers ..."
What Do Software Engineers Care About? Gaps between Research and Practice
Vladimir Ivanov, Alan Rogers, Giancarlo Succi, Jooyong Yi, and Vasilii Zorin
(Innopolis University, Russia)
@InProceedings{ESEC/FSE17p1105,
author = {Vladimir Ivanov and Alan Rogers and Giancarlo Succi and Jooyong Yi and Vasilii Zorin},
title = {What Do Software Engineers Care About? Gaps between Research and Practice},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1105-1104},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Better Test Cases for Better ..."
Better Test Cases for Better Automated Program Repair
Jinqiu Yang, Alexey Zhikhartsev, Yuefei Liu, and Lin Tan
(University of Waterloo, Canada)
@InProceedings{ESEC/FSE17p1043,
author = {Jinqiu Yang and Alexey Zhikhartsev and Yuefei Liu and Lin Tan},
title = {Better Test Cases for Better Automated Program Repair},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1043-1042},
doi = {},
year = {2017},
}
ESEC/FSE '17: "QTEP: Quality-Aware Test Case ..."
QTEP: Quality-Aware Test Case Prioritization
Song Wang, Jaechang Nam, and Lin Tan
(University of Waterloo, Canada)
@InProceedings{ESEC/FSE17p665,
author = {Song Wang and Jaechang Nam and Lin Tan},
title = {QTEP: Quality-Aware Test Case Prioritization},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {665-664},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Feasibility Study of Using ..."
A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments
Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, and Abhik Roychoudhury
(Innopolis University, Russia; IIT Kanpur, India; National University of Singapore, Singapore)
@InProceedings{ESEC/FSE17p931,
author = {Jooyong Yi and Umair Z. Ahmed and Amey Karkare and Shin Hwei Tan and Abhik Roychoudhury},
title = {A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {931-930},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "System Performance Optimization ..."
System Performance Optimization via Design and Configuration Space Exploration
Chong Tang
(University of Virginia, USA)
@InProceedings{ESEC/FSE17p1261,
author = {Chong Tang},
title = {System Performance Optimization via Design and Configuration Space Exploration},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1261-1260},
doi = {},
year = {2017},
}
ESEC/FSE '17: "When Program Analysis Meets ..."
When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets
Wenqi Bu, Minhui Xue, Lihua Xu, Yajin Zhou, Zhushou Tang, and Tao Xie
(East China Normal University, China; New York University Shanghai, China; Pwnzen Infotech, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE17p1057,
author = {Wenqi Bu and Minhui Xue and Lihua Xu and Yajin Zhou and Zhushou Tang and Tao Xie},
title = {When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1057-1056},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Reflections on the REST Architectural ..."
Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)
Roy T. Fielding, Richard N. Taylor, Justin R. Erenkrantz, Michael M. Gorlick, Jim Whitehead, Rohit Khare, and Peyman Oreizy
(Adobe, USA; University of California at Irvine, USA; Bloomberg, USA; University of California at Santa Cruz, USA; Google, USA; Dynamic Variable, USA)
@InProceedings{ESEC/FSE17p37,
author = {Roy T. Fielding and Richard N. Taylor and Justin R. Erenkrantz and Michael M. Gorlick and Jim Whitehead and Rohit Khare and Peyman Oreizy},
title = {Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Tool for Automated Reasoning ..."
A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, and Geylani Kardas
(Wageningen University, Netherlands; University of Luxembourg, Luxembourg; Ege University, Turkey)
@InProceedings{ESEC/FSE17p1174,
author = {Ferhat Erata and Arda Goknil and Bedir Tekinerdogan and Geylani Kardas},
title = {A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1174-1173},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Reproducing Concurrency Failures ..."
Reproducing Concurrency Failures from Crash Stacks
Francesco A. Bianchi, Mauro Pezzè, and Valerio Terragni
(University of Lugano, Switzerland)
@InProceedings{ESEC/FSE17p889,
author = {Francesco A. Bianchi and Mauro Pezzè and Valerio Terragni},
title = {Reproducing Concurrency Failures from Crash Stacks},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {889-888},
doi = {},
year = {2017},
}
ESEC/FSE '17: "JoanAudit: A Tool for Auditing ..."
JoanAudit: A Tool for Auditing Common Injection Vulnerabilities
Julian Thomé, Lwin Khin Shar, Domenico Bianculli, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
@InProceedings{ESEC/FSE17p1219,
author = {Julian Thomé and Lwin Khin Shar and Domenico Bianculli and Lionel C. Briand},
title = {JoanAudit: A Tool for Auditing Common Injection Vulnerabilities},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1219-1218},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Is There a Mismatch between ..."
Is There a Mismatch between Real-World Feature Models and Product-Line Research?
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, and Ina Schaefer
(TU Braunschweig, Germany; University of Magdeburg, Germany)
@InProceedings{ESEC/FSE17p385,
author = {Alexander Knüppel and Thomas Thüm and Stephan Mennicke and Jens Meinicke and Ina Schaefer},
title = {Is There a Mismatch between Real-World Feature Models and Product-Line Research?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {385-384},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Automatically Diagnosing and ..."
Automatically Diagnosing and Repairing Error Handling Bugs in C
Yuchi Tian and Baishakhi Ray
(University of Virginia, USA)
@InProceedings{ESEC/FSE17p945,
author = {Yuchi Tian and Baishakhi Ray},
title = {Automatically Diagnosing and Repairing Error Handling Bugs in C},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {945-944},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Steelix: Program-State Based ..."
Steelix: Program-State Based Binary Fuzzing
Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, and Alwen Tiu
(Nanyang Technological University, Singapore; Fudan University, China)
@InProceedings{ESEC/FSE17p791,
author = {Yuekang Li and Bihuan Chen and Mahinthan Chandramohan and Shang-Wei Lin and Yang Liu and Alwen Tiu},
title = {Steelix: Program-State Based Binary Fuzzing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {791-790},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Reference Architectures and ..."
Reference Architectures and Scrum: Friends or Foes?
Matthias Galster, Samuil Angelov, Silverio Martínez-Fernández, and Dan Tofan
(University of Canterbury, New Zealand; Fontys University of Applied Sciences, Netherlands; Fraunhofer IESE, Germany)
@InProceedings{ESEC/FSE17p1111,
author = {Matthias Galster and Samuil Angelov and Silverio Martínez-Fernández and Dan Tofan},
title = {Reference Architectures and Scrum: Friends or Foes?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1111-1110},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Modeling and Verification ..."
Modeling and Verification of Evolving Cyber-Physical Spaces
Christos Tsigkanos, Timo Kehrer, and Carlo Ghezzi
(Politecnico di Milano, Italy)
@InProceedings{ESEC/FSE17p77,
author = {Christos Tsigkanos and Timo Kehrer and Carlo Ghezzi},
title = {Modeling and Verification of Evolving Cyber-Physical Spaces},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {77-76},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Constraint Normalization and ..."
Constraint Normalization and Parameterized Caching for Quantitative Program Analysis
Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, and Tevfik Bultan
(University of California at Santa Barbara, USA)
@InProceedings{ESEC/FSE17p679,
author = {Tegan Brennan and Nestan Tsiskaridze and Nicolás Rosner and Abdulbaki Aydin and Tevfik Bultan},
title = {Constraint Normalization and Parameterized Caching for Quantitative Program Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {679-678},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Enabling Mutation Testing ..."
Enabling Mutation Testing for Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Michele Tufano, Kevin Moran, Massimiliano Di Penta, Christopher Vendome, Carlos Bernal-Cárdenas, and Denys Poshyvanyk
(Universidad de los Andes, Colombia; University of Lugano, Switzerland; College of William and Mary, USA; University of Sannio, Italy)
@InProceedings{ESEC/FSE17p315,
author = {Mario Linares-Vásquez and Gabriele Bavota and Michele Tufano and Kevin Moran and Massimiliano Di Penta and Christopher Vendome and Carlos Bernal-Cárdenas and Denys Poshyvanyk},
title = {Enabling Mutation Testing for Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {315-314},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Trade-Offs in Continuous Integration: ..."
Trade-Offs in Continuous Integration: Assurance, Security, and Flexibility
Michael Hilton, Nicholas Nelson, Timothy Tunnell, Darko Marinov, and Danny Dig
(Oregon State University, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE17p273,
author = {Michael Hilton and Nicholas Nelson and Timothy Tunnell and Darko Marinov and Danny Dig},
title = {Trade-Offs in Continuous Integration: Assurance, Security, and Flexibility},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {273-272},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Where Is the Bug and How Is ..."
Where Is the Bug and How Is It Fixed? An Experiment with Practitioners
Marcel Böhme, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, and Andreas Zeller
(National University of Singapore, Singapore; Saarland University, Germany; Singapore University of Technology and Design, Singapore; SAP, Germany)
@InProceedings{ESEC/FSE17p175,
author = {Marcel Böhme and Ezekiel O. Soremekun and Sudipta Chattopadhyay and Emamurho Ugherughe and Andreas Zeller},
title = {Where Is the Bug and How Is It Fixed? An Experiment with Practitioners},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {175-174},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "Why Modern Open Source Projects ..."
Why Modern Open Source Projects Fail
Jailton Coelho and Marco Tulio Valente
(Federal University of Minas Gerais, Brazil)
@InProceedings{ESEC/FSE17p259,
author = {Jailton Coelho and Marco Tulio Valente},
title = {Why Modern Open Source Projects Fail},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {259-258},
doi = {},
year = {2017},
}
ESEC/FSE '17: "The MONDO Collaboration Framework: ..."
The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems
Csaba Debreceni, Gábor Bergmann, Márton Búr, István Ráth, and Dániel Varró
(Budapest University of Technology and Economics, Hungary; MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary; McGill University, Canada)
@InProceedings{ESEC/FSE17p1199,
author = {Csaba Debreceni and Gábor Bergmann and Márton Búr and István Ráth and Dániel Varró},
title = {The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1199-1198},
doi = {},
year = {2017},
}
ESEC/FSE '17: "File-Level vs. Module-Level ..."
File-Level vs. Module-Level Regression Test Selection for .NET
Marko Vasic, Zuhair Parvez, Aleksandar Milicevic, and Milos Gligoric
(University of Texas at Austin, USA; Microsoft, USA)
@InProceedings{ESEC/FSE17p1063,
author = {Marko Vasic and Zuhair Parvez and Aleksandar Milicevic and Milos Gligoric},
title = {File-Level vs. Module-Level Regression Test Selection for .NET},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1063-1062},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Regression Test Selection ..."
Regression Test Selection Across JVM Boundaries
Ahmet Celik, Marko Vasic, Aleksandar Milicevic, and Milos Gligoric
(University of Texas at Austin, USA; Microsoft, USA)
@InProceedings{ESEC/FSE17p1015,
author = {Ahmet Celik and Marko Vasic and Aleksandar Milicevic and Milos Gligoric},
title = {Regression Test Selection Across JVM Boundaries},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1015-1014},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Recovering Clear, Natural ..."
Recovering Clear, Natural Identifiers from Obfuscated JS Names
Bogdan Vasilescu, Casey Casalnuovo, and Premkumar Devanbu
(Carnegie Mellon University, USA; University of California at Davis, USA)
@InProceedings{ESEC/FSE17p861,
author = {Bogdan Vasilescu and Casey Casalnuovo and Premkumar Devanbu},
title = {Recovering Clear, Natural Identifiers from Obfuscated JS Names},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {861-860},
doi = {},
year = {2017},
}
ESEC/FSE '17: "QEMU-Based Framework for Non-intrusive ..."
QEMU-Based Framework for Non-intrusive Virtual Machine Instrumentation and Introspection
Pavel Dovgalyuk, Natalia Fursova, Ivan Vasiliev, and Vladimir Makarov
(Novgorod State University, Russia)
@InProceedings{ESEC/FSE17p1159,
author = {Pavel Dovgalyuk and Natalia Fursova and Ivan Vasiliev and Vladimir Makarov},
title = {QEMU-Based Framework for Non-intrusive Virtual Machine Instrumentation and Introspection},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1159-1158},
doi = {},
year = {2017},
}
ESEC/FSE '17: "The Care and Feeding of Wild-Caught ..."
The Care and Feeding of Wild-Caught Mutants
David Bingham Brown, Michael Vaughn, Ben Liblit, and Thomas Reps
(University of Wisconsin-Madison, USA)
@InProceedings{ESEC/FSE17p651,
author = {David Bingham Brown and Michael Vaughn and Ben Liblit and Thomas Reps},
title = {The Care and Feeding of Wild-Caught Mutants},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {651-650},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "NoFAQ: Synthesizing Command ..."
NoFAQ: Synthesizing Command Repairs from Examples
Loris D'Antoni, Rishabh Singh, and Michael Vaughn
(University of Wisconsin-Madison, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p735,
author = {Loris D'Antoni and Rishabh Singh and Michael Vaughn},
title = {NoFAQ: Synthesizing Command Repairs from Examples},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {735-734},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Enabling Mutation Testing ..."
Enabling Mutation Testing for Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Michele Tufano, Kevin Moran, Massimiliano Di Penta, Christopher Vendome, Carlos Bernal-Cárdenas, and Denys Poshyvanyk
(Universidad de los Andes, Colombia; University of Lugano, Switzerland; College of William and Mary, USA; University of Sannio, Italy)
@InProceedings{ESEC/FSE17p315,
author = {Mario Linares-Vásquez and Gabriele Bavota and Michele Tufano and Kevin Moran and Massimiliano Di Penta and Christopher Vendome and Carlos Bernal-Cárdenas and Denys Poshyvanyk},
title = {Enabling Mutation Testing for Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {315-314},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automatically Analyzing Groups ..."
Automatically Analyzing Groups of Crashes for Finding Correlations
Marco Castelluccio, Carlo Sansone, Luisa Verdoliva, and Giovanni Poggi
(Federico II University of Naples, Italy; Mozilla, UK)
@InProceedings{ESEC/FSE17p903,
author = {Marco Castelluccio and Carlo Sansone and Luisa Verdoliva and Giovanni Poggi},
title = {Automatically Analyzing Groups of Crashes for Finding Correlations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {903-902},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Synergistic Debug-Repair of ..."
Synergistic Debug-Repair of Heap Manipulations
Sahil Verma and Subhajit Roy
(IIT Kanpur, India)
@InProceedings{ESEC/FSE17p231,
author = {Sahil Verma and Subhajit Roy},
title = {Synergistic Debug-Repair of Heap Manipulations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {231-230},
doi = {},
year = {2017},
}
ESEC/FSE '17: "S3: Syntax- and Semantic-Guided ..."
S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples
Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser
(Singapore Management University, Singapore; IST Austria, Austria; Carnegie Mellon University, USA; Stellenbosch University, South Africa)
@InProceedings{ESEC/FSE17p749,
author = {Xuan-Bach D. Le and Duc-Hiep Chu and David Lo and Claire Le Goues and Willem Visser},
title = {S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {749-748},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Screening Heuristics for Project ..."
Screening Heuristics for Project Gating Systems
Zahy Volf and Edi Shmueli
(Bar-Ilan University, Israel)
@InProceedings{ESEC/FSE17p1087,
author = {Zahy Volf and Edi Shmueli},
title = {Screening Heuristics for Project Gating Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1087-1086},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Symbolic Execution of Programmable ..."
Symbolic Execution of Programmable Logic Controller Code
Shengjian Guo, Meng Wu, and Chao Wang
(Virginia Tech, USA; University of Southern California, USA)
@InProceedings{ESEC/FSE17p427,
author = {Shengjian Guo and Meng Wu and Chao Wang},
title = {Symbolic Execution of Programmable Logic Controller Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {427-426},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Thread-Modular Static Analysis ..."
Thread-Modular Static Analysis for Relaxed Memory Models
Markus Kusano and Chao Wang
(Virginia Tech, USA; University of Southern California, USA)
@InProceedings{ESEC/FSE17p441,
author = {Markus Kusano and Chao Wang},
title = {Thread-Modular Static Analysis for Relaxed Memory Models},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {441-440},
doi = {},
year = {2017},
}
ESEC/FSE '17: "DESCRY: Reproducing System-Level ..."
DESCRY: Reproducing System-Level Concurrency Failures
Tingting Yu, Tarannum S. Zaman, and Chao Wang
(University of Kentucky, USA; University of Southern California, USA)
@InProceedings{ESEC/FSE17p875,
author = {Tingting Yu and Tarannum S. Zaman and Chao Wang},
title = {DESCRY: Reproducing System-Level Concurrency Failures},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {875-874},
doi = {},
year = {2017},
}
ESEC/FSE '17: "RGSE: A Regular Property Guided ..."
RGSE: A Regular Property Guided Symbolic Executor for Java
Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, and Wei Dong
(National University of Defense Technology, China; Jiangnan Institute of Computing, China)
@InProceedings{ESEC/FSE17p1169,
author = {Hengbiao Yu and Zhenbang Chen and Yufeng Zhang and Ji Wang and Wei Dong},
title = {RGSE: A Regular Property Guided Symbolic Executor for Java},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1169-1168},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Using Search-Based Software ..."
Using Search-Based Software Engineering to Handle the Changes with Uncertainties for Self-Adaptive Systems
Lu Wang
(Xidian University, China)
@InProceedings{ESEC/FSE17p1229,
author = {Lu Wang},
title = {Using Search-Based Software Engineering to Handle the Changes with Uncertainties for Self-Adaptive Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1229-1228},
doi = {},
year = {2017},
}
ESEC/FSE '17: "QTEP: Quality-Aware Test Case ..."
QTEP: Quality-Aware Test Case Prioritization
Song Wang, Jaechang Nam, and Lin Tan
(University of Waterloo, Canada)
@InProceedings{ESEC/FSE17p665,
author = {Song Wang and Jaechang Nam and Lin Tan},
title = {QTEP: Quality-Aware Test Case Prioritization},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {665-664},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Record and Replay for Android: ..."
Record and Replay for Android: Are We There Yet in Industrial Cases?
Wing Lam, Zhengkai Wu, Dengfeng Li, Wenyu Wang, Haibing Zheng, Hui Luo, Peng Yan, Yuetang Deng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tencent, China)
@InProceedings{ESEC/FSE17p1069,
author = {Wing Lam and Zhengkai Wu and Dengfeng Li and Wenyu Wang and Haibing Zheng and Hui Luo and Peng Yan and Yuetang Deng and Tao Xie},
title = {Record and Replay for Android: Are We There Yet in Industrial Cases?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1069-1068},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Why Do Developers Use Trivial ..."
Why Do Developers Use Trivial Packages? An Empirical Case Study on npm
Rabe Abdalkareem, Olivier Nourry, Sultan Wehaibi, Suhaib Mujahid, and Emad Shihab
(Concordia University, Canada)
@InProceedings{ESEC/FSE17p497,
author = {Rabe Abdalkareem and Olivier Nourry and Sultan Wehaibi and Suhaib Mujahid and Emad Shihab},
title = {Why Do Developers Use Trivial Packages? An Empirical Case Study on npm},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {497-496},
doi = {},
year = {2017},
}
ESEC/FSE '17: "OASIS: Prioritizing Static ..."
OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews
Lili Wei, Yepang Liu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China)
@InProceedings{ESEC/FSE17p847,
author = {Lili Wei and Yepang Liu and Shing-Chi Cheung},
title = {OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {847-846},
doi = {},
year = {2017},
}
ESEC/FSE '17: "From Scenario Modeling to ..."
From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology
Joel Greenyer, Daniel Gritzner, Florian König, Jannik Dahlke, Jianwei Shi, and Eric Wete
(Leibniz Universität Hannover, Germany)
@InProceedings{ESEC/FSE17p1189,
author = {Joel Greenyer and Daniel Gritzner and Florian König and Jannik Dahlke and Jianwei Shi and Eric Wete},
title = {From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1189-1188},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Reflections on the REST Architectural ..."
Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)
Roy T. Fielding, Richard N. Taylor, Justin R. Erenkrantz, Michael M. Gorlick, Jim Whitehead, Rohit Khare, and Peyman Oreizy
(Adobe, USA; University of California at Irvine, USA; Bloomberg, USA; University of California at Santa Cruz, USA; Google, USA; Dynamic Variable, USA)
@InProceedings{ESEC/FSE17p37,
author = {Roy T. Fielding and Richard N. Taylor and Justin R. Erenkrantz and Michael M. Gorlick and Jim Whitehead and Rohit Khare and Peyman Oreizy},
title = {Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2017},
}
ESEC/FSE '17: "The Rising Tide Lifts All ..."
The Rising Tide Lifts All Boats: The Advancement of Science in Cyber Security (Invited Talk)
Laurie Williams
(North Carolina State University, USA)
@InProceedings{ESEC/FSE17p1,
author = {Laurie Williams},
title = {The Rising Tide Lifts All Boats: The Advancement of Science in Cyber Security (Invited Talk)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2017},
}
ESEC/FSE '17: "On the Scalability of Linux ..."
On the Scalability of Linux Kernel Maintainers' Work
Minghui Zhou, Qingying Chen, Audris Mockus, and Fengguang Wu
(Peking University, China; University of Tennessee, USA; Intel, China)
@InProceedings{ESEC/FSE17p63,
author = {Minghui Zhou and Qingying Chen and Audris Mockus and Fengguang Wu},
title = {On the Scalability of Linux Kernel Maintainers' Work},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {63-62},
doi = {},
year = {2017},
}
ESEC/FSE '17: "LaChouTi: Kernel Vulnerability ..."
LaChouTi: Kernel Vulnerability Responding Framework for the Fragmented Android Devices
Jingzheng Wu and Mutian Yang
(Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ESEC/FSE17p1135,
author = {Jingzheng Wu and Mutian Yang},
title = {LaChouTi: Kernel Vulnerability Responding Framework for the Fragmented Android Devices},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1135-1134},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Guided, Stochastic Model-Based ..."
Guided, Stochastic Model-Based GUI Testing of Android Apps
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, and Zhendong Su
(East China Normal University, China; Nanyang Technological University, Singapore; Shanghai Jiao Tong University, China; University of California at Davis, USA)
@InProceedings{ESEC/FSE17p329,
author = {Ting Su and Guozhu Meng and Yuting Chen and Ke Wu and Weiming Yang and Yao Yao and Geguang Pu and Yang Liu and Zhendong Su},
title = {Guided, Stochastic Model-Based GUI Testing of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {329-328},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Symbolic Execution of Programmable ..."
Symbolic Execution of Programmable Logic Controller Code
Shengjian Guo, Meng Wu, and Chao Wang
(Virginia Tech, USA; University of Southern California, USA)
@InProceedings{ESEC/FSE17p427,
author = {Shengjian Guo and Meng Wu and Chao Wang},
title = {Symbolic Execution of Programmable Logic Controller Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {427-426},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Record and Replay for Android: ..."
Record and Replay for Android: Are We There Yet in Industrial Cases?
Wing Lam, Zhengkai Wu, Dengfeng Li, Wenyu Wang, Haibing Zheng, Hui Luo, Peng Yan, Yuetang Deng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tencent, China)
@InProceedings{ESEC/FSE17p1069,
author = {Wing Lam and Zhengkai Wu and Dengfeng Li and Wenyu Wang and Haibing Zheng and Hui Luo and Peng Yan and Yuetang Deng and Tao Xie},
title = {Record and Replay for Android: Are We There Yet in Industrial Cases?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1069-1068},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Failure-Directed Program Trimming ..."
Failure-Directed Program Trimming
Kostas Ferles, Valentin Wüstholz, Maria Christakis, and Isil Dillig
(University of Texas at Austin, USA; University of Kent, UK)
@InProceedings{ESEC/FSE17p245,
author = {Kostas Ferles and Valentin Wüstholz and Maria Christakis and Isil Dillig},
title = {Failure-Directed Program Trimming},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {245-244},
doi = {},
year = {2017},
}
ESEC/FSE '17: "XSearch: A Domain-Specific ..."
XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool
Bowen Xu, Zhenchang Xing, Xin Xia, David Lo, and Xuan-Bach D. Le
(Zhejiang University, China; Australian National University, Australia; University of British Columbia, Canada; Singapore Management University, Singapore)
@InProceedings{ESEC/FSE17p1224,
author = {Bowen Xu and Zhenchang Xing and Xin Xia and David Lo and Xuan-Bach D. Le},
title = {XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1224-1223},
doi = {},
year = {2017},
}
ESEC/FSE '17: "RunDroid: Recovering Execution ..."
RunDroid: Recovering Execution Call Graphs for Android Applications
Yujie Yuan, Lihua Xu, Xusheng Xiao, Andy Podgurski, and Huibiao Zhu
(East China Normal University, China; Case Western Reserve University, USA)
@InProceedings{ESEC/FSE17p1164,
author = {Yujie Yuan and Lihua Xu and Xusheng Xiao and Andy Podgurski and Huibiao Zhu},
title = {RunDroid: Recovering Execution Call Graphs for Android Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1164-1163},
doi = {},
year = {2017},
}
ESEC/FSE '17: "When Program Analysis Meets ..."
When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets
Wenqi Bu, Minhui Xue, Lihua Xu, Yajin Zhou, Zhushou Tang, and Tao Xie
(East China Normal University, China; New York University Shanghai, China; Pwnzen Infotech, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE17p1057,
author = {Wenqi Bu and Minhui Xue and Lihua Xu and Yajin Zhou and Zhushou Tang and Tao Xie},
title = {When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1057-1056},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Record and Replay for Android: ..."
Record and Replay for Android: Are We There Yet in Industrial Cases?
Wing Lam, Zhengkai Wu, Dengfeng Li, Wenyu Wang, Haibing Zheng, Hui Luo, Peng Yan, Yuetang Deng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tencent, China)
@InProceedings{ESEC/FSE17p1069,
author = {Wing Lam and Zhengkai Wu and Dengfeng Li and Wenyu Wang and Haibing Zheng and Hui Luo and Peng Yan and Yuetang Deng and Tao Xie},
title = {Record and Replay for Android: Are We There Yet in Industrial Cases?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1069-1068},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Loopster: Static Loop Termination ..."
Loopster: Static Loop Termination Analysis
Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu, and Xiaohong Li
(Tianjin University, China; Nanyang Technological University, Singapore)
@InProceedings{ESEC/FSE17p133,
author = {Xiaofei Xie and Bihuan Chen and Liang Zou and Shang-Wei Lin and Yang Liu and Xiaohong Li},
title = {Loopster: Static Loop Termination Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {133-132},
doi = {},
year = {2017},
}
ESEC/FSE '17: "XSearch: A Domain-Specific ..."
XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool
Bowen Xu, Zhenchang Xing, Xin Xia, David Lo, and Xuan-Bach D. Le
(Zhejiang University, China; Australian National University, Australia; University of British Columbia, Canada; Singapore Management University, Singapore)
@InProceedings{ESEC/FSE17p1224,
author = {Bowen Xu and Zhenchang Xing and Xin Xia and David Lo and Xuan-Bach D. Le},
title = {XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1224-1223},
doi = {},
year = {2017},
}
ESEC/FSE '17: "XSearch: A Domain-Specific ..."
XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool
Bowen Xu, Zhenchang Xing, Xin Xia, David Lo, and Xuan-Bach D. Le
(Zhejiang University, China; Australian National University, Australia; University of British Columbia, Canada; Singapore Management University, Singapore)
@InProceedings{ESEC/FSE17p1224,
author = {Bowen Xu and Zhenchang Xing and Xin Xia and David Lo and Xuan-Bach D. Le},
title = {XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1224-1223},
doi = {},
year = {2017},
}
ESEC/FSE '17: "RunDroid: Recovering Execution ..."
RunDroid: Recovering Execution Call Graphs for Android Applications
Yujie Yuan, Lihua Xu, Xusheng Xiao, Andy Podgurski, and Huibiao Zhu
(East China Normal University, China; Case Western Reserve University, USA)
@InProceedings{ESEC/FSE17p1164,
author = {Yujie Yuan and Lihua Xu and Xusheng Xiao and Andy Podgurski and Huibiao Zhu},
title = {RunDroid: Recovering Execution Call Graphs for Android Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1164-1163},
doi = {},
year = {2017},
}
ESEC/FSE '17: "When Program Analysis Meets ..."
When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets
Wenqi Bu, Minhui Xue, Lihua Xu, Yajin Zhou, Zhushou Tang, and Tao Xie
(East China Normal University, China; New York University Shanghai, China; Pwnzen Infotech, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE17p1057,
author = {Wenqi Bu and Minhui Xue and Lihua Xu and Yajin Zhou and Zhushou Tang and Tao Xie},
title = {When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1057-1056},
doi = {},
year = {2017},
}
ESEC/FSE '17: "LAMP: Data Provenance for ..."
LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation
Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai, Yingqi Liu, and Xiangyu Zhang
(Purdue University, USA; Nanjing University, China)
@InProceedings{ESEC/FSE17p987,
author = {Shiqing Ma and Yousra Aafer and Zhaogui Xu and Wen-Chuan Lee and Juan Zhai and Yingqi Liu and Xiangyu Zhang},
title = {LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {987-986},
doi = {},
year = {2017},
}
ESEC/FSE '17: "When Program Analysis Meets ..."
When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets
Wenqi Bu, Minhui Xue, Lihua Xu, Yajin Zhou, Zhushou Tang, and Tao Xie
(East China Normal University, China; New York University Shanghai, China; Pwnzen Infotech, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE17p1057,
author = {Wenqi Bu and Minhui Xue and Lihua Xu and Yajin Zhou and Zhushou Tang and Tao Xie},
title = {When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1057-1056},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Record and Replay for Android: ..."
Record and Replay for Android: Are We There Yet in Industrial Cases?
Wing Lam, Zhengkai Wu, Dengfeng Li, Wenyu Wang, Haibing Zheng, Hui Luo, Peng Yan, Yuetang Deng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tencent, China)
@InProceedings{ESEC/FSE17p1069,
author = {Wing Lam and Zhengkai Wu and Dengfeng Li and Wenyu Wang and Haibing Zheng and Hui Luo and Peng Yan and Yuetang Deng and Tao Xie},
title = {Record and Replay for Android: Are We There Yet in Industrial Cases?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1069-1068},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Understanding Misunderstandings ..."
Understanding Misunderstandings in Source Code
Dan Gopstein, Jake Iannacone, Yu Yan, Lois DeLong, Yanyan Zhuang, Martin K.-C. Yeh, and Justin Cappos
(New York University, USA; Pennsylvania State University, USA; University of Colorado at Colorado Springs, USA)
@InProceedings{ESEC/FSE17p189,
author = {Dan Gopstein and Jake Iannacone and Yu Yan and Lois DeLong and Yanyan Zhuang and Martin K.-C. Yeh and Justin Cappos},
title = {Understanding Misunderstandings in Source Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {189-188},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Better Test Cases for Better ..."
Better Test Cases for Better Automated Program Repair
Jinqiu Yang, Alexey Zhikhartsev, Yuefei Liu, and Lin Tan
(University of Waterloo, Canada)
@InProceedings{ESEC/FSE17p1043,
author = {Jinqiu Yang and Alexey Zhikhartsev and Yuefei Liu and Lin Tan},
title = {Better Test Cases for Better Automated Program Repair},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1043-1042},
doi = {},
year = {2017},
}
ESEC/FSE '17: "LaChouTi: Kernel Vulnerability ..."
LaChouTi: Kernel Vulnerability Responding Framework for the Fragmented Android Devices
Jingzheng Wu and Mutian Yang
(Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ESEC/FSE17p1135,
author = {Jingzheng Wu and Mutian Yang},
title = {LaChouTi: Kernel Vulnerability Responding Framework for the Fragmented Android Devices},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1135-1134},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Guided, Stochastic Model-Based ..."
Guided, Stochastic Model-Based GUI Testing of Android Apps
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, and Zhendong Su
(East China Normal University, China; Nanyang Technological University, Singapore; Shanghai Jiao Tong University, China; University of California at Davis, USA)
@InProceedings{ESEC/FSE17p329,
author = {Ting Su and Guozhu Meng and Yuting Chen and Ke Wu and Weiming Yang and Yao Yao and Geguang Pu and Yang Liu and Zhendong Su},
title = {Guided, Stochastic Model-Based GUI Testing of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {329-328},
doi = {},
year = {2017},
}
ESEC/FSE '17: "AtexRace: Across Thread and ..."
AtexRace: Across Thread and Execution Sampling for In-House Race Detection
Yu Guo, Yan Cai, and Zijiang Yang
(Western Michigan University, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ESEC/FSE17p413,
author = {Yu Guo and Yan Cai and Zijiang Yang},
title = {AtexRace: Across Thread and Execution Sampling for In-House Race Detection},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {413-412},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Guided, Stochastic Model-Based ..."
Guided, Stochastic Model-Based GUI Testing of Android Apps
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, and Zhendong Su
(East China Normal University, China; Nanyang Technological University, Singapore; Shanghai Jiao Tong University, China; University of California at Davis, USA)
@InProceedings{ESEC/FSE17p329,
author = {Ting Su and Guozhu Meng and Yuting Chen and Ke Wu and Weiming Yang and Yao Yao and Geguang Pu and Yang Liu and Zhendong Su},
title = {Guided, Stochastic Model-Based GUI Testing of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {329-328},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Understanding Misunderstandings ..."
Understanding Misunderstandings in Source Code
Dan Gopstein, Jake Iannacone, Yu Yan, Lois DeLong, Yanyan Zhuang, Martin K.-C. Yeh, and Justin Cappos
(New York University, USA; Pennsylvania State University, USA; University of Colorado at Colorado Springs, USA)
@InProceedings{ESEC/FSE17p189,
author = {Dan Gopstein and Jake Iannacone and Yu Yan and Lois DeLong and Yanyan Zhuang and Martin K.-C. Yeh and Justin Cappos},
title = {Understanding Misunderstandings in Source Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {189-188},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "What Do Software Engineers ..."
What Do Software Engineers Care About? Gaps between Research and Practice
Vladimir Ivanov, Alan Rogers, Giancarlo Succi, Jooyong Yi, and Vasilii Zorin
(Innopolis University, Russia)
@InProceedings{ESEC/FSE17p1105,
author = {Vladimir Ivanov and Alan Rogers and Giancarlo Succi and Jooyong Yi and Vasilii Zorin},
title = {What Do Software Engineers Care About? Gaps between Research and Practice},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1105-1104},
doi = {},
year = {2017},
}
ESEC/FSE '17: "A Feasibility Study of Using ..."
A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments
Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, and Abhik Roychoudhury
(Innopolis University, Russia; IIT Kanpur, India; National University of Singapore, Singapore)
@InProceedings{ESEC/FSE17p931,
author = {Jooyong Yi and Umair Z. Ahmed and Amey Karkare and Shin Hwei Tan and Abhik Roychoudhury},
title = {A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {931-930},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "A Fast Causal Profiler for ..."
A Fast Causal Profiler for Task Parallel Programs
Adarsh Yoga and Santosh Nagarakatte
(Rutgers University, USA)
@InProceedings{ESEC/FSE17p49,
author = {Adarsh Yoga and Santosh Nagarakatte},
title = {A Fast Causal Profiler for Task Parallel Programs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {49-48},
doi = {},
year = {2017},
}
Artifacts Functional
ESEC/FSE '17: "Generalized Observational ..."
Generalized Observational Slicing for Tree-Represented Modelling Languages
Nicolas E. Gold, David Binkley, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo
(University College London, UK; Loyola University Maryland, USA; University of East London, UK; KAIST, South Korea)
@InProceedings{ESEC/FSE17p693,
author = {Nicolas E. Gold and David Binkley and Mark Harman and Syed Islam and Jens Krinke and Shin Yoo},
title = {Generalized Observational Slicing for Tree-Represented Modelling Languages},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {693-692},
doi = {},
year = {2017},
}
ESEC/FSE '17: "RGSE: A Regular Property Guided ..."
RGSE: A Regular Property Guided Symbolic Executor for Java
Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, and Wei Dong
(National University of Defense Technology, China; Jiangnan Institute of Computing, China)
@InProceedings{ESEC/FSE17p1169,
author = {Hengbiao Yu and Zhenbang Chen and Yufeng Zhang and Ji Wang and Wei Dong},
title = {RGSE: A Regular Property Guided Symbolic Executor for Java},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1169-1168},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Practical Symbolic Verification ..."
Practical Symbolic Verification of Regular Properties
Hengbiao Yu
(National University of Defense Technology, China)
@InProceedings{ESEC/FSE17p1268,
author = {Hengbiao Yu},
title = {Practical Symbolic Verification of Regular Properties},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1268-1267},
doi = {},
year = {2017},
}
ESEC/FSE '17: "DESCRY: Reproducing System-Level ..."
DESCRY: Reproducing System-Level Concurrency Failures
Tingting Yu, Tarannum S. Zaman, and Chao Wang
(University of Kentucky, USA; University of Southern California, USA)
@InProceedings{ESEC/FSE17p875,
author = {Tingting Yu and Tarannum S. Zaman and Chao Wang},
title = {DESCRY: Reproducing System-Level Concurrency Failures},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {875-874},
doi = {},
year = {2017},
}
ESEC/FSE '17: "RunDroid: Recovering Execution ..."
RunDroid: Recovering Execution Call Graphs for Android Applications
Yujie Yuan, Lihua Xu, Xusheng Xiao, Andy Podgurski, and Huibiao Zhu
(East China Normal University, China; Case Western Reserve University, USA)
@InProceedings{ESEC/FSE17p1164,
author = {Yujie Yuan and Lihua Xu and Xusheng Xiao and Andy Podgurski and Huibiao Zhu},
title = {RunDroid: Recovering Execution Call Graphs for Android Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1164-1163},
doi = {},
year = {2017},
}
ESEC/FSE '17: "DESCRY: Reproducing System-Level ..."
DESCRY: Reproducing System-Level Concurrency Failures
Tingting Yu, Tarannum S. Zaman, and Chao Wang
(University of Kentucky, USA; University of Southern California, USA)
@InProceedings{ESEC/FSE17p875,
author = {Tingting Yu and Tarannum S. Zaman and Chao Wang},
title = {DESCRY: Reproducing System-Level Concurrency Failures},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {875-874},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Detecting Missing Information ..."
Detecting Missing Information in Bug Descriptions
Oscar Chaparro, Jing Lu, Fiorella Zampetti, Laura Moreno, Massimiliano Di Penta, Andrian Marcus, Gabriele Bavota, and Vincent Ng
(University of Texas at Dallas, USA; University of Sannio, Italy; Colorado State University, USA; University of Lugano, Switzerland)
@InProceedings{ESEC/FSE17p511,
author = {Oscar Chaparro and Jing Lu and Fiorella Zampetti and Laura Moreno and Massimiliano Di Penta and Andrian Marcus and Gabriele Bavota and Vincent Ng},
title = {Detecting Missing Information in Bug Descriptions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {511-510},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Where Is the Bug and How Is ..."
Where Is the Bug and How Is It Fixed? An Experiment with Practitioners
Marcel Böhme, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, and Andreas Zeller
(National University of Singapore, Singapore; Saarland University, Germany; Singapore University of Technology and Design, Singapore; SAP, Germany)
@InProceedings{ESEC/FSE17p175,
author = {Marcel Böhme and Ezekiel O. Soremekun and Sudipta Chattopadhyay and Emamurho Ugherughe and Andreas Zeller},
title = {Where Is the Bug and How Is It Fixed? An Experiment with Practitioners},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {175-174},
doi = {},
year = {2017},
}
Artifacts Reusable
ESEC/FSE '17: "LAMP: Data Provenance for ..."
LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation
Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai, Yingqi Liu, and Xiangyu Zhang
(Purdue University, USA; Nanjing University, China)
@InProceedings{ESEC/FSE17p987,
author = {Shiqing Ma and Yousra Aafer and Zhaogui Xu and Wen-Chuan Lee and Juan Zhai and Yingqi Liu and Xiangyu Zhang},
title = {LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {987-986},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Continuous Variable-Specific ..."
Continuous Variable-Specific Resolutions of Feature Interactions
M. Hadi Zibaeenejad, Chi Zhang, and Joanne M. Atlee
(University of Waterloo, Canada)
@InProceedings{ESEC/FSE17p525,
author = {M. Hadi Zibaeenejad and Chi Zhang and Joanne M. Atlee},
title = {Continuous Variable-Specific Resolutions of Feature Interactions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {525-524},
doi = {},
year = {2017},
}
ESEC/FSE '17: "LAMP: Data Provenance for ..."
LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation
Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai, Yingqi Liu, and Xiangyu Zhang
(Purdue University, USA; Nanjing University, China)
@InProceedings{ESEC/FSE17p987,
author = {Shiqing Ma and Yousra Aafer and Zhaogui Xu and Wen-Chuan Lee and Juan Zhai and Yingqi Liu and Xiangyu Zhang},
title = {LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {987-986},
doi = {},
year = {2017},
}
ESEC/FSE '17: "RGSE: A Regular Property Guided ..."
RGSE: A Regular Property Guided Symbolic Executor for Java
Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, and Wei Dong
(National University of Defense Technology, China; Jiangnan Institute of Computing, China)
@InProceedings{ESEC/FSE17p1169,
author = {Hengbiao Yu and Zhenbang Chen and Yufeng Zhang and Ji Wang and Wei Dong},
title = {RGSE: A Regular Property Guided Symbolic Executor for Java},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1169-1168},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Adaptively Generating High ..."
Adaptively Generating High Quality Fixes for Atomicity Violations
Yan Cai, Lingwei Cao, and Jing Zhao
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Harbin Engineering University, China)
@InProceedings{ESEC/FSE17p399,
author = {Yan Cai and Lingwei Cao and Jing Zhao},
title = {Adaptively Generating High Quality Fixes for Atomicity Violations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {399-398},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Record and Replay for Android: ..."
Record and Replay for Android: Are We There Yet in Industrial Cases?
Wing Lam, Zhengkai Wu, Dengfeng Li, Wenyu Wang, Haibing Zheng, Hui Luo, Peng Yan, Yuetang Deng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tencent, China)
@InProceedings{ESEC/FSE17p1069,
author = {Wing Lam and Zhengkai Wu and Dengfeng Li and Wenyu Wang and Haibing Zheng and Hui Luo and Peng Yan and Yuetang Deng and Tao Xie},
title = {Record and Replay for Android: Are We There Yet in Industrial Cases?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1069-1068},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Better Test Cases for Better ..."
Better Test Cases for Better Automated Program Repair
Jinqiu Yang, Alexey Zhikhartsev, Yuefei Liu, and Lin Tan
(University of Waterloo, Canada)
@InProceedings{ESEC/FSE17p1043,
author = {Jinqiu Yang and Alexey Zhikhartsev and Yuefei Liu and Lin Tan},
title = {Better Test Cases for Better Automated Program Repair},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1043-1042},
doi = {},
year = {2017},
}
ESEC/FSE '17: "On the Scalability of Linux ..."
On the Scalability of Linux Kernel Maintainers' Work
Minghui Zhou, Qingying Chen, Audris Mockus, and Fengguang Wu
(Peking University, China; University of Tennessee, USA; Intel, China)
@InProceedings{ESEC/FSE17p63,
author = {Minghui Zhou and Qingying Chen and Audris Mockus and Fengguang Wu},
title = {On the Scalability of Linux Kernel Maintainers' Work},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {63-62},
doi = {},
year = {2017},
}
ESEC/FSE '17: "When Program Analysis Meets ..."
When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets
Wenqi Bu, Minhui Xue, Lihua Xu, Yajin Zhou, Zhushou Tang, and Tao Xie
(East China Normal University, China; New York University Shanghai, China; Pwnzen Infotech, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE17p1057,
author = {Wenqi Bu and Minhui Xue and Lihua Xu and Yajin Zhou and Zhushou Tang and Tao Xie},
title = {When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1057-1056},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Automated Identification of ..."
Automated Identification of Security Issues from Commit Messages and Bug Reports
Yaqin Zhou and Asankhaya Sharma
(SourceClear, Singapore)
@InProceedings{ESEC/FSE17p1129,
author = {Yaqin Zhou and Asankhaya Sharma},
title = {Automated Identification of Security Issues from Commit Messages and Bug Reports},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1129-1128},
doi = {},
year = {2017},
}
ESEC/FSE '17: "RunDroid: Recovering Execution ..."
RunDroid: Recovering Execution Call Graphs for Android Applications
Yujie Yuan, Lihua Xu, Xusheng Xiao, Andy Podgurski, and Huibiao Zhu
(East China Normal University, China; Case Western Reserve University, USA)
@InProceedings{ESEC/FSE17p1164,
author = {Yujie Yuan and Lihua Xu and Xusheng Xiao and Andy Podgurski and Huibiao Zhu},
title = {RunDroid: Recovering Execution Call Graphs for Android Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1164-1163},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Understanding Misunderstandings ..."
Understanding Misunderstandings in Source Code
Dan Gopstein, Jake Iannacone, Yu Yan, Lois DeLong, Yanyan Zhuang, Martin K.-C. Yeh, and Justin Cappos
(New York University, USA; Pennsylvania State University, USA; University of Colorado at Colorado Springs, USA)
@InProceedings{ESEC/FSE17p189,
author = {Dan Gopstein and Jake Iannacone and Yu Yan and Lois DeLong and Yanyan Zhuang and Martin K.-C. Yeh and Justin Cappos},
title = {Understanding Misunderstandings in Source Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {189-188},
doi = {},
year = {2017},
}
Best-Paper Award
ESEC/FSE '17: "Continuous Variable-Specific ..."
Continuous Variable-Specific Resolutions of Feature Interactions
M. Hadi Zibaeenejad, Chi Zhang, and Joanne M. Atlee
(University of Waterloo, Canada)
@InProceedings{ESEC/FSE17p525,
author = {M. Hadi Zibaeenejad and Chi Zhang and Joanne M. Atlee},
title = {Continuous Variable-Specific Resolutions of Feature Interactions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {525-524},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Static Analysis for Optimizing ..."
Static Analysis for Optimizing Big Data Queries
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, and Edgardo Zoppi
(University of Buenos Aires, Argentina; New York University, USA; Microsoft Research, USA)
@InProceedings{ESEC/FSE17p1147,
author = {Diego Garbervetsky and Zvonimir Pavlinovic and Michael Barnett and Madanlal Musuvathi and Todd Mytkowicz and Edgardo Zoppi},
title = {Static Analysis for Optimizing Big Data Queries},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1147-1146},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Toward Full Elasticity in ..."
Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis
Diego Garbervetsky, Edgardo Zoppi, and Benjamin Livshits
(University of Buenos Aires, Argentina; Imperial College London, UK)
@InProceedings{ESEC/FSE17p567,
author = {Diego Garbervetsky and Edgardo Zoppi and Benjamin Livshits},
title = {Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {567-566},
doi = {},
year = {2017},
}
ESEC/FSE '17: "What Do Software Engineers ..."
What Do Software Engineers Care About? Gaps between Research and Practice
Vladimir Ivanov, Alan Rogers, Giancarlo Succi, Jooyong Yi, and Vasilii Zorin
(Innopolis University, Russia)
@InProceedings{ESEC/FSE17p1105,
author = {Vladimir Ivanov and Alan Rogers and Giancarlo Succi and Jooyong Yi and Vasilii Zorin},
title = {What Do Software Engineers Care About? Gaps between Research and Practice},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1105-1104},
doi = {},
year = {2017},
}
ESEC/FSE '17: "Loopster: Static Loop Termination ..."
Loopster: Static Loop Termination Analysis
Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu, and Xiaohong Li
(Tianjin University, China; Nanyang Technological University, Singapore)
@InProceedings{ESEC/FSE17p133,
author = {Xiaofei Xie and Bihuan Chen and Liang Zou and Shang-Wei Lin and Yang Liu and Xiaohong Li},
title = {Loopster: Static Loop Termination Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {133-132},
doi = {},
year = {2017},
}