| |
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},
}
Article: fse13main-id221-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid8-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id121-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id145-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid8-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13tools-tid6-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13keynotes-k2-p (type: Keynote (up to 10+1 pages)) doi:
|
| |
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},
}
Article: fse13industrial-ind20-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13panels-p2-p (type: Panel (up to 10+1 pages)) doi:
|
| |
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},
}
Article: fse13main-id235-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id235-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id110-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13misc-p4-p (type: Summary (up to 2 pages)) doi:
|
| |
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},
}
Article: fse13tools-tid9-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id110-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id157-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13misc-p4-p (type: Summary (up to 2 pages)) doi:
|
| |
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
Article: fse13main-id113-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id163-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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
Article: fse13main-id19-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id155-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id116-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid9-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id78-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id126-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id175-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid6-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13newideas-nid19-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id242-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13newideas-nid26-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id185-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13tools-tid11-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id2-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13tools-tid4-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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
Article: fse13main-id150-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid1-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13tools-tid2-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id181-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid32-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13newideas-nid18-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13industrial-ind6-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id78-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id221-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13main-id121-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13panels-p2-p (type: Panel (up to 10+1 pages)) doi:
|
| |
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},
}
Article: fse13main-id142-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id175-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid2-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13doctoral-doc6-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id155-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id235-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id221-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind9-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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
Article: fse13main-id87-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id221-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid2-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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
Article: fse13main-id126-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind8-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id161-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id50-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id213-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id244-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13doctoral-doc3-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id110-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13keynotes-k2-p (type: Keynote (up to 10+1 pages)) doi:
|
| |
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
Article: fse13main-id138-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid14-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id145-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid12-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13industrial-ind20-p (type: Short Paper (Industrial Track, 4 pages)) doi:
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},
}
Article: fse13newideas-nid27-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13newideas-nid30-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id219-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id242-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind15-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id43-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id218-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid12-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id161-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid30-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id219-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid9-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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
Article: fse13main-id244-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13panels-p2-p (type: Panel (up to 10+1 pages)) doi:
|
| |
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},
}
Article: fse13panels-p2-p (type: Panel (up to 10+1 pages)) doi:
|
| |
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},
}
Article: fse13panels-p1-p (type: Panel (up to 10+1 pages)) doi:
|
| |
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},
}
Article: fse13newideas-nid30-p (type: Short Paper (4 pages)) doi:
|
| |
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
Article: fse13main-id232-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id248-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id185-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13tools-tid11-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13tools-tid6-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id161-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid12-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13tools-tid8-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13newideas-nid4-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13keynotes-k3-p (type: Keynote (up to 10+1 pages)) doi:
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},
}
Article: fse13panels-p2-p (type: Panel (up to 10+1 pages)) doi:
|
| |
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},
}
Article: fse13main-id78-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id2-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13tools-tid4-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id175-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id175-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id51-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind17-p (type: Short Paper (Industrial Track, 4 pages)) doi:
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},
}
Article: fse13industrial-ind8-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13newideas-nid19-p (type: Short Paper (4 pages)) doi:
|
| |
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
Article: fse13main-id244-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind11-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id248-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id221-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id53-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13main-id142-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13panels-p1-p (type: Panel (up to 10+1 pages)) doi:
|
| |
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},
}
Article: fse13main-id161-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id161-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13main-id217-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid21-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id50-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id221-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13main-id175-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid21-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13industrial-ind20-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id218-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id2-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13tools-tid4-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id152-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind17-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13newideas-nid21-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13keynotes-k2-p (type: Keynote (up to 10+1 pages)) doi:
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},
}
Article: fse13panels-p2-p (type: Panel (up to 10+1 pages)) doi:
|
| |
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},
}
Article: fse13main-id95-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id54-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id53-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind17-p (type: Short Paper (Industrial Track, 4 pages)) doi:
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},
}
Article: fse13industrial-ind8-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13tools-tid9-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id185-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13tools-tid11-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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
Article: fse13main-id108-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id145-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id207-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id235-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id235-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind9-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id53-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind4-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13industrial-ind6-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id161-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13main-id217-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id244-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind15-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13tools-tid1-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id145-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id117-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id233-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind8-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id57-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id145-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id110-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind17-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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
Article: fse13main-id138-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid14-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13tools-tid14-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id43-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id121-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13doctoral-doc7-p (type: Short Paper (4 pages)) doi:
|
| |
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
Article: fse13main-id113-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id212-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id43-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id16-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id157-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id136-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id150-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id235-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id217-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id51-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid9-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id248-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id57-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid26-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13panels-p1-p (type: Panel (up to 10+1 pages)) doi:
|
| |
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},
}
Article: fse13industrial-ind11-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id54-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id157-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id95-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id242-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13newideas-nid26-p (type: Short Paper (4 pages)) doi:
|
| |
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
Article: fse13main-id19-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id212-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid9-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id95-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13doctoral-doc1-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id234-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13newideas-nid34-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id136-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id234-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id35-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id234-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13newideas-nid34-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id234-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13newideas-nid34-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13industrial-ind4-p (type: Short Paper (Industrial Track, 4 pages)) doi:
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},
}
Article: fse13main-id78-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13main-id9-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id242-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id113-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id116-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id110-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind11-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id213-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id161-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13keynotes-k2-p (type: Keynote (up to 10+1 pages)) doi:
|
| |
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},
}
Article: fse13newideas-nid35-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id142-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id126-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid15-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13doctoral-doc2-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id248-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id110-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id50-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id117-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id50-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id78-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id51-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id218-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id233-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind15-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id163-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id162-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id16-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid11-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id219-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id102-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id116-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id181-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id16-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid6-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id248-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid35-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id213-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid35-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id199-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id102-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id199-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id185-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13tools-tid11-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id9-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13main-id217-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind6-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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
Article: fse13main-id87-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id108-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id233-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid5-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13industrial-ind17-p (type: Short Paper (Industrial Track, 4 pages)) doi:
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},
}
Article: fse13industrial-ind8-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id235-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id87-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id113-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id117-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13main-id54-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13panels-p1-p (type: Panel (up to 10+1 pages)) doi:
|
| |
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
Article: fse13main-id207-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind17-p (type: Short Paper (Industrial Track, 4 pages)) doi:
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},
}
Article: fse13industrial-ind8-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13tools-tid14-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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
Article: fse13main-id212-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid27-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id152-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind7-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13doctoral-doc8-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13keynotes-k2-p (type: Keynote (up to 10+1 pages)) doi:
|
| |
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},
}
Article: fse13main-id136-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid5-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id162-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id155-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13keynotes-k1-p (type: Keynote (up to 10+1 pages)) doi:
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},
}
Article: fse13panels-p2-p (type: Panel (up to 10+1 pages)) doi:
|
| |
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},
}
Article: fse13main-id218-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid2-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13doctoral-doc4-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id145-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid14-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id161-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id2-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
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},
}
Article: fse13tools-tid4-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13newideas-nid32-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id57-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id53-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind20-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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
Article: fse13main-id113-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid15-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id199-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid8-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id152-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13tools-tid9-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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},
}
Article: fse13main-id57-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id35-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id152-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid11-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13main-id142-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id233-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id102-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id219-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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
Article: fse13main-id138-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13industrial-ind17-p (type: Short Paper (Industrial Track, 4 pages)) doi:
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},
}
Article: fse13industrial-ind8-p (type: Short Paper (Industrial Track, 4 pages)) doi:
|
| |
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},
}
Article: fse13newideas-nid18-p (type: Short Paper (4 pages)) doi:
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},
}
Article: fse13newideas-nid4-p (type: Short Paper (4 pages)) doi:
|
| |
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
Article: fse13main-id232-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid32-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13newideas-nid32-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13tools-tid14-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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
Article: fse13main-id232-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13newideas-nid32-p (type: Short Paper (4 pages)) doi:
|
| |
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},
}
Article: fse13tools-tid6-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:
|
| |
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
Article: fse13main-id19-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
| |
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},
}
Article: fse13main-id121-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:
|
