ESEC/FSE 2013 – Author Index |
Contents -
Abstracts -
Authors
|
A B C D E F G H I J K L M N O P Q R S T V W X Y Z
| Acher, Mathieu |
ESEC/FSE '13: "Feature Model Extraction from ..."
Feature Model Extraction from Large Collections of Informal Product Descriptions
Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, and Patrick Heymans (University of Namur, Belgium; DePaul University, USA; University of Rennes I, France; INRIA, France) 
@InProceedings{ESEC/FSE13p328,
author = {Jean-Marc Davril and Edouard Delfosse and Negar Hariri and Mathieu Acher and Jane Cleland-Huang and Patrick Heymans},
title = {Feature Model Extraction from Large Collections of Informal Product Descriptions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {328-327},
doi = {},
year = {2013},
}
|
|
| Albert, Elvira |
ESEC/FSE '13: "aPET: A Test Case Generation ..."
aPET: A Test Case Generation Tool for Concurrent Objects
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, and Peter Y. H. Wong (Complutense University of Madrid, Spain; SLD Fredhopper, Netherlands)
@InProceedings{ESEC/FSE13p633,
author = {Elvira Albert and Puri Arenas and Miguel Gómez-Zamalloa and Peter Y. H. Wong},
title = {aPET: A Test Case Generation Tool for Concurrent Objects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {633-632},
doi = {},
year = {2013},
}
|
|
| Amornborvornwong, Sorawit |
ESEC/FSE '13: "Improving Trace Accuracy through ..."
Improving Trace Accuracy through Data-Driven Configuration and Composition of Tracing Features
Sugandha Lohar, Sorawit Amornborvornwong, Andrea Zisman, and Jane Cleland-Huang (DePaul University, USA; Open University, UK)
@InProceedings{ESEC/FSE13p416,
author = {Sugandha Lohar and Sorawit Amornborvornwong and Andrea Zisman and Jane Cleland-Huang},
title = {Improving Trace Accuracy through Data-Driven Configuration and Composition of Tracing Features},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {416-415},
doi = {},
year = {2013},
}
|
|
| Apel, Sven |
ESEC/FSE '13: "Scalable Analysis of Variable ..."
Scalable Analysis of Variable Software
Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, and Christian Lengauer (University of Passau, Germany; CMU, USA)
@InProceedings{ESEC/FSE13p119,
author = {Jörg Liebig and Alexander von Rhein and Christian Kästner and Sven Apel and Jens Dörre and Christian Lengauer},
title = {Scalable Analysis of Variable Software},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {119-118},
doi = {},
year = {2013},
}
|
|
| Arenas, Puri |
ESEC/FSE '13: "aPET: A Test Case Generation ..."
aPET: A Test Case Generation Tool for Concurrent Objects
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, and Peter Y. H. Wong (Complutense University of Madrid, Spain; SLD Fredhopper, Netherlands)
@InProceedings{ESEC/FSE13p633,
author = {Elvira Albert and Puri Arenas and Miguel Gómez-Zamalloa and Peter Y. H. Wong},
title = {aPET: A Test Case Generation Tool for Concurrent Objects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {633-632},
doi = {},
year = {2013},
}
|
|
| Arora, Chetan |
ESEC/FSE '13: "RUBRIC: A Flexible Tool for ..."
RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates
Chetan Arora, Mehrdad Sabetzadeh, Lionel Briand, Frank Zimmer, and Raul Gnaga (University of Luxembourg, Luxembourg; SES TechCom, Luxembourg)
@InProceedings{ESEC/FSE13p637,
author = {Chetan Arora and Mehrdad Sabetzadeh and Lionel Briand and Frank Zimmer and Raul Gnaga},
title = {RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {637-636},
doi = {},
year = {2013},
}
|
|
| Autili, Marco |
ESEC/FSE '13: "Producing Software by Integration: ..."
Producing Software by Integration: Challenges and Research Directions (Keynote)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, and Massimo Tivoli (University of l'Aquila, Italy)
@InProceedings{ESEC/FSE13p12,
author = {Paola Inverardi and Marco Autili and Davide Di Ruscio and Patrizio Pelliccione and Massimo Tivoli},
title = {Producing Software by Integration: Challenges and Research Directions (Keynote)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2013},
}
|
|
| Bando, Yosuke |
ESEC/FSE '13: "ShAir: Extensible Middleware ..."
ShAir: Extensible Middleware for Mobile Peer-to-Peer Resource Sharing
Daniel J. Dubois, Yosuke Bando, Konosuke Watanabe, and Henry Holtzman (Massachusetts Institute of Technology, USA; Toshiba, Japan)
@InProceedings{ESEC/FSE13p725,
author = {Daniel J. Dubois and Yosuke Bando and Konosuke Watanabe and Henry Holtzman},
title = {ShAir: Extensible Middleware for Mobile Peer-to-Peer Resource Sharing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {725-724},
doi = {},
year = {2013},
}
|
|
| Baresi, Luciano |
ESEC/FSE '13: "A Publication Culture in Software ..."
A Publication Culture in Software Engineering (Panel)
Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, and Moshe Y. Vardi (CISCO, USA; Politecnico di Milano, Italy; DePaul University, USA; ETH Zurich, Switzerland; Microsoft Research, UK; University of L’Aquila, USA; Rice University, USA)
@InProceedings{ESEC/FSE13p44,
author = {Steven Fraser and Luciano Baresi and Jane Cleland-Huang and Carlo A. Furia and Georges Gonthier and Paola Inverardi and Moshe Y. Vardi},
title = {A Publication Culture in Software Engineering (Panel)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {44-43},
doi = {},
year = {2013},
}
|
|
| Barros, Paulo |
ESEC/FSE '13: "SPLat: Lightweight Dynamic ..."
SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems
Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don Batory, Sabrina Souto, Paulo Barros, and Marcelo d'Amorim (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA; Groupon, USA; Federal University of Pernambuco, Brazil)
@InProceedings{ESEC/FSE13p295,
author = {Chang Hwan Peter Kim and Darko Marinov and Sarfraz Khurshid and Don Batory and Sabrina Souto and Paulo Barros and Marcelo d'Amorim},
title = {SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {295-294},
doi = {},
year = {2013},
}
|
|
| Batory, Don |
ESEC/FSE '13: "SPLat: Lightweight Dynamic ..."
SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems
Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don Batory, Sabrina Souto, Paulo Barros, and Marcelo d'Amorim (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA; Groupon, USA; Federal University of Pernambuco, Brazil)
@InProceedings{ESEC/FSE13p295,
author = {Chang Hwan Peter Kim and Darko Marinov and Sarfraz Khurshid and Don Batory and Sabrina Souto and Paulo Barros and Marcelo d'Amorim},
title = {SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {295-294},
doi = {},
year = {2013},
}
|
|
| Bavota, Gabriele |
ESEC/FSE '13: "API Change and Fault Proneness: ..."
API Change and Fault Proneness: A Threat to the Success of Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Carlos Bernal-Cárdenas, Massimiliano Di Penta, Rocco Oliveto, and Denys Poshyvanyk (College of William and Mary, USA; University of Sannio, Italy; Universidad Nacional de Colombia, Colombia; University of Molise, Italy)
@InProceedings{ESEC/FSE13p515,
author = {Mario Linares-Vásquez and Gabriele Bavota and Carlos Bernal-Cárdenas and Massimiliano Di Penta and Rocco Oliveto and Denys Poshyvanyk},
title = {API Change and Fault Proneness: A Threat to the Success of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {515-514},
doi = {},
year = {2013},
}
|
|
| Bergel, Alexandre |
ESEC/FSE '13: "Artifact Evaluation (Summary) ..."
Artifact Evaluation (Summary)
Alexandre Bergel and Lorenzo Bettini (University of Chile, Chile; Università di Torino, Italy)
@InProceedings{ESEC/FSE13p54,
author = {Alexandre Bergel and Lorenzo Bettini},
title = {Artifact Evaluation (Summary)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {54-53},
doi = {},
year = {2013},
}
|
|
| Berkovich, Shay |
ESEC/FSE '13: "RiTHM: A Tool for Enabling ..."
RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs
Samaneh Navabpour, Yogi Joshi, Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, and Sebastian Fischmeister (University of Waterloo, Canada)
@InProceedings{ESEC/FSE13p641,
author = {Samaneh Navabpour and Yogi Joshi and Wallace Wu and Shay Berkovich and Ramy Medhat and Borzoo Bonakdarpour and Sebastian Fischmeister},
title = {RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {641-640},
doi = {},
year = {2013},
}
|
|
| Bernal-Cárdenas, Carlos |
ESEC/FSE '13: "API Change and Fault Proneness: ..."
API Change and Fault Proneness: A Threat to the Success of Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Carlos Bernal-Cárdenas, Massimiliano Di Penta, Rocco Oliveto, and Denys Poshyvanyk (College of William and Mary, USA; University of Sannio, Italy; Universidad Nacional de Colombia, Colombia; University of Molise, Italy)
@InProceedings{ESEC/FSE13p515,
author = {Mario Linares-Vásquez and Gabriele Bavota and Carlos Bernal-Cárdenas and Massimiliano Di Penta and Rocco Oliveto and Denys Poshyvanyk},
title = {API Change and Fault Proneness: A Threat to the Success of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {515-514},
doi = {},
year = {2013},
}
|
|
| Bertolino, Antonia |
ESEC/FSE '13: "Adequate Monitoring of Service ..."
Adequate Monitoring of Service Compositions
Antonia Bertolino, Eda Marchetti, and Andrea Morichetta (ISTI-CNR, Italy)
@InProceedings{ESEC/FSE13p97,
author = {Antonia Bertolino and Eda Marchetti and Andrea Morichetta},
title = {Adequate Monitoring of Service Compositions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {97-96},
doi = {},
year = {2013},
}
|
|
| Bettini, Lorenzo |
ESEC/FSE '13: "Artifact Evaluation (Summary) ..."
Artifact Evaluation (Summary)
Alexandre Bergel and Lorenzo Bettini (University of Chile, Chile; Università di Torino, Italy)
@InProceedings{ESEC/FSE13p54,
author = {Alexandre Bergel and Lorenzo Bettini},
title = {Artifact Evaluation (Summary)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {54-53},
doi = {},
year = {2013},
}
|
|
| Beyer, Dirk |
ESEC/FSE '13: "Precision Reuse for Efficient ..."
Precision Reuse for Efficient Regression Verification
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, and Philipp Wendler (University of Passau, Germany; ISP RAS, Russia)
@InProceedings{ESEC/FSE13p427,
author = {Dirk Beyer and Stefan Löwe and Evgeny Novikov and Andreas Stahlbauer and Philipp Wendler},
title = {Precision Reuse for Efficient Regression Verification},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {427-426},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Bird, Christian |
ESEC/FSE '13: "Convergent Contemporary Software ..."
Convergent Contemporary Software Peer Review Practices
Peter C. Rigby and Christian Bird (Concordia University, Canada; Microsoft Research, USA)
@InProceedings{ESEC/FSE13p240,
author = {Peter C. Rigby and Christian Bird},
title = {Convergent Contemporary Software Peer Review Practices},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {240-239},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Diversity in Software Engineering ..."
Diversity in Software Engineering Research
Meiyappan Nagappan, Thomas Zimmermann, and Christian Bird (Queen’s University, Canada; Microsoft Research, USA)
@InProceedings{ESEC/FSE13p504,
author = {Meiyappan Nagappan and Thomas Zimmermann and Christian Bird},
title = {Diversity in Software Engineering Research},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {504-503},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Blincoe, Kelly |
ESEC/FSE '13: "Do All Task Dependencies Require ..."
Do All Task Dependencies Require Coordination? The Role of Task Properties in Identifying Critical Coordination Needs in Software Projects
Kelly Blincoe, Giuseppe Valetto, and Daniela Damian (Drexel University, USA; University of Victoria, Canada)
@InProceedings{ESEC/FSE13p251,
author = {Kelly Blincoe and Giuseppe Valetto and Daniela Damian},
title = {Do All Task Dependencies Require Coordination? The Role of Task Properties in Identifying Critical Coordination Needs in Software Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {251-250},
doi = {},
year = {2013},
}
|
|
| Böhme, Marcel |
ESEC/FSE '13: "Regression Tests to Expose ..."
Regression Tests to Expose Change Interaction Errors
Marcel Böhme, Bruno C. d. S. Oliveira, and Abhik Roychoudhury (National University of Singapore, Singapore)
@InProceedings{ESEC/FSE13p372,
author = {Marcel Böhme and Bruno C. d. S. Oliveira and Abhik Roychoudhury},
title = {Regression Tests to Expose Change Interaction Errors},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {372-371},
doi = {},
year = {2013},
}
|
|
| Bonakdarpour, Borzoo |
ESEC/FSE '13: "RiTHM: A Tool for Enabling ..."
RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs
Samaneh Navabpour, Yogi Joshi, Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, and Sebastian Fischmeister (University of Waterloo, Canada)
@InProceedings{ESEC/FSE13p641,
author = {Samaneh Navabpour and Yogi Joshi and Wallace Wu and Shay Berkovich and Ramy Medhat and Borzoo Bonakdarpour and Sebastian Fischmeister},
title = {RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {641-640},
doi = {},
year = {2013},
}
|
|
| Borgström, Johannes |
ESEC/FSE '13: "Bayesian Inference using Data ..."
Bayesian Inference using Data Flow Analysis
Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, and Johannes Borgström (INRIA, France; Microsoft Research, India; Microsoft Research, UK; Uppsala University, Sweden)
@InProceedings{ESEC/FSE13p130,
author = {Guillaume Claret and Sriram K. Rajamani and Aditya V. Nori and Andrew D. Gordon and Johannes Borgström},
title = {Bayesian Inference using Data Flow Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {130-129},
doi = {},
year = {2013},
}
|
|
| Braione, Pietro |
ESEC/FSE '13: "Enhancing Symbolic Execution ..."
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization
Pietro Braione, Giovanni Denaro, and Mauro Pezzè (University of Milano-Bicocca, Italy; University of Lugano, Switzerland)
@InProceedings{ESEC/FSE13p449,
author = {Pietro Braione and Giovanni Denaro and Mauro Pezzè},
title = {Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {449-448},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Brenner, Christian |
ESEC/FSE '13: "Incrementally Synthesizing ..."
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, and Erika Gressi (Leibniz Universität Hannover, Germany; University of Paderborn, Germany; University of Namur, Belgium; Politecnico di Milano, Italy)
@InProceedings{ESEC/FSE13p471,
author = {Joel Greenyer and Christian Brenner and Maxime Cordy and Patrick Heymans and Erika Gressi},
title = {Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {471-470},
doi = {},
year = {2013},
}
|
|
| Briand, Lionel |
ESEC/FSE '13: "RUBRIC: A Flexible Tool for ..."
RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates
Chetan Arora, Mehrdad Sabetzadeh, Lionel Briand, Frank Zimmer, and Raul Gnaga (University of Luxembourg, Luxembourg; SES TechCom, Luxembourg)
@InProceedings{ESEC/FSE13p637,
author = {Chetan Arora and Mehrdad Sabetzadeh and Lionel Briand and Frank Zimmer and Raul Gnaga},
title = {RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {637-636},
doi = {},
year = {2013},
}
|
|
| Bruegge, Bernd |
ESEC/FSE '13: "Towards Emotional Awareness ..."
Towards Emotional Awareness in Software Development Teams
Emitza Guzman and Bernd Bruegge (TU Munich, Germany)
@InProceedings{ESEC/FSE13p709,
author = {Emitza Guzman and Bernd Bruegge},
title = {Towards Emotional Awareness in Software Development Teams},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {709-708},
doi = {},
year = {2013},
}
|
|
| Brun, Yuriy |
ESEC/FSE '13: "Making Offline Analyses Continuous ..."
Making Offline Analyses Continuous
Kıvanç Muşlu, Yuriy Brun, Michael D. Ernst, and David Notkin (University of Washington, USA; University of Massachusetts at Amherst, USA)
@InProceedings{ESEC/FSE13p361,
author = {Kıvanç Muşlu and Yuriy Brun and Michael D. Ernst and David Notkin},
title = {Making Offline Analyses Continuous},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {361-360},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Data Debugging with Continuous ..."
Data Debugging with Continuous Testing
Kıvanç Muşlu, Yuriy Brun, and Alexandra Meliou (University of Washington, USA; University of Massachusetts at Amherst, USA)
@InProceedings{ESEC/FSE13p669,
author = {Kıvanç Muşlu and Yuriy Brun and Alexandra Meliou},
title = {Data Debugging with Continuous Testing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {669-668},
doi = {},
year = {2013},
}
|
|
| Brutch, Tasneem |
ESEC/FSE '13: "Jalangi: A Selective Record-Replay ..."
Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript
Koushik Sen, Swaroop Kalasapur, Tasneem Brutch, and Simon Gibbs (UC Berkeley, USA; Samsung Research, USA)
@InProceedings{ESEC/FSE13p526,
author = {Koushik Sen and Swaroop Kalasapur and Tasneem Brutch and Simon Gibbs},
title = {Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {526-525},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Jalangi: A Tool Framework ..."
Jalangi: A Tool Framework for Concolic Testing, Selective Record-Replay, and Dynamic Analysis of JavaScript
Koushik Sen, Swaroop Kalasapur, Tasneem Brutch, and Simon Gibbs (UC Berkeley, USA; Samsung Research, USA)
@InProceedings{ESEC/FSE13p653,
author = {Koushik Sen and Swaroop Kalasapur and Tasneem Brutch and Simon Gibbs},
title = {Jalangi: A Tool Framework for Concolic Testing, Selective Record-Replay, and Dynamic Analysis of JavaScript},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {653-652},
doi = {},
year = {2013},
}
|
|
| Buy, Ugo |
ESEC/FSE '13: "Preventing Database Deadlocks ..."
Preventing Database Deadlocks in Applications
Mark Grechanik, B. M. Mainul Hossain, Ugo Buy, and Haisheng Wang (University of Illinois at Chicago, USA; Oracle, USA)
@InProceedings{ESEC/FSE13p394,
author = {Mark Grechanik and B. M. Mainul Hossain and Ugo Buy and Haisheng Wang},
title = {Preventing Database Deadlocks in Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {394-393},
doi = {},
year = {2013},
}
ESEC/FSE '13: "REDACT: Preventing Database ..."
REDACT: Preventing Database Deadlocks from Application-Based Transactions
B. M. Mainul Hossain, Mark Grechanik, Ugo Buy, and Haisheng Wang (University of Illinois at Chicago, USA; Oracle, USA)
@InProceedings{ESEC/FSE13p629,
author = {B. M. Mainul Hossain and Mark Grechanik and Ugo Buy and Haisheng Wang},
title = {REDACT: Preventing Database Deadlocks from Application-Based Transactions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {629-628},
doi = {},
year = {2013},
}
|
|
| Cadar, Cristian |
ESEC/FSE '13: "KATCH: High-Coverage Testing ..."
KATCH: High-Coverage Testing of Software Patches
Paul Dan Marinescu and Cristian Cadar (Imperial College London, UK)
@InProceedings{ESEC/FSE13p273,
author = {Paul Dan Marinescu and Cristian Cadar},
title = {KATCH: High-Coverage Testing of Software Patches},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {273-272},
doi = {},
year = {2013},
}
Distinguished Artifact
|
|
| Calefato, Fabio |
ESEC/FSE '13: "SocialCDE: A Social Awareness ..."
SocialCDE: A Social Awareness Tool for Global Software Teams
Fabio Calefato and Filippo Lanubile (University of Bari, Italy)
@InProceedings{ESEC/FSE13p625,
author = {Fabio Calefato and Filippo Lanubile},
title = {SocialCDE: A Social Awareness Tool for Global Software Teams},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {625-624},
doi = {},
year = {2013},
}
|
|
| Carvalho, Gustavo |
ESEC/FSE '13: "RSA-MBT: A Test Tool for Generating ..."
RSA-MBT: A Test Tool for Generating Test Artifacts Based on Models
Andrew Diniz da Costa, Ricardo Venieris, Gustavo Carvalho, and Carlos José Pereira de Lucena (PUC-Rio, Brazil)
@InProceedings{ESEC/FSE13p657,
author = {Andrew Diniz da Costa and Ricardo Venieris and Gustavo Carvalho and Carlos José Pereira de Lucena},
title = {RSA-MBT: A Test Tool for Generating Test Artifacts Based on Models},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {657-656},
doi = {},
year = {2013},
}
|
|
| Chechik, Marsha |
ESEC/FSE '13: "N-Way Model Merging ..."
N-Way Model Merging
Julia Rubin and Marsha Chechik (IBM Research, Israel; University of Toronto, Canada)
@InProceedings{ESEC/FSE13p339,
author = {Julia Rubin and Marsha Chechik},
title = {N-Way Model Merging},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {339-338},
doi = {},
year = {2013},
}
|
|
| Chen, Yuting |
ESEC/FSE '13: "Extracting URLs from JavaScript ..."
Extracting URLs from JavaScript via Program Analysis
Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, and Jianjun Zhao (Shanghai Jiao Tong University, China; Cornell University, USA)
@InProceedings{ESEC/FSE13p665,
author = {Qi Wang and Jingyu Zhou and Yuting Chen and Yizhou Zhang and Jianjun Zhao},
title = {Extracting URLs from JavaScript via Program Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {665-664},
doi = {},
year = {2013},
}
|
|
| Cheung, S. C. |
ESEC/FSE '13: "A Cost-Effectiveness Criterion ..."
A Cost-Effectiveness Criterion for Applying Software Defect Prediction Models
Hongyu Zhang and S. C. Cheung (Tsinghua University, China; ISCAS, China; Hong Kong University of Science and Technology, China)
@InProceedings{ESEC/FSE13p681,
author = {Hongyu Zhang and S. C. Cheung},
title = {A Cost-Effectiveness Criterion for Applying Software Defect Prediction Models},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {681-680},
doi = {},
year = {2013},
}
|
|
| Chimdyalwar, Bharti |
ESEC/FSE '13: "Precise Range Analysis on ..."
Precise Range Analysis on Large Industry Code
Shrawan Kumar, Bharti Chimdyalwar, and Ulka Shrotri (Tata Consultancy Services, India)
@InProceedings{ESEC/FSE13p713,
author = {Shrawan Kumar and Bharti Chimdyalwar and Ulka Shrotri},
title = {Precise Range Analysis on Large Industry Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {713-712},
doi = {},
year = {2013},
}
|
|
| Claret, Guillaume |
ESEC/FSE '13: "Bayesian Inference using Data ..."
Bayesian Inference using Data Flow Analysis
Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, and Johannes Borgström (INRIA, France; Microsoft Research, India; Microsoft Research, UK; Uppsala University, Sweden)
@InProceedings{ESEC/FSE13p130,
author = {Guillaume Claret and Sriram K. Rajamani and Aditya V. Nori and Andrew D. Gordon and Johannes Borgström},
title = {Bayesian Inference using Data Flow Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {130-129},
doi = {},
year = {2013},
}
|
|
| Cleland-Huang, Jane |
ESEC/FSE '13: "Feature Model Extraction from ..."
Feature Model Extraction from Large Collections of Informal Product Descriptions
Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, and Patrick Heymans (University of Namur, Belgium; DePaul University, USA; University of Rennes I, France; INRIA, France)
@InProceedings{ESEC/FSE13p328,
author = {Jean-Marc Davril and Edouard Delfosse and Negar Hariri and Mathieu Acher and Jane Cleland-Huang and Patrick Heymans},
title = {Feature Model Extraction from Large Collections of Informal Product Descriptions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {328-327},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Improving Trace Accuracy through ..."
Improving Trace Accuracy through Data-Driven Configuration and Composition of Tracing Features
Sugandha Lohar, Sorawit Amornborvornwong, Andrea Zisman, and Jane Cleland-Huang (DePaul University, USA; Open University, UK)
@InProceedings{ESEC/FSE13p416,
author = {Sugandha Lohar and Sorawit Amornborvornwong and Andrea Zisman and Jane Cleland-Huang},
title = {Improving Trace Accuracy through Data-Driven Configuration and Composition of Tracing Features},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {416-415},
doi = {},
year = {2013},
}
ESEC/FSE '13: "A Publication Culture in Software ..."
A Publication Culture in Software Engineering (Panel)
Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, and Moshe Y. Vardi (CISCO, USA; Politecnico di Milano, Italy; DePaul University, USA; ETH Zurich, Switzerland; Microsoft Research, UK; University of L’Aquila, USA; Rice University, USA)
@InProceedings{ESEC/FSE13p44,
author = {Steven Fraser and Luciano Baresi and Jane Cleland-Huang and Carlo A. Furia and Georges Gonthier and Paola Inverardi and Moshe Y. Vardi},
title = {A Publication Culture in Software Engineering (Panel)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {44-43},
doi = {},
year = {2013},
}
|
|
| Cohen, Myra B. |
ESEC/FSE '13: "Efficiency and Early Fault ..."
Efficiency and Early Fault Detection with Lower and Higher Strength Combinatorial Interaction Testing
Justyna Petke, Shin Yoo, Myra B. Cohen, and Mark Harman (University College London, UK; University of Nebraska-Lincoln, USA)
@InProceedings{ESEC/FSE13p64,
author = {Justyna Petke and Shin Yoo and Myra B. Cohen and Mark Harman},
title = {Efficiency and Early Fault Detection with Lower and Higher Strength Combinatorial Interaction Testing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {64-63},
doi = {},
year = {2013},
}
|
|
| Cordy, Maxime |
ESEC/FSE '13: "Incrementally Synthesizing ..."
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, and Erika Gressi (Leibniz Universität Hannover, Germany; University of Paderborn, Germany; University of Namur, Belgium; Politecnico di Milano, Italy)
@InProceedings{ESEC/FSE13p471,
author = {Joel Greenyer and Christian Brenner and Maxime Cordy and Patrick Heymans and Erika Gressi},
title = {Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {471-470},
doi = {},
year = {2013},
}
|
|
| Costa, Andrew Diniz da |
ESEC/FSE '13: "RSA-MBT: A Test Tool for Generating ..."
RSA-MBT: A Test Tool for Generating Test Artifacts Based on Models
Andrew Diniz da Costa, Ricardo Venieris, Gustavo Carvalho, and Carlos José Pereira de Lucena (PUC-Rio, Brazil)
@InProceedings{ESEC/FSE13p657,
author = {Andrew Diniz da Costa and Ricardo Venieris and Gustavo Carvalho and Carlos José Pereira de Lucena},
title = {RSA-MBT: A Test Tool for Generating Test Artifacts Based on Models},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {657-656},
doi = {},
year = {2013},
}
|
|
| Dajsuren, Yanja |
ESEC/FSE '13: "Automotive Architecture Description ..."
Automotive Architecture Description and Its Quality
Yanja Dajsuren (Eindhoven University of Technology, Netherlands)
@InProceedings{ESEC/FSE13p765,
author = {Yanja Dajsuren},
title = {Automotive Architecture Description and Its Quality},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {765-764},
doi = {},
year = {2013},
}
|
|
| Damian, Daniela |
ESEC/FSE '13: "Do All Task Dependencies Require ..."
Do All Task Dependencies Require Coordination? The Role of Task Properties in Identifying Critical Coordination Needs in Software Projects
Kelly Blincoe, Giuseppe Valetto, and Daniela Damian (Drexel University, USA; University of Victoria, Canada)
@InProceedings{ESEC/FSE13p251,
author = {Kelly Blincoe and Giuseppe Valetto and Daniela Damian},
title = {Do All Task Dependencies Require Coordination? The Role of Task Properties in Identifying Critical Coordination Needs in Software Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {251-250},
doi = {},
year = {2013},
}
|
|
| D'Amorim, Marcelo |
ESEC/FSE '13: "SPLat: Lightweight Dynamic ..."
SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems
Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don Batory, Sabrina Souto, Paulo Barros, and Marcelo d'Amorim (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA; Groupon, USA; Federal University of Pernambuco, Brazil)
@InProceedings{ESEC/FSE13p295,
author = {Chang Hwan Peter Kim and Darko Marinov and Sarfraz Khurshid and Don Batory and Sabrina Souto and Paulo Barros and Marcelo d'Amorim},
title = {SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {295-294},
doi = {},
year = {2013},
}
|
|
| Davril, Jean-Marc |
ESEC/FSE '13: "Feature Model Extraction from ..."
Feature Model Extraction from Large Collections of Informal Product Descriptions
Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, and Patrick Heymans (University of Namur, Belgium; DePaul University, USA; University of Rennes I, France; INRIA, France)
@InProceedings{ESEC/FSE13p328,
author = {Jean-Marc Davril and Edouard Delfosse and Negar Hariri and Mathieu Acher and Jane Cleland-Huang and Patrick Heymans},
title = {Feature Model Extraction from Large Collections of Informal Product Descriptions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {328-327},
doi = {},
year = {2013},
}
|
|
| De Gooijer, Thijmen |
ESEC/FSE '13: "Agreements for Software Reuse ..."
Agreements for Software Reuse in Corporations
Thijmen de Gooijer and Heiko Koziolek (ABB Research, Sweden; ABB Research, Germany)
@InProceedings{ESEC/FSE13p717,
author = {Thijmen de Gooijer and Heiko Koziolek},
title = {Agreements for Software Reuse in Corporations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {717-716},
doi = {},
year = {2013},
}
|
|
| Delac, Goran |
ESEC/FSE '13: "Prediction of Atomic Web Services ..."
Prediction of Atomic Web Services Reliability Based on K-Means Clustering
Marin Silic, Goran Delac, and Sinisa Srbljic (University of Zagreb, Croatia)
@InProceedings{ESEC/FSE13p108,
author = {Marin Silic and Goran Delac and Sinisa Srbljic},
title = {Prediction of Atomic Web Services Reliability Based on K-Means Clustering},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {108-107},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Delfosse, Edouard |
ESEC/FSE '13: "Feature Model Extraction from ..."
Feature Model Extraction from Large Collections of Informal Product Descriptions
Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, and Patrick Heymans (University of Namur, Belgium; DePaul University, USA; University of Rennes I, France; INRIA, France)
@InProceedings{ESEC/FSE13p328,
author = {Jean-Marc Davril and Edouard Delfosse and Negar Hariri and Mathieu Acher and Jane Cleland-Huang and Patrick Heymans},
title = {Feature Model Extraction from Large Collections of Informal Product Descriptions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {328-327},
doi = {},
year = {2013},
}
|
|
| De Lucena, Carlos José Pereira |
ESEC/FSE '13: "RSA-MBT: A Test Tool for Generating ..."
RSA-MBT: A Test Tool for Generating Test Artifacts Based on Models
Andrew Diniz da Costa, Ricardo Venieris, Gustavo Carvalho, and Carlos José Pereira de Lucena (PUC-Rio, Brazil)
@InProceedings{ESEC/FSE13p657,
author = {Andrew Diniz da Costa and Ricardo Venieris and Gustavo Carvalho and Carlos José Pereira de Lucena},
title = {RSA-MBT: A Test Tool for Generating Test Artifacts Based on Models},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {657-656},
doi = {},
year = {2013},
}
|
|
| Denaro, Giovanni |
ESEC/FSE '13: "Enhancing Symbolic Execution ..."
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization
Pietro Braione, Giovanni Denaro, and Mauro Pezzè (University of Milano-Bicocca, Italy; University of Lugano, Switzerland)
@InProceedings{ESEC/FSE13p449,
author = {Pietro Braione and Giovanni Denaro and Mauro Pezzè},
title = {Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {449-448},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Deng, Yangdong |
ESEC/FSE '13: "Design and Optimization of ..."
Design and Optimization of Multi-clocked Embedded Systems using Formal Technique
Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA)
@InProceedings{ESEC/FSE13p741,
author = {Yu Jiang and Zonghui Li and Hehua Zhang and Yangdong Deng and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {Design and Optimization of Multi-clocked Embedded Systems using Formal Technique},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {741-740},
doi = {},
year = {2013},
}
|
|
| Detlefs, Dave |
ESEC/FSE '13: "Will You Still Compile Me ..."
Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation
Chris Hawblitzel, Shuvendu K. Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, and Scott Wadsworth (Microsoft, USA)
@InProceedings{ESEC/FSE13p229,
author = {Chris Hawblitzel and Shuvendu K. Lahiri and Kshama Pawar and Hammad Hashmi and Sedar Gokbulut and Lakshan Fernando and Dave Detlefs and Scott Wadsworth},
title = {Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {229-228},
doi = {},
year = {2013},
}
|
|
| Devanbu, Premkumar |
ESEC/FSE '13: "Sample Size vs. Bias in Defect ..."
Sample Size vs. Bias in Defect Prediction
Foyzur Rahman, Daryl Posnett, Israel Herraiz, and Premkumar Devanbu (UC Davis, USA; Universidad Politécnica de Madrid, Spain)
@InProceedings{ESEC/FSE13p185,
author = {Foyzur Rahman and Daryl Posnett and Israel Herraiz and Premkumar Devanbu},
title = {Sample Size vs. Bias in Defect Prediction},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {185-184},
doi = {},
year = {2013},
}
|
|
| Dhoolia, Pankaj |
ESEC/FSE '13: "Distributed Program Tracing ..."
Distributed Program Tracing
Diptikalyan Saha, Pankaj Dhoolia, and Gaurab Paul (IBM Research, India; IIT Kharagpur, India)
@InProceedings{ESEC/FSE13p218,
author = {Diptikalyan Saha and Pankaj Dhoolia and Gaurab Paul},
title = {Distributed Program Tracing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {218-217},
doi = {},
year = {2013},
}
|
|
| Dig, Danny |
ESEC/FSE '13: "Crossing the Gap from Imperative ..."
Crossing the Gap from Imperative to Functional Programming through Refactoring
Alex Gyori, Lyle Franklin, Danny Dig, and Jan Lahoda (University of Illinois, USA; Ball State University, USA; Oregon State University, USA; Oracle, Czech Republic)
@InProceedings{ESEC/FSE13p581,
author = {Alex Gyori and Lyle Franklin and Danny Dig and Jan Lahoda},
title = {Crossing the Gap from Imperative to Functional Programming through Refactoring},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {581-580},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| DiGiuseppe, Nicholas |
ESEC/FSE '13: "Automatically Describing Software ..."
Automatically Describing Software Faults
Nicholas DiGiuseppe (UC Irvine, USA)
@InProceedings{ESEC/FSE13p749,
author = {Nicholas DiGiuseppe},
title = {Automatically Describing Software Faults},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {749-748},
doi = {},
year = {2013},
}
|
|
| Di Penta, Massimiliano |
ESEC/FSE '13: "API Change and Fault Proneness: ..."
API Change and Fault Proneness: A Threat to the Success of Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Carlos Bernal-Cárdenas, Massimiliano Di Penta, Rocco Oliveto, and Denys Poshyvanyk (College of William and Mary, USA; University of Sannio, Italy; Universidad Nacional de Colombia, Colombia; University of Molise, Italy)
@InProceedings{ESEC/FSE13p515,
author = {Mario Linares-Vásquez and Gabriele Bavota and Carlos Bernal-Cárdenas and Massimiliano Di Penta and Rocco Oliveto and Denys Poshyvanyk},
title = {API Change and Fault Proneness: A Threat to the Success of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {515-514},
doi = {},
year = {2013},
}
|
|
| Di Ruscio, Davide |
ESEC/FSE '13: "Producing Software by Integration: ..."
Producing Software by Integration: Challenges and Research Directions (Keynote)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, and Massimo Tivoli (University of l'Aquila, Italy)
@InProceedings{ESEC/FSE13p12,
author = {Paola Inverardi and Marco Autili and Davide Di Ruscio and Patrizio Pelliccione and Massimo Tivoli},
title = {Producing Software by Integration: Challenges and Research Directions (Keynote)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2013},
}
|
|
| Dolby, Julian |
ESEC/FSE '13: "Finding Incorrect Compositions ..."
Finding Incorrect Compositions of Atomicity
Peng Liu, Julian Dolby, and Charles Zhang (Hong Kong University of Science and Technology, China; IBM Research, USA)
@InProceedings{ESEC/FSE13p196,
author = {Peng Liu and Julian Dolby and Charles Zhang},
title = {Finding Incorrect Compositions of Atomicity},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {196-195},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Dong, Jin Song |
ESEC/FSE '13: "USMMC: A Self-Contained Model ..."
USMMC: A Self-Contained Model Checker for UML State Machines
Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, and Jin Song Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore)
@InProceedings{ESEC/FSE13p661,
author = {Shuang Liu and Yang Liu and Jun Sun and Manchun Zheng and Bimlesh Wadhwa and Jin Song Dong},
title = {USMMC: A Self-Contained Model Checker for UML State Machines},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {661-660},
doi = {},
year = {2013},
}
|
|
| Dörre, Jens |
ESEC/FSE '13: "Scalable Analysis of Variable ..."
Scalable Analysis of Variable Software
Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, and Christian Lengauer (University of Passau, Germany; CMU, USA)
@InProceedings{ESEC/FSE13p119,
author = {Jörg Liebig and Alexander von Rhein and Christian Kästner and Sven Apel and Jens Dörre and Christian Lengauer},
title = {Scalable Analysis of Variable Software},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {119-118},
doi = {},
year = {2013},
}
|
|
| Dubinsky, Yael |
ESEC/FSE '13: "Where Is the Business Logic? ..."
Where Is the Business Logic?
Yael Dubinsky, Yishai Feldman, and Maayan Goldstein (IBM Research, Israel)
@InProceedings{ESEC/FSE13p705,
author = {Yael Dubinsky and Yishai Feldman and Maayan Goldstein},
title = {Where Is the Business Logic?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {705-704},
doi = {},
year = {2013},
}
|
|
| Dubois, Daniel J. |
ESEC/FSE '13: "ShAir: Extensible Middleware ..."
ShAir: Extensible Middleware for Mobile Peer-to-Peer Resource Sharing
Daniel J. Dubois, Yosuke Bando, Konosuke Watanabe, and Henry Holtzman (Massachusetts Institute of Technology, USA; Toshiba, Japan)
@InProceedings{ESEC/FSE13p725,
author = {Daniel J. Dubois and Yosuke Bando and Konosuke Watanabe and Henry Holtzman},
title = {ShAir: Extensible Middleware for Mobile Peer-to-Peer Resource Sharing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {725-724},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Understanding Gamification ..."
Understanding Gamification Mechanisms for Software Development
Daniel J. Dubois and Giordano Tamburrelli (Massachusetts Institute of Technology, USA; University of Lugano, Switzerland)
@InProceedings{ESEC/FSE13p697,
author = {Daniel J. Dubois and Giordano Tamburrelli},
title = {Understanding Gamification Mechanisms for Software Development},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {697-696},
doi = {},
year = {2013},
}
|
|
| Dustdar, Schahram |
ESEC/FSE '13: "Iterative Test Suites Refinement ..."
Iterative Test Suites Refinement for Elastic Computing Systems
Alessio Gambi, Antonio Filieri, and Schahram Dustdar (University of Lugano, Switzerland; University of Stuttgart, Germany; Vienna University of Technology, Austria)
@InProceedings{ESEC/FSE13p673,
author = {Alessio Gambi and Antonio Filieri and Schahram Dustdar},
title = {Iterative Test Suites Refinement for Elastic Computing Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {673-672},
doi = {},
year = {2013},
}
|
|
| Elbaum, Sebastian |
ESEC/FSE '13: "Cascading Verification: An ..."
Cascading Verification: An Integrated Method for Domain-Specific Model Checking
Fokion Zervoudakis, David S. Rosenblum, Sebastian Elbaum, and Anthony Finkelstein (University College London, UK; National University of Singapore, Singapore; University of Nebraska-Lincoln, USA)
@InProceedings{ESEC/FSE13p438,
author = {Fokion Zervoudakis and David S. Rosenblum and Sebastian Elbaum and Anthony Finkelstein},
title = {Cascading Verification: An Integrated Method for Domain-Specific Model Checking},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {438-437},
doi = {},
year = {2013},
}
|
|
| Ernst, Michael D. |
ESEC/FSE '13: "Making Offline Analyses Continuous ..."
Making Offline Analyses Continuous
Kıvanç Muşlu, Yuriy Brun, Michael D. Ernst, and David Notkin (University of Washington, USA; University of Massachusetts at Amherst, USA)
@InProceedings{ESEC/FSE13p361,
author = {Kıvanç Muşlu and Yuriy Brun and Michael D. Ernst and David Notkin},
title = {Making Offline Analyses Continuous},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {361-360},
doi = {},
year = {2013},
}
|
|
| Escoffier, Clement |
ESEC/FSE '13: "h-ubu: An Industrial-Strength ..."
h-ubu: An Industrial-Strength Service-Oriented Component Framework for JavaScript Applications
Clement Escoffier, Philippe Lalanda, and Nicolas Rempulsky (Grenoble University, France; Ubidreams, France)
@InProceedings{ESEC/FSE13p737,
author = {Clement Escoffier and Philippe Lalanda and Nicolas Rempulsky},
title = {h-ubu: An Industrial-Strength Service-Oriented Component Framework for JavaScript Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {737-736},
doi = {},
year = {2013},
}
|
|
| Fanning, Michael |
ESEC/FSE '13: "Practical Static Analysis ..."
Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries
Magnus Madsen, Benjamin Livshits, and Michael Fanning (Aarhus University, Denmark; Microsoft Research, USA; Microsoft, USA)
@InProceedings{ESEC/FSE13p537,
author = {Magnus Madsen and Benjamin Livshits and Michael Fanning},
title = {Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {537-536},
doi = {},
year = {2013},
}
|
|
| Farzan, Azadeh |
ESEC/FSE '13: "Con2colic Testing ..."
Con2colic Testing
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, and Helmut Veith (University of Toronto, Canada; Vienna University of Technology, Austria)
@InProceedings{ESEC/FSE13p75,
author = {Azadeh Farzan and Andreas Holzer and Niloofar Razavi and Helmut Veith},
title = {Con2colic Testing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {75-74},
doi = {},
year = {2013},
}
|
|
| Feldman, Yishai |
ESEC/FSE '13: "Where Is the Business Logic? ..."
Where Is the Business Logic?
Yael Dubinsky, Yishai Feldman, and Maayan Goldstein (IBM Research, Israel)
@InProceedings{ESEC/FSE13p705,
author = {Yael Dubinsky and Yishai Feldman and Maayan Goldstein},
title = {Where Is the Business Logic?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {705-704},
doi = {},
year = {2013},
}
|
|
| Fernando, Lakshan |
ESEC/FSE '13: "Will You Still Compile Me ..."
Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation
Chris Hawblitzel, Shuvendu K. Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, and Scott Wadsworth (Microsoft, USA)
@InProceedings{ESEC/FSE13p229,
author = {Chris Hawblitzel and Shuvendu K. Lahiri and Kshama Pawar and Hammad Hashmi and Sedar Gokbulut and Lakshan Fernando and Dave Detlefs and Scott Wadsworth},
title = {Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {229-228},
doi = {},
year = {2013},
}
|
|
| Filieri, Antonio |
ESEC/FSE '13: "Iterative Test Suites Refinement ..."
Iterative Test Suites Refinement for Elastic Computing Systems
Alessio Gambi, Antonio Filieri, and Schahram Dustdar (University of Lugano, Switzerland; University of Stuttgart, Germany; Vienna University of Technology, Austria)
@InProceedings{ESEC/FSE13p673,
author = {Alessio Gambi and Antonio Filieri and Schahram Dustdar},
title = {Iterative Test Suites Refinement for Elastic Computing Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {673-672},
doi = {},
year = {2013},
}
|
|
| Finkelstein, Anthony |
ESEC/FSE '13: "Cascading Verification: An ..."
Cascading Verification: An Integrated Method for Domain-Specific Model Checking
Fokion Zervoudakis, David S. Rosenblum, Sebastian Elbaum, and Anthony Finkelstein (University College London, UK; National University of Singapore, Singapore; University of Nebraska-Lincoln, USA)
@InProceedings{ESEC/FSE13p438,
author = {Fokion Zervoudakis and David S. Rosenblum and Sebastian Elbaum and Anthony Finkelstein},
title = {Cascading Verification: An Integrated Method for Domain-Specific Model Checking},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {438-437},
doi = {},
year = {2013},
}
|
|
| Fischmeister, Sebastian |
ESEC/FSE '13: "RiTHM: A Tool for Enabling ..."
RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs
Samaneh Navabpour, Yogi Joshi, Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, and Sebastian Fischmeister (University of Waterloo, Canada)
@InProceedings{ESEC/FSE13p641,
author = {Samaneh Navabpour and Yogi Joshi and Wallace Wu and Shay Berkovich and Ramy Medhat and Borzoo Bonakdarpour and Sebastian Fischmeister},
title = {RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {641-640},
doi = {},
year = {2013},
}
|
|
| Franklin, Lyle |
ESEC/FSE '13: "Crossing the Gap from Imperative ..."
Crossing the Gap from Imperative to Functional Programming through Refactoring
Alex Gyori, Lyle Franklin, Danny Dig, and Jan Lahoda (University of Illinois, USA; Ball State University, USA; Oregon State University, USA; Oracle, Czech Republic)
@InProceedings{ESEC/FSE13p581,
author = {Alex Gyori and Lyle Franklin and Danny Dig and Jan Lahoda},
title = {Crossing the Gap from Imperative to Functional Programming through Refactoring},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {581-580},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Fraser, Steven |
ESEC/FSE '13: "A Publication Culture in Software ..."
A Publication Culture in Software Engineering (Panel)
Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, and Moshe Y. Vardi (CISCO, USA; Politecnico di Milano, Italy; DePaul University, USA; ETH Zurich, Switzerland; Microsoft Research, UK; University of L’Aquila, USA; Rice University, USA)
@InProceedings{ESEC/FSE13p44,
author = {Steven Fraser and Luciano Baresi and Jane Cleland-Huang and Carlo A. Furia and Georges Gonthier and Paola Inverardi and Moshe Y. Vardi},
title = {A Publication Culture in Software Engineering (Panel)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {44-43},
doi = {},
year = {2013},
}
|
|
| Furia, Carlo A. |
ESEC/FSE '13: "A Publication Culture in Software ..."
A Publication Culture in Software Engineering (Panel)
Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, and Moshe Y. Vardi (CISCO, USA; Politecnico di Milano, Italy; DePaul University, USA; ETH Zurich, Switzerland; Microsoft Research, UK; University of L’Aquila, USA; Rice University, USA)
@InProceedings{ESEC/FSE13p44,
author = {Steven Fraser and Luciano Baresi and Jane Cleland-Huang and Carlo A. Furia and Georges Gonthier and Paola Inverardi and Moshe Y. Vardi},
title = {A Publication Culture in Software Engineering (Panel)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {44-43},
doi = {},
year = {2013},
}
|
|
| Gall, Harald |
ESEC/FSE '13: "Empirical Answers to Fundamental ..."
Empirical Answers to Fundamental Software Engineering Problems (Panel)
Bertrand Meyer, Harald Gall, Mark Harman, and Giancarlo Succi (ETH Zurich, Switzerland; ITMO, Russia; Eiffel Software, USA; University of Zurich, Switzerland; University College London, UK; Microsoft Research, UK; Free University of Bozen, Italy)
@InProceedings{ESEC/FSE13p34,
author = {Bertrand Meyer and Harald Gall and Mark Harman and Giancarlo Succi},
title = {Empirical Answers to Fundamental Software Engineering Problems (Panel)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2013},
}
|
|
| Gambi, Alessio |
ESEC/FSE '13: "Iterative Test Suites Refinement ..."
Iterative Test Suites Refinement for Elastic Computing Systems
Alessio Gambi, Antonio Filieri, and Schahram Dustdar (University of Lugano, Switzerland; University of Stuttgart, Germany; Vienna University of Technology, Austria)
@InProceedings{ESEC/FSE13p673,
author = {Alessio Gambi and Antonio Filieri and Schahram Dustdar},
title = {Iterative Test Suites Refinement for Elastic Computing Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {673-672},
doi = {},
year = {2013},
}
|
|
| Ganesh, Vijay |
ESEC/FSE '13: "Z3-str: A Z3-Based String ..."
Z3-str: A Z3-Based String Solver for Web Application Analysis
Yunhui Zheng, Xiangyu Zhang, and Vijay Ganesh (Purdue University, USA; University of Waterloo, Canada)
@InProceedings{ESEC/FSE13p152,
author = {Yunhui Zheng and Xiangyu Zhang and Vijay Ganesh},
title = {Z3-str: A Z3-Based String Solver for Web Application Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {152-151},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Garcia, Joshua |
ESEC/FSE '13: "Identifying Message Flow in ..."
Identifying Message Flow in Distributed Event-Based Systems
Joshua Garcia, Daniel Popescu, Gholamreza Safi, William G. J. Halfond, and Nenad Medvidovic (University of Southern California, USA)
@InProceedings{ESEC/FSE13p405,
author = {Joshua Garcia and Daniel Popescu and Gholamreza Safi and William G. J. Halfond and Nenad Medvidovic},
title = {Identifying Message Flow in Distributed Event-Based Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {405-404},
doi = {},
year = {2013},
}
|
|
| Gibbs, Simon |
ESEC/FSE '13: "Jalangi: A Selective Record-Replay ..."
Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript
Koushik Sen, Swaroop Kalasapur, Tasneem Brutch, and Simon Gibbs (UC Berkeley, USA; Samsung Research, USA)
@InProceedings{ESEC/FSE13p526,
author = {Koushik Sen and Swaroop Kalasapur and Tasneem Brutch and Simon Gibbs},
title = {Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {526-525},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Jalangi: A Tool Framework ..."
Jalangi: A Tool Framework for Concolic Testing, Selective Record-Replay, and Dynamic Analysis of JavaScript
Koushik Sen, Swaroop Kalasapur, Tasneem Brutch, and Simon Gibbs (UC Berkeley, USA; Samsung Research, USA)
@InProceedings{ESEC/FSE13p653,
author = {Koushik Sen and Swaroop Kalasapur and Tasneem Brutch and Simon Gibbs},
title = {Jalangi: A Tool Framework for Concolic Testing, Selective Record-Replay, and Dynamic Analysis of JavaScript},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {653-652},
doi = {},
year = {2013},
}
|
|
| Gnaga, Raul |
ESEC/FSE '13: "RUBRIC: A Flexible Tool for ..."
RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates
Chetan Arora, Mehrdad Sabetzadeh, Lionel Briand, Frank Zimmer, and Raul Gnaga (University of Luxembourg, Luxembourg; SES TechCom, Luxembourg)
@InProceedings{ESEC/FSE13p637,
author = {Chetan Arora and Mehrdad Sabetzadeh and Lionel Briand and Frank Zimmer and Raul Gnaga},
title = {RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {637-636},
doi = {},
year = {2013},
}
|
|
| Gokbulut, Sedar |
ESEC/FSE '13: "Will You Still Compile Me ..."
Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation
Chris Hawblitzel, Shuvendu K. Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, and Scott Wadsworth (Microsoft, USA)
@InProceedings{ESEC/FSE13p229,
author = {Chris Hawblitzel and Shuvendu K. Lahiri and Kshama Pawar and Hammad Hashmi and Sedar Gokbulut and Lakshan Fernando and Dave Detlefs and Scott Wadsworth},
title = {Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {229-228},
doi = {},
year = {2013},
}
|
|
| Goldstein, Maayan |
ESEC/FSE '13: "Where Is the Business Logic? ..."
Where Is the Business Logic?
Yael Dubinsky, Yishai Feldman, and Maayan Goldstein (IBM Research, Israel)
@InProceedings{ESEC/FSE13p705,
author = {Yael Dubinsky and Yishai Feldman and Maayan Goldstein},
title = {Where Is the Business Logic?},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {705-704},
doi = {},
year = {2013},
}
|
|
| Gómez-Zamalloa, Miguel |
ESEC/FSE '13: "aPET: A Test Case Generation ..."
aPET: A Test Case Generation Tool for Concurrent Objects
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, and Peter Y. H. Wong (Complutense University of Madrid, Spain; SLD Fredhopper, Netherlands)
@InProceedings{ESEC/FSE13p633,
author = {Elvira Albert and Puri Arenas and Miguel Gómez-Zamalloa and Peter Y. H. Wong},
title = {aPET: A Test Case Generation Tool for Concurrent Objects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {633-632},
doi = {},
year = {2013},
}
|
|
| Gong, Jiangtao |
ESEC/FSE '13: "BugMap: A Topographic Map ..."
BugMap: A Topographic Map of Bugs
Jiangtao Gong and Hongyu Zhang (Tsinghua University, China; ISCAS, China)
@InProceedings{ESEC/FSE13p685,
author = {Jiangtao Gong and Hongyu Zhang},
title = {BugMap: A Topographic Map of Bugs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {685-684},
doi = {},
year = {2013},
}
|
|
| Gonthier, Georges |
ESEC/FSE '13: "Software Engineering for Mathematics ..."
Software Engineering for Mathematics (Keynote)
Georges Gonthier (Microsoft Research, UK)
@InProceedings{ESEC/FSE13p23,
author = {Georges Gonthier},
title = {Software Engineering for Mathematics (Keynote)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2013},
}
ESEC/FSE '13: "A Publication Culture in Software ..."
A Publication Culture in Software Engineering (Panel)
Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, and Moshe Y. Vardi (CISCO, USA; Politecnico di Milano, Italy; DePaul University, USA; ETH Zurich, Switzerland; Microsoft Research, UK; University of L’Aquila, USA; Rice University, USA)
@InProceedings{ESEC/FSE13p44,
author = {Steven Fraser and Luciano Baresi and Jane Cleland-Huang and Carlo A. Furia and Georges Gonthier and Paola Inverardi and Moshe Y. Vardi},
title = {A Publication Culture in Software Engineering (Panel)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {44-43},
doi = {},
year = {2013},
}
|
|
| Gordon, Andrew D. |
ESEC/FSE '13: "Bayesian Inference using Data ..."
Bayesian Inference using Data Flow Analysis
Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, and Johannes Borgström (INRIA, France; Microsoft Research, India; Microsoft Research, UK; Uppsala University, Sweden)
@InProceedings{ESEC/FSE13p130,
author = {Guillaume Claret and Sriram K. Rajamani and Aditya V. Nori and Andrew D. Gordon and Johannes Borgström},
title = {Bayesian Inference using Data Flow Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {130-129},
doi = {},
year = {2013},
}
|
|
| Grechanik, Mark |
ESEC/FSE '13: "Preventing Database Deadlocks ..."
Preventing Database Deadlocks in Applications
Mark Grechanik, B. M. Mainul Hossain, Ugo Buy, and Haisheng Wang (University of Illinois at Chicago, USA; Oracle, USA)
@InProceedings{ESEC/FSE13p394,
author = {Mark Grechanik and B. M. Mainul Hossain and Ugo Buy and Haisheng Wang},
title = {Preventing Database Deadlocks in Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {394-393},
doi = {},
year = {2013},
}
ESEC/FSE '13: "REDACT: Preventing Database ..."
REDACT: Preventing Database Deadlocks from Application-Based Transactions
B. M. Mainul Hossain, Mark Grechanik, Ugo Buy, and Haisheng Wang (University of Illinois at Chicago, USA; Oracle, USA)
@InProceedings{ESEC/FSE13p629,
author = {B. M. Mainul Hossain and Mark Grechanik and Ugo Buy and Haisheng Wang},
title = {REDACT: Preventing Database Deadlocks from Application-Based Transactions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {629-628},
doi = {},
year = {2013},
}
|
|
| Greenyer, Joel |
ESEC/FSE '13: "Incrementally Synthesizing ..."
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, and Erika Gressi (Leibniz Universität Hannover, Germany; University of Paderborn, Germany; University of Namur, Belgium; Politecnico di Milano, Italy)
@InProceedings{ESEC/FSE13p471,
author = {Joel Greenyer and Christian Brenner and Maxime Cordy and Patrick Heymans and Erika Gressi},
title = {Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {471-470},
doi = {},
year = {2013},
}
|
|
| Gressi, Erika |
ESEC/FSE '13: "Incrementally Synthesizing ..."
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, and Erika Gressi (Leibniz Universität Hannover, Germany; University of Paderborn, Germany; University of Namur, Belgium; Politecnico di Milano, Italy)
@InProceedings{ESEC/FSE13p471,
author = {Joel Greenyer and Christian Brenner and Maxime Cordy and Patrick Heymans and Erika Gressi},
title = {Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {471-470},
doi = {},
year = {2013},
}
|
|
| Gros, Charles-Henri |
ESEC/FSE '13: "Scalable and Incremental Software ..."
Scalable and Incremental Software Bug Detection
Scott McPeak, Charles-Henri Gros, and Murali Krishna Ramanathan (Coverity, USA; Indian Institute of Science, India)
@InProceedings{ESEC/FSE13p592,
author = {Scott McPeak and Charles-Henri Gros and Murali Krishna Ramanathan},
title = {Scalable and Incremental Software Bug Detection},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {592-591},
doi = {},
year = {2013},
}
|
|
| Gu, Ming |
ESEC/FSE '13: "System Reliability Calculation ..."
System Reliability Calculation Based on the Run-Time Analysis of Ladder Program
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA)
@InProceedings{ESEC/FSE13p733,
author = {Yu Jiang and Hehua Zhang and Han Liu and Xiaoyu Song and William N. N. Hung and Ming Gu and Jiaguang Sun},
title = {System Reliability Calculation Based on the Run-Time Analysis of Ladder Program},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {733-732},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Design and Optimization of ..."
Design and Optimization of Multi-clocked Embedded Systems using Formal Technique
Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA)
@InProceedings{ESEC/FSE13p741,
author = {Yu Jiang and Zonghui Li and Hehua Zhang and Yangdong Deng and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {Design and Optimization of Multi-clocked Embedded Systems using Formal Technique},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {741-740},
doi = {},
year = {2013},
}
|
|
| Guzman, Emitza |
ESEC/FSE '13: "Towards Emotional Awareness ..."
Towards Emotional Awareness in Software Development Teams
Emitza Guzman and Bernd Bruegge (TU Munich, Germany)
@InProceedings{ESEC/FSE13p709,
author = {Emitza Guzman and Bernd Bruegge},
title = {Towards Emotional Awareness in Software Development Teams},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {709-708},
doi = {},
year = {2013},
}
|
|
| Gyori, Alex |
ESEC/FSE '13: "Crossing the Gap from Imperative ..."
Crossing the Gap from Imperative to Functional Programming through Refactoring
Alex Gyori, Lyle Franklin, Danny Dig, and Jan Lahoda (University of Illinois, USA; Ball State University, USA; Oregon State University, USA; Oracle, Czech Republic)
@InProceedings{ESEC/FSE13p581,
author = {Alex Gyori and Lyle Franklin and Danny Dig and Jan Lahoda},
title = {Crossing the Gap from Imperative to Functional Programming through Refactoring},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {581-580},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Hackbarth, Randy |
ESEC/FSE '13: "Risky Files: An Approach to ..."
Risky Files: An Approach to Focus Quality Improvement Effort
Audris Mockus, Randy Hackbarth, and John Palframan (Avaya Labs Research, USA)
@InProceedings{ESEC/FSE13p729,
author = {Audris Mockus and Randy Hackbarth and John Palframan},
title = {Risky Files: An Approach to Focus Quality Improvement Effort},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {729-728},
doi = {},
year = {2013},
}
|
|
| Halfond, William G. J. |
ESEC/FSE '13: "Identifying Message Flow in ..."
Identifying Message Flow in Distributed Event-Based Systems
Joshua Garcia, Daniel Popescu, Gholamreza Safi, William G. J. Halfond, and Nenad Medvidovic (University of Southern California, USA)
@InProceedings{ESEC/FSE13p405,
author = {Joshua Garcia and Daniel Popescu and Gholamreza Safi and William G. J. Halfond and Nenad Medvidovic},
title = {Identifying Message Flow in Distributed Event-Based Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {405-404},
doi = {},
year = {2013},
}
|
|
| Hariri, Negar |
ESEC/FSE '13: "Feature Model Extraction from ..."
Feature Model Extraction from Large Collections of Informal Product Descriptions
Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, and Patrick Heymans (University of Namur, Belgium; DePaul University, USA; University of Rennes I, France; INRIA, France)
@InProceedings{ESEC/FSE13p328,
author = {Jean-Marc Davril and Edouard Delfosse and Negar Hariri and Mathieu Acher and Jane Cleland-Huang and Patrick Heymans},
title = {Feature Model Extraction from Large Collections of Informal Product Descriptions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {328-327},
doi = {},
year = {2013},
}
|
|
| Harman, Mark |
ESEC/FSE '13: "Searching for Better Configurations: ..."
Searching for Better Configurations: A Rigorous Approach to Clone Evaluation
Tiantian Wang, Mark Harman, Yue Jia, and Jens Krinke (Harbin Institute of Technology, China; University College London, UK)
@InProceedings{ESEC/FSE13p493,
author = {Tiantian Wang and Mark Harman and Yue Jia and Jens Krinke},
title = {Searching for Better Configurations: A Rigorous Approach to Clone Evaluation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {493-492},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Efficiency and Early Fault ..."
Efficiency and Early Fault Detection with Lower and Higher Strength Combinatorial Interaction Testing
Justyna Petke, Shin Yoo, Myra B. Cohen, and Mark Harman (University College London, UK; University of Nebraska-Lincoln, USA)
@InProceedings{ESEC/FSE13p64,
author = {Justyna Petke and Shin Yoo and Myra B. Cohen and Mark Harman},
title = {Efficiency and Early Fault Detection with Lower and Higher Strength Combinatorial Interaction Testing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {64-63},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Empirical Answers to Fundamental ..."
Empirical Answers to Fundamental Software Engineering Problems (Panel)
Bertrand Meyer, Harald Gall, Mark Harman, and Giancarlo Succi (ETH Zurich, Switzerland; ITMO, Russia; Eiffel Software, USA; University of Zurich, Switzerland; University College London, UK; Microsoft Research, UK; Free University of Bozen, Italy)
@InProceedings{ESEC/FSE13p34,
author = {Bertrand Meyer and Harald Gall and Mark Harman and Giancarlo Succi},
title = {Empirical Answers to Fundamental Software Engineering Problems (Panel)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2013},
}
|
|
| Hashmi, Hammad |
ESEC/FSE '13: "Will You Still Compile Me ..."
Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation
Chris Hawblitzel, Shuvendu K. Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, and Scott Wadsworth (Microsoft, USA)
@InProceedings{ESEC/FSE13p229,
author = {Chris Hawblitzel and Shuvendu K. Lahiri and Kshama Pawar and Hammad Hashmi and Sedar Gokbulut and Lakshan Fernando and Dave Detlefs and Scott Wadsworth},
title = {Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {229-228},
doi = {},
year = {2013},
}
|
|
| Hawblitzel, Chris |
ESEC/FSE '13: "Will You Still Compile Me ..."
Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation
Chris Hawblitzel, Shuvendu K. Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, and Scott Wadsworth (Microsoft, USA)
@InProceedings{ESEC/FSE13p229,
author = {Chris Hawblitzel and Shuvendu K. Lahiri and Kshama Pawar and Hammad Hashmi and Sedar Gokbulut and Lakshan Fernando and Dave Detlefs and Scott Wadsworth},
title = {Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {229-228},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Differential Assertion Checking ..."
Differential Assertion Checking
Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, and Chris Hawblitzel (Microsoft Research, USA; Stanford University, USA)
@InProceedings{ESEC/FSE13p383,
author = {Shuvendu K. Lahiri and Kenneth L. McMillan and Rahul Sharma and Chris Hawblitzel},
title = {Differential Assertion Checking},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {383-382},
doi = {},
year = {2013},
}
|
|
| Hemmati, Hadi |
ESEC/FSE '13: "Using Fault History to Improve ..."
Using Fault History to Improve Mutation Reduction
Laura Inozemtseva, Hadi Hemmati, and Reid Holmes (University of Waterloo, Canada; University of Manitoba, Canada)
@InProceedings{ESEC/FSE13p677,
author = {Laura Inozemtseva and Hadi Hemmati and Reid Holmes},
title = {Using Fault History to Improve Mutation Reduction},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {677-676},
doi = {},
year = {2013},
}
|
|
| Herraiz, Israel |
ESEC/FSE '13: "Sample Size vs. Bias in Defect ..."
Sample Size vs. Bias in Defect Prediction
Foyzur Rahman, Daryl Posnett, Israel Herraiz, and Premkumar Devanbu (UC Davis, USA; Universidad Politécnica de Madrid, Spain)
@InProceedings{ESEC/FSE13p185,
author = {Foyzur Rahman and Daryl Posnett and Israel Herraiz and Premkumar Devanbu},
title = {Sample Size vs. Bias in Defect Prediction},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {185-184},
doi = {},
year = {2013},
}
|
|
| Heymans, Patrick |
ESEC/FSE '13: "Feature Model Extraction from ..."
Feature Model Extraction from Large Collections of Informal Product Descriptions
Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, and Patrick Heymans (University of Namur, Belgium; DePaul University, USA; University of Rennes I, France; INRIA, France)
@InProceedings{ESEC/FSE13p328,
author = {Jean-Marc Davril and Edouard Delfosse and Negar Hariri and Mathieu Acher and Jane Cleland-Huang and Patrick Heymans},
title = {Feature Model Extraction from Large Collections of Informal Product Descriptions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {328-327},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Incrementally Synthesizing ..."
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, and Erika Gressi (Leibniz Universität Hannover, Germany; University of Paderborn, Germany; University of Namur, Belgium; Politecnico di Milano, Italy)
@InProceedings{ESEC/FSE13p471,
author = {Joel Greenyer and Christian Brenner and Maxime Cordy and Patrick Heymans and Erika Gressi},
title = {Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {471-470},
doi = {},
year = {2013},
}
|
|
| Holmes, Reid |
ESEC/FSE '13: "Using Fault History to Improve ..."
Using Fault History to Improve Mutation Reduction
Laura Inozemtseva, Hadi Hemmati, and Reid Holmes (University of Waterloo, Canada; University of Manitoba, Canada)
@InProceedings{ESEC/FSE13p677,
author = {Laura Inozemtseva and Hadi Hemmati and Reid Holmes},
title = {Using Fault History to Improve Mutation Reduction},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {677-676},
doi = {},
year = {2013},
}
|
|
| Holtzman, Henry |
ESEC/FSE '13: "ShAir: Extensible Middleware ..."
ShAir: Extensible Middleware for Mobile Peer-to-Peer Resource Sharing
Daniel J. Dubois, Yosuke Bando, Konosuke Watanabe, and Henry Holtzman (Massachusetts Institute of Technology, USA; Toshiba, Japan)
@InProceedings{ESEC/FSE13p725,
author = {Daniel J. Dubois and Yosuke Bando and Konosuke Watanabe and Henry Holtzman},
title = {ShAir: Extensible Middleware for Mobile Peer-to-Peer Resource Sharing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {725-724},
doi = {},
year = {2013},
}
|
|
| Holzer, Andreas |
ESEC/FSE '13: "Con2colic Testing ..."
Con2colic Testing
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, and Helmut Veith (University of Toronto, Canada; Vienna University of Technology, Austria)
@InProceedings{ESEC/FSE13p75,
author = {Azadeh Farzan and Andreas Holzer and Niloofar Razavi and Helmut Veith},
title = {Con2colic Testing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {75-74},
doi = {},
year = {2013},
}
|
|
| Hossain, B. M. Mainul |
ESEC/FSE '13: "Preventing Database Deadlocks ..."
Preventing Database Deadlocks in Applications
Mark Grechanik, B. M. Mainul Hossain, Ugo Buy, and Haisheng Wang (University of Illinois at Chicago, USA; Oracle, USA)
@InProceedings{ESEC/FSE13p394,
author = {Mark Grechanik and B. M. Mainul Hossain and Ugo Buy and Haisheng Wang},
title = {Preventing Database Deadlocks in Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {394-393},
doi = {},
year = {2013},
}
ESEC/FSE '13: "REDACT: Preventing Database ..."
REDACT: Preventing Database Deadlocks from Application-Based Transactions
B. M. Mainul Hossain, Mark Grechanik, Ugo Buy, and Haisheng Wang (University of Illinois at Chicago, USA; Oracle, USA)
@InProceedings{ESEC/FSE13p629,
author = {B. M. Mainul Hossain and Mark Grechanik and Ugo Buy and Haisheng Wang},
title = {REDACT: Preventing Database Deadlocks from Application-Based Transactions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {629-628},
doi = {},
year = {2013},
}
|
|
| Hu, Gang |
ESEC/FSE '13: "Effective Dynamic Detection ..."
Effective Dynamic Detection of Alias Analysis Errors
Jingyue Wu, Gang Hu, Yang Tang, and Junfeng Yang (Columbia University, USA)
@InProceedings{ESEC/FSE13p317,
author = {Jingyue Wu and Gang Hu and Yang Tang and Junfeng Yang},
title = {Effective Dynamic Detection of Alias Analysis Errors},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {317-316},
doi = {},
year = {2013},
}
|
|
| Hung, William N. N. |
ESEC/FSE '13: "System Reliability Calculation ..."
System Reliability Calculation Based on the Run-Time Analysis of Ladder Program
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA)
@InProceedings{ESEC/FSE13p733,
author = {Yu Jiang and Hehua Zhang and Han Liu and Xiaoyu Song and William N. N. Hung and Ming Gu and Jiaguang Sun},
title = {System Reliability Calculation Based on the Run-Time Analysis of Ladder Program},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {733-732},
doi = {},
year = {2013},
}
|
|
| Inozemtseva, Laura |
ESEC/FSE '13: "Using Fault History to Improve ..."
Using Fault History to Improve Mutation Reduction
Laura Inozemtseva, Hadi Hemmati, and Reid Holmes (University of Waterloo, Canada; University of Manitoba, Canada)
@InProceedings{ESEC/FSE13p677,
author = {Laura Inozemtseva and Hadi Hemmati and Reid Holmes},
title = {Using Fault History to Improve Mutation Reduction},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {677-676},
doi = {},
year = {2013},
}
|
|
| Inverardi, Paola |
ESEC/FSE '13: "Producing Software by Integration: ..."
Producing Software by Integration: Challenges and Research Directions (Keynote)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, and Massimo Tivoli (University of l'Aquila, Italy)
@InProceedings{ESEC/FSE13p12,
author = {Paola Inverardi and Marco Autili and Davide Di Ruscio and Patrizio Pelliccione and Massimo Tivoli},
title = {Producing Software by Integration: Challenges and Research Directions (Keynote)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2013},
}
ESEC/FSE '13: "A Publication Culture in Software ..."
A Publication Culture in Software Engineering (Panel)
Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, and Moshe Y. Vardi (CISCO, USA; Politecnico di Milano, Italy; DePaul University, USA; ETH Zurich, Switzerland; Microsoft Research, UK; University of L’Aquila, USA; Rice University, USA)
@InProceedings{ESEC/FSE13p44,
author = {Steven Fraser and Luciano Baresi and Jane Cleland-Huang and Carlo A. Furia and Georges Gonthier and Paola Inverardi and Moshe Y. Vardi},
title = {A Publication Culture in Software Engineering (Panel)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {44-43},
doi = {},
year = {2013},
}
|
|
| Jaffar, Joxan |
ESEC/FSE '13: "Boosting Concolic Testing ..."
Boosting Concolic Testing via Interpolation
Joxan Jaffar, Vijayaraghavan Murali, and Jorge A. Navas (National University of Singapore, Singapore; University of Melbourne, Australia)
@InProceedings{ESEC/FSE13p86,
author = {Joxan Jaffar and Vijayaraghavan Murali and Jorge A. Navas},
title = {Boosting Concolic Testing via Interpolation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {86-85},
doi = {},
year = {2013},
}
|
|
| Jensen, Casper S. |
ESEC/FSE '13: "Server Interface Descriptions ..."
Server Interface Descriptions for Automated Testing of JavaScript Web Applications
Casper S. Jensen, Anders Møller, and Zhendong Su (Aarhus University, Denmark; UC Davis, USA)
@InProceedings{ESEC/FSE13p548,
author = {Casper S. Jensen and Anders Møller and Zhendong Su},
title = {Server Interface Descriptions for Automated Testing of JavaScript Web Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {548-547},
doi = {},
year = {2013},
}
|
|
| Jia, Yue |
ESEC/FSE '13: "Searching for Better Configurations: ..."
Searching for Better Configurations: A Rigorous Approach to Clone Evaluation
Tiantian Wang, Mark Harman, Yue Jia, and Jens Krinke (Harbin Institute of Technology, China; University College London, UK)
@InProceedings{ESEC/FSE13p493,
author = {Tiantian Wang and Mark Harman and Yue Jia and Jens Krinke},
title = {Searching for Better Configurations: A Rigorous Approach to Clone Evaluation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {493-492},
doi = {},
year = {2013},
}
|
|
| Jiang, Yu |
ESEC/FSE '13: "System Reliability Calculation ..."
System Reliability Calculation Based on the Run-Time Analysis of Ladder Program
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA)
@InProceedings{ESEC/FSE13p733,
author = {Yu Jiang and Hehua Zhang and Han Liu and Xiaoyu Song and William N. N. Hung and Ming Gu and Jiaguang Sun},
title = {System Reliability Calculation Based on the Run-Time Analysis of Ladder Program},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {733-732},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Design and Optimization of ..."
Design and Optimization of Multi-clocked Embedded Systems using Formal Technique
Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA)
@InProceedings{ESEC/FSE13p741,
author = {Yu Jiang and Zonghui Li and Hehua Zhang and Yangdong Deng and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {Design and Optimization of Multi-clocked Embedded Systems using Formal Technique},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {741-740},
doi = {},
year = {2013},
}
|
|
| Joshi, Yogi |
ESEC/FSE '13: "RiTHM: A Tool for Enabling ..."
RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs
Samaneh Navabpour, Yogi Joshi, Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, and Sebastian Fischmeister (University of Waterloo, Canada)
@InProceedings{ESEC/FSE13p641,
author = {Samaneh Navabpour and Yogi Joshi and Wallace Wu and Shay Berkovich and Ramy Medhat and Borzoo Bonakdarpour and Sebastian Fischmeister},
title = {RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {641-640},
doi = {},
year = {2013},
}
|
|
| Kalasapur, Swaroop |
ESEC/FSE '13: "Jalangi: A Selective Record-Replay ..."
Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript
Koushik Sen, Swaroop Kalasapur, Tasneem Brutch, and Simon Gibbs (UC Berkeley, USA; Samsung Research, USA)
@InProceedings{ESEC/FSE13p526,
author = {Koushik Sen and Swaroop Kalasapur and Tasneem Brutch and Simon Gibbs},
title = {Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {526-525},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Jalangi: A Tool Framework ..."
Jalangi: A Tool Framework for Concolic Testing, Selective Record-Replay, and Dynamic Analysis of JavaScript
Koushik Sen, Swaroop Kalasapur, Tasneem Brutch, and Simon Gibbs (UC Berkeley, USA; Samsung Research, USA)
@InProceedings{ESEC/FSE13p653,
author = {Koushik Sen and Swaroop Kalasapur and Tasneem Brutch and Simon Gibbs},
title = {Jalangi: A Tool Framework for Concolic Testing, Selective Record-Replay, and Dynamic Analysis of JavaScript},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {653-652},
doi = {},
year = {2013},
}
|
|
| Karim, Rezwana |
ESEC/FSE '13: "Compiling Mockups to Flexible ..."
Compiling Mockups to Flexible UIs
Nishant Sinha and Rezwana Karim (IBM Research, India; Rutgers University, USA)
@InProceedings{ESEC/FSE13p350,
author = {Nishant Sinha and Rezwana Karim},
title = {Compiling Mockups to Flexible UIs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {350-349},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Kästner, Christian |
ESEC/FSE '13: "Scalable Analysis of Variable ..."
Scalable Analysis of Variable Software
Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, and Christian Lengauer (University of Passau, Germany; CMU, USA)
@InProceedings{ESEC/FSE13p119,
author = {Jörg Liebig and Alexander von Rhein and Christian Kästner and Sven Apel and Jens Dörre and Christian Lengauer},
title = {Scalable Analysis of Variable Software},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {119-118},
doi = {},
year = {2013},
}
|
|
| Khoo, Siau-Cheng |
ESEC/FSE '13: "Mining Succinct Predicated ..."
Mining Succinct Predicated Bug Signatures
Chengnian Sun and Siau-Cheng Khoo (National University of Singapore, Singapore)
@InProceedings{ESEC/FSE13p614,
author = {Chengnian Sun and Siau-Cheng Khoo},
title = {Mining Succinct Predicated Bug Signatures},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {614-613},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Khurshid, Sarfraz |
ESEC/FSE '13: "SPLat: Lightweight Dynamic ..."
SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems
Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don Batory, Sabrina Souto, Paulo Barros, and Marcelo d'Amorim (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA; Groupon, USA; Federal University of Pernambuco, Brazil)
@InProceedings{ESEC/FSE13p295,
author = {Chang Hwan Peter Kim and Darko Marinov and Sarfraz Khurshid and Don Batory and Sabrina Souto and Paulo Barros and Marcelo d'Amorim},
title = {SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {295-294},
doi = {},
year = {2013},
}
|
|
| Kim, Chang Hwan Peter |
ESEC/FSE '13: "SPLat: Lightweight Dynamic ..."
SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems
Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don Batory, Sabrina Souto, Paulo Barros, and Marcelo d'Amorim (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA; Groupon, USA; Federal University of Pernambuco, Brazil)
@InProceedings{ESEC/FSE13p295,
author = {Chang Hwan Peter Kim and Darko Marinov and Sarfraz Khurshid and Don Batory and Sabrina Souto and Paulo Barros and Marcelo d'Amorim},
title = {SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {295-294},
doi = {},
year = {2013},
}
|
|
| Koziolek, Heiko |
ESEC/FSE '13: "Agreements for Software Reuse ..."
Agreements for Software Reuse in Corporations
Thijmen de Gooijer and Heiko Koziolek (ABB Research, Sweden; ABB Research, Germany)
@InProceedings{ESEC/FSE13p717,
author = {Thijmen de Gooijer and Heiko Koziolek},
title = {Agreements for Software Reuse in Corporations},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {717-716},
doi = {},
year = {2013},
}
|
|
| Krinke, Jens |
ESEC/FSE '13: "Searching for Better Configurations: ..."
Searching for Better Configurations: A Rigorous Approach to Clone Evaluation
Tiantian Wang, Mark Harman, Yue Jia, and Jens Krinke (Harbin Institute of Technology, China; University College London, UK)
@InProceedings{ESEC/FSE13p493,
author = {Tiantian Wang and Mark Harman and Yue Jia and Jens Krinke},
title = {Searching for Better Configurations: A Rigorous Approach to Clone Evaluation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {493-492},
doi = {},
year = {2013},
}
|
|
| Kumar, Rahul |
ESEC/FSE '13: "The Economics of Static Analysis ..."
The Economics of Static Analysis Tools
Rahul Kumar and Aditya V. Nori (Microsoft Research, India)
@InProceedings{ESEC/FSE13p745,
author = {Rahul Kumar and Aditya V. Nori},
title = {The Economics of Static Analysis Tools},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {745-744},
doi = {},
year = {2013},
}
|
|
| Kumar, Shrawan |
ESEC/FSE '13: "Precise Range Analysis on ..."
Precise Range Analysis on Large Industry Code
Shrawan Kumar, Bharti Chimdyalwar, and Ulka Shrotri (Tata Consultancy Services, India)
@InProceedings{ESEC/FSE13p713,
author = {Shrawan Kumar and Bharti Chimdyalwar and Ulka Shrotri},
title = {Precise Range Analysis on Large Industry Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {713-712},
doi = {},
year = {2013},
}
|
|
| Lahiri, Shuvendu K. |
ESEC/FSE '13: "Will You Still Compile Me ..."
Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation
Chris Hawblitzel, Shuvendu K. Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, and Scott Wadsworth (Microsoft, USA)
@InProceedings{ESEC/FSE13p229,
author = {Chris Hawblitzel and Shuvendu K. Lahiri and Kshama Pawar and Hammad Hashmi and Sedar Gokbulut and Lakshan Fernando and Dave Detlefs and Scott Wadsworth},
title = {Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {229-228},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Differential Assertion Checking ..."
Differential Assertion Checking
Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, and Chris Hawblitzel (Microsoft Research, USA; Stanford University, USA)
@InProceedings{ESEC/FSE13p383,
author = {Shuvendu K. Lahiri and Kenneth L. McMillan and Rahul Sharma and Chris Hawblitzel},
title = {Differential Assertion Checking},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {383-382},
doi = {},
year = {2013},
}
|
|
| Lahoda, Jan |
ESEC/FSE '13: "Crossing the Gap from Imperative ..."
Crossing the Gap from Imperative to Functional Programming through Refactoring
Alex Gyori, Lyle Franklin, Danny Dig, and Jan Lahoda (University of Illinois, USA; Ball State University, USA; Oregon State University, USA; Oracle, Czech Republic)
@InProceedings{ESEC/FSE13p581,
author = {Alex Gyori and Lyle Franklin and Danny Dig and Jan Lahoda},
title = {Crossing the Gap from Imperative to Functional Programming through Refactoring},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {581-580},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Lalanda, Philippe |
ESEC/FSE '13: "h-ubu: An Industrial-Strength ..."
h-ubu: An Industrial-Strength Service-Oriented Component Framework for JavaScript Applications
Clement Escoffier, Philippe Lalanda, and Nicolas Rempulsky (Grenoble University, France; Ubidreams, France)
@InProceedings{ESEC/FSE13p737,
author = {Clement Escoffier and Philippe Lalanda and Nicolas Rempulsky},
title = {h-ubu: An Industrial-Strength Service-Oriented Component Framework for JavaScript Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {737-736},
doi = {},
year = {2013},
}
|
|
| Lanubile, Filippo |
ESEC/FSE '13: "SocialCDE: A Social Awareness ..."
SocialCDE: A Social Awareness Tool for Global Software Teams
Fabio Calefato and Filippo Lanubile (University of Bari, Italy)
@InProceedings{ESEC/FSE13p625,
author = {Fabio Calefato and Filippo Lanubile},
title = {SocialCDE: A Social Awareness Tool for Global Software Teams},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {625-624},
doi = {},
year = {2013},
}
|
|
| Lengauer, Christian |
ESEC/FSE '13: "Scalable Analysis of Variable ..."
Scalable Analysis of Variable Software
Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, and Christian Lengauer (University of Passau, Germany; CMU, USA)
@InProceedings{ESEC/FSE13p119,
author = {Jörg Liebig and Alexander von Rhein and Christian Kästner and Sven Apel and Jens Dörre and Christian Lengauer},
title = {Scalable Analysis of Variable Software},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {119-118},
doi = {},
year = {2013},
}
|
|
| Li, Bixin |
ESEC/FSE '13: "An Empirical Analysis of the ..."
An Empirical Analysis of the Co-evolution of Schema and Code in Database Applications
Dong Qiu, Bixin Li, and Zhendong Su (Southeast University, China; UC Davis, USA)
@InProceedings{ESEC/FSE13p163,
author = {Dong Qiu and Bixin Li and Zhendong Su},
title = {An Empirical Analysis of the Co-evolution of Schema and Code in Database Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {163-162},
doi = {},
year = {2013},
}
|
|
| Li, Kaituo |
ESEC/FSE '13: "Second-Order Constraints in ..."
Second-Order Constraints in Dynamic Invariant Inference
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, and Michal Young (University of Massachusetts at Amherst, USA; Goethe University Frankfurt, Germany; University of Athens, Greece; University of Oregon, USA)
@InProceedings{ESEC/FSE13p141,
author = {Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Michal Young},
title = {Second-Order Constraints in Dynamic Invariant Inference},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {141-140},
doi = {},
year = {2013},
}
|
|
| Li, Zonghui |
ESEC/FSE '13: "Design and Optimization of ..."
Design and Optimization of Multi-clocked Embedded Systems using Formal Technique
Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA)
@InProceedings{ESEC/FSE13p741,
author = {Yu Jiang and Zonghui Li and Hehua Zhang and Yangdong Deng and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {Design and Optimization of Multi-clocked Embedded Systems using Formal Technique},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {741-740},
doi = {},
year = {2013},
}
|
|
| Liang, Guangtai |
ESEC/FSE '13: "Inferring Project-Specific ..."
Inferring Project-Specific Bug Patterns for Detecting Sibling Bugs
Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei (Peking University, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE13p603,
author = {Guangtai Liang and Qianxiang Wang and Tao Xie and Hong Mei},
title = {Inferring Project-Specific Bug Patterns for Detecting Sibling Bugs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {603-602},
doi = {},
year = {2013},
}
|
|
| Liebig, Jörg |
ESEC/FSE '13: "Scalable Analysis of Variable ..."
Scalable Analysis of Variable Software
Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, and Christian Lengauer (University of Passau, Germany; CMU, USA)
@InProceedings{ESEC/FSE13p119,
author = {Jörg Liebig and Alexander von Rhein and Christian Kästner and Sven Apel and Jens Dörre and Christian Lengauer},
title = {Scalable Analysis of Variable Software},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {119-118},
doi = {},
year = {2013},
}
|
|
| Linares-Vásquez, Mario |
ESEC/FSE '13: "API Change and Fault Proneness: ..."
API Change and Fault Proneness: A Threat to the Success of Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Carlos Bernal-Cárdenas, Massimiliano Di Penta, Rocco Oliveto, and Denys Poshyvanyk (College of William and Mary, USA; University of Sannio, Italy; Universidad Nacional de Colombia, Colombia; University of Molise, Italy)
@InProceedings{ESEC/FSE13p515,
author = {Mario Linares-Vásquez and Gabriele Bavota and Carlos Bernal-Cárdenas and Massimiliano Di Penta and Rocco Oliveto and Denys Poshyvanyk},
title = {API Change and Fault Proneness: A Threat to the Success of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {515-514},
doi = {},
year = {2013},
}
|
|
| Liu, Han |
ESEC/FSE '13: "System Reliability Calculation ..."
System Reliability Calculation Based on the Run-Time Analysis of Ladder Program
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA)
@InProceedings{ESEC/FSE13p733,
author = {Yu Jiang and Hehua Zhang and Han Liu and Xiaoyu Song and William N. N. Hung and Ming Gu and Jiaguang Sun},
title = {System Reliability Calculation Based on the Run-Time Analysis of Ladder Program},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {733-732},
doi = {},
year = {2013},
}
|
|
| Liu, Peng |
ESEC/FSE '13: "Finding Incorrect Compositions ..."
Finding Incorrect Compositions of Atomicity
Peng Liu, Julian Dolby, and Charles Zhang (Hong Kong University of Science and Technology, China; IBM Research, USA)
@InProceedings{ESEC/FSE13p196,
author = {Peng Liu and Julian Dolby and Charles Zhang},
title = {Finding Incorrect Compositions of Atomicity},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {196-195},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Liu, Shuang |
ESEC/FSE '13: "USMMC: A Self-Contained Model ..."
USMMC: A Self-Contained Model Checker for UML State Machines
Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, and Jin Song Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore)
@InProceedings{ESEC/FSE13p661,
author = {Shuang Liu and Yang Liu and Jun Sun and Manchun Zheng and Bimlesh Wadhwa and Jin Song Dong},
title = {USMMC: A Self-Contained Model Checker for UML State Machines},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {661-660},
doi = {},
year = {2013},
}
|
|
| Liu, Yang |
ESEC/FSE '13: "USMMC: A Self-Contained Model ..."
USMMC: A Self-Contained Model Checker for UML State Machines
Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, and Jin Song Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore)
@InProceedings{ESEC/FSE13p661,
author = {Shuang Liu and Yang Liu and Jun Sun and Manchun Zheng and Bimlesh Wadhwa and Jin Song Dong},
title = {USMMC: A Self-Contained Model Checker for UML State Machines},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {661-660},
doi = {},
year = {2013},
}
|
|
| Livshits, Benjamin |
ESEC/FSE '13: "Practical Static Analysis ..."
Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries
Magnus Madsen, Benjamin Livshits, and Michael Fanning (Aarhus University, Denmark; Microsoft Research, USA; Microsoft, USA)
@InProceedings{ESEC/FSE13p537,
author = {Magnus Madsen and Benjamin Livshits and Michael Fanning},
title = {Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {537-536},
doi = {},
year = {2013},
}
|
|
| Lohar, Sugandha |
ESEC/FSE '13: "Improving Trace Accuracy through ..."
Improving Trace Accuracy through Data-Driven Configuration and Composition of Tracing Features
Sugandha Lohar, Sorawit Amornborvornwong, Andrea Zisman, and Jane Cleland-Huang (DePaul University, USA; Open University, UK)
@InProceedings{ESEC/FSE13p416,
author = {Sugandha Lohar and Sorawit Amornborvornwong and Andrea Zisman and Jane Cleland-Huang},
title = {Improving Trace Accuracy through Data-Driven Configuration and Composition of Tracing Features},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {416-415},
doi = {},
year = {2013},
}
|
|
| Lopez, Nicolas |
ESEC/FSE '13: "Using Topic Models to Understand ..."
Using Topic Models to Understand the Evolution of a Software Ecosystem
Nicolas Lopez (UC Irvine, USA)
@InProceedings{ESEC/FSE13p761,
author = {Nicolas Lopez},
title = {Using Topic Models to Understand the Evolution of a Software Ecosystem},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {761-760},
doi = {},
year = {2013},
}
|
|
| Löwe, Stefan |
ESEC/FSE '13: "Precision Reuse for Efficient ..."
Precision Reuse for Efficient Regression Verification
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, and Philipp Wendler (University of Passau, Germany; ISP RAS, Russia)
@InProceedings{ESEC/FSE13p427,
author = {Dirk Beyer and Stefan Löwe and Evgeny Novikov and Andreas Stahlbauer and Philipp Wendler},
title = {Precision Reuse for Efficient Regression Verification},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {427-426},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Machiry, Aravind |
ESEC/FSE '13: "Dynodroid: An Input Generation ..."
Dynodroid: An Input Generation System for Android Apps
Aravind Machiry, Rohan Tahiliani, and Mayur Naik (Georgia Tech, USA)
@InProceedings{ESEC/FSE13p262,
author = {Aravind Machiry and Rohan Tahiliani and Mayur Naik},
title = {Dynodroid: An Input Generation System for Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {262-261},
doi = {},
year = {2013},
}
Distinguished Artifact
|
|
| Madsen, Magnus |
ESEC/FSE '13: "Practical Static Analysis ..."
Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries
Magnus Madsen, Benjamin Livshits, and Michael Fanning (Aarhus University, Denmark; Microsoft Research, USA; Microsoft, USA)
@InProceedings{ESEC/FSE13p537,
author = {Magnus Madsen and Benjamin Livshits and Michael Fanning},
title = {Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {537-536},
doi = {},
year = {2013},
}
|
|
| Maoz, Shahar |
ESEC/FSE '13: "Synthesis of Component and ..."
Synthesis of Component and Connector Models from Crosscutting Structural Views
Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe (Tel Aviv University, Israel; RWTH Aachen University, Germany)
@InProceedings{ESEC/FSE13p482,
author = {Shahar Maoz and Jan Oliver Ringert and Bernhard Rumpe},
title = {Synthesis of Component and Connector Models from Crosscutting Structural Views},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {482-481},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Marchetti, Eda |
ESEC/FSE '13: "Adequate Monitoring of Service ..."
Adequate Monitoring of Service Compositions
Antonia Bertolino, Eda Marchetti, and Andrea Morichetta (ISTI-CNR, Italy)
@InProceedings{ESEC/FSE13p97,
author = {Antonia Bertolino and Eda Marchetti and Andrea Morichetta},
title = {Adequate Monitoring of Service Compositions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {97-96},
doi = {},
year = {2013},
}
|
|
| Marchetto, Alessandro |
ESEC/FSE '13: "Automated Oracles: An Empirical ..."
Automated Oracles: An Empirical Study on Cost and Effectiveness
Cu D. Nguyen, Alessandro Marchetto, and Paolo Tonella (Fondazione Bruno Kessler, Italy)
@InProceedings{ESEC/FSE13p174,
author = {Cu D. Nguyen and Alessandro Marchetto and Paolo Tonella},
title = {Automated Oracles: An Empirical Study on Cost and Effectiveness},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {174-173},
doi = {},
year = {2013},
}
|
|
| Marinescu, Paul Dan |
ESEC/FSE '13: "KATCH: High-Coverage Testing ..."
KATCH: High-Coverage Testing of Software Patches
Paul Dan Marinescu and Cristian Cadar (Imperial College London, UK)
@InProceedings{ESEC/FSE13p273,
author = {Paul Dan Marinescu and Cristian Cadar},
title = {KATCH: High-Coverage Testing of Software Patches},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {273-272},
doi = {},
year = {2013},
}
Distinguished Artifact
|
|
| Marinov, Darko |
ESEC/FSE '13: "SPLat: Lightweight Dynamic ..."
SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems
Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don Batory, Sabrina Souto, Paulo Barros, and Marcelo d'Amorim (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA; Groupon, USA; Federal University of Pernambuco, Brazil)
@InProceedings{ESEC/FSE13p295,
author = {Chang Hwan Peter Kim and Darko Marinov and Sarfraz Khurshid and Don Batory and Sabrina Souto and Paulo Barros and Marcelo d'Amorim},
title = {SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {295-294},
doi = {},
year = {2013},
}
|
|
| McMillan, Kenneth L. |
ESEC/FSE '13: "Differential Assertion Checking ..."
Differential Assertion Checking
Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, and Chris Hawblitzel (Microsoft Research, USA; Stanford University, USA)
@InProceedings{ESEC/FSE13p383,
author = {Shuvendu K. Lahiri and Kenneth L. McMillan and Rahul Sharma and Chris Hawblitzel},
title = {Differential Assertion Checking},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {383-382},
doi = {},
year = {2013},
}
|
|
| McPeak, Scott |
ESEC/FSE '13: "Scalable and Incremental Software ..."
Scalable and Incremental Software Bug Detection
Scott McPeak, Charles-Henri Gros, and Murali Krishna Ramanathan (Coverity, USA; Indian Institute of Science, India)
@InProceedings{ESEC/FSE13p592,
author = {Scott McPeak and Charles-Henri Gros and Murali Krishna Ramanathan},
title = {Scalable and Incremental Software Bug Detection},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {592-591},
doi = {},
year = {2013},
}
|
|
| Medhat, Ramy |
ESEC/FSE '13: "RiTHM: A Tool for Enabling ..."
RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs
Samaneh Navabpour, Yogi Joshi, Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, and Sebastian Fischmeister (University of Waterloo, Canada)
@InProceedings{ESEC/FSE13p641,
author = {Samaneh Navabpour and Yogi Joshi and Wallace Wu and Shay Berkovich and Ramy Medhat and Borzoo Bonakdarpour and Sebastian Fischmeister},
title = {RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {641-640},
doi = {},
year = {2013},
}
|
|
| Medvidovic, Nenad |
ESEC/FSE '13: "Identifying Message Flow in ..."
Identifying Message Flow in Distributed Event-Based Systems
Joshua Garcia, Daniel Popescu, Gholamreza Safi, William G. J. Halfond, and Nenad Medvidovic (University of Southern California, USA)
@InProceedings{ESEC/FSE13p405,
author = {Joshua Garcia and Daniel Popescu and Gholamreza Safi and William G. J. Halfond and Nenad Medvidovic},
title = {Identifying Message Flow in Distributed Event-Based Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {405-404},
doi = {},
year = {2013},
}
|
|
| Mei, Hong |
ESEC/FSE '13: "Inferring Project-Specific ..."
Inferring Project-Specific Bug Patterns for Detecting Sibling Bugs
Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei (Peking University, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE13p603,
author = {Guangtai Liang and Qianxiang Wang and Tao Xie and Hong Mei},
title = {Inferring Project-Specific Bug Patterns for Detecting Sibling Bugs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {603-602},
doi = {},
year = {2013},
}
|
|
| Meliou, Alexandra |
ESEC/FSE '13: "Data Debugging with Continuous ..."
Data Debugging with Continuous Testing
Kıvanç Muşlu, Yuriy Brun, and Alexandra Meliou (University of Washington, USA; University of Massachusetts at Amherst, USA)
@InProceedings{ESEC/FSE13p669,
author = {Kıvanç Muşlu and Yuriy Brun and Alexandra Meliou},
title = {Data Debugging with Continuous Testing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {669-668},
doi = {},
year = {2013},
}
|
|
| Meyer, Bertrand |
ESEC/FSE '13: "Empirical Answers to Fundamental ..."
Empirical Answers to Fundamental Software Engineering Problems (Panel)
Bertrand Meyer, Harald Gall, Mark Harman, and Giancarlo Succi (ETH Zurich, Switzerland; ITMO, Russia; Eiffel Software, USA; University of Zurich, Switzerland; University College London, UK; Microsoft Research, UK; Free University of Bozen, Italy)
@InProceedings{ESEC/FSE13p34,
author = {Bertrand Meyer and Harald Gall and Mark Harman and Giancarlo Succi},
title = {Empirical Answers to Fundamental Software Engineering Problems (Panel)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2013},
}
|
|
| Mockus, Audris |
ESEC/FSE '13: "Risky Files: An Approach to ..."
Risky Files: An Approach to Focus Quality Improvement Effort
Audris Mockus, Randy Hackbarth, and John Palframan (Avaya Labs Research, USA)
@InProceedings{ESEC/FSE13p729,
author = {Audris Mockus and Randy Hackbarth and John Palframan},
title = {Risky Files: An Approach to Focus Quality Improvement Effort},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {729-728},
doi = {},
year = {2013},
}
|
|
| Møller, Anders |
ESEC/FSE '13: "Server Interface Descriptions ..."
Server Interface Descriptions for Automated Testing of JavaScript Web Applications
Casper S. Jensen, Anders Møller, and Zhendong Su (Aarhus University, Denmark; UC Davis, USA)
@InProceedings{ESEC/FSE13p548,
author = {Casper S. Jensen and Anders Møller and Zhendong Su},
title = {Server Interface Descriptions for Automated Testing of JavaScript Web Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {548-547},
doi = {},
year = {2013},
}
|
|
| Morichetta, Andrea |
ESEC/FSE '13: "Adequate Monitoring of Service ..."
Adequate Monitoring of Service Compositions
Antonia Bertolino, Eda Marchetti, and Andrea Morichetta (ISTI-CNR, Italy)
@InProceedings{ESEC/FSE13p97,
author = {Antonia Bertolino and Eda Marchetti and Andrea Morichetta},
title = {Adequate Monitoring of Service Compositions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {97-96},
doi = {},
year = {2013},
}
|
|
| Murali, Vijayaraghavan |
ESEC/FSE '13: "Boosting Concolic Testing ..."
Boosting Concolic Testing via Interpolation
Joxan Jaffar, Vijayaraghavan Murali, and Jorge A. Navas (National University of Singapore, Singapore; University of Melbourne, Australia)
@InProceedings{ESEC/FSE13p86,
author = {Joxan Jaffar and Vijayaraghavan Murali and Jorge A. Navas},
title = {Boosting Concolic Testing via Interpolation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {86-85},
doi = {},
year = {2013},
}
|
|
| Muşlu, Kıvanç |
ESEC/FSE '13: "Making Offline Analyses Continuous ..."
Making Offline Analyses Continuous
Kıvanç Muşlu, Yuriy Brun, Michael D. Ernst, and David Notkin (University of Washington, USA; University of Massachusetts at Amherst, USA)
@InProceedings{ESEC/FSE13p361,
author = {Kıvanç Muşlu and Yuriy Brun and Michael D. Ernst and David Notkin},
title = {Making Offline Analyses Continuous},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {361-360},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Data Debugging with Continuous ..."
Data Debugging with Continuous Testing
Kıvanç Muşlu, Yuriy Brun, and Alexandra Meliou (University of Washington, USA; University of Massachusetts at Amherst, USA)
@InProceedings{ESEC/FSE13p669,
author = {Kıvanç Muşlu and Yuriy Brun and Alexandra Meliou},
title = {Data Debugging with Continuous Testing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {669-668},
doi = {},
year = {2013},
}
|
|
| Nagappan, Meiyappan |
ESEC/FSE '13: "Diversity in Software Engineering ..."
Diversity in Software Engineering Research
Meiyappan Nagappan, Thomas Zimmermann, and Christian Bird (Queen’s University, Canada; Microsoft Research, USA)
@InProceedings{ESEC/FSE13p504,
author = {Meiyappan Nagappan and Thomas Zimmermann and Christian Bird},
title = {Diversity in Software Engineering Research},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {504-503},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Naik, Mayur |
ESEC/FSE '13: "Dynodroid: An Input Generation ..."
Dynodroid: An Input Generation System for Android Apps
Aravind Machiry, Rohan Tahiliani, and Mayur Naik (Georgia Tech, USA)
@InProceedings{ESEC/FSE13p262,
author = {Aravind Machiry and Rohan Tahiliani and Mayur Naik},
title = {Dynodroid: An Input Generation System for Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {262-261},
doi = {},
year = {2013},
}
Distinguished Artifact
|
|
| Navabpour, Samaneh |
ESEC/FSE '13: "RiTHM: A Tool for Enabling ..."
RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs
Samaneh Navabpour, Yogi Joshi, Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, and Sebastian Fischmeister (University of Waterloo, Canada)
@InProceedings{ESEC/FSE13p641,
author = {Samaneh Navabpour and Yogi Joshi and Wallace Wu and Shay Berkovich and Ramy Medhat and Borzoo Bonakdarpour and Sebastian Fischmeister},
title = {RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {641-640},
doi = {},
year = {2013},
}
|
|
| Navas, Jorge A. |
ESEC/FSE '13: "Boosting Concolic Testing ..."
Boosting Concolic Testing via Interpolation
Joxan Jaffar, Vijayaraghavan Murali, and Jorge A. Navas (National University of Singapore, Singapore; University of Melbourne, Australia)
@InProceedings{ESEC/FSE13p86,
author = {Joxan Jaffar and Vijayaraghavan Murali and Jorge A. Navas},
title = {Boosting Concolic Testing via Interpolation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {86-85},
doi = {},
year = {2013},
}
|
|
| Nenashev, Oleg |
ESEC/FSE '13: "PHRT: A Model and Programmable ..."
PHRT: A Model and Programmable Tool for Hardware Reengineering Automation
Oleg Nenashev (Saint Petersburg State Polytechnical University, Russia)
@InProceedings{ESEC/FSE13p757,
author = {Oleg Nenashev},
title = {PHRT: A Model and Programmable Tool for Hardware Reengineering Automation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {757-756},
doi = {},
year = {2013},
}
|
|
| Nguyen, Anh Tuan |
ESEC/FSE '13: "A Statistical Semantic Language ..."
A Statistical Semantic Language Model for Source Code
Tung Thanh Nguyen, Anh Tuan Nguyen, Hoan Anh Nguyen, and Tien N. Nguyen (Iowa State University, USA)
@InProceedings{ESEC/FSE13p570,
author = {Tung Thanh Nguyen and Anh Tuan Nguyen and Hoan Anh Nguyen and Tien N. Nguyen},
title = {A Statistical Semantic Language Model for Source Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {570-569},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Lexical Statistical Machine ..."
Lexical Statistical Machine Translation for Language Migration
Anh Tuan Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen (Iowa State University, USA)
@InProceedings{ESEC/FSE13p689,
author = {Anh Tuan Nguyen and Tung Thanh Nguyen and Tien N. Nguyen},
title = {Lexical Statistical Machine Translation for Language Migration},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {689-688},
doi = {},
year = {2013},
}
|
|
| Nguyen, Cu D. |
ESEC/FSE '13: "Automated Oracles: An Empirical ..."
Automated Oracles: An Empirical Study on Cost and Effectiveness
Cu D. Nguyen, Alessandro Marchetto, and Paolo Tonella (Fondazione Bruno Kessler, Italy)
@InProceedings{ESEC/FSE13p174,
author = {Cu D. Nguyen and Alessandro Marchetto and Paolo Tonella},
title = {Automated Oracles: An Empirical Study on Cost and Effectiveness},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {174-173},
doi = {},
year = {2013},
}
|
|
| Nguyen, Hoan Anh |
ESEC/FSE '13: "A Statistical Semantic Language ..."
A Statistical Semantic Language Model for Source Code
Tung Thanh Nguyen, Anh Tuan Nguyen, Hoan Anh Nguyen, and Tien N. Nguyen (Iowa State University, USA)
@InProceedings{ESEC/FSE13p570,
author = {Tung Thanh Nguyen and Anh Tuan Nguyen and Hoan Anh Nguyen and Tien N. Nguyen},
title = {A Statistical Semantic Language Model for Source Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {570-569},
doi = {},
year = {2013},
}
|
|
| Nguyen, Khanh |
ESEC/FSE '13: "Cachetor: Detecting Cacheable ..."
Cachetor: Detecting Cacheable Data to Remove Bloat
Khanh Nguyen and Guoqing Xu (UC Irvine, USA)
@InProceedings{ESEC/FSE13p306,
author = {Khanh Nguyen and Guoqing Xu},
title = {Cachetor: Detecting Cacheable Data to Remove Bloat},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {306-305},
doi = {},
year = {2013},
}
|
|
| Nguyen, Tien N. |
ESEC/FSE '13: "A Statistical Semantic Language ..."
A Statistical Semantic Language Model for Source Code
Tung Thanh Nguyen, Anh Tuan Nguyen, Hoan Anh Nguyen, and Tien N. Nguyen (Iowa State University, USA)
@InProceedings{ESEC/FSE13p570,
author = {Tung Thanh Nguyen and Anh Tuan Nguyen and Hoan Anh Nguyen and Tien N. Nguyen},
title = {A Statistical Semantic Language Model for Source Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {570-569},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Lexical Statistical Machine ..."
Lexical Statistical Machine Translation for Language Migration
Anh Tuan Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen (Iowa State University, USA)
@InProceedings{ESEC/FSE13p689,
author = {Anh Tuan Nguyen and Tung Thanh Nguyen and Tien N. Nguyen},
title = {Lexical Statistical Machine Translation for Language Migration},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {689-688},
doi = {},
year = {2013},
}
|
|
| Nguyen, Tung Thanh |
ESEC/FSE '13: "A Statistical Semantic Language ..."
A Statistical Semantic Language Model for Source Code
Tung Thanh Nguyen, Anh Tuan Nguyen, Hoan Anh Nguyen, and Tien N. Nguyen (Iowa State University, USA)
@InProceedings{ESEC/FSE13p570,
author = {Tung Thanh Nguyen and Anh Tuan Nguyen and Hoan Anh Nguyen and Tien N. Nguyen},
title = {A Statistical Semantic Language Model for Source Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {570-569},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Lexical Statistical Machine ..."
Lexical Statistical Machine Translation for Language Migration
Anh Tuan Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen (Iowa State University, USA)
@InProceedings{ESEC/FSE13p689,
author = {Anh Tuan Nguyen and Tung Thanh Nguyen and Tien N. Nguyen},
title = {Lexical Statistical Machine Translation for Language Migration},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {689-688},
doi = {},
year = {2013},
}
|
|
| Nori, Aditya V. |
ESEC/FSE '13: "The Economics of Static Analysis ..."
The Economics of Static Analysis Tools
Rahul Kumar and Aditya V. Nori (Microsoft Research, India)
@InProceedings{ESEC/FSE13p745,
author = {Rahul Kumar and Aditya V. Nori},
title = {The Economics of Static Analysis Tools},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {745-744},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Bayesian Inference using Data ..."
Bayesian Inference using Data Flow Analysis
Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, and Johannes Borgström (INRIA, France; Microsoft Research, India; Microsoft Research, UK; Uppsala University, Sweden)
@InProceedings{ESEC/FSE13p130,
author = {Guillaume Claret and Sriram K. Rajamani and Aditya V. Nori and Andrew D. Gordon and Johannes Borgström},
title = {Bayesian Inference using Data Flow Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {130-129},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Termination Proofs from Tests ..."
Termination Proofs from Tests
Aditya V. Nori and Rahul Sharma (Microsoft Research, India; Stanford University, USA)
@InProceedings{ESEC/FSE13p284,
author = {Aditya V. Nori and Rahul Sharma},
title = {Termination Proofs from Tests},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {284-283},
doi = {},
year = {2013},
}
|
|
| Notkin, David |
ESEC/FSE '13: "Making Offline Analyses Continuous ..."
Making Offline Analyses Continuous
Kıvanç Muşlu, Yuriy Brun, Michael D. Ernst, and David Notkin (University of Washington, USA; University of Massachusetts at Amherst, USA)
@InProceedings{ESEC/FSE13p361,
author = {Kıvanç Muşlu and Yuriy Brun and Michael D. Ernst and David Notkin},
title = {Making Offline Analyses Continuous},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {361-360},
doi = {},
year = {2013},
}
|
|
| Novikov, Evgeny |
ESEC/FSE '13: "Precision Reuse for Efficient ..."
Precision Reuse for Efficient Regression Verification
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, and Philipp Wendler (University of Passau, Germany; ISP RAS, Russia)
@InProceedings{ESEC/FSE13p427,
author = {Dirk Beyer and Stefan Löwe and Evgeny Novikov and Andreas Stahlbauer and Philipp Wendler},
title = {Precision Reuse for Efficient Regression Verification},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {427-426},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Oliveira, Bruno C. d. S. |
ESEC/FSE '13: "Regression Tests to Expose ..."
Regression Tests to Expose Change Interaction Errors
Marcel Böhme, Bruno C. d. S. Oliveira, and Abhik Roychoudhury (National University of Singapore, Singapore)
@InProceedings{ESEC/FSE13p372,
author = {Marcel Böhme and Bruno C. d. S. Oliveira and Abhik Roychoudhury},
title = {Regression Tests to Expose Change Interaction Errors},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {372-371},
doi = {},
year = {2013},
}
|
|
| Oliveto, Rocco |
ESEC/FSE '13: "API Change and Fault Proneness: ..."
API Change and Fault Proneness: A Threat to the Success of Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Carlos Bernal-Cárdenas, Massimiliano Di Penta, Rocco Oliveto, and Denys Poshyvanyk (College of William and Mary, USA; University of Sannio, Italy; Universidad Nacional de Colombia, Colombia; University of Molise, Italy)
@InProceedings{ESEC/FSE13p515,
author = {Mario Linares-Vásquez and Gabriele Bavota and Carlos Bernal-Cárdenas and Massimiliano Di Penta and Rocco Oliveto and Denys Poshyvanyk},
title = {API Change and Fault Proneness: A Threat to the Success of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {515-514},
doi = {},
year = {2013},
}
|
|
| Palframan, John |
ESEC/FSE '13: "Risky Files: An Approach to ..."
Risky Files: An Approach to Focus Quality Improvement Effort
Audris Mockus, Randy Hackbarth, and John Palframan (Avaya Labs Research, USA)
@InProceedings{ESEC/FSE13p729,
author = {Audris Mockus and Randy Hackbarth and John Palframan},
title = {Risky Files: An Approach to Focus Quality Improvement Effort},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {729-728},
doi = {},
year = {2013},
}
|
|
| Paul, Gaurab |
ESEC/FSE '13: "Distributed Program Tracing ..."
Distributed Program Tracing
Diptikalyan Saha, Pankaj Dhoolia, and Gaurab Paul (IBM Research, India; IIT Kharagpur, India)
@InProceedings{ESEC/FSE13p218,
author = {Diptikalyan Saha and Pankaj Dhoolia and Gaurab Paul},
title = {Distributed Program Tracing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {218-217},
doi = {},
year = {2013},
}
|
|
| Pawar, Kshama |
ESEC/FSE '13: "Will You Still Compile Me ..."
Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation
Chris Hawblitzel, Shuvendu K. Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, and Scott Wadsworth (Microsoft, USA)
@InProceedings{ESEC/FSE13p229,
author = {Chris Hawblitzel and Shuvendu K. Lahiri and Kshama Pawar and Hammad Hashmi and Sedar Gokbulut and Lakshan Fernando and Dave Detlefs and Scott Wadsworth},
title = {Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {229-228},
doi = {},
year = {2013},
}
|
|
| Pelliccione, Patrizio |
ESEC/FSE '13: "Producing Software by Integration: ..."
Producing Software by Integration: Challenges and Research Directions (Keynote)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, and Massimo Tivoli (University of l'Aquila, Italy)
@InProceedings{ESEC/FSE13p12,
author = {Paola Inverardi and Marco Autili and Davide Di Ruscio and Patrizio Pelliccione and Massimo Tivoli},
title = {Producing Software by Integration: Challenges and Research Directions (Keynote)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2013},
}
|
|
| Perry, Dewayne E. |
ESEC/FSE '13: "Toward Understanding the Causes ..."
Toward Understanding the Causes of Unanswered Questions in Software Information Sites: A Case Study of Stack Overflow
Ripon K. Saha, Avigit K. Saha, and Dewayne E. Perry (University of Texas at Austin, USA; University of Saskatchewan, Canada)
@InProceedings{ESEC/FSE13p701,
author = {Ripon K. Saha and Avigit K. Saha and Dewayne E. Perry},
title = {Toward Understanding the Causes of Unanswered Questions in Software Information Sites: A Case Study of Stack Overflow},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {701-700},
doi = {},
year = {2013},
}
|
|
| Petke, Justyna |
ESEC/FSE '13: "Efficiency and Early Fault ..."
Efficiency and Early Fault Detection with Lower and Higher Strength Combinatorial Interaction Testing
Justyna Petke, Shin Yoo, Myra B. Cohen, and Mark Harman (University College London, UK; University of Nebraska-Lincoln, USA)
@InProceedings{ESEC/FSE13p64,
author = {Justyna Petke and Shin Yoo and Myra B. Cohen and Mark Harman},
title = {Efficiency and Early Fault Detection with Lower and Higher Strength Combinatorial Interaction Testing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {64-63},
doi = {},
year = {2013},
}
|
|
| Pezzè, Mauro |
ESEC/FSE '13: "Enhancing Symbolic Execution ..."
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization
Pietro Braione, Giovanni Denaro, and Mauro Pezzè (University of Milano-Bicocca, Italy; University of Lugano, Switzerland)
@InProceedings{ESEC/FSE13p449,
author = {Pietro Braione and Giovanni Denaro and Mauro Pezzè},
title = {Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {449-448},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Pham, Tuan-Hung |
ESEC/FSE '13: "RADA: A Tool for Reasoning ..."
RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions
Tuan-Hung Pham and Michael W. Whalen (University of Minnesota, USA)
@InProceedings{ESEC/FSE13p649,
author = {Tuan-Hung Pham and Michael W. Whalen},
title = {RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {649-648},
doi = {},
year = {2013},
}
|
|
| Platenius, Marie Christin |
ESEC/FSE '13: "Fuzzy Service Matching in ..."
Fuzzy Service Matching in On-The-Fly Computing
Marie Christin Platenius (University of Paderborn, Germany)
@InProceedings{ESEC/FSE13p753,
author = {Marie Christin Platenius},
title = {Fuzzy Service Matching in On-The-Fly Computing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {753-752},
doi = {},
year = {2013},
}
|
|
| Popescu, Daniel |
ESEC/FSE '13: "Identifying Message Flow in ..."
Identifying Message Flow in Distributed Event-Based Systems
Joshua Garcia, Daniel Popescu, Gholamreza Safi, William G. J. Halfond, and Nenad Medvidovic (University of Southern California, USA)
@InProceedings{ESEC/FSE13p405,
author = {Joshua Garcia and Daniel Popescu and Gholamreza Safi and William G. J. Halfond and Nenad Medvidovic},
title = {Identifying Message Flow in Distributed Event-Based Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {405-404},
doi = {},
year = {2013},
}
|
|
| Poshyvanyk, Denys |
ESEC/FSE '13: "API Change and Fault Proneness: ..."
API Change and Fault Proneness: A Threat to the Success of Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Carlos Bernal-Cárdenas, Massimiliano Di Penta, Rocco Oliveto, and Denys Poshyvanyk (College of William and Mary, USA; University of Sannio, Italy; Universidad Nacional de Colombia, Colombia; University of Molise, Italy)
@InProceedings{ESEC/FSE13p515,
author = {Mario Linares-Vásquez and Gabriele Bavota and Carlos Bernal-Cárdenas and Massimiliano Di Penta and Rocco Oliveto and Denys Poshyvanyk},
title = {API Change and Fault Proneness: A Threat to the Success of Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {515-514},
doi = {},
year = {2013},
}
|
|
| Posnett, Daryl |
ESEC/FSE '13: "Sample Size vs. Bias in Defect ..."
Sample Size vs. Bias in Defect Prediction
Foyzur Rahman, Daryl Posnett, Israel Herraiz, and Premkumar Devanbu (UC Davis, USA; Universidad Politécnica de Madrid, Spain)
@InProceedings{ESEC/FSE13p185,
author = {Foyzur Rahman and Daryl Posnett and Israel Herraiz and Premkumar Devanbu},
title = {Sample Size vs. Bias in Defect Prediction},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {185-184},
doi = {},
year = {2013},
}
|
|
| Qiu, Dong |
ESEC/FSE '13: "An Empirical Analysis of the ..."
An Empirical Analysis of the Co-evolution of Schema and Code in Database Applications
Dong Qiu, Bixin Li, and Zhendong Su (Southeast University, China; UC Davis, USA)
@InProceedings{ESEC/FSE13p163,
author = {Dong Qiu and Bixin Li and Zhendong Su},
title = {An Empirical Analysis of the Co-evolution of Schema and Code in Database Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {163-162},
doi = {},
year = {2013},
}
|
|
| Rahman, Foyzur |
ESEC/FSE '13: "Sample Size vs. Bias in Defect ..."
Sample Size vs. Bias in Defect Prediction
Foyzur Rahman, Daryl Posnett, Israel Herraiz, and Premkumar Devanbu (UC Davis, USA; Universidad Politécnica de Madrid, Spain)
@InProceedings{ESEC/FSE13p185,
author = {Foyzur Rahman and Daryl Posnett and Israel Herraiz and Premkumar Devanbu},
title = {Sample Size vs. Bias in Defect Prediction},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {185-184},
doi = {},
year = {2013},
}
|
|
| Rajamani, Sriram K. |
ESEC/FSE '13: "Bayesian Inference using Data ..."
Bayesian Inference using Data Flow Analysis
Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, and Johannes Borgström (INRIA, France; Microsoft Research, India; Microsoft Research, UK; Uppsala University, Sweden)
@InProceedings{ESEC/FSE13p130,
author = {Guillaume Claret and Sriram K. Rajamani and Aditya V. Nori and Andrew D. Gordon and Johannes Borgström},
title = {Bayesian Inference using Data Flow Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {130-129},
doi = {},
year = {2013},
}
|
|
| Ramanathan, Murali Krishna |
ESEC/FSE '13: "Scalable and Incremental Software ..."
Scalable and Incremental Software Bug Detection
Scott McPeak, Charles-Henri Gros, and Murali Krishna Ramanathan (Coverity, USA; Indian Institute of Science, India)
@InProceedings{ESEC/FSE13p592,
author = {Scott McPeak and Charles-Henri Gros and Murali Krishna Ramanathan},
title = {Scalable and Incremental Software Bug Detection},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {592-591},
doi = {},
year = {2013},
}
|
|
| Razavi, Niloofar |
ESEC/FSE '13: "Con2colic Testing ..."
Con2colic Testing
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, and Helmut Veith (University of Toronto, Canada; Vienna University of Technology, Austria)
@InProceedings{ESEC/FSE13p75,
author = {Azadeh Farzan and Andreas Holzer and Niloofar Razavi and Helmut Veith},
title = {Con2colic Testing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {75-74},
doi = {},
year = {2013},
}
|
|
| Reichenbach, Christoph |
ESEC/FSE '13: "Second-Order Constraints in ..."
Second-Order Constraints in Dynamic Invariant Inference
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, and Michal Young (University of Massachusetts at Amherst, USA; Goethe University Frankfurt, Germany; University of Athens, Greece; University of Oregon, USA)
@InProceedings{ESEC/FSE13p141,
author = {Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Michal Young},
title = {Second-Order Constraints in Dynamic Invariant Inference},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {141-140},
doi = {},
year = {2013},
}
|
|
| Rempulsky, Nicolas |
ESEC/FSE '13: "h-ubu: An Industrial-Strength ..."
h-ubu: An Industrial-Strength Service-Oriented Component Framework for JavaScript Applications
Clement Escoffier, Philippe Lalanda, and Nicolas Rempulsky (Grenoble University, France; Ubidreams, France)
@InProceedings{ESEC/FSE13p737,
author = {Clement Escoffier and Philippe Lalanda and Nicolas Rempulsky},
title = {h-ubu: An Industrial-Strength Service-Oriented Component Framework for JavaScript Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {737-736},
doi = {},
year = {2013},
}
|
|
| Rigby, Peter C. |
ESEC/FSE '13: "Convergent Contemporary Software ..."
Convergent Contemporary Software Peer Review Practices
Peter C. Rigby and Christian Bird (Concordia University, Canada; Microsoft Research, USA)
@InProceedings{ESEC/FSE13p240,
author = {Peter C. Rigby and Christian Bird},
title = {Convergent Contemporary Software Peer Review Practices},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {240-239},
doi = {},
year = {2013},
}
|
|
| Rinetzky, Noam |
ESEC/FSE '13: "Tightfit: Adaptive Parallelization ..."
Tightfit: Adaptive Parallelization with Foresight
Omer Tripp and Noam Rinetzky (Tel Aviv University, Israel)
@InProceedings{ESEC/FSE13p207,
author = {Omer Tripp and Noam Rinetzky},
title = {Tightfit: Adaptive Parallelization with Foresight},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {207-206},
doi = {},
year = {2013},
}
|
|
| Ringert, Jan Oliver |
ESEC/FSE '13: "Synthesis of Component and ..."
Synthesis of Component and Connector Models from Crosscutting Structural Views
Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe (Tel Aviv University, Israel; RWTH Aachen University, Germany)
@InProceedings{ESEC/FSE13p482,
author = {Shahar Maoz and Jan Oliver Ringert and Bernhard Rumpe},
title = {Synthesis of Component and Connector Models from Crosscutting Structural Views},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {482-481},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Robillard, Martin P. |
ESEC/FSE '13: "Code Fragment Summarization ..."
Code Fragment Summarization
Annie T. T. Ying and Martin P. Robillard (McGill University, Canada)
@InProceedings{ESEC/FSE13p693,
author = {Annie T. T. Ying and Martin P. Robillard},
title = {Code Fragment Summarization},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {693-692},
doi = {},
year = {2013},
}
|
|
| Rosenblum, David S. |
ESEC/FSE '13: "Cascading Verification: An ..."
Cascading Verification: An Integrated Method for Domain-Specific Model Checking
Fokion Zervoudakis, David S. Rosenblum, Sebastian Elbaum, and Anthony Finkelstein (University College London, UK; National University of Singapore, Singapore; University of Nebraska-Lincoln, USA)
@InProceedings{ESEC/FSE13p438,
author = {Fokion Zervoudakis and David S. Rosenblum and Sebastian Elbaum and Anthony Finkelstein},
title = {Cascading Verification: An Integrated Method for Domain-Specific Model Checking},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {438-437},
doi = {},
year = {2013},
}
|
|
| Roth, Andreas |
ESEC/FSE '13: "Mining Behavior Models from ..."
Mining Behavior Models from Enterprise Web Applications
Matthias Schur, Andreas Roth, and Andreas Zeller (SAP, Germany; Saarland University, Germany)
@InProceedings{ESEC/FSE13p460,
author = {Matthias Schur and Andreas Roth and Andreas Zeller},
title = {Mining Behavior Models from Enterprise Web Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {460-459},
doi = {},
year = {2013},
}
|
|
| Roychoudhury, Abhik |
ESEC/FSE '13: "Regression Tests to Expose ..."
Regression Tests to Expose Change Interaction Errors
Marcel Böhme, Bruno C. d. S. Oliveira, and Abhik Roychoudhury (National University of Singapore, Singapore)
@InProceedings{ESEC/FSE13p372,
author = {Marcel Böhme and Bruno C. d. S. Oliveira and Abhik Roychoudhury},
title = {Regression Tests to Expose Change Interaction Errors},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {372-371},
doi = {},
year = {2013},
}
|
|
| Rubin, Julia |
ESEC/FSE '13: "N-Way Model Merging ..."
N-Way Model Merging
Julia Rubin and Marsha Chechik (IBM Research, Israel; University of Toronto, Canada)
@InProceedings{ESEC/FSE13p339,
author = {Julia Rubin and Marsha Chechik},
title = {N-Way Model Merging},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {339-338},
doi = {},
year = {2013},
}
|
|
| Rumpe, Bernhard |
ESEC/FSE '13: "Synthesis of Component and ..."
Synthesis of Component and Connector Models from Crosscutting Structural Views
Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe (Tel Aviv University, Israel; RWTH Aachen University, Germany)
@InProceedings{ESEC/FSE13p482,
author = {Shahar Maoz and Jan Oliver Ringert and Bernhard Rumpe},
title = {Synthesis of Component and Connector Models from Crosscutting Structural Views},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {482-481},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Sabetzadeh, Mehrdad |
ESEC/FSE '13: "RUBRIC: A Flexible Tool for ..."
RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates
Chetan Arora, Mehrdad Sabetzadeh, Lionel Briand, Frank Zimmer, and Raul Gnaga (University of Luxembourg, Luxembourg; SES TechCom, Luxembourg)
@InProceedings{ESEC/FSE13p637,
author = {Chetan Arora and Mehrdad Sabetzadeh and Lionel Briand and Frank Zimmer and Raul Gnaga},
title = {RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {637-636},
doi = {},
year = {2013},
}
|
|
| Safi, Gholamreza |
ESEC/FSE '13: "Identifying Message Flow in ..."
Identifying Message Flow in Distributed Event-Based Systems
Joshua Garcia, Daniel Popescu, Gholamreza Safi, William G. J. Halfond, and Nenad Medvidovic (University of Southern California, USA)
@InProceedings{ESEC/FSE13p405,
author = {Joshua Garcia and Daniel Popescu and Gholamreza Safi and William G. J. Halfond and Nenad Medvidovic},
title = {Identifying Message Flow in Distributed Event-Based Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {405-404},
doi = {},
year = {2013},
}
|
|
| Saha, Avigit K. |
ESEC/FSE '13: "Toward Understanding the Causes ..."
Toward Understanding the Causes of Unanswered Questions in Software Information Sites: A Case Study of Stack Overflow
Ripon K. Saha, Avigit K. Saha, and Dewayne E. Perry (University of Texas at Austin, USA; University of Saskatchewan, Canada)
@InProceedings{ESEC/FSE13p701,
author = {Ripon K. Saha and Avigit K. Saha and Dewayne E. Perry},
title = {Toward Understanding the Causes of Unanswered Questions in Software Information Sites: A Case Study of Stack Overflow},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {701-700},
doi = {},
year = {2013},
}
|
|
| Saha, Diptikalyan |
ESEC/FSE '13: "Distributed Program Tracing ..."
Distributed Program Tracing
Diptikalyan Saha, Pankaj Dhoolia, and Gaurab Paul (IBM Research, India; IIT Kharagpur, India)
@InProceedings{ESEC/FSE13p218,
author = {Diptikalyan Saha and Pankaj Dhoolia and Gaurab Paul},
title = {Distributed Program Tracing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {218-217},
doi = {},
year = {2013},
}
|
|
| Saha, Ripon K. |
ESEC/FSE '13: "Toward Understanding the Causes ..."
Toward Understanding the Causes of Unanswered Questions in Software Information Sites: A Case Study of Stack Overflow
Ripon K. Saha, Avigit K. Saha, and Dewayne E. Perry (University of Texas at Austin, USA; University of Saskatchewan, Canada)
@InProceedings{ESEC/FSE13p701,
author = {Ripon K. Saha and Avigit K. Saha and Dewayne E. Perry},
title = {Toward Understanding the Causes of Unanswered Questions in Software Information Sites: A Case Study of Stack Overflow},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {701-700},
doi = {},
year = {2013},
}
|
|
| Schäf, Martin |
ESEC/FSE '13: "Explaining Inconsistent Code ..."
Explaining Inconsistent Code
Martin Schäf, Daniel Schwartz-Narbonne, and Thomas Wies (United Nations University, China; New York University, USA)
@InProceedings{ESEC/FSE13p559,
author = {Martin Schäf and Daniel Schwartz-Narbonne and Thomas Wies},
title = {Explaining Inconsistent Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {559-558},
doi = {},
year = {2013},
}
|
|
| Schur, Matthias |
ESEC/FSE '13: "Mining Behavior Models from ..."
Mining Behavior Models from Enterprise Web Applications
Matthias Schur, Andreas Roth, and Andreas Zeller (SAP, Germany; Saarland University, Germany)
@InProceedings{ESEC/FSE13p460,
author = {Matthias Schur and Andreas Roth and Andreas Zeller},
title = {Mining Behavior Models from Enterprise Web Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {460-459},
doi = {},
year = {2013},
}
|
|
| Schwartz-Narbonne, Daniel |
ESEC/FSE '13: "Explaining Inconsistent Code ..."
Explaining Inconsistent Code
Martin Schäf, Daniel Schwartz-Narbonne, and Thomas Wies (United Nations University, China; New York University, USA)
@InProceedings{ESEC/FSE13p559,
author = {Martin Schäf and Daniel Schwartz-Narbonne and Thomas Wies},
title = {Explaining Inconsistent Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {559-558},
doi = {},
year = {2013},
}
|
|
| Sen, Koushik |
ESEC/FSE '13: "Jalangi: A Selective Record-Replay ..."
Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript
Koushik Sen, Swaroop Kalasapur, Tasneem Brutch, and Simon Gibbs (UC Berkeley, USA; Samsung Research, USA)
@InProceedings{ESEC/FSE13p526,
author = {Koushik Sen and Swaroop Kalasapur and Tasneem Brutch and Simon Gibbs},
title = {Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {526-525},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Jalangi: A Tool Framework ..."
Jalangi: A Tool Framework for Concolic Testing, Selective Record-Replay, and Dynamic Analysis of JavaScript
Koushik Sen, Swaroop Kalasapur, Tasneem Brutch, and Simon Gibbs (UC Berkeley, USA; Samsung Research, USA)
@InProceedings{ESEC/FSE13p653,
author = {Koushik Sen and Swaroop Kalasapur and Tasneem Brutch and Simon Gibbs},
title = {Jalangi: A Tool Framework for Concolic Testing, Selective Record-Replay, and Dynamic Analysis of JavaScript},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {653-652},
doi = {},
year = {2013},
}
|
|
| Sharma, Rahul |
ESEC/FSE '13: "Termination Proofs from Tests ..."
Termination Proofs from Tests
Aditya V. Nori and Rahul Sharma (Microsoft Research, India; Stanford University, USA)
@InProceedings{ESEC/FSE13p284,
author = {Aditya V. Nori and Rahul Sharma},
title = {Termination Proofs from Tests},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {284-283},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Differential Assertion Checking ..."
Differential Assertion Checking
Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, and Chris Hawblitzel (Microsoft Research, USA; Stanford University, USA)
@InProceedings{ESEC/FSE13p383,
author = {Shuvendu K. Lahiri and Kenneth L. McMillan and Rahul Sharma and Chris Hawblitzel},
title = {Differential Assertion Checking},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {383-382},
doi = {},
year = {2013},
}
|
|
| Shrotri, Ulka |
ESEC/FSE '13: "Precise Range Analysis on ..."
Precise Range Analysis on Large Industry Code
Shrawan Kumar, Bharti Chimdyalwar, and Ulka Shrotri (Tata Consultancy Services, India)
@InProceedings{ESEC/FSE13p713,
author = {Shrawan Kumar and Bharti Chimdyalwar and Ulka Shrotri},
title = {Precise Range Analysis on Large Industry Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {713-712},
doi = {},
year = {2013},
}
|
|
| Silic, Marin |
ESEC/FSE '13: "Prediction of Atomic Web Services ..."
Prediction of Atomic Web Services Reliability Based on K-Means Clustering
Marin Silic, Goran Delac, and Sinisa Srbljic (University of Zagreb, Croatia)
@InProceedings{ESEC/FSE13p108,
author = {Marin Silic and Goran Delac and Sinisa Srbljic},
title = {Prediction of Atomic Web Services Reliability Based on K-Means Clustering},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {108-107},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Sinha, Nishant |
ESEC/FSE '13: "Compiling Mockups to Flexible ..."
Compiling Mockups to Flexible UIs
Nishant Sinha and Rezwana Karim (IBM Research, India; Rutgers University, USA)
@InProceedings{ESEC/FSE13p350,
author = {Nishant Sinha and Rezwana Karim},
title = {Compiling Mockups to Flexible UIs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {350-349},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Smaragdakis, Yannis |
ESEC/FSE '13: "Second-Order Constraints in ..."
Second-Order Constraints in Dynamic Invariant Inference
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, and Michal Young (University of Massachusetts at Amherst, USA; Goethe University Frankfurt, Germany; University of Athens, Greece; University of Oregon, USA)
@InProceedings{ESEC/FSE13p141,
author = {Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Michal Young},
title = {Second-Order Constraints in Dynamic Invariant Inference},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {141-140},
doi = {},
year = {2013},
}
|
|
| Song, Fu |
ESEC/FSE '13: "PoMMaDe: Pushdown Model-Checking ..."
PoMMaDe: Pushdown Model-Checking for Malware Detection
Fu Song and Tayssir Touili (East China Normal University, China; CNRS, France; University Paris Diderot, France)
@InProceedings{ESEC/FSE13p645,
author = {Fu Song and Tayssir Touili},
title = {PoMMaDe: Pushdown Model-Checking for Malware Detection},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {645-644},
doi = {},
year = {2013},
}
|
|
| Song, Xiaoyu |
ESEC/FSE '13: "System Reliability Calculation ..."
System Reliability Calculation Based on the Run-Time Analysis of Ladder Program
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA)
@InProceedings{ESEC/FSE13p733,
author = {Yu Jiang and Hehua Zhang and Han Liu and Xiaoyu Song and William N. N. Hung and Ming Gu and Jiaguang Sun},
title = {System Reliability Calculation Based on the Run-Time Analysis of Ladder Program},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {733-732},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Design and Optimization of ..."
Design and Optimization of Multi-clocked Embedded Systems using Formal Technique
Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA)
@InProceedings{ESEC/FSE13p741,
author = {Yu Jiang and Zonghui Li and Hehua Zhang and Yangdong Deng and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {Design and Optimization of Multi-clocked Embedded Systems using Formal Technique},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {741-740},
doi = {},
year = {2013},
}
|
|
| Souto, Sabrina |
ESEC/FSE '13: "SPLat: Lightweight Dynamic ..."
SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems
Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don Batory, Sabrina Souto, Paulo Barros, and Marcelo d'Amorim (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA; Groupon, USA; Federal University of Pernambuco, Brazil)
@InProceedings{ESEC/FSE13p295,
author = {Chang Hwan Peter Kim and Darko Marinov and Sarfraz Khurshid and Don Batory and Sabrina Souto and Paulo Barros and Marcelo d'Amorim},
title = {SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {295-294},
doi = {},
year = {2013},
}
|
|
| Srbljic, Sinisa |
ESEC/FSE '13: "Prediction of Atomic Web Services ..."
Prediction of Atomic Web Services Reliability Based on K-Means Clustering
Marin Silic, Goran Delac, and Sinisa Srbljic (University of Zagreb, Croatia)
@InProceedings{ESEC/FSE13p108,
author = {Marin Silic and Goran Delac and Sinisa Srbljic},
title = {Prediction of Atomic Web Services Reliability Based on K-Means Clustering},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {108-107},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Stahlbauer, Andreas |
ESEC/FSE '13: "Precision Reuse for Efficient ..."
Precision Reuse for Efficient Regression Verification
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, and Philipp Wendler (University of Passau, Germany; ISP RAS, Russia)
@InProceedings{ESEC/FSE13p427,
author = {Dirk Beyer and Stefan Löwe and Evgeny Novikov and Andreas Stahlbauer and Philipp Wendler},
title = {Precision Reuse for Efficient Regression Verification},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {427-426},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Su, Zhendong |
ESEC/FSE '13: "An Empirical Analysis of the ..."
An Empirical Analysis of the Co-evolution of Schema and Code in Database Applications
Dong Qiu, Bixin Li, and Zhendong Su (Southeast University, China; UC Davis, USA)
@InProceedings{ESEC/FSE13p163,
author = {Dong Qiu and Bixin Li and Zhendong Su},
title = {An Empirical Analysis of the Co-evolution of Schema and Code in Database Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {163-162},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Server Interface Descriptions ..."
Server Interface Descriptions for Automated Testing of JavaScript Web Applications
Casper S. Jensen, Anders Møller, and Zhendong Su (Aarhus University, Denmark; UC Davis, USA)
@InProceedings{ESEC/FSE13p548,
author = {Casper S. Jensen and Anders Møller and Zhendong Su},
title = {Server Interface Descriptions for Automated Testing of JavaScript Web Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {548-547},
doi = {},
year = {2013},
}
|
|
| Succi, Giancarlo |
ESEC/FSE '13: "Empirical Answers to Fundamental ..."
Empirical Answers to Fundamental Software Engineering Problems (Panel)
Bertrand Meyer, Harald Gall, Mark Harman, and Giancarlo Succi (ETH Zurich, Switzerland; ITMO, Russia; Eiffel Software, USA; University of Zurich, Switzerland; University College London, UK; Microsoft Research, UK; Free University of Bozen, Italy)
@InProceedings{ESEC/FSE13p34,
author = {Bertrand Meyer and Harald Gall and Mark Harman and Giancarlo Succi},
title = {Empirical Answers to Fundamental Software Engineering Problems (Panel)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2013},
}
|
|
| Sun, Chengnian |
ESEC/FSE '13: "Mining Succinct Predicated ..."
Mining Succinct Predicated Bug Signatures
Chengnian Sun and Siau-Cheng Khoo (National University of Singapore, Singapore)
@InProceedings{ESEC/FSE13p614,
author = {Chengnian Sun and Siau-Cheng Khoo},
title = {Mining Succinct Predicated Bug Signatures},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {614-613},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Sun, Jiaguang |
ESEC/FSE '13: "System Reliability Calculation ..."
System Reliability Calculation Based on the Run-Time Analysis of Ladder Program
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA)
@InProceedings{ESEC/FSE13p733,
author = {Yu Jiang and Hehua Zhang and Han Liu and Xiaoyu Song and William N. N. Hung and Ming Gu and Jiaguang Sun},
title = {System Reliability Calculation Based on the Run-Time Analysis of Ladder Program},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {733-732},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Design and Optimization of ..."
Design and Optimization of Multi-clocked Embedded Systems using Formal Technique
Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA)
@InProceedings{ESEC/FSE13p741,
author = {Yu Jiang and Zonghui Li and Hehua Zhang and Yangdong Deng and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {Design and Optimization of Multi-clocked Embedded Systems using Formal Technique},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {741-740},
doi = {},
year = {2013},
}
|
|
| Sun, Jun |
ESEC/FSE '13: "USMMC: A Self-Contained Model ..."
USMMC: A Self-Contained Model Checker for UML State Machines
Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, and Jin Song Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore)
@InProceedings{ESEC/FSE13p661,
author = {Shuang Liu and Yang Liu and Jun Sun and Manchun Zheng and Bimlesh Wadhwa and Jin Song Dong},
title = {USMMC: A Self-Contained Model Checker for UML State Machines},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {661-660},
doi = {},
year = {2013},
}
|
|
| Tahiliani, Rohan |
ESEC/FSE '13: "Dynodroid: An Input Generation ..."
Dynodroid: An Input Generation System for Android Apps
Aravind Machiry, Rohan Tahiliani, and Mayur Naik (Georgia Tech, USA)
@InProceedings{ESEC/FSE13p262,
author = {Aravind Machiry and Rohan Tahiliani and Mayur Naik},
title = {Dynodroid: An Input Generation System for Android Apps},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {262-261},
doi = {},
year = {2013},
}
Distinguished Artifact
|
|
| Tamburrelli, Giordano |
ESEC/FSE '13: "Understanding Gamification ..."
Understanding Gamification Mechanisms for Software Development
Daniel J. Dubois and Giordano Tamburrelli (Massachusetts Institute of Technology, USA; University of Lugano, Switzerland)
@InProceedings{ESEC/FSE13p697,
author = {Daniel J. Dubois and Giordano Tamburrelli},
title = {Understanding Gamification Mechanisms for Software Development},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {697-696},
doi = {},
year = {2013},
}
|
|
| Tang, Yang |
ESEC/FSE '13: "Effective Dynamic Detection ..."
Effective Dynamic Detection of Alias Analysis Errors
Jingyue Wu, Gang Hu, Yang Tang, and Junfeng Yang (Columbia University, USA)
@InProceedings{ESEC/FSE13p317,
author = {Jingyue Wu and Gang Hu and Yang Tang and Junfeng Yang},
title = {Effective Dynamic Detection of Alias Analysis Errors},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {317-316},
doi = {},
year = {2013},
}
|
|
| Terekhov, Andrey |
ESEC/FSE '13: "Good Technology Makes the ..."
Good Technology Makes the Difficult Task Easy
Andrey Terekhov (Saint-Petersburg State University, Russia)
@InProceedings{ESEC/FSE13p721,
author = {Andrey Terekhov},
title = {Good Technology Makes the Difficult Task Easy},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {721-720},
doi = {},
year = {2013},
}
|
|
| Tikhonova, Ulyana |
ESEC/FSE '13: "A Framework for Defining the ..."
A Framework for Defining the Dynamic Semantics of DSLs
Ulyana Tikhonova (Eindhoven University of Technology, Netherlands)
@InProceedings{ESEC/FSE13p773,
author = {Ulyana Tikhonova},
title = {A Framework for Defining the Dynamic Semantics of DSLs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {773-772},
doi = {},
year = {2013},
}
|
|
| Tivoli, Massimo |
ESEC/FSE '13: "Producing Software by Integration: ..."
Producing Software by Integration: Challenges and Research Directions (Keynote)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, and Massimo Tivoli (University of l'Aquila, Italy)
@InProceedings{ESEC/FSE13p12,
author = {Paola Inverardi and Marco Autili and Davide Di Ruscio and Patrizio Pelliccione and Massimo Tivoli},
title = {Producing Software by Integration: Challenges and Research Directions (Keynote)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2013},
}
|
|
| Tonella, Paolo |
ESEC/FSE '13: "Automated Oracles: An Empirical ..."
Automated Oracles: An Empirical Study on Cost and Effectiveness
Cu D. Nguyen, Alessandro Marchetto, and Paolo Tonella (Fondazione Bruno Kessler, Italy)
@InProceedings{ESEC/FSE13p174,
author = {Cu D. Nguyen and Alessandro Marchetto and Paolo Tonella},
title = {Automated Oracles: An Empirical Study on Cost and Effectiveness},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {174-173},
doi = {},
year = {2013},
}
|
|
| Touili, Tayssir |
ESEC/FSE '13: "PoMMaDe: Pushdown Model-Checking ..."
PoMMaDe: Pushdown Model-Checking for Malware Detection
Fu Song and Tayssir Touili (East China Normal University, China; CNRS, France; University Paris Diderot, France)
@InProceedings{ESEC/FSE13p645,
author = {Fu Song and Tayssir Touili},
title = {PoMMaDe: Pushdown Model-Checking for Malware Detection},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {645-644},
doi = {},
year = {2013},
}
|
|
| Tripp, Omer |
ESEC/FSE '13: "Tightfit: Adaptive Parallelization ..."
Tightfit: Adaptive Parallelization with Foresight
Omer Tripp and Noam Rinetzky (Tel Aviv University, Israel)
@InProceedings{ESEC/FSE13p207,
author = {Omer Tripp and Noam Rinetzky},
title = {Tightfit: Adaptive Parallelization with Foresight},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {207-206},
doi = {},
year = {2013},
}
|
|
| Valetto, Giuseppe |
ESEC/FSE '13: "Do All Task Dependencies Require ..."
Do All Task Dependencies Require Coordination? The Role of Task Properties in Identifying Critical Coordination Needs in Software Projects
Kelly Blincoe, Giuseppe Valetto, and Daniela Damian (Drexel University, USA; University of Victoria, Canada)
@InProceedings{ESEC/FSE13p251,
author = {Kelly Blincoe and Giuseppe Valetto and Daniela Damian},
title = {Do All Task Dependencies Require Coordination? The Role of Task Properties in Identifying Critical Coordination Needs in Software Projects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {251-250},
doi = {},
year = {2013},
}
|
|
| Vardi, Moshe Y. |
ESEC/FSE '13: "A Logical Revolution (Keynote) ..."
A Logical Revolution (Keynote)
Moshe Y. Vardi (Rice University, USA)
@InProceedings{ESEC/FSE13p1,
author = {Moshe Y. Vardi},
title = {A Logical Revolution (Keynote)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2013},
}
ESEC/FSE '13: "A Publication Culture in Software ..."
A Publication Culture in Software Engineering (Panel)
Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, and Moshe Y. Vardi (CISCO, USA; Politecnico di Milano, Italy; DePaul University, USA; ETH Zurich, Switzerland; Microsoft Research, UK; University of L’Aquila, USA; Rice University, USA)
@InProceedings{ESEC/FSE13p44,
author = {Steven Fraser and Luciano Baresi and Jane Cleland-Huang and Carlo A. Furia and Georges Gonthier and Paola Inverardi and Moshe Y. Vardi},
title = {A Publication Culture in Software Engineering (Panel)},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {44-43},
doi = {},
year = {2013},
}
|
|
| Veith, Helmut |
ESEC/FSE '13: "Con2colic Testing ..."
Con2colic Testing
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, and Helmut Veith (University of Toronto, Canada; Vienna University of Technology, Austria)
@InProceedings{ESEC/FSE13p75,
author = {Azadeh Farzan and Andreas Holzer and Niloofar Razavi and Helmut Veith},
title = {Con2colic Testing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {75-74},
doi = {},
year = {2013},
}
|
|
| Venieris, Ricardo |
ESEC/FSE '13: "RSA-MBT: A Test Tool for Generating ..."
RSA-MBT: A Test Tool for Generating Test Artifacts Based on Models
Andrew Diniz da Costa, Ricardo Venieris, Gustavo Carvalho, and Carlos José Pereira de Lucena (PUC-Rio, Brazil)
@InProceedings{ESEC/FSE13p657,
author = {Andrew Diniz da Costa and Ricardo Venieris and Gustavo Carvalho and Carlos José Pereira de Lucena},
title = {RSA-MBT: A Test Tool for Generating Test Artifacts Based on Models},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {657-656},
doi = {},
year = {2013},
}
|
|
| Vogel, Bahtijar |
ESEC/FSE '13: "Towards Open Architecture ..."
Towards Open Architecture System
Bahtijar Vogel (Linnaeus University, Sweden)
@InProceedings{ESEC/FSE13p769,
author = {Bahtijar Vogel},
title = {Towards Open Architecture System},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {769-768},
doi = {},
year = {2013},
}
|
|
| Von Rhein, Alexander |
ESEC/FSE '13: "Scalable Analysis of Variable ..."
Scalable Analysis of Variable Software
Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, and Christian Lengauer (University of Passau, Germany; CMU, USA)
@InProceedings{ESEC/FSE13p119,
author = {Jörg Liebig and Alexander von Rhein and Christian Kästner and Sven Apel and Jens Dörre and Christian Lengauer},
title = {Scalable Analysis of Variable Software},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {119-118},
doi = {},
year = {2013},
}
|
|
| Wadhwa, Bimlesh |
ESEC/FSE '13: "USMMC: A Self-Contained Model ..."
USMMC: A Self-Contained Model Checker for UML State Machines
Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, and Jin Song Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore)
@InProceedings{ESEC/FSE13p661,
author = {Shuang Liu and Yang Liu and Jun Sun and Manchun Zheng and Bimlesh Wadhwa and Jin Song Dong},
title = {USMMC: A Self-Contained Model Checker for UML State Machines},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {661-660},
doi = {},
year = {2013},
}
|
|
| Wadsworth, Scott |
ESEC/FSE '13: "Will You Still Compile Me ..."
Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation
Chris Hawblitzel, Shuvendu K. Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, and Scott Wadsworth (Microsoft, USA)
@InProceedings{ESEC/FSE13p229,
author = {Chris Hawblitzel and Shuvendu K. Lahiri and Kshama Pawar and Hammad Hashmi and Sedar Gokbulut and Lakshan Fernando and Dave Detlefs and Scott Wadsworth},
title = {Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {229-228},
doi = {},
year = {2013},
}
|
|
| Wang, Haisheng |
ESEC/FSE '13: "Preventing Database Deadlocks ..."
Preventing Database Deadlocks in Applications
Mark Grechanik, B. M. Mainul Hossain, Ugo Buy, and Haisheng Wang (University of Illinois at Chicago, USA; Oracle, USA)
@InProceedings{ESEC/FSE13p394,
author = {Mark Grechanik and B. M. Mainul Hossain and Ugo Buy and Haisheng Wang},
title = {Preventing Database Deadlocks in Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {394-393},
doi = {},
year = {2013},
}
ESEC/FSE '13: "REDACT: Preventing Database ..."
REDACT: Preventing Database Deadlocks from Application-Based Transactions
B. M. Mainul Hossain, Mark Grechanik, Ugo Buy, and Haisheng Wang (University of Illinois at Chicago, USA; Oracle, USA)
@InProceedings{ESEC/FSE13p629,
author = {B. M. Mainul Hossain and Mark Grechanik and Ugo Buy and Haisheng Wang},
title = {REDACT: Preventing Database Deadlocks from Application-Based Transactions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {629-628},
doi = {},
year = {2013},
}
|
|
| Wang, Qi |
ESEC/FSE '13: "Extracting URLs from JavaScript ..."
Extracting URLs from JavaScript via Program Analysis
Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, and Jianjun Zhao (Shanghai Jiao Tong University, China; Cornell University, USA)
@InProceedings{ESEC/FSE13p665,
author = {Qi Wang and Jingyu Zhou and Yuting Chen and Yizhou Zhang and Jianjun Zhao},
title = {Extracting URLs from JavaScript via Program Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {665-664},
doi = {},
year = {2013},
}
|
|
| Wang, Qianxiang |
ESEC/FSE '13: "Inferring Project-Specific ..."
Inferring Project-Specific Bug Patterns for Detecting Sibling Bugs
Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei (Peking University, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE13p603,
author = {Guangtai Liang and Qianxiang Wang and Tao Xie and Hong Mei},
title = {Inferring Project-Specific Bug Patterns for Detecting Sibling Bugs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {603-602},
doi = {},
year = {2013},
}
|
|
| Wang, Tiantian |
ESEC/FSE '13: "Searching for Better Configurations: ..."
Searching for Better Configurations: A Rigorous Approach to Clone Evaluation
Tiantian Wang, Mark Harman, Yue Jia, and Jens Krinke (Harbin Institute of Technology, China; University College London, UK)
@InProceedings{ESEC/FSE13p493,
author = {Tiantian Wang and Mark Harman and Yue Jia and Jens Krinke},
title = {Searching for Better Configurations: A Rigorous Approach to Clone Evaluation},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {493-492},
doi = {},
year = {2013},
}
|
|
| Watanabe, Konosuke |
ESEC/FSE '13: "ShAir: Extensible Middleware ..."
ShAir: Extensible Middleware for Mobile Peer-to-Peer Resource Sharing
Daniel J. Dubois, Yosuke Bando, Konosuke Watanabe, and Henry Holtzman (Massachusetts Institute of Technology, USA; Toshiba, Japan)
@InProceedings{ESEC/FSE13p725,
author = {Daniel J. Dubois and Yosuke Bando and Konosuke Watanabe and Henry Holtzman},
title = {ShAir: Extensible Middleware for Mobile Peer-to-Peer Resource Sharing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {725-724},
doi = {},
year = {2013},
}
|
|
| Wendler, Philipp |
ESEC/FSE '13: "Precision Reuse for Efficient ..."
Precision Reuse for Efficient Regression Verification
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, and Philipp Wendler (University of Passau, Germany; ISP RAS, Russia)
@InProceedings{ESEC/FSE13p427,
author = {Dirk Beyer and Stefan Löwe and Evgeny Novikov and Andreas Stahlbauer and Philipp Wendler},
title = {Precision Reuse for Efficient Regression Verification},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {427-426},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Whalen, Michael W. |
ESEC/FSE '13: "RADA: A Tool for Reasoning ..."
RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions
Tuan-Hung Pham and Michael W. Whalen (University of Minnesota, USA)
@InProceedings{ESEC/FSE13p649,
author = {Tuan-Hung Pham and Michael W. Whalen},
title = {RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {649-648},
doi = {},
year = {2013},
}
|
|
| Wies, Thomas |
ESEC/FSE '13: "Explaining Inconsistent Code ..."
Explaining Inconsistent Code
Martin Schäf, Daniel Schwartz-Narbonne, and Thomas Wies (United Nations University, China; New York University, USA)
@InProceedings{ESEC/FSE13p559,
author = {Martin Schäf and Daniel Schwartz-Narbonne and Thomas Wies},
title = {Explaining Inconsistent Code},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {559-558},
doi = {},
year = {2013},
}
|
|
| Wong, Peter Y. H. |
ESEC/FSE '13: "aPET: A Test Case Generation ..."
aPET: A Test Case Generation Tool for Concurrent Objects
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, and Peter Y. H. Wong (Complutense University of Madrid, Spain; SLD Fredhopper, Netherlands)
@InProceedings{ESEC/FSE13p633,
author = {Elvira Albert and Puri Arenas and Miguel Gómez-Zamalloa and Peter Y. H. Wong},
title = {aPET: A Test Case Generation Tool for Concurrent Objects},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {633-632},
doi = {},
year = {2013},
}
|
|
| Wu, Jingyue |
ESEC/FSE '13: "Effective Dynamic Detection ..."
Effective Dynamic Detection of Alias Analysis Errors
Jingyue Wu, Gang Hu, Yang Tang, and Junfeng Yang (Columbia University, USA)
@InProceedings{ESEC/FSE13p317,
author = {Jingyue Wu and Gang Hu and Yang Tang and Junfeng Yang},
title = {Effective Dynamic Detection of Alias Analysis Errors},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {317-316},
doi = {},
year = {2013},
}
|
|
| Wu, Wallace |
ESEC/FSE '13: "RiTHM: A Tool for Enabling ..."
RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs
Samaneh Navabpour, Yogi Joshi, Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, and Sebastian Fischmeister (University of Waterloo, Canada)
@InProceedings{ESEC/FSE13p641,
author = {Samaneh Navabpour and Yogi Joshi and Wallace Wu and Shay Berkovich and Ramy Medhat and Borzoo Bonakdarpour and Sebastian Fischmeister},
title = {RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {641-640},
doi = {},
year = {2013},
}
|
|
| Xie, Tao |
ESEC/FSE '13: "Inferring Project-Specific ..."
Inferring Project-Specific Bug Patterns for Detecting Sibling Bugs
Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei (Peking University, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ESEC/FSE13p603,
author = {Guangtai Liang and Qianxiang Wang and Tao Xie and Hong Mei},
title = {Inferring Project-Specific Bug Patterns for Detecting Sibling Bugs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {603-602},
doi = {},
year = {2013},
}
|
|
| Xu, Guoqing |
ESEC/FSE '13: "Cachetor: Detecting Cacheable ..."
Cachetor: Detecting Cacheable Data to Remove Bloat
Khanh Nguyen and Guoqing Xu (UC Irvine, USA)
@InProceedings{ESEC/FSE13p306,
author = {Khanh Nguyen and Guoqing Xu},
title = {Cachetor: Detecting Cacheable Data to Remove Bloat},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {306-305},
doi = {},
year = {2013},
}
|
|
| Yang, Junfeng |
ESEC/FSE '13: "Effective Dynamic Detection ..."
Effective Dynamic Detection of Alias Analysis Errors
Jingyue Wu, Gang Hu, Yang Tang, and Junfeng Yang (Columbia University, USA)
@InProceedings{ESEC/FSE13p317,
author = {Jingyue Wu and Gang Hu and Yang Tang and Junfeng Yang},
title = {Effective Dynamic Detection of Alias Analysis Errors},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {317-316},
doi = {},
year = {2013},
}
|
|
| Ying, Annie T. T. |
ESEC/FSE '13: "Code Fragment Summarization ..."
Code Fragment Summarization
Annie T. T. Ying and Martin P. Robillard (McGill University, Canada)
@InProceedings{ESEC/FSE13p693,
author = {Annie T. T. Ying and Martin P. Robillard},
title = {Code Fragment Summarization},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {693-692},
doi = {},
year = {2013},
}
|
|
| Yoo, Shin |
ESEC/FSE '13: "Efficiency and Early Fault ..."
Efficiency and Early Fault Detection with Lower and Higher Strength Combinatorial Interaction Testing
Justyna Petke, Shin Yoo, Myra B. Cohen, and Mark Harman (University College London, UK; University of Nebraska-Lincoln, USA)
@InProceedings{ESEC/FSE13p64,
author = {Justyna Petke and Shin Yoo and Myra B. Cohen and Mark Harman},
title = {Efficiency and Early Fault Detection with Lower and Higher Strength Combinatorial Interaction Testing},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {64-63},
doi = {},
year = {2013},
}
|
|
| Young, Michal |
ESEC/FSE '13: "Second-Order Constraints in ..."
Second-Order Constraints in Dynamic Invariant Inference
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, and Michal Young (University of Massachusetts at Amherst, USA; Goethe University Frankfurt, Germany; University of Athens, Greece; University of Oregon, USA)
@InProceedings{ESEC/FSE13p141,
author = {Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Michal Young},
title = {Second-Order Constraints in Dynamic Invariant Inference},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {141-140},
doi = {},
year = {2013},
}
|
|
| Zeller, Andreas |
ESEC/FSE '13: "Mining Behavior Models from ..."
Mining Behavior Models from Enterprise Web Applications
Matthias Schur, Andreas Roth, and Andreas Zeller (SAP, Germany; Saarland University, Germany)
@InProceedings{ESEC/FSE13p460,
author = {Matthias Schur and Andreas Roth and Andreas Zeller},
title = {Mining Behavior Models from Enterprise Web Applications},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {460-459},
doi = {},
year = {2013},
}
|
|
| Zervoudakis, Fokion |
ESEC/FSE '13: "Cascading Verification: An ..."
Cascading Verification: An Integrated Method for Domain-Specific Model Checking
Fokion Zervoudakis, David S. Rosenblum, Sebastian Elbaum, and Anthony Finkelstein (University College London, UK; National University of Singapore, Singapore; University of Nebraska-Lincoln, USA)
@InProceedings{ESEC/FSE13p438,
author = {Fokion Zervoudakis and David S. Rosenblum and Sebastian Elbaum and Anthony Finkelstein},
title = {Cascading Verification: An Integrated Method for Domain-Specific Model Checking},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {438-437},
doi = {},
year = {2013},
}
|
|
| Zhang, Charles |
ESEC/FSE '13: "Finding Incorrect Compositions ..."
Finding Incorrect Compositions of Atomicity
Peng Liu, Julian Dolby, and Charles Zhang (Hong Kong University of Science and Technology, China; IBM Research, USA)
@InProceedings{ESEC/FSE13p196,
author = {Peng Liu and Julian Dolby and Charles Zhang},
title = {Finding Incorrect Compositions of Atomicity},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {196-195},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Zhang, Hehua |
ESEC/FSE '13: "System Reliability Calculation ..."
System Reliability Calculation Based on the Run-Time Analysis of Ladder Program
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA)
@InProceedings{ESEC/FSE13p733,
author = {Yu Jiang and Hehua Zhang and Han Liu and Xiaoyu Song and William N. N. Hung and Ming Gu and Jiaguang Sun},
title = {System Reliability Calculation Based on the Run-Time Analysis of Ladder Program},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {733-732},
doi = {},
year = {2013},
}
ESEC/FSE '13: "Design and Optimization of ..."
Design and Optimization of Multi-clocked Embedded Systems using Formal Technique
Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; Portland State University, USA)
@InProceedings{ESEC/FSE13p741,
author = {Yu Jiang and Zonghui Li and Hehua Zhang and Yangdong Deng and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {Design and Optimization of Multi-clocked Embedded Systems using Formal Technique},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {741-740},
doi = {},
year = {2013},
}
|
|
| Zhang, Hongyu |
ESEC/FSE '13: "A Cost-Effectiveness Criterion ..."
A Cost-Effectiveness Criterion for Applying Software Defect Prediction Models
Hongyu Zhang and S. C. Cheung (Tsinghua University, China; ISCAS, China; Hong Kong University of Science and Technology, China)
@InProceedings{ESEC/FSE13p681,
author = {Hongyu Zhang and S. C. Cheung},
title = {A Cost-Effectiveness Criterion for Applying Software Defect Prediction Models},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {681-680},
doi = {},
year = {2013},
}
ESEC/FSE '13: "BugMap: A Topographic Map ..."
BugMap: A Topographic Map of Bugs
Jiangtao Gong and Hongyu Zhang (Tsinghua University, China; ISCAS, China)
@InProceedings{ESEC/FSE13p685,
author = {Jiangtao Gong and Hongyu Zhang},
title = {BugMap: A Topographic Map of Bugs},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {685-684},
doi = {},
year = {2013},
}
|
|
| Zhang, Xiangyu |
ESEC/FSE '13: "Z3-str: A Z3-Based String ..."
Z3-str: A Z3-Based String Solver for Web Application Analysis
Yunhui Zheng, Xiangyu Zhang, and Vijay Ganesh (Purdue University, USA; University of Waterloo, Canada)
@InProceedings{ESEC/FSE13p152,
author = {Yunhui Zheng and Xiangyu Zhang and Vijay Ganesh},
title = {Z3-str: A Z3-Based String Solver for Web Application Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {152-151},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Zhang, Yizhou |
ESEC/FSE '13: "Extracting URLs from JavaScript ..."
Extracting URLs from JavaScript via Program Analysis
Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, and Jianjun Zhao (Shanghai Jiao Tong University, China; Cornell University, USA)
@InProceedings{ESEC/FSE13p665,
author = {Qi Wang and Jingyu Zhou and Yuting Chen and Yizhou Zhang and Jianjun Zhao},
title = {Extracting URLs from JavaScript via Program Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {665-664},
doi = {},
year = {2013},
}
|
|
| Zhao, Jianjun |
ESEC/FSE '13: "Extracting URLs from JavaScript ..."
Extracting URLs from JavaScript via Program Analysis
Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, and Jianjun Zhao (Shanghai Jiao Tong University, China; Cornell University, USA)
@InProceedings{ESEC/FSE13p665,
author = {Qi Wang and Jingyu Zhou and Yuting Chen and Yizhou Zhang and Jianjun Zhao},
title = {Extracting URLs from JavaScript via Program Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {665-664},
doi = {},
year = {2013},
}
|
|
| Zheng, Manchun |
ESEC/FSE '13: "USMMC: A Self-Contained Model ..."
USMMC: A Self-Contained Model Checker for UML State Machines
Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, and Jin Song Dong (National University of Singapore, Singapore; Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore)
@InProceedings{ESEC/FSE13p661,
author = {Shuang Liu and Yang Liu and Jun Sun and Manchun Zheng and Bimlesh Wadhwa and Jin Song Dong},
title = {USMMC: A Self-Contained Model Checker for UML State Machines},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {661-660},
doi = {},
year = {2013},
}
|
|
| Zheng, Yunhui |
ESEC/FSE '13: "Z3-str: A Z3-Based String ..."
Z3-str: A Z3-Based String Solver for Web Application Analysis
Yunhui Zheng, Xiangyu Zhang, and Vijay Ganesh (Purdue University, USA; University of Waterloo, Canada)
@InProceedings{ESEC/FSE13p152,
author = {Yunhui Zheng and Xiangyu Zhang and Vijay Ganesh},
title = {Z3-str: A Z3-Based String Solver for Web Application Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {152-151},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Zhou, Jingyu |
ESEC/FSE '13: "Extracting URLs from JavaScript ..."
Extracting URLs from JavaScript via Program Analysis
Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, and Jianjun Zhao (Shanghai Jiao Tong University, China; Cornell University, USA)
@InProceedings{ESEC/FSE13p665,
author = {Qi Wang and Jingyu Zhou and Yuting Chen and Yizhou Zhang and Jianjun Zhao},
title = {Extracting URLs from JavaScript via Program Analysis},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {665-664},
doi = {},
year = {2013},
}
|
|
| Zimmer, Frank |
ESEC/FSE '13: "RUBRIC: A Flexible Tool for ..."
RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates
Chetan Arora, Mehrdad Sabetzadeh, Lionel Briand, Frank Zimmer, and Raul Gnaga (University of Luxembourg, Luxembourg; SES TechCom, Luxembourg)
@InProceedings{ESEC/FSE13p637,
author = {Chetan Arora and Mehrdad Sabetzadeh and Lionel Briand and Frank Zimmer and Raul Gnaga},
title = {RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {637-636},
doi = {},
year = {2013},
}
|
|
| Zimmermann, Thomas |
ESEC/FSE '13: "Diversity in Software Engineering ..."
Diversity in Software Engineering Research
Meiyappan Nagappan, Thomas Zimmermann, and Christian Bird (Queen’s University, Canada; Microsoft Research, USA)
@InProceedings{ESEC/FSE13p504,
author = {Meiyappan Nagappan and Thomas Zimmermann and Christian Bird},
title = {Diversity in Software Engineering Research},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {504-503},
doi = {},
year = {2013},
}
Artifact Accepted for Presentation
|
|
| Zisman, Andrea |
ESEC/FSE '13: "Improving Trace Accuracy through ..."
Improving Trace Accuracy through Data-Driven Configuration and Composition of Tracing Features
Sugandha Lohar, Sorawit Amornborvornwong, Andrea Zisman, and Jane Cleland-Huang (DePaul University, USA; Open University, UK)
@InProceedings{ESEC/FSE13p416,
author = {Sugandha Lohar and Sorawit Amornborvornwong and Andrea Zisman and Jane Cleland-Huang},
title = {Improving Trace Accuracy through Data-Driven Configuration and Composition of Tracing Features},
booktitle = {Proc.\ ESEC/FSE},
publisher = {ACM},
pages = {416-415},
doi = {},
year = {2013},
}
|
318 authors
proc time: 1.23