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

	Agha, Gul	FSE '14: "Solving Complex Path Conditions ..." Solving Complex Path Conditions through Heuristic Search on Induced Polytopes Peter Dinges and Gul Agha (University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p481, author = {Peter Dinges and Gul Agha}, title = {Solving Complex Path Conditions through Heuristic Search on Induced Polytopes}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2014}, } Article: fse14main-mainid130-p doi:
	Aiken, Alex	FSE '14: "Apposcopy: Semantics-Based ..." Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis Yu Feng, Saswat Anand, Isil Dillig, and Alex Aiken (University of Texas at Austin, USA; Stanford University, USA) @InProceedings{FSE14p650, author = {Yu Feng and Saswat Anand and Isil Dillig and Alex Aiken}, title = {Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {650-649}, doi = {}, year = {2014}, } Article: fse14main-mainid28-p doi:
	Allamanis, Miltiadis	FSE '14: "Learning Natural Coding Conventions ..." Learning Natural Coding Conventions Miltiadis Allamanis, Earl T. Barr, Christian Bird, and Charles Sutton (University of Edinburgh, UK; University College London, UK; Microsoft Research, USA) @InProceedings{FSE14p325, author = {Miltiadis Allamanis and Earl T. Barr and Christian Bird and Charles Sutton}, title = {Learning Natural Coding Conventions}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {325-324}, doi = {}, year = {2014}, } Article: fse14main-mainid102-p doi: FSE '14: "Mining Idioms from Source ..." Mining Idioms from Source Code Miltiadis Allamanis and Charles Sutton (University of Edinburgh, UK) @InProceedings{FSE14p533, author = {Miltiadis Allamanis and Charles Sutton}, title = {Mining Idioms from Source Code}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {533-532}, doi = {}, year = {2014}, } Article: fse14main-mainid167-p doi:
	Alves, Everton L. G.	FSE '14: "RefDistiller: A Refactoring ..." RefDistiller: A Refactoring Aware Code Review Tool for Inspecting Manual Refactoring Edits Everton L. G. Alves, Myoungkyu Song, and Miryung Kim (University of Texas at Austin, USA; Federal University of Campina Grande, Brazil; University of California at Los Angeles, USA) @InProceedings{FSE14p846, author = {Everton L. G. Alves and Myoungkyu Song and Miryung Kim}, title = {RefDistiller: A Refactoring Aware Code Review Tool for Inspecting Manual Refactoring Edits}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {846-845}, doi = {}, year = {2014}, } Article: fse14demo-demoid17-p doi:
	Amann, Sven	FSE '14: "An Empirical Study on Program ..." An Empirical Study on Program Comprehension with Reactive Programming Guido Salvaneschi, Sven Amann, Sebastian Proksch, and Mira Mezini (TU Darmstadt, Germany; Lancaster University, UK) @InProceedings{FSE14p637, author = {Guido Salvaneschi and Sven Amann and Sebastian Proksch and Mira Mezini}, title = {An Empirical Study on Program Comprehension with Reactive Programming}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {637-636}, doi = {}, year = {2014}, } Article: fse14main-mainid150-p doi:
	Anand, Saswat	FSE '14: "Apposcopy: Semantics-Based ..." Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis Yu Feng, Saswat Anand, Isil Dillig, and Alex Aiken (University of Texas at Austin, USA; Stanford University, USA) @InProceedings{FSE14p650, author = {Yu Feng and Saswat Anand and Isil Dillig and Alex Aiken}, title = {Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {650-649}, doi = {}, year = {2014}, } Article: fse14main-mainid28-p doi:
	Andreasen, Esben	FSE '14: "SymJS: Automatic Symbolic ..." SymJS: Automatic Symbolic Testing of JavaScript Web Applications Guodong Li, Esben Andreasen, and Indradeep Ghosh (Fujitsu Labs, USA; Aarhus University, Denmark) @InProceedings{FSE14p507, author = {Guodong Li and Esben Andreasen and Indradeep Ghosh}, title = {SymJS: Automatic Symbolic Testing of JavaScript Web Applications}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {507-506}, doi = {}, year = {2014}, } Article: fse14main-mainid202-p doi:
	Atlee, Joanne M.	FSE '14: "Variable-Specific Resolutions ..." Variable-Specific Resolutions for Feature Interactions Cecylia Bocovich and Joanne M. Atlee (University of Waterloo, Canada) @InProceedings{FSE14p624, author = {Cecylia Bocovich and Joanne M. Atlee}, title = {Variable-Specific Resolutions for Feature Interactions}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {624-623}, doi = {}, year = {2014}, } Article: fse14main-mainid260-p doi:
	Autili, Marco	FSE '14: "CHOReOSynt: Enforcing Choreography ..." CHOReOSynt: Enforcing Choreography Realizability in the Future Internet Marco Autili, Davide Di Ruscio, Amleto Di Salle, and Alexander Perucci (University of L'Aquila, Italy) @InProceedings{FSE14p818, author = {Marco Autili and Davide Di Ruscio and Amleto Di Salle and Alexander Perucci}, title = {CHOReOSynt: Enforcing Choreography Realizability in the Future Internet}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {818-817}, doi = {}, year = {2014}, } Article: fse14demo-demoid12-p doi:
	Bae, SungGyeong	FSE '14: "SAFEWAPI: Web API Misuse Detector ..." SAFEWAPI: Web API Misuse Detector for Web Applications SungGyeong Bae, Hyunghun Cho, Inho Lim, and Sukyoung Ryu (KAIST, South Korea; Samsung Electronics, South Korea) @InProceedings{FSE14p572, author = {SungGyeong Bae and Hyunghun Cho and Inho Lim and Sukyoung Ryu}, title = {SAFEWAPI: Web API Misuse Detector for Web Applications}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {572-571}, doi = {}, year = {2014}, } Article: fse14main-mainid222-p doi:
	Baltes, Sebastian	FSE '14: "Linking Sketches and Diagrams ..." Linking Sketches and Diagrams to Source Code Artifacts Sebastian Baltes, Peter Schmitz, and Stephan Diehl (University of Trier, Germany) @InProceedings{FSE14p838, author = {Sebastian Baltes and Peter Schmitz and Stephan Diehl}, title = {Linking Sketches and Diagrams to Source Code Artifacts}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {838-837}, doi = {}, year = {2014}, } Article: fse14demo-demoid23-p doi: FSE '14: "Sketches and Diagrams in Practice ..." Sketches and Diagrams in Practice Sebastian Baltes and Stephan Diehl (University of Trier, Germany) @InProceedings{FSE14p598, author = {Sebastian Baltes and Stephan Diehl}, title = {Sketches and Diagrams in Practice}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {598-597}, doi = {}, year = {2014}, } Article: fse14main-mainid136-p doi:
	Banerjee, Abhijeet	FSE '14: "Static Analysis Driven Performance ..." Static Analysis Driven Performance and Energy Testing Abhijeet Banerjee (National University of Singapore, Singapore) @InProceedings{FSE14p886, author = {Abhijeet Banerjee}, title = {Static Analysis Driven Performance and Energy Testing}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {886-885}, doi = {}, year = {2014}, } Article: fse14doc-docid12-p doi: FSE '14: "Detecting Energy Bugs and ..." Detecting Energy Bugs and Hotspots in Mobile Apps Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay, and Abhik Roychoudhury (National University of Singapore, Singapore; Linköping University, Sweden) @InProceedings{FSE14p663, author = {Abhijeet Banerjee and Lee Kee Chong and Sudipta Chattopadhyay and Abhik Roychoudhury}, title = {Detecting Energy Bugs and Hotspots in Mobile Apps}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {663-662}, doi = {}, year = {2014}, } Article: fse14main-mainid31-p doi:
	Barr, Earl T.	FSE '14: "Learning Natural Coding Conventions ..." Learning Natural Coding Conventions Miltiadis Allamanis, Earl T. Barr, Christian Bird, and Charles Sutton (University of Edinburgh, UK; University College London, UK; Microsoft Research, USA) @InProceedings{FSE14p325, author = {Miltiadis Allamanis and Earl T. Barr and Christian Bird and Charles Sutton}, title = {Learning Natural Coding Conventions}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {325-324}, doi = {}, year = {2014}, } Article: fse14main-mainid102-p doi: FSE '14: "The Plastic Surgery Hypothesis ..." The Plastic Surgery Hypothesis Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro (University College London, UK; University of Massachusetts, USA; University of California at Davis, USA) @InProceedings{FSE14p351, author = {Earl T. Barr and Yuriy Brun and Premkumar Devanbu and Mark Harman and Federica Sarro}, title = {The Plastic Surgery Hypothesis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {351-350}, doi = {}, year = {2014}, } Article: fse14main-mainid156-p doi:
	Bavota, Gabriele	FSE '14: "Automatic Generation of Release ..." Automatic Generation of Release Notes Laura Moreno, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrian Marcus, and Gerardo Canfora (University of Texas at Dallas, USA; University of Sannio, Italy; University of Molise, Italy) @InProceedings{FSE14p546, author = {Laura Moreno and Gabriele Bavota and Massimiliano Di Penta and Rocco Oliveto and Andrian Marcus and Gerardo Canfora}, title = {Automatic Generation of Release Notes}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {546-545}, doi = {}, year = {2014}, } Article: fse14main-mainid30-p doi:
	Baysal, Olga	FSE '14: "No Issue Left Behind: Reducing ..." No Issue Left Behind: Reducing Information Overload in Issue Tracking Olga Baysal, Reid Holmes, and Michael W. Godfrey (Université de Montréal, Canada; University of Waterloo, Canada) @InProceedings{FSE14p754, author = {Olga Baysal and Reid Holmes and Michael W. Godfrey}, title = {No Issue Left Behind: Reducing Information Overload in Issue Tracking}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {754-753}, doi = {}, year = {2014}, } Article: fse14main-mainid125-p doi:
	Becker, Steffen	FSE '14: "A Tool Suite for the Model-Driven ..." A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, and Uwe Pohlmann (University of Paderborn, Germany; Fraunhofer IPT, Germany) @InProceedings{FSE14p810, author = {Stefan Dziwok and Christopher Gerking and Steffen Becker and Sebastian Thiele and Christian Heinzemann and Uwe Pohlmann}, title = {A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {810-809}, doi = {}, year = {2014}, } Article: fse14demo-demoid9-p doi:
	Behrang, Farnaz	FSE '14: "A Foundation for Refactoring ..." A Foundation for Refactoring C with Macros Jeffrey L. Overbey, Farnaz Behrang, and Munawar Hafiz (Auburn University, USA) @InProceedings{FSE14p91, author = {Jeffrey L. Overbey and Farnaz Behrang and Munawar Hafiz}, title = {A Foundation for Refactoring C with Macros}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {91-90}, doi = {}, year = {2014}, } Article: fse14main-mainid180-p doi:
	Behringer, Benjamin	FSE '14: "Integrating Approaches for ..." Integrating Approaches for Feature Implementation Benjamin Behringer (University of Luxembourg, Luxembourg; htw saar, Germany) @InProceedings{FSE14p870, author = {Benjamin Behringer}, title = {Integrating Approaches for Feature Implementation}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {870-869}, doi = {}, year = {2014}, } Article: fse14doc-docid19-p doi:
	Bell, Jonathan	FSE '14: "Detecting, Isolating, and ..." Detecting, Isolating, and Enforcing Dependencies among and within Test Cases Jonathan Bell (Columbia University, USA) @InProceedings{FSE14p894, author = {Jonathan Bell}, title = {Detecting, Isolating, and Enforcing Dependencies among and within Test Cases}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {894-893}, doi = {}, year = {2014}, } Article: fse14doc-docid7-p doi:
	Binkley, David	FSE '14: "ORBS: Language-Independent ..." ORBS: Language-Independent Program Slicing David Binkley, Nicolas Gold, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo (Loyola University Maryland, USA; University College London, UK) @InProceedings{FSE14p130, author = {David Binkley and Nicolas Gold and Mark Harman and Syed Islam and Jens Krinke and Shin Yoo}, title = {ORBS: Language-Independent Program Slicing}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {130-129}, doi = {}, year = {2014}, } Article: fse14main-mainid143-p doi:
	Bird, Christian	FSE '14: "Learning Natural Coding Conventions ..." Learning Natural Coding Conventions Miltiadis Allamanis, Earl T. Barr, Christian Bird, and Charles Sutton (University of Edinburgh, UK; University College London, UK; Microsoft Research, USA) @InProceedings{FSE14p325, author = {Miltiadis Allamanis and Earl T. Barr and Christian Bird and Charles Sutton}, title = {Learning Natural Coding Conventions}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {325-324}, doi = {}, year = {2014}, } Article: fse14main-mainid102-p doi:
	Blanc, Xavier	FSE '14: "Speculative Reprogramming ..." Speculative Reprogramming Marc Palyart, Gail C. Murphy, Emerson Murphy-Hill, and Xavier Blanc (University of British Columbia, Canada; North Carolina State University, USA; University of Bordeaux, France) @InProceedings{FSE14p932, author = {Marc Palyart and Gail C. Murphy and Emerson Murphy-Hill and Xavier Blanc}, title = {Speculative Reprogramming}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {932-931}, doi = {}, year = {2014}, } Article: fse14vc-vcid25-p doi:
	Bocovich, Cecylia	FSE '14: "Variable-Specific Resolutions ..." Variable-Specific Resolutions for Feature Interactions Cecylia Bocovich and Joanne M. Atlee (University of Waterloo, Canada) @InProceedings{FSE14p624, author = {Cecylia Bocovich and Joanne M. Atlee}, title = {Variable-Specific Resolutions for Feature Interactions}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {624-623}, doi = {}, year = {2014}, } Article: fse14main-mainid260-p doi:
	Bodden, Eric	FSE '14: "FlowTwist: Efficient Context-Sensitive ..." FlowTwist: Efficient Context-Sensitive Inside-Out Taint Analysis for Large Codebases Johannes Lerch, Ben Hermann, Eric Bodden, and Mira Mezini (TU Darmstadt, Germany; Fraunhofer SIT, Germany) @InProceedings{FSE14p117, author = {Johannes Lerch and Ben Hermann and Eric Bodden and Mira Mezini}, title = {FlowTwist: Efficient Context-Sensitive Inside-Out Taint Analysis for Large Codebases}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {117-116}, doi = {}, year = {2014}, } Article: fse14main-mainid69-p doi:
	Böhme, Marcel	FSE '14: "On the Efficiency of Automated ..." On the Efficiency of Automated Testing Marcel Böhme and Soumya Paul (Saarland University, Germany; National University of Singapore, Singapore) @InProceedings{FSE14p715, author = {Marcel Böhme and Soumya Paul}, title = {On the Efficiency of Automated Testing}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {715-714}, doi = {}, year = {2014}, } Article: fse14main-mainid244-p doi:
	Bosu, Amiangshu	FSE '14: "Identifying the Characteristics ..." Identifying the Characteristics of Vulnerable Code Changes: An Empirical Study Amiangshu Bosu, Jeffrey C. Carver, Munawar Hafiz, Patrick Hilley, and Derek Janni (University of Alabama, USA; Auburn University, USA; Providence College, USA; Lewis & Clark College, USA) @InProceedings{FSE14p299, author = {Amiangshu Bosu and Jeffrey C. Carver and Munawar Hafiz and Patrick Hilley and Derek Janni}, title = {Identifying the Characteristics of Vulnerable Code Changes: An Empirical Study}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {299-298}, doi = {}, year = {2014}, } Article: fse14main-mainid77-p doi:
	Bräunlich, Christoph	FSE '14: "Developers’ Code Context ..." Developers’ Code Context Models for Change Tasks Thomas Fritz, David C. Shepherd, Katja Kevic, Will Snipes, and Christoph Bräunlich (University of Zurich, Switzerland; ABB Research, USA) @InProceedings{FSE14p13, author = {Thomas Fritz and David C. Shepherd and Katja Kevic and Will Snipes and Christoph Bräunlich}, title = {Developers’ Code Context Models for Change Tasks}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2014}, } Article: fse14main-mainid176-p doi:
	Brun, Yuriy	FSE '14: "Automatic Mining of Specifications ..." Automatic Mining of Specifications from Invocation Traces and Method Invariants Ivo Krka, Yuriy Brun, and Nenad Medvidovic (Google, Switzerland; University of Massachusetts, USA; University of Southern California, USA) @InProceedings{FSE14p208, author = {Ivo Krka and Yuriy Brun and Nenad Medvidovic}, title = {Automatic Mining of Specifications from Invocation Traces and Method Invariants}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {208-207}, doi = {}, year = {2014}, } Article: fse14main-mainid131-p doi: FSE '14: "The Plastic Surgery Hypothesis ..." The Plastic Surgery Hypothesis Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro (University College London, UK; University of Massachusetts, USA; University of California at Davis, USA) @InProceedings{FSE14p351, author = {Earl T. Barr and Yuriy Brun and Premkumar Devanbu and Mark Harman and Federica Sarro}, title = {The Plastic Surgery Hypothesis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {351-350}, doi = {}, year = {2014}, } Article: fse14main-mainid156-p doi:
	Brünink, Marc	FSE '14: "Autonomous Compliance Monitoring ..." Autonomous Compliance Monitoring of Non-functional Properties Marc Brünink (National University of Singapore, Singapore) @InProceedings{FSE14p890, author = {Marc Brünink}, title = {Autonomous Compliance Monitoring of Non-functional Properties}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {890-889}, doi = {}, year = {2014}, } Article: fse14doc-docid2-p doi:
	Bunescu, Razvan	FSE '14: "Learning to Rank Relevant ..." Learning to Rank Relevant Files for Bug Reports using Domain Knowledge Xin Ye, Razvan Bunescu, and Chang Liu (Ohio University, USA) @InProceedings{FSE14p780, author = {Xin Ye and Razvan Bunescu and Chang Liu}, title = {Learning to Rank Relevant Files for Bug Reports using Domain Knowledge}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {780-779}, doi = {}, year = {2014}, } Article: fse14main-mainid44-p doi:
	Cai, Yuanfang	FSE '14: "Titan: A Toolset That Connects ..." Titan: A Toolset That Connects Software Architecture with Quality Analysis Lu Xiao, Yuanfang Cai, and Rick Kazman (Drexel University, USA; University of Hawaii, USA) @InProceedings{FSE14p858, author = {Lu Xiao and Yuanfang Cai and Rick Kazman}, title = {Titan: A Toolset That Connects Software Architecture with Quality Analysis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {858-857}, doi = {}, year = {2014}, } Article: fse14demo-demoid20-p doi:
	Canfora, Gerardo	FSE '14: "Automatic Generation of Release ..." Automatic Generation of Release Notes Laura Moreno, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrian Marcus, and Gerardo Canfora (University of Texas at Dallas, USA; University of Sannio, Italy; University of Molise, Italy) @InProceedings{FSE14p546, author = {Laura Moreno and Gabriele Bavota and Massimiliano Di Penta and Rocco Oliveto and Andrian Marcus and Gerardo Canfora}, title = {Automatic Generation of Release Notes}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {546-545}, doi = {}, year = {2014}, } Article: fse14main-mainid30-p doi:
	Carver, Jeffrey C.	FSE '14: "Identifying the Characteristics ..." Identifying the Characteristics of Vulnerable Code Changes: An Empirical Study Amiangshu Bosu, Jeffrey C. Carver, Munawar Hafiz, Patrick Hilley, and Derek Janni (University of Alabama, USA; Auburn University, USA; Providence College, USA; Lewis & Clark College, USA) @InProceedings{FSE14p299, author = {Amiangshu Bosu and Jeffrey C. Carver and Munawar Hafiz and Patrick Hilley and Derek Janni}, title = {Identifying the Characteristics of Vulnerable Code Changes: An Empirical Study}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {299-298}, doi = {}, year = {2014}, } Article: fse14main-mainid77-p doi:
	Chandra, Satish	FSE '14: "Are You Getting Traction? ..." Are You Getting Traction? Tales from the Tech Transfer Trenches (Invited Talk) Satish Chandra (Samsung Electronics, USA) @InProceedings{FSE14p9, author = {Satish Chandra}, title = {Are You Getting Traction? Tales from the Tech Transfer Trenches (Invited Talk)}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {9-8}, doi = {}, year = {2014}, } Article: fse14industry-industryid3-p doi:
	Chattopadhyay, Sudipta	FSE '14: "Detecting Energy Bugs and ..." Detecting Energy Bugs and Hotspots in Mobile Apps Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay, and Abhik Roychoudhury (National University of Singapore, Singapore; Linköping University, Sweden) @InProceedings{FSE14p663, author = {Abhijeet Banerjee and Lee Kee Chong and Sudipta Chattopadhyay and Abhik Roychoudhury}, title = {Detecting Energy Bugs and Hotspots in Mobile Apps}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {663-662}, doi = {}, year = {2014}, } Article: fse14main-mainid31-p doi:
	Cho, Hyunghun	FSE '14: "SAFEWAPI: Web API Misuse Detector ..." SAFEWAPI: Web API Misuse Detector for Web Applications SungGyeong Bae, Hyunghun Cho, Inho Lim, and Sukyoung Ryu (KAIST, South Korea; Samsung Electronics, South Korea) @InProceedings{FSE14p572, author = {SungGyeong Bae and Hyunghun Cho and Inho Lim and Sukyoung Ryu}, title = {SAFEWAPI: Web API Misuse Detector for Web Applications}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {572-571}, doi = {}, year = {2014}, } Article: fse14main-mainid222-p doi:
	Chong, Lee Kee	FSE '14: "Detecting Energy Bugs and ..." Detecting Energy Bugs and Hotspots in Mobile Apps Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay, and Abhik Roychoudhury (National University of Singapore, Singapore; Linköping University, Sweden) @InProceedings{FSE14p663, author = {Abhijeet Banerjee and Lee Kee Chong and Sudipta Chattopadhyay and Abhik Roychoudhury}, title = {Detecting Energy Bugs and Hotspots in Mobile Apps}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {663-662}, doi = {}, year = {2014}, } Article: fse14main-mainid31-p doi:
	Clause, James	FSE '14: "Improving Oracle Quality by ..." Improving Oracle Quality by Detecting Brittle Assertions and Unused Inputs in Tests Chen Huo and James Clause (University of Delaware, USA) @InProceedings{FSE14p702, author = {Chen Huo and James Clause}, title = {Improving Oracle Quality by Detecting Brittle Assertions and Unused Inputs in Tests}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {702-701}, doi = {}, year = {2014}, } Article: fse14main-mainid229-p doi:
	Cleland-Huang, Jane	FSE '14: "Archie: A Tool for Detecting, ..." Archie: A Tool for Detecting, Monitoring, and Preserving Architecturally Significant Code Mehdi Mirakhorli, Ahmed Fakhry, Artem Grechko, Matteusz Wieloch, and Jane Cleland-Huang (Rochester Institute of Technology, USA; DePaul University, USA) @InProceedings{FSE14p834, author = {Mehdi Mirakhorli and Ahmed Fakhry and Artem Grechko and Matteusz Wieloch and Jane Cleland-Huang}, title = {Archie: A Tool for Detecting, Monitoring, and Preserving Architecturally Significant Code}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {834-833}, doi = {}, year = {2014}, } Article: fse14demo-demoid16-p doi: FSE '14: "Achieving Lightweight Trustworthy ..." Achieving Lightweight Trustworthy Traceability Jane Cleland-Huang, Mona Rahimi, and Patrick Mäder (DePaul University, USA; TU Ilmenau, Germany) @InProceedings{FSE14p944, author = {Jane Cleland-Huang and Mona Rahimi and Patrick Mäder}, title = {Achieving Lightweight Trustworthy Traceability}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {944-943}, doi = {}, year = {2014}, } Article: fse14vc-vcid16-p doi:
	Cohen, Myra B.	FSE '14: "Beyond the Rainbow: Self-Adaptive ..." Beyond the Rainbow: Self-Adaptive Failure Avoidance in Configurable Systems Jacob Swanson, Myra B. Cohen, Matthew B. Dwyer, Brady J. Garvin, and Justin Firestone (University of Nebraska-Lincoln, USA) @InProceedings{FSE14p429, author = {Jacob Swanson and Myra B. Cohen and Matthew B. Dwyer and Brady J. Garvin and Justin Firestone}, title = {Beyond the Rainbow: Self-Adaptive Failure Avoidance in Configurable Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {429-428}, doi = {}, year = {2014}, } Article: fse14main-mainid216-p doi:
	Cordy, Maxime	FSE '14: "Counterexample Guided Abstraction ..." Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, and Martin Leucker (University of Namur, Belgium; INRIA, France; University of Lübeck, Germany) @InProceedings{FSE14p221, author = {Maxime Cordy and Patrick Heymans and Axel Legay and Pierre-Yves Schobbens and Bruno Dawagne and Martin Leucker}, title = {Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2014}, } Article: fse14main-mainid231-p doi: FSE '14: "A Variability Perspective ..." A Variability Perspective of Mutation Analysis Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, and Pierre-Yves Schobbens (University of Namur, Belgium; University of Luxembourg, Luxembourg; INRIA, France) @InProceedings{FSE14p936, author = {Xavier Devroey and Gilles Perrouin and Maxime Cordy and Mike Papadakis and Axel Legay and Pierre-Yves Schobbens}, title = {A Variability Perspective of Mutation Analysis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {936-935}, doi = {}, year = {2014}, } Article: fse14vc-vcid11-p doi:
	Dabbish, Laura	FSE '14: "Let's Talk About It: Evaluating ..." Let's Talk About It: Evaluating Contributions through Discussion in GitHub Jason Tsay, Laura Dabbish, and James Herbsleb (Carnegie Mellon University, USA) @InProceedings{FSE14p169, author = {Jason Tsay and Laura Dabbish and James Herbsleb}, title = {Let's Talk About It: Evaluating Contributions through Discussion in GitHub}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2014}, } Article: fse14main-mainid81-p doi:
	Damian, Daniela	FSE '14: "Methodology and Culture: Drivers ..." Methodology and Culture: Drivers of Mediocrity in Software Engineering? Marian Petre and Daniela Damian (Open University, UK; University of Victoria, Canada) @InProceedings{FSE14p924, author = {Marian Petre and Daniela Damian}, title = {Methodology and Culture: Drivers of Mediocrity in Software Engineering?}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {924-923}, doi = {}, year = {2014}, } Article: fse14vc-vcid21-p doi:
	Dawagne, Bruno	FSE '14: "Counterexample Guided Abstraction ..." Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, and Martin Leucker (University of Namur, Belgium; INRIA, France; University of Lübeck, Germany) @InProceedings{FSE14p221, author = {Maxime Cordy and Patrick Heymans and Axel Legay and Pierre-Yves Schobbens and Bruno Dawagne and Martin Leucker}, title = {Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2014}, } Article: fse14main-mainid231-p doi:
	Day, Nancy A.	FSE '14: "Verifying CTL-Live Properties ..." Verifying CTL-Live Properties of Infinite State Models using an SMT Solver Amirhossein Vakili and Nancy A. Day (University of Waterloo, Canada) @InProceedings{FSE14p247, author = {Amirhossein Vakili and Nancy A. Day}, title = {Verifying CTL-Live Properties of Infinite State Models using an SMT Solver}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {247-246}, doi = {}, year = {2014}, } Article: fse14main-mainid194-p doi:
	Devanbu, Premkumar	FSE '14: "A Large Scale Study of Programming ..." A Large Scale Study of Programming Languages and Code Quality in Github Baishakhi Ray, Daryl Posnett, Vladimir Filkov, and Premkumar Devanbu (University of California at Davis, USA) @InProceedings{FSE14p182, author = {Baishakhi Ray and Daryl Posnett and Vladimir Filkov and Premkumar Devanbu}, title = {A Large Scale Study of Programming Languages and Code Quality in Github}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {182-181}, doi = {}, year = {2014}, } Article: fse14main-mainid243-p doi: FSE '14: "On the Localness of Software ..." On the Localness of Software Zhaopeng Tu, Zhendong Su, and Premkumar Devanbu (University of California at Davis, USA) @InProceedings{FSE14p312, author = {Zhaopeng Tu and Zhendong Su and Premkumar Devanbu}, title = {On the Localness of Software}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {312-311}, doi = {}, year = {2014}, } Article: fse14main-mainid48-p doi: FSE '14: "The Plastic Surgery Hypothesis ..." The Plastic Surgery Hypothesis Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro (University College London, UK; University of Massachusetts, USA; University of California at Davis, USA) @InProceedings{FSE14p351, author = {Earl T. Barr and Yuriy Brun and Premkumar Devanbu and Mark Harman and Federica Sarro}, title = {The Plastic Surgery Hypothesis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {351-350}, doi = {}, year = {2014}, } Article: fse14main-mainid156-p doi: FSE '14: "Focus-Shifting Patterns of ..." Focus-Shifting Patterns of OSS Developers and Their Congruence with Call Graphs Qi Xuan, Aaron Okano, Premkumar Devanbu, and Vladimir Filkov (University of California at Davis, USA; Zhejiang University of Technology, China) @InProceedings{FSE14p455, author = {Qi Xuan and Aaron Okano and Premkumar Devanbu and Vladimir Filkov}, title = {Focus-Shifting Patterns of OSS Developers and Their Congruence with Call Graphs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {455-454}, doi = {}, year = {2014}, } Article: fse14main-mainid208-p doi: FSE '14: "Panning Requirement Nuggets ..." Panning Requirement Nuggets in Stream of Software Maintenance Tickets Senthil Mani, Karthik Sankaranarayanan, Vibha Singhal Sinha, and Premkumar Devanbu (IBM Research, India; University of California at Davis, USA) @InProceedings{FSE14p767, author = {Senthil Mani and Karthik Sankaranarayanan and Vibha Singhal Sinha and Premkumar Devanbu}, title = {Panning Requirement Nuggets in Stream of Software Maintenance Tickets}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {767-766}, doi = {}, year = {2014}, } Article: fse14main-mainid153-p doi:
	Devroey, Xavier	FSE '14: "A Variability Perspective ..." A Variability Perspective of Mutation Analysis Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, and Pierre-Yves Schobbens (University of Namur, Belgium; University of Luxembourg, Luxembourg; INRIA, France) @InProceedings{FSE14p936, author = {Xavier Devroey and Gilles Perrouin and Maxime Cordy and Mike Papadakis and Axel Legay and Pierre-Yves Schobbens}, title = {A Variability Perspective of Mutation Analysis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {936-935}, doi = {}, year = {2014}, } Article: fse14vc-vcid11-p doi:
	Dewey, Kyle	FSE '14: "JSAI: A Static Analysis Platform ..." JSAI: A Static Analysis Platform for JavaScript Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, and Ben Hardekopf (University of California at Santa Barbara, USA; Harvey Mudd College, USA) @InProceedings{FSE14p143, author = {Vineeth Kashyap and Kyle Dewey and Ethan A. Kuefner and John Wagner and Kevin Gibbons and John Sarracino and Ben Wiedermann and Ben Hardekopf}, title = {JSAI: A Static Analysis Platform for JavaScript}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {143-142}, doi = {}, year = {2014}, } Article: fse14main-mainid173-p doi:
	Dhawan, Mohan	FSE '14: "Efficient Runtime-Enforcement ..." Efficient Runtime-Enforcement Techniques for Policy Weaving Richard Joiner, Thomas Reps, Somesh Jha, Mohan Dhawan, and Vinod Ganapathy (University of Wisconsin-Madison, USA; GrammaTech, USA; IBM Research, India; Rutgers University, USA) @InProceedings{FSE14p260, author = {Richard Joiner and Thomas Reps and Somesh Jha and Mohan Dhawan and Vinod Ganapathy}, title = {Efficient Runtime-Enforcement Techniques for Policy Weaving}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {260-259}, doi = {}, year = {2014}, } Article: fse14main-mainid178-p doi:
	Diehl, Stephan	FSE '14: "Linking Sketches and Diagrams ..." Linking Sketches and Diagrams to Source Code Artifacts Sebastian Baltes, Peter Schmitz, and Stephan Diehl (University of Trier, Germany) @InProceedings{FSE14p838, author = {Sebastian Baltes and Peter Schmitz and Stephan Diehl}, title = {Linking Sketches and Diagrams to Source Code Artifacts}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {838-837}, doi = {}, year = {2014}, } Article: fse14demo-demoid23-p doi: FSE '14: "Sketches and Diagrams in Practice ..." Sketches and Diagrams in Practice Sebastian Baltes and Stephan Diehl (University of Trier, Germany) @InProceedings{FSE14p598, author = {Sebastian Baltes and Stephan Diehl}, title = {Sketches and Diagrams in Practice}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {598-597}, doi = {}, year = {2014}, } Article: fse14main-mainid136-p doi:
	Dig, Danny	FSE '14: "BumbleBee: A Refactoring Environment ..." BumbleBee: A Refactoring Environment for Spreadsheet Formulas Felienne Hermans and Danny Dig (Delft University of Technology, Netherlands; Oregon State University, USA) @InProceedings{FSE14p842, author = {Felienne Hermans and Danny Dig}, title = {BumbleBee: A Refactoring Environment for Spreadsheet Formulas}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {842-841}, doi = {}, year = {2014}, } Article: fse14demo-demoid1-p doi: FSE '14: "Retrofitting Concurrency for ..." Retrofitting Concurrency for Android Applications through Refactoring Yu Lin, Cosmin Radoi, and Danny Dig (University of Illinois at Urbana-Champaign, USA; Oregon State University, USA) @InProceedings{FSE14p390, author = {Yu Lin and Cosmin Radoi and Danny Dig}, title = {Retrofitting Concurrency for Android Applications through Refactoring}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {390-389}, doi = {}, year = {2014}, } Article: fse14main-mainid171-p doi:
	Dillig, Isil	FSE '14: "Apposcopy: Semantics-Based ..." Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis Yu Feng, Saswat Anand, Isil Dillig, and Alex Aiken (University of Texas at Austin, USA; Stanford University, USA) @InProceedings{FSE14p650, author = {Yu Feng and Saswat Anand and Isil Dillig and Alex Aiken}, title = {Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {650-649}, doi = {}, year = {2014}, } Article: fse14main-mainid28-p doi:
	Dinges, Peter	FSE '14: "Solving Complex Path Conditions ..." Solving Complex Path Conditions through Heuristic Search on Induced Polytopes Peter Dinges and Gul Agha (University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p481, author = {Peter Dinges and Gul Agha}, title = {Solving Complex Path Conditions through Heuristic Search on Induced Polytopes}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2014}, } Article: fse14main-mainid130-p doi:
	Di Penta, Massimiliano	FSE '14: "Automatic Generation of Release ..." Automatic Generation of Release Notes Laura Moreno, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrian Marcus, and Gerardo Canfora (University of Texas at Dallas, USA; University of Sannio, Italy; University of Molise, Italy) @InProceedings{FSE14p546, author = {Laura Moreno and Gabriele Bavota and Massimiliano Di Penta and Rocco Oliveto and Andrian Marcus and Gerardo Canfora}, title = {Automatic Generation of Release Notes}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {546-545}, doi = {}, year = {2014}, } Article: fse14main-mainid30-p doi:
	Di Ruscio, Davide	FSE '14: "CHOReOSynt: Enforcing Choreography ..." CHOReOSynt: Enforcing Choreography Realizability in the Future Internet Marco Autili, Davide Di Ruscio, Amleto Di Salle, and Alexander Perucci (University of L'Aquila, Italy) @InProceedings{FSE14p818, author = {Marco Autili and Davide Di Ruscio and Amleto Di Salle and Alexander Perucci}, title = {CHOReOSynt: Enforcing Choreography Realizability in the Future Internet}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {818-817}, doi = {}, year = {2014}, } Article: fse14demo-demoid12-p doi:
	Di Salle, Amleto	FSE '14: "CHOReOSynt: Enforcing Choreography ..." CHOReOSynt: Enforcing Choreography Realizability in the Future Internet Marco Autili, Davide Di Ruscio, Amleto Di Salle, and Alexander Perucci (University of L'Aquila, Italy) @InProceedings{FSE14p818, author = {Marco Autili and Davide Di Ruscio and Amleto Di Salle and Alexander Perucci}, title = {CHOReOSynt: Enforcing Choreography Realizability in the Future Internet}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {818-817}, doi = {}, year = {2014}, } Article: fse14demo-demoid12-p doi:
	Dong, Jin Song	FSE '14: "RaPiD: A Toolkit for Reliability ..." RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, and Jin Song Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore) @InProceedings{FSE14p822, author = {Lin Gui and Jun Sun and Yang Liu and Truong Khanh Nguyen and Jin Song Dong}, title = {RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {822-821}, doi = {}, year = {2014}, } Article: fse14demo-demoid13-p doi:
	Dwyer, Matthew B.	FSE '14: "Beyond the Rainbow: Self-Adaptive ..." Beyond the Rainbow: Self-Adaptive Failure Avoidance in Configurable Systems Jacob Swanson, Myra B. Cohen, Matthew B. Dwyer, Brady J. Garvin, and Justin Firestone (University of Nebraska-Lincoln, USA) @InProceedings{FSE14p429, author = {Jacob Swanson and Myra B. Cohen and Matthew B. Dwyer and Brady J. Garvin and Justin Firestone}, title = {Beyond the Rainbow: Self-Adaptive Failure Avoidance in Configurable Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {429-428}, doi = {}, year = {2014}, } Article: fse14main-mainid216-p doi:
	Dyer, Robert	FSE '14: "Mining Preconditions of APIs ..." Mining Preconditions of APIs in Large-Scale Code Corpus Hoan Anh Nguyen, Robert Dyer, Tien N. Nguyen, and Hridesh Rajan (Iowa State University, USA) @InProceedings{FSE14p195, author = {Hoan Anh Nguyen and Robert Dyer and Tien N. Nguyen and Hridesh Rajan}, title = {Mining Preconditions of APIs in Large-Scale Code Corpus}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {195-194}, doi = {}, year = {2014}, } Article: fse14main-mainid246-p doi:
	Dziwok, Stefan	FSE '14: "A Tool Suite for the Model-Driven ..." A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, and Uwe Pohlmann (University of Paderborn, Germany; Fraunhofer IPT, Germany) @InProceedings{FSE14p810, author = {Stefan Dziwok and Christopher Gerking and Steffen Becker and Sebastian Thiele and Christian Heinzemann and Uwe Pohlmann}, title = {A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {810-809}, doi = {}, year = {2014}, } Article: fse14demo-demoid9-p doi:
	Elbaum, Sebastian	FSE '14: "Techniques for Improving Regression ..." Techniques for Improving Regression Testing in Continuous Integration Development Environments Sebastian Elbaum, Gregg Rothermel, and John Penix (University of Nebraska-Lincoln, USA; Google, USA) @InProceedings{FSE14p273, author = {Sebastian Elbaum and Gregg Rothermel and John Penix}, title = {Techniques for Improving Regression Testing in Continuous Integration Development Environments}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {273-272}, doi = {}, year = {2014}, } Article: fse14main-mainid188-p doi: FSE '14: "Known Unknowns: Testing in ..." Known Unknowns: Testing in the Presence of Uncertainty Sebastian Elbaum and David S. Rosenblum (University of Nebraska-Lincoln, USA; National University of Singapore, Singapore) @InProceedings{FSE14p928, author = {Sebastian Elbaum and David S. Rosenblum}, title = {Known Unknowns: Testing in the Presence of Uncertainty}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {928-927}, doi = {}, year = {2014}, } Article: fse14vc-vcid10-p doi:
	Eloussi, Lamyaa	FSE '14: "An Empirical Analysis of Flaky ..." An Empirical Analysis of Flaky Tests Qingzhou Luo, Farah Hariri, Lamyaa Eloussi, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p728, author = {Qingzhou Luo and Farah Hariri and Lamyaa Eloussi and Darko Marinov}, title = {An Empirical Analysis of Flaky Tests}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {728-727}, doi = {}, year = {2014}, } Article: fse14main-mainid232-p doi:
	Elsner, Christoph	FSE '14: "Architecture Challenges for ..." Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study Klaus-Benedikt Schultis, Christoph Elsner, and Daniel Lohmann (Siemens, Germany; University of Erlangen-Nuremberg, Germany) @InProceedings{FSE14p611, author = {Klaus-Benedikt Schultis and Christoph Elsner and Daniel Lohmann}, title = {Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {611-610}, doi = {}, year = {2014}, } Article: fse14main-mainid64-p doi:
	Ernst, Michael D.	FSE '14: "Are Mutants a Valid Substitute ..." Are Mutants a Valid Substitute for Real Faults in Software Testing? René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, and Gordon Fraser (University of Washington, USA; University of Waterloo, Canada; University of Sheffield, UK) @InProceedings{FSE14p741, author = {René Just and Darioush Jalali and Laura Inozemtseva and Michael D. Ernst and Reid Holmes and Gordon Fraser}, title = {Are Mutants a Valid Substitute for Real Faults in Software Testing?}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {741-740}, doi = {}, year = {2014}, } Article: fse14main-mainid265-p doi:
	Eslamimehr, Mahdi	FSE '14: "Sherlock: Scalable Deadlock ..." Sherlock: Scalable Deadlock Detection for Concurrent Programs Mahdi Eslamimehr and Jens Palsberg (University of California at Los Angeles, USA) @InProceedings{FSE14p403, author = {Mahdi Eslamimehr and Jens Palsberg}, title = {Sherlock: Scalable Deadlock Detection for Concurrent Programs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {403-402}, doi = {}, year = {2014}, } Article: fse14main-mainid230-p doi:
	Fakhry, Ahmed	FSE '14: "Archie: A Tool for Detecting, ..." Archie: A Tool for Detecting, Monitoring, and Preserving Architecturally Significant Code Mehdi Mirakhorli, Ahmed Fakhry, Artem Grechko, Matteusz Wieloch, and Jane Cleland-Huang (Rochester Institute of Technology, USA; DePaul University, USA) @InProceedings{FSE14p834, author = {Mehdi Mirakhorli and Ahmed Fakhry and Artem Grechko and Matteusz Wieloch and Jane Cleland-Huang}, title = {Archie: A Tool for Detecting, Monitoring, and Preserving Architecturally Significant Code}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {834-833}, doi = {}, year = {2014}, } Article: fse14demo-demoid16-p doi:
	Feng, Yu	FSE '14: "Apposcopy: Semantics-Based ..." Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis Yu Feng, Saswat Anand, Isil Dillig, and Alex Aiken (University of Texas at Austin, USA; Stanford University, USA) @InProceedings{FSE14p650, author = {Yu Feng and Saswat Anand and Isil Dillig and Alex Aiken}, title = {Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {650-649}, doi = {}, year = {2014}, } Article: fse14main-mainid28-p doi:
	Filieri, Antonio	FSE '14: "Statistical Symbolic Execution ..." Statistical Symbolic Execution with Informed Sampling Antonio Filieri, Corina S. Păsăreanu, Willem Visser, and Jaco Geldenhuys (University of Stuttgart, Germany; Carnegie Mellon University, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa) @InProceedings{FSE14p494, author = {Antonio Filieri and Corina S. Păsăreanu and Willem Visser and Jaco Geldenhuys}, title = {Statistical Symbolic Execution with Informed Sampling}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {494-493}, doi = {}, year = {2014}, } Article: fse14main-mainid161-p doi:
	Filkov, Vladimir	FSE '14: "A Large Scale Study of Programming ..." A Large Scale Study of Programming Languages and Code Quality in Github Baishakhi Ray, Daryl Posnett, Vladimir Filkov, and Premkumar Devanbu (University of California at Davis, USA) @InProceedings{FSE14p182, author = {Baishakhi Ray and Daryl Posnett and Vladimir Filkov and Premkumar Devanbu}, title = {A Large Scale Study of Programming Languages and Code Quality in Github}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {182-181}, doi = {}, year = {2014}, } Article: fse14main-mainid243-p doi: FSE '14: "Focus-Shifting Patterns of ..." Focus-Shifting Patterns of OSS Developers and Their Congruence with Call Graphs Qi Xuan, Aaron Okano, Premkumar Devanbu, and Vladimir Filkov (University of California at Davis, USA; Zhejiang University of Technology, China) @InProceedings{FSE14p455, author = {Qi Xuan and Aaron Okano and Premkumar Devanbu and Vladimir Filkov}, title = {Focus-Shifting Patterns of OSS Developers and Their Congruence with Call Graphs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {455-454}, doi = {}, year = {2014}, } Article: fse14main-mainid208-p doi:
	Firestone, Justin	FSE '14: "Beyond the Rainbow: Self-Adaptive ..." Beyond the Rainbow: Self-Adaptive Failure Avoidance in Configurable Systems Jacob Swanson, Myra B. Cohen, Matthew B. Dwyer, Brady J. Garvin, and Justin Firestone (University of Nebraska-Lincoln, USA) @InProceedings{FSE14p429, author = {Jacob Swanson and Myra B. Cohen and Matthew B. Dwyer and Brady J. Garvin and Justin Firestone}, title = {Beyond the Rainbow: Self-Adaptive Failure Avoidance in Configurable Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {429-428}, doi = {}, year = {2014}, } Article: fse14main-mainid216-p doi:
	Fischer, Bernd	FSE '14: "ConceptCloud: A Tagcloud Browser ..." ConceptCloud: A Tagcloud Browser for Software Archives Gillian J. Greene and Bernd Fischer (Stellenbosch University, South Africa) @InProceedings{FSE14p854, author = {Gillian J. Greene and Bernd Fischer}, title = {ConceptCloud: A Tagcloud Browser for Software Archives}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {854-853}, doi = {}, year = {2014}, } Article: fse14demo-demoid2-p doi:
	Fraser, Gordon	FSE '14: "Are Mutants a Valid Substitute ..." Are Mutants a Valid Substitute for Real Faults in Software Testing? René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, and Gordon Fraser (University of Washington, USA; University of Waterloo, Canada; University of Sheffield, UK) @InProceedings{FSE14p741, author = {René Just and Darioush Jalali and Laura Inozemtseva and Michael D. Ernst and Reid Holmes and Gordon Fraser}, title = {Are Mutants a Valid Substitute for Real Faults in Software Testing?}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {741-740}, doi = {}, year = {2014}, } Article: fse14main-mainid265-p doi:
	Fritz, Thomas	FSE '14: "Developers’ Code Context ..." Developers’ Code Context Models for Change Tasks Thomas Fritz, David C. Shepherd, Katja Kevic, Will Snipes, and Christoph Bräunlich (University of Zurich, Switzerland; ABB Research, USA) @InProceedings{FSE14p13, author = {Thomas Fritz and David C. Shepherd and Katja Kevic and Will Snipes and Christoph Bräunlich}, title = {Developers’ Code Context Models for Change Tasks}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2014}, } Article: fse14main-mainid176-p doi: FSE '14: "Software Developers’ Perceptions ..." Software Developers’ Perceptions of Productivity André N. Meyer, Thomas Fritz, Gail C. Murphy, and Thomas Zimmermann (University of Zurich, Switzerland; University of British Columbia, Canada; Microsoft Research, USA) @InProceedings{FSE14p26, author = {André N. Meyer and Thomas Fritz and Gail C. Murphy and Thomas Zimmermann}, title = {Software Developers’ Perceptions of Productivity}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {26-25}, doi = {}, year = {2014}, } Article: fse14main-mainid137-p doi:
	Galeotti, Juan Pablo	FSE '14: "XMLMate: Evolutionary XML ..." XMLMate: Evolutionary XML Test Generation Nikolas Havrikov, Matthias Höschele, Juan Pablo Galeotti, and Andreas Zeller (Saarland University, Germany) @InProceedings{FSE14p814, author = {Nikolas Havrikov and Matthias Höschele and Juan Pablo Galeotti and Andreas Zeller}, title = {XMLMate: Evolutionary XML Test Generation}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {814-813}, doi = {}, year = {2014}, } Article: fse14demo-demoid7-p doi:
	Ganapathy, Vinod	FSE '14: "Efficient Runtime-Enforcement ..." Efficient Runtime-Enforcement Techniques for Policy Weaving Richard Joiner, Thomas Reps, Somesh Jha, Mohan Dhawan, and Vinod Ganapathy (University of Wisconsin-Madison, USA; GrammaTech, USA; IBM Research, India; Rutgers University, USA) @InProceedings{FSE14p260, author = {Richard Joiner and Thomas Reps and Somesh Jha and Mohan Dhawan and Vinod Ganapathy}, title = {Efficient Runtime-Enforcement Techniques for Policy Weaving}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {260-259}, doi = {}, year = {2014}, } Article: fse14main-mainid178-p doi:
	Gao, Zheng	FSE '14: "Numerical Program Analysis ..." Numerical Program Analysis and Testing Zheng Gao (University College London, UK) @InProceedings{FSE14p874, author = {Zheng Gao}, title = {Numerical Program Analysis and Testing}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {874-873}, doi = {}, year = {2014}, } Article: fse14doc-docid17-p doi:
	Garvin, Brady J.	FSE '14: "Beyond the Rainbow: Self-Adaptive ..." Beyond the Rainbow: Self-Adaptive Failure Avoidance in Configurable Systems Jacob Swanson, Myra B. Cohen, Matthew B. Dwyer, Brady J. Garvin, and Justin Firestone (University of Nebraska-Lincoln, USA) @InProceedings{FSE14p429, author = {Jacob Swanson and Myra B. Cohen and Matthew B. Dwyer and Brady J. Garvin and Justin Firestone}, title = {Beyond the Rainbow: Self-Adaptive Failure Avoidance in Configurable Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {429-428}, doi = {}, year = {2014}, } Article: fse14main-mainid216-p doi:
	Geldenhuys, Jaco	FSE '14: "Statistical Symbolic Execution ..." Statistical Symbolic Execution with Informed Sampling Antonio Filieri, Corina S. Păsăreanu, Willem Visser, and Jaco Geldenhuys (University of Stuttgart, Germany; Carnegie Mellon University, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa) @InProceedings{FSE14p494, author = {Antonio Filieri and Corina S. Păsăreanu and Willem Visser and Jaco Geldenhuys}, title = {Statistical Symbolic Execution with Informed Sampling}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {494-493}, doi = {}, year = {2014}, } Article: fse14main-mainid161-p doi:
	Gerking, Christopher	FSE '14: "A Tool Suite for the Model-Driven ..." A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, and Uwe Pohlmann (University of Paderborn, Germany; Fraunhofer IPT, Germany) @InProceedings{FSE14p810, author = {Stefan Dziwok and Christopher Gerking and Steffen Becker and Sebastian Thiele and Christian Heinzemann and Uwe Pohlmann}, title = {A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {810-809}, doi = {}, year = {2014}, } Article: fse14demo-demoid9-p doi:
	Ghosh, Indradeep	FSE '14: "SymJS: Automatic Symbolic ..." SymJS: Automatic Symbolic Testing of JavaScript Web Applications Guodong Li, Esben Andreasen, and Indradeep Ghosh (Fujitsu Labs, USA; Aarhus University, Denmark) @InProceedings{FSE14p507, author = {Guodong Li and Esben Andreasen and Indradeep Ghosh}, title = {SymJS: Automatic Symbolic Testing of JavaScript Web Applications}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {507-506}, doi = {}, year = {2014}, } Article: fse14main-mainid202-p doi:
	Gibbons, Kevin	FSE '14: "JSAI: A Static Analysis Platform ..." JSAI: A Static Analysis Platform for JavaScript Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, and Ben Hardekopf (University of California at Santa Barbara, USA; Harvey Mudd College, USA) @InProceedings{FSE14p143, author = {Vineeth Kashyap and Kyle Dewey and Ethan A. Kuefner and John Wagner and Kevin Gibbons and John Sarracino and Ben Wiedermann and Ben Hardekopf}, title = {JSAI: A Static Analysis Platform for JavaScript}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {143-142}, doi = {}, year = {2014}, } Article: fse14main-mainid173-p doi:
	Gligoric, Milos	FSE '14: "Balancing Trade-Offs in Test-Suite ..." Balancing Trade-Offs in Test-Suite Reduction August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p286, author = {August Shi and Alex Gyori and Milos Gligoric and Andrey Zaytsev and Darko Marinov}, title = {Balancing Trade-Offs in Test-Suite Reduction}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {286-285}, doi = {}, year = {2014}, } Article: fse14main-mainid236-p doi:
	Godfrey, Michael W.	FSE '14: "No Issue Left Behind: Reducing ..." No Issue Left Behind: Reducing Information Overload in Issue Tracking Olga Baysal, Reid Holmes, and Michael W. Godfrey (Université de Montréal, Canada; University of Waterloo, Canada) @InProceedings{FSE14p754, author = {Olga Baysal and Reid Holmes and Michael W. Godfrey}, title = {No Issue Left Behind: Reducing Information Overload in Issue Tracking}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {754-753}, doi = {}, year = {2014}, } Article: fse14main-mainid125-p doi:
	Goffi, Alberto	FSE '14: "Search-Based Synthesis of ..." Search-Based Synthesis of Equivalent Method Sequences Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, and Paolo Tonella (University of Lugano, Switzerland; Saarland University, Germany; Fondazione Bruno Kessler, Italy) @InProceedings{FSE14p416, author = {Alberto Goffi and Alessandra Gorla and Andrea Mattavelli and Mauro Pezzè and Paolo Tonella}, title = {Search-Based Synthesis of Equivalent Method Sequences}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {416-415}, doi = {}, year = {2014}, } Article: fse14main-mainid129-p doi:
	Gold, Nicolas	FSE '14: "ORBS: Language-Independent ..." ORBS: Language-Independent Program Slicing David Binkley, Nicolas Gold, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo (Loyola University Maryland, USA; University College London, UK) @InProceedings{FSE14p130, author = {David Binkley and Nicolas Gold and Mark Harman and Syed Islam and Jens Krinke and Shin Yoo}, title = {ORBS: Language-Independent Program Slicing}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {130-129}, doi = {}, year = {2014}, } Article: fse14main-mainid143-p doi:
	Gorla, Alessandra	FSE '14: "Search-Based Synthesis of ..." Search-Based Synthesis of Equivalent Method Sequences Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, and Paolo Tonella (University of Lugano, Switzerland; Saarland University, Germany; Fondazione Bruno Kessler, Italy) @InProceedings{FSE14p416, author = {Alberto Goffi and Alessandra Gorla and Andrea Mattavelli and Mauro Pezzè and Paolo Tonella}, title = {Search-Based Synthesis of Equivalent Method Sequences}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {416-415}, doi = {}, year = {2014}, } Article: fse14main-mainid129-p doi:
	Grechko, Artem	FSE '14: "Archie: A Tool for Detecting, ..." Archie: A Tool for Detecting, Monitoring, and Preserving Architecturally Significant Code Mehdi Mirakhorli, Ahmed Fakhry, Artem Grechko, Matteusz Wieloch, and Jane Cleland-Huang (Rochester Institute of Technology, USA; DePaul University, USA) @InProceedings{FSE14p834, author = {Mehdi Mirakhorli and Ahmed Fakhry and Artem Grechko and Matteusz Wieloch and Jane Cleland-Huang}, title = {Archie: A Tool for Detecting, Monitoring, and Preserving Architecturally Significant Code}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {834-833}, doi = {}, year = {2014}, } Article: fse14demo-demoid16-p doi:
	Greene, Gillian J.	FSE '14: "ConceptCloud: A Tagcloud Browser ..." ConceptCloud: A Tagcloud Browser for Software Archives Gillian J. Greene and Bernd Fischer (Stellenbosch University, South Africa) @InProceedings{FSE14p854, author = {Gillian J. Greene and Bernd Fischer}, title = {ConceptCloud: A Tagcloud Browser for Software Archives}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {854-853}, doi = {}, year = {2014}, } Article: fse14demo-demoid2-p doi:
	Gu, Ming	FSE '14: "Tsmart-GalsBlock: A Toolkit ..." Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; University of California at Davis, USA) @InProceedings{FSE14p806, author = {Yu Jiang and Hehua Zhang and Huafeng Zhang and Xinyan Zhao and Han Liu and Chengnian Sun and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {806-805}, doi = {}, year = {2014}, } Article: fse14demo-demoid8-p doi:
	Gui, Lin	FSE '14: "RaPiD: A Toolkit for Reliability ..." RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, and Jin Song Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore) @InProceedings{FSE14p822, author = {Lin Gui and Jun Sun and Yang Liu and Truong Khanh Nguyen and Jin Song Dong}, title = {RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {822-821}, doi = {}, year = {2014}, } Article: fse14demo-demoid13-p doi:
	Gulwani, Sumit	FSE '14: "Feedback Generation for Performance ..." Feedback Generation for Performance Problems in Introductory Programming Assignments Sumit Gulwani, Ivan Radiček, and Florian Zuleger (Microsoft Research, USA; Vienna University of Technology, Austria) @InProceedings{FSE14p52, author = {Sumit Gulwani and Ivan Radiček and Florian Zuleger}, title = {Feedback Generation for Performance Problems in Introductory Programming Assignments}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {52-51}, doi = {}, year = {2014}, } Article: fse14main-mainid197-p doi:
	Gyori, Alex	FSE '14: "Balancing Trade-Offs in Test-Suite ..." Balancing Trade-Offs in Test-Suite Reduction August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p286, author = {August Shi and Alex Gyori and Milos Gligoric and Andrey Zaytsev and Darko Marinov}, title = {Balancing Trade-Offs in Test-Suite Reduction}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {286-285}, doi = {}, year = {2014}, } Article: fse14main-mainid236-p doi:
	Hafiz, Munawar	FSE '14: "Identifying the Characteristics ..." Identifying the Characteristics of Vulnerable Code Changes: An Empirical Study Amiangshu Bosu, Jeffrey C. Carver, Munawar Hafiz, Patrick Hilley, and Derek Janni (University of Alabama, USA; Auburn University, USA; Providence College, USA; Lewis & Clark College, USA) @InProceedings{FSE14p299, author = {Amiangshu Bosu and Jeffrey C. Carver and Munawar Hafiz and Patrick Hilley and Derek Janni}, title = {Identifying the Characteristics of Vulnerable Code Changes: An Empirical Study}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {299-298}, doi = {}, year = {2014}, } Article: fse14main-mainid77-p doi: FSE '14: "A Foundation for Refactoring ..." A Foundation for Refactoring C with Macros Jeffrey L. Overbey, Farnaz Behrang, and Munawar Hafiz (Auburn University, USA) @InProceedings{FSE14p91, author = {Jeffrey L. Overbey and Farnaz Behrang and Munawar Hafiz}, title = {A Foundation for Refactoring C with Macros}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {91-90}, doi = {}, year = {2014}, } Article: fse14main-mainid180-p doi:
	Hardekopf, Ben	FSE '14: "JSAI: A Static Analysis Platform ..." JSAI: A Static Analysis Platform for JavaScript Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, and Ben Hardekopf (University of California at Santa Barbara, USA; Harvey Mudd College, USA) @InProceedings{FSE14p143, author = {Vineeth Kashyap and Kyle Dewey and Ethan A. Kuefner and John Wagner and Kevin Gibbons and John Sarracino and Ben Wiedermann and Ben Hardekopf}, title = {JSAI: A Static Analysis Platform for JavaScript}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {143-142}, doi = {}, year = {2014}, } Article: fse14main-mainid173-p doi:
	Hariri, Farah	FSE '14: "An Empirical Analysis of Flaky ..." An Empirical Analysis of Flaky Tests Qingzhou Luo, Farah Hariri, Lamyaa Eloussi, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p728, author = {Qingzhou Luo and Farah Hariri and Lamyaa Eloussi and Darko Marinov}, title = {An Empirical Analysis of Flaky Tests}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {728-727}, doi = {}, year = {2014}, } Article: fse14main-mainid232-p doi:
	Harman, Mark	FSE '14: "ORBS: Language-Independent ..." ORBS: Language-Independent Program Slicing David Binkley, Nicolas Gold, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo (Loyola University Maryland, USA; University College London, UK) @InProceedings{FSE14p130, author = {David Binkley and Nicolas Gold and Mark Harman and Syed Islam and Jens Krinke and Shin Yoo}, title = {ORBS: Language-Independent Program Slicing}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {130-129}, doi = {}, year = {2014}, } Article: fse14main-mainid143-p doi: FSE '14: "The Plastic Surgery Hypothesis ..." The Plastic Surgery Hypothesis Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro (University College London, UK; University of Massachusetts, USA; University of California at Davis, USA) @InProceedings{FSE14p351, author = {Earl T. Barr and Yuriy Brun and Premkumar Devanbu and Mark Harman and Federica Sarro}, title = {The Plastic Surgery Hypothesis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {351-350}, doi = {}, year = {2014}, } Article: fse14main-mainid156-p doi:
	Hassan, Ahmed E.	FSE '14: "Prioritizing the Devices to ..." Prioritizing the Devices to Test Your App on: A Case Study of Android Game Apps Hammad Khalid, Meiyappan Nagappan, Emad Shihab, and Ahmed E. Hassan (Queen's University, Canada; Rochester Institute of Technology, USA; Concordia University, Canada) @InProceedings{FSE14p689, author = {Hammad Khalid and Meiyappan Nagappan and Emad Shihab and Ahmed E. Hassan}, title = {Prioritizing the Devices to Test Your App on: A Case Study of Android Game Apps}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {689-688}, doi = {}, year = {2014}, } Article: fse14main-mainid182-p doi:
	Havrikov, Nikolas	FSE '14: "XMLMate: Evolutionary XML ..." XMLMate: Evolutionary XML Test Generation Nikolas Havrikov, Matthias Höschele, Juan Pablo Galeotti, and Andreas Zeller (Saarland University, Germany) @InProceedings{FSE14p814, author = {Nikolas Havrikov and Matthias Höschele and Juan Pablo Galeotti and Andreas Zeller}, title = {XMLMate: Evolutionary XML Test Generation}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {814-813}, doi = {}, year = {2014}, } Article: fse14demo-demoid7-p doi:
	He, Jifeng	FSE '14: "Aalta: An LTL Satisfiability ..." Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, and Jifeng He (East China Normal University, China; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{FSE14p826, author = {Jianwen Li and Yinbo Yao and Geguang Pu and Lijun Zhang and Jifeng He}, title = {Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {826-825}, doi = {}, year = {2014}, } Article: fse14demo-demoid11-p doi:
	Heinzemann, Christian	FSE '14: "A Tool Suite for the Model-Driven ..." A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, and Uwe Pohlmann (University of Paderborn, Germany; Fraunhofer IPT, Germany) @InProceedings{FSE14p810, author = {Stefan Dziwok and Christopher Gerking and Steffen Becker and Sebastian Thiele and Christian Heinzemann and Uwe Pohlmann}, title = {A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {810-809}, doi = {}, year = {2014}, } Article: fse14demo-demoid9-p doi:
	Herbsleb, James	FSE '14: "Let's Talk About It: Evaluating ..." Let's Talk About It: Evaluating Contributions through Discussion in GitHub Jason Tsay, Laura Dabbish, and James Herbsleb (Carnegie Mellon University, USA) @InProceedings{FSE14p169, author = {Jason Tsay and Laura Dabbish and James Herbsleb}, title = {Let's Talk About It: Evaluating Contributions through Discussion in GitHub}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2014}, } Article: fse14main-mainid81-p doi:
	Hermann, Ben	FSE '14: "FlowTwist: Efficient Context-Sensitive ..." FlowTwist: Efficient Context-Sensitive Inside-Out Taint Analysis for Large Codebases Johannes Lerch, Ben Hermann, Eric Bodden, and Mira Mezini (TU Darmstadt, Germany; Fraunhofer SIT, Germany) @InProceedings{FSE14p117, author = {Johannes Lerch and Ben Hermann and Eric Bodden and Mira Mezini}, title = {FlowTwist: Efficient Context-Sensitive Inside-Out Taint Analysis for Large Codebases}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {117-116}, doi = {}, year = {2014}, } Article: fse14main-mainid69-p doi:
	Hermans, Felienne	FSE '14: "BumbleBee: A Refactoring Environment ..." BumbleBee: A Refactoring Environment for Spreadsheet Formulas Felienne Hermans and Danny Dig (Delft University of Technology, Netherlands; Oregon State University, USA) @InProceedings{FSE14p842, author = {Felienne Hermans and Danny Dig}, title = {BumbleBee: A Refactoring Environment for Spreadsheet Formulas}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {842-841}, doi = {}, year = {2014}, } Article: fse14demo-demoid1-p doi:
	Heymans, Patrick	FSE '14: "Counterexample Guided Abstraction ..." Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, and Martin Leucker (University of Namur, Belgium; INRIA, France; University of Lübeck, Germany) @InProceedings{FSE14p221, author = {Maxime Cordy and Patrick Heymans and Axel Legay and Pierre-Yves Schobbens and Bruno Dawagne and Martin Leucker}, title = {Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2014}, } Article: fse14main-mainid231-p doi:
	Higo, Yoshiki	FSE '14: "How Should We Measure Functional ..." How Should We Measure Functional Sameness from Program Source Code? An Exploratory Study on Java Methods Yoshiki Higo and Shinji Kusumoto (Osaka University, Japan) @InProceedings{FSE14p338, author = {Yoshiki Higo and Shinji Kusumoto}, title = {How Should We Measure Functional Sameness from Program Source Code? An Exploratory Study on Java Methods}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {338-337}, doi = {}, year = {2014}, } Article: fse14main-mainid118-p doi:
	Hilley, Patrick	FSE '14: "Identifying the Characteristics ..." Identifying the Characteristics of Vulnerable Code Changes: An Empirical Study Amiangshu Bosu, Jeffrey C. Carver, Munawar Hafiz, Patrick Hilley, and Derek Janni (University of Alabama, USA; Auburn University, USA; Providence College, USA; Lewis & Clark College, USA) @InProceedings{FSE14p299, author = {Amiangshu Bosu and Jeffrey C. Carver and Munawar Hafiz and Patrick Hilley and Derek Janni}, title = {Identifying the Characteristics of Vulnerable Code Changes: An Empirical Study}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {299-298}, doi = {}, year = {2014}, } Article: fse14main-mainid77-p doi:
	Holmes, Reid	FSE '14: "Are Mutants a Valid Substitute ..." Are Mutants a Valid Substitute for Real Faults in Software Testing? René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, and Gordon Fraser (University of Washington, USA; University of Waterloo, Canada; University of Sheffield, UK) @InProceedings{FSE14p741, author = {René Just and Darioush Jalali and Laura Inozemtseva and Michael D. Ernst and Reid Holmes and Gordon Fraser}, title = {Are Mutants a Valid Substitute for Real Faults in Software Testing?}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {741-740}, doi = {}, year = {2014}, } Article: fse14main-mainid265-p doi: FSE '14: "No Issue Left Behind: Reducing ..." No Issue Left Behind: Reducing Information Overload in Issue Tracking Olga Baysal, Reid Holmes, and Michael W. Godfrey (Université de Montréal, Canada; University of Waterloo, Canada) @InProceedings{FSE14p754, author = {Olga Baysal and Reid Holmes and Michael W. Godfrey}, title = {No Issue Left Behind: Reducing Information Overload in Issue Tracking}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {754-753}, doi = {}, year = {2014}, } Article: fse14main-mainid125-p doi:
	Höschele, Matthias	FSE '14: "XMLMate: Evolutionary XML ..." XMLMate: Evolutionary XML Test Generation Nikolas Havrikov, Matthias Höschele, Juan Pablo Galeotti, and Andreas Zeller (Saarland University, Germany) @InProceedings{FSE14p814, author = {Nikolas Havrikov and Matthias Höschele and Juan Pablo Galeotti and Andreas Zeller}, title = {XMLMate: Evolutionary XML Test Generation}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {814-813}, doi = {}, year = {2014}, } Article: fse14demo-demoid7-p doi:
	Huo, Chen	FSE '14: "Improving Oracle Quality by ..." Improving Oracle Quality by Detecting Brittle Assertions and Unused Inputs in Tests Chen Huo and James Clause (University of Delaware, USA) @InProceedings{FSE14p702, author = {Chen Huo and James Clause}, title = {Improving Oracle Quality by Detecting Brittle Assertions and Unused Inputs in Tests}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {702-701}, doi = {}, year = {2014}, } Article: fse14main-mainid229-p doi:
	Inozemtseva, Laura	FSE '14: "Are Mutants a Valid Substitute ..." Are Mutants a Valid Substitute for Real Faults in Software Testing? René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, and Gordon Fraser (University of Washington, USA; University of Waterloo, Canada; University of Sheffield, UK) @InProceedings{FSE14p741, author = {René Just and Darioush Jalali and Laura Inozemtseva and Michael D. Ernst and Reid Holmes and Gordon Fraser}, title = {Are Mutants a Valid Substitute for Real Faults in Software Testing?}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {741-740}, doi = {}, year = {2014}, } Article: fse14main-mainid265-p doi:
	Islam, Syed	FSE '14: "ORBS: Language-Independent ..." ORBS: Language-Independent Program Slicing David Binkley, Nicolas Gold, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo (Loyola University Maryland, USA; University College London, UK) @InProceedings{FSE14p130, author = {David Binkley and Nicolas Gold and Mark Harman and Syed Islam and Jens Krinke and Shin Yoo}, title = {ORBS: Language-Independent Program Slicing}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {130-129}, doi = {}, year = {2014}, } Article: fse14main-mainid143-p doi:
	Jaffar, Joxan	FSE '14: "A Path-Sensitively Sliced ..." A Path-Sensitively Sliced Control Flow Graph Joxan Jaffar and Vijayaraghavan Murali (National University of Singapore, Singapore) @InProceedings{FSE14p156, author = {Joxan Jaffar and Vijayaraghavan Murali}, title = {A Path-Sensitively Sliced Control Flow Graph}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {156-155}, doi = {}, year = {2014}, } Article: fse14main-mainid103-p doi:
	Jalali, Darioush	FSE '14: "Are Mutants a Valid Substitute ..." Are Mutants a Valid Substitute for Real Faults in Software Testing? René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, and Gordon Fraser (University of Washington, USA; University of Waterloo, Canada; University of Sheffield, UK) @InProceedings{FSE14p741, author = {René Just and Darioush Jalali and Laura Inozemtseva and Michael D. Ernst and Reid Holmes and Gordon Fraser}, title = {Are Mutants a Valid Substitute for Real Faults in Software Testing?}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {741-740}, doi = {}, year = {2014}, } Article: fse14main-mainid265-p doi:
	Janni, Derek	FSE '14: "Identifying the Characteristics ..." Identifying the Characteristics of Vulnerable Code Changes: An Empirical Study Amiangshu Bosu, Jeffrey C. Carver, Munawar Hafiz, Patrick Hilley, and Derek Janni (University of Alabama, USA; Auburn University, USA; Providence College, USA; Lewis & Clark College, USA) @InProceedings{FSE14p299, author = {Amiangshu Bosu and Jeffrey C. Carver and Munawar Hafiz and Patrick Hilley and Derek Janni}, title = {Identifying the Characteristics of Vulnerable Code Changes: An Empirical Study}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {299-298}, doi = {}, year = {2014}, } Article: fse14main-mainid77-p doi:
	Jha, Somesh	FSE '14: "Efficient Runtime-Enforcement ..." Efficient Runtime-Enforcement Techniques for Policy Weaving Richard Joiner, Thomas Reps, Somesh Jha, Mohan Dhawan, and Vinod Ganapathy (University of Wisconsin-Madison, USA; GrammaTech, USA; IBM Research, India; Rutgers University, USA) @InProceedings{FSE14p260, author = {Richard Joiner and Thomas Reps and Somesh Jha and Mohan Dhawan and Vinod Ganapathy}, title = {Efficient Runtime-Enforcement Techniques for Policy Weaving}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {260-259}, doi = {}, year = {2014}, } Article: fse14main-mainid178-p doi:
	Jiang, Lingxiao	FSE '14: "Vector Abstraction and Concretization ..." Vector Abstraction and Concretization for Scalable Detection of Refactorings Narcisa Andreea Milea, Lingxiao Jiang, and Siau-Cheng Khoo (National University of Singapore, Singapore; Singapore Management University, Singapore) @InProceedings{FSE14p104, author = {Narcisa Andreea Milea and Lingxiao Jiang and Siau-Cheng Khoo}, title = {Vector Abstraction and Concretization for Scalable Detection of Refactorings}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {104-103}, doi = {}, year = {2014}, } Article: fse14main-mainid253-p doi:
	Jiang, Yu	FSE '14: "Tsmart-GalsBlock: A Toolkit ..." Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; University of California at Davis, USA) @InProceedings{FSE14p806, author = {Yu Jiang and Hehua Zhang and Huafeng Zhang and Xinyan Zhao and Han Liu and Chengnian Sun and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {806-805}, doi = {}, year = {2014}, } Article: fse14demo-demoid8-p doi:
	Jørgensen, Magne	FSE '14: "Ten Years with Evidence-Based ..." Ten Years with Evidence-Based Software Engineering. What Is It? Has It Had Any Impact? What’s Next? (Invited Talk) Magne Jørgensen (Simula Research Laboratory, Norway) @InProceedings{FSE14p5, author = {Magne Jørgensen}, title = {Ten Years with Evidence-Based Software Engineering. What Is It? Has It Had Any Impact? What’s Next? (Invited Talk)}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {5-4}, doi = {}, year = {2014}, } Article: fse14invited-keynotesid3-p doi:
	Joiner, Richard	FSE '14: "Efficient Runtime-Enforcement ..." Efficient Runtime-Enforcement Techniques for Policy Weaving Richard Joiner, Thomas Reps, Somesh Jha, Mohan Dhawan, and Vinod Ganapathy (University of Wisconsin-Madison, USA; GrammaTech, USA; IBM Research, India; Rutgers University, USA) @InProceedings{FSE14p260, author = {Richard Joiner and Thomas Reps and Somesh Jha and Mohan Dhawan and Vinod Ganapathy}, title = {Efficient Runtime-Enforcement Techniques for Policy Weaving}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {260-259}, doi = {}, year = {2014}, } Article: fse14main-mainid178-p doi:
	Joseph, Harry Raymond	FSE '14: "Software Programmer Management: ..." Software Programmer Management: A Machine Learning and Human Computer Interaction Framework for Optimal Task Assignment Harry Raymond Joseph (TU München, Germany) @InProceedings{FSE14p921, author = {Harry Raymond Joseph}, title = {Software Programmer Management: A Machine Learning and Human Computer Interaction Framework for Optimal Task Assignment}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {921-920}, doi = {}, year = {2014}, } Article: fse14src-srcid5-p doi:
	Just, René	FSE '14: "Are Mutants a Valid Substitute ..." Are Mutants a Valid Substitute for Real Faults in Software Testing? René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, and Gordon Fraser (University of Washington, USA; University of Waterloo, Canada; University of Sheffield, UK) @InProceedings{FSE14p741, author = {René Just and Darioush Jalali and Laura Inozemtseva and Michael D. Ernst and Reid Holmes and Gordon Fraser}, title = {Are Mutants a Valid Substitute for Real Faults in Software Testing?}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {741-740}, doi = {}, year = {2014}, } Article: fse14main-mainid265-p doi:
	Kan, Shuanglong	FSE '14: "Traceability and Model Checking ..." Traceability and Model Checking to Support Safety Requirement Verification Shuanglong Kan (Nanjing University of Aeronautics and Astronautics, China) @InProceedings{FSE14p878, author = {Shuanglong Kan}, title = {Traceability and Model Checking to Support Safety Requirement Verification}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {878-877}, doi = {}, year = {2014}, } Article: fse14doc-docid4-p doi:
	Kashyap, Vineeth	FSE '14: "JSAI: A Static Analysis Platform ..." JSAI: A Static Analysis Platform for JavaScript Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, and Ben Hardekopf (University of California at Santa Barbara, USA; Harvey Mudd College, USA) @InProceedings{FSE14p143, author = {Vineeth Kashyap and Kyle Dewey and Ethan A. Kuefner and John Wagner and Kevin Gibbons and John Sarracino and Ben Wiedermann and Ben Hardekopf}, title = {JSAI: A Static Analysis Platform for JavaScript}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {143-142}, doi = {}, year = {2014}, } Article: fse14main-mainid173-p doi:
	Kasi, Bakhtiar Khan	FSE '14: "Minimizing Software Conflicts ..." Minimizing Software Conflicts through Proactive Detection of Conflicts and Task Scheduling Bakhtiar Khan Kasi (University of Nebraska-Lincoln, USA) @InProceedings{FSE14p902, author = {Bakhtiar Khan Kasi}, title = {Minimizing Software Conflicts through Proactive Detection of Conflicts and Task Scheduling}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {902-901}, doi = {}, year = {2014}, } Article: fse14doc-docid6-p doi:
	Kästner, Christian	FSE '14: "Building Call Graphs for Embedded ..." Building Call Graphs for Embedded Client-Side Code in Dynamic Web Applications Hung Viet Nguyen, Christian Kästner, and Tien N. Nguyen (Iowa State University, USA; Carnegie Mellon University, USA) @InProceedings{FSE14p585, author = {Hung Viet Nguyen and Christian Kästner and Tien N. Nguyen}, title = {Building Call Graphs for Embedded Client-Side Code in Dynamic Web Applications}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {585-584}, doi = {}, year = {2014}, } Article: fse14main-mainid264-p doi:
	Kazman, Rick	FSE '14: "Titan: A Toolset That Connects ..." Titan: A Toolset That Connects Software Architecture with Quality Analysis Lu Xiao, Yuanfang Cai, and Rick Kazman (Drexel University, USA; University of Hawaii, USA) @InProceedings{FSE14p858, author = {Lu Xiao and Yuanfang Cai and Rick Kazman}, title = {Titan: A Toolset That Connects Software Architecture with Quality Analysis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {858-857}, doi = {}, year = {2014}, } Article: fse14demo-demoid20-p doi:
	Kevic, Katja	FSE '14: "Developers’ Code Context ..." Developers’ Code Context Models for Change Tasks Thomas Fritz, David C. Shepherd, Katja Kevic, Will Snipes, and Christoph Bräunlich (University of Zurich, Switzerland; ABB Research, USA) @InProceedings{FSE14p13, author = {Thomas Fritz and David C. Shepherd and Katja Kevic and Will Snipes and Christoph Bräunlich}, title = {Developers’ Code Context Models for Change Tasks}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2014}, } Article: fse14main-mainid176-p doi:
	Khalid, Hammad	FSE '14: "Prioritizing the Devices to ..." Prioritizing the Devices to Test Your App on: A Case Study of Android Game Apps Hammad Khalid, Meiyappan Nagappan, Emad Shihab, and Ahmed E. Hassan (Queen's University, Canada; Rochester Institute of Technology, USA; Concordia University, Canada) @InProceedings{FSE14p689, author = {Hammad Khalid and Meiyappan Nagappan and Emad Shihab and Ahmed E. Hassan}, title = {Prioritizing the Devices to Test Your App on: A Case Study of Android Game Apps}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {689-688}, doi = {}, year = {2014}, } Article: fse14main-mainid182-p doi:
	Khoo, Siau-Cheng	FSE '14: "Vector Abstraction and Concretization ..." Vector Abstraction and Concretization for Scalable Detection of Refactorings Narcisa Andreea Milea, Lingxiao Jiang, and Siau-Cheng Khoo (National University of Singapore, Singapore; Singapore Management University, Singapore) @InProceedings{FSE14p104, author = {Narcisa Andreea Milea and Lingxiao Jiang and Siau-Cheng Khoo}, title = {Vector Abstraction and Concretization for Scalable Detection of Refactorings}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {104-103}, doi = {}, year = {2014}, } Article: fse14main-mainid253-p doi: FSE '14: "Querying Sequential Software ..." Querying Sequential Software Engineering Data Chengnian Sun, Haidong Zhang, Jian-Guang Lou, Hongyu Zhang, Qiang Wang, Dongmei Zhang, and Siau-Cheng Khoo (University of California at Davis, USA; Microsoft Research, China; National University of Singapore, Singapore) @InProceedings{FSE14p793, author = {Chengnian Sun and Haidong Zhang and Jian-Guang Lou and Hongyu Zhang and Qiang Wang and Dongmei Zhang and Siau-Cheng Khoo}, title = {Querying Sequential Software Engineering Data}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {793-792}, doi = {}, year = {2014}, } Article: fse14main-mainid170-p doi:
	Kiesling, Stephan	FSE '14: "Enablers, Inhibitors, and ..." Enablers, Inhibitors, and Perceptions of Testing in Novice Software Teams Raphael Pham, Stephan Kiesling, Olga Liskin, Leif Singer, and Kurt Schneider (Leibniz Universität Hannover, Germany; University of Victoria, Canada) @InProceedings{FSE14p39, author = {Raphael Pham and Stephan Kiesling and Olga Liskin and Leif Singer and Kurt Schneider}, title = {Enablers, Inhibitors, and Perceptions of Testing in Novice Software Teams}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2014}, } Article: fse14main-mainid250-p doi:
	Kim, Jindae	FSE '14: "Automatically Generated Patches ..." Automatically Generated Patches as Debugging Aids: A Human Study Yida Tao, Jindae Kim, Sunghun Kim, and Chang Xu (Hong Kong University of Science and Technology, China; Nanjing University, China) @InProceedings{FSE14p78, author = {Yida Tao and Jindae Kim and Sunghun Kim and Chang Xu}, title = {Automatically Generated Patches as Debugging Aids: A Human Study}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2014}, } Article: fse14main-mainid38-p doi:
	Kim, Miryung	FSE '14: "RefDistiller: A Refactoring ..." RefDistiller: A Refactoring Aware Code Review Tool for Inspecting Manual Refactoring Edits Everton L. G. Alves, Myoungkyu Song, and Miryung Kim (University of Texas at Austin, USA; Federal University of Campina Grande, Brazil; University of California at Los Angeles, USA) @InProceedings{FSE14p846, author = {Everton L. G. Alves and Myoungkyu Song and Miryung Kim}, title = {RefDistiller: A Refactoring Aware Code Review Tool for Inspecting Manual Refactoring Edits}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {846-845}, doi = {}, year = {2014}, } Article: fse14demo-demoid17-p doi: FSE '14: "Critics: An Interactive Code ..." Critics: An Interactive Code Review Tool for Searching and Inspecting Systematic Changes Tianyi Zhang, Myoungkyu Song, and Miryung Kim (University of California at Los Angeles, USA; University of Texas at Austin, USA) @InProceedings{FSE14p850, author = {Tianyi Zhang and Myoungkyu Song and Miryung Kim}, title = {Critics: An Interactive Code Review Tool for Searching and Inspecting Systematic Changes}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {850-849}, doi = {}, year = {2014}, } Article: fse14demo-demoid15-p doi:
	Kim, Sunghun	FSE '14: "How We Get There: A Context-Guided ..." How We Get There: A Context-Guided Search Strategy in Concolic Testing Hyunmin Seo and Sunghun Kim (Hong Kong University of Science and Technology, China) @InProceedings{FSE14p468, author = {Hyunmin Seo and Sunghun Kim}, title = {How We Get There: A Context-Guided Search Strategy in Concolic Testing}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {468-467}, doi = {}, year = {2014}, } Article: fse14main-mainid32-p doi: FSE '14: "Automatically Generated Patches ..." Automatically Generated Patches as Debugging Aids: A Human Study Yida Tao, Jindae Kim, Sunghun Kim, and Chang Xu (Hong Kong University of Science and Technology, China; Nanjing University, China) @InProceedings{FSE14p78, author = {Yida Tao and Jindae Kim and Sunghun Kim and Chang Xu}, title = {Automatically Generated Patches as Debugging Aids: A Human Study}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2014}, } Article: fse14main-mainid38-p doi:
	Kochhar, Pavneet Singh	FSE '14: "BugLocalizer: Integrated Tool ..." BugLocalizer: Integrated Tool Support for Bug Localization Ferdian Thung, Tien-Duy B. Le, Pavneet Singh Kochhar, and David Lo (Singapore Management University, Singapore) @InProceedings{FSE14p862, author = {Ferdian Thung and Tien-Duy B. Le and Pavneet Singh Kochhar and David Lo}, title = {BugLocalizer: Integrated Tool Support for Bug Localization}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {862-861}, doi = {}, year = {2014}, } Article: fse14demo-demoid21-p doi:
	Krinke, Jens	FSE '14: "ORBS: Language-Independent ..." ORBS: Language-Independent Program Slicing David Binkley, Nicolas Gold, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo (Loyola University Maryland, USA; University College London, UK) @InProceedings{FSE14p130, author = {David Binkley and Nicolas Gold and Mark Harman and Syed Islam and Jens Krinke and Shin Yoo}, title = {ORBS: Language-Independent Program Slicing}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {130-129}, doi = {}, year = {2014}, } Article: fse14main-mainid143-p doi:
	Krka, Ivo	FSE '14: "Automatic Mining of Specifications ..." Automatic Mining of Specifications from Invocation Traces and Method Invariants Ivo Krka, Yuriy Brun, and Nenad Medvidovic (Google, Switzerland; University of Massachusetts, USA; University of Southern California, USA) @InProceedings{FSE14p208, author = {Ivo Krka and Yuriy Brun and Nenad Medvidovic}, title = {Automatic Mining of Specifications from Invocation Traces and Method Invariants}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {208-207}, doi = {}, year = {2014}, } Article: fse14main-mainid131-p doi:
	Kuefner, Ethan A.	FSE '14: "JSAI: A Static Analysis Platform ..." JSAI: A Static Analysis Platform for JavaScript Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, and Ben Hardekopf (University of California at Santa Barbara, USA; Harvey Mudd College, USA) @InProceedings{FSE14p143, author = {Vineeth Kashyap and Kyle Dewey and Ethan A. Kuefner and John Wagner and Kevin Gibbons and John Sarracino and Ben Wiedermann and Ben Hardekopf}, title = {JSAI: A Static Analysis Platform for JavaScript}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {143-142}, doi = {}, year = {2014}, } Article: fse14main-mainid173-p doi:
	Kusumoto, Shinji	FSE '14: "How Should We Measure Functional ..." How Should We Measure Functional Sameness from Program Source Code? An Exploratory Study on Java Methods Yoshiki Higo and Shinji Kusumoto (Osaka University, Japan) @InProceedings{FSE14p338, author = {Yoshiki Higo and Shinji Kusumoto}, title = {How Should We Measure Functional Sameness from Program Source Code? An Exploratory Study on Java Methods}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {338-337}, doi = {}, year = {2014}, } Article: fse14main-mainid118-p doi:
	Lal, Akash	FSE '14: "Powering the Static Driver ..." Powering the Static Driver Verifier using Corral Akash Lal and Shaz Qadeer (Microsoft Research, India; Microsoft Research, USA) @InProceedings{FSE14p234, author = {Akash Lal and Shaz Qadeer}, title = {Powering the Static Driver Verifier using Corral}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {234-233}, doi = {}, year = {2014}, } Article: fse14main-mainid146-p doi:
	Lam, Monica S.	FSE '14: "Omlet: A Revolution against ..." Omlet: A Revolution against Big-Brother Social Networks (Invited Talk) Monica S. Lam (Stanford University, USA) @InProceedings{FSE14p1, author = {Monica S. Lam}, title = {Omlet: A Revolution against Big-Brother Social Networks (Invited Talk)}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, } Article: fse14keynote-keynotesid1-p doi:
	Le, Tien-Duy B.	FSE '14: "BugLocalizer: Integrated Tool ..." BugLocalizer: Integrated Tool Support for Bug Localization Ferdian Thung, Tien-Duy B. Le, Pavneet Singh Kochhar, and David Lo (Singapore Management University, Singapore) @InProceedings{FSE14p862, author = {Ferdian Thung and Tien-Duy B. Le and Pavneet Singh Kochhar and David Lo}, title = {BugLocalizer: Integrated Tool Support for Bug Localization}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {862-861}, doi = {}, year = {2014}, } Article: fse14demo-demoid21-p doi:
	Legay, Axel	FSE '14: "Counterexample Guided Abstraction ..." Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, and Martin Leucker (University of Namur, Belgium; INRIA, France; University of Lübeck, Germany) @InProceedings{FSE14p221, author = {Maxime Cordy and Patrick Heymans and Axel Legay and Pierre-Yves Schobbens and Bruno Dawagne and Martin Leucker}, title = {Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2014}, } Article: fse14main-mainid231-p doi: FSE '14: "A Variability Perspective ..." A Variability Perspective of Mutation Analysis Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, and Pierre-Yves Schobbens (University of Namur, Belgium; University of Luxembourg, Luxembourg; INRIA, France) @InProceedings{FSE14p936, author = {Xavier Devroey and Gilles Perrouin and Maxime Cordy and Mike Papadakis and Axel Legay and Pierre-Yves Schobbens}, title = {A Variability Perspective of Mutation Analysis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {936-935}, doi = {}, year = {2014}, } Article: fse14vc-vcid11-p doi:
	Lerch, Johannes	FSE '14: "FlowTwist: Efficient Context-Sensitive ..." FlowTwist: Efficient Context-Sensitive Inside-Out Taint Analysis for Large Codebases Johannes Lerch, Ben Hermann, Eric Bodden, and Mira Mezini (TU Darmstadt, Germany; Fraunhofer SIT, Germany) @InProceedings{FSE14p117, author = {Johannes Lerch and Ben Hermann and Eric Bodden and Mira Mezini}, title = {FlowTwist: Efficient Context-Sensitive Inside-Out Taint Analysis for Large Codebases}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {117-116}, doi = {}, year = {2014}, } Article: fse14main-mainid69-p doi:
	Leucker, Martin	FSE '14: "Counterexample Guided Abstraction ..." Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, and Martin Leucker (University of Namur, Belgium; INRIA, France; University of Lübeck, Germany) @InProceedings{FSE14p221, author = {Maxime Cordy and Patrick Heymans and Axel Legay and Pierre-Yves Schobbens and Bruno Dawagne and Martin Leucker}, title = {Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2014}, } Article: fse14main-mainid231-p doi:
	Li, Guodong	FSE '14: "SymJS: Automatic Symbolic ..." SymJS: Automatic Symbolic Testing of JavaScript Web Applications Guodong Li, Esben Andreasen, and Indradeep Ghosh (Fujitsu Labs, USA; Aarhus University, Denmark) @InProceedings{FSE14p507, author = {Guodong Li and Esben Andreasen and Indradeep Ghosh}, title = {SymJS: Automatic Symbolic Testing of JavaScript Web Applications}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {507-506}, doi = {}, year = {2014}, } Article: fse14main-mainid202-p doi:
	Li, Jianwen	FSE '14: "Aalta: An LTL Satisfiability ..." Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, and Jifeng He (East China Normal University, China; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{FSE14p826, author = {Jianwen Li and Yinbo Yao and Geguang Pu and Lijun Zhang and Jifeng He}, title = {Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {826-825}, doi = {}, year = {2014}, } Article: fse14demo-demoid11-p doi:
	Lim, Inho	FSE '14: "SAFEWAPI: Web API Misuse Detector ..." SAFEWAPI: Web API Misuse Detector for Web Applications SungGyeong Bae, Hyunghun Cho, Inho Lim, and Sukyoung Ryu (KAIST, South Korea; Samsung Electronics, South Korea) @InProceedings{FSE14p572, author = {SungGyeong Bae and Hyunghun Cho and Inho Lim and Sukyoung Ryu}, title = {SAFEWAPI: Web API Misuse Detector for Web Applications}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {572-571}, doi = {}, year = {2014}, } Article: fse14main-mainid222-p doi:
	Lin, Yu	FSE '14: "Retrofitting Concurrency for ..." Retrofitting Concurrency for Android Applications through Refactoring Yu Lin, Cosmin Radoi, and Danny Dig (University of Illinois at Urbana-Champaign, USA; Oregon State University, USA) @InProceedings{FSE14p390, author = {Yu Lin and Cosmin Radoi and Danny Dig}, title = {Retrofitting Concurrency for Android Applications through Refactoring}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {390-389}, doi = {}, year = {2014}, } Article: fse14main-mainid171-p doi:
	Liskin, Olga	FSE '14: "Enablers, Inhibitors, and ..." Enablers, Inhibitors, and Perceptions of Testing in Novice Software Teams Raphael Pham, Stephan Kiesling, Olga Liskin, Leif Singer, and Kurt Schneider (Leibniz Universität Hannover, Germany; University of Victoria, Canada) @InProceedings{FSE14p39, author = {Raphael Pham and Stephan Kiesling and Olga Liskin and Leif Singer and Kurt Schneider}, title = {Enablers, Inhibitors, and Perceptions of Testing in Novice Software Teams}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2014}, } Article: fse14main-mainid250-p doi:
	Liu, Chang	FSE '14: "Learning to Rank Relevant ..." Learning to Rank Relevant Files for Bug Reports using Domain Knowledge Xin Ye, Razvan Bunescu, and Chang Liu (Ohio University, USA) @InProceedings{FSE14p780, author = {Xin Ye and Razvan Bunescu and Chang Liu}, title = {Learning to Rank Relevant Files for Bug Reports using Domain Knowledge}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {780-779}, doi = {}, year = {2014}, } Article: fse14main-mainid44-p doi:
	Liu, Han	FSE '14: "Tsmart-GalsBlock: A Toolkit ..." Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; University of California at Davis, USA) @InProceedings{FSE14p806, author = {Yu Jiang and Hehua Zhang and Huafeng Zhang and Xinyan Zhao and Han Liu and Chengnian Sun and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {806-805}, doi = {}, year = {2014}, } Article: fse14demo-demoid8-p doi:
	Liu, Peng	FSE '14: "Grail: Context-Aware Fixing ..." Grail: Context-Aware Fixing of Concurrency Bugs Peng Liu, Omer Tripp, and Charles Zhang (Wuhan University, China; IBM Research, USA; Hong Kong University of Science and Technology, China) @InProceedings{FSE14p364, author = {Peng Liu and Omer Tripp and Charles Zhang}, title = {Grail: Context-Aware Fixing of Concurrency Bugs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {364-363}, doi = {}, year = {2014}, } Article: fse14main-mainid78-p doi: FSE '14: "Semantics-Based Obfuscation-Resilient ..." Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection Lannan Luo, Jiang Ming, Dinghao Wu, Peng Liu, and Sencun Zhu (Pennsylvania State University, USA) @InProceedings{FSE14p442, author = {Lannan Luo and Jiang Ming and Dinghao Wu and Peng Liu and Sencun Zhu}, title = {Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {442-441}, doi = {}, year = {2014}, } Article: fse14main-mainid164-p doi:
	Liu, Yang	FSE '14: "RaPiD: A Toolkit for Reliability ..." RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, and Jin Song Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore) @InProceedings{FSE14p822, author = {Lin Gui and Jun Sun and Yang Liu and Truong Khanh Nguyen and Jin Song Dong}, title = {RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {822-821}, doi = {}, year = {2014}, } Article: fse14demo-demoid13-p doi:
	Llerena, Yamilet R. Serrano	FSE '14: "Dealing with Uncertainty in ..." Dealing with Uncertainty in Verification of Nondeterministic Systems Yamilet R. Serrano Llerena (National University of Singapore, Singapore) @InProceedings{FSE14p882, author = {Yamilet R. Serrano Llerena}, title = {Dealing with Uncertainty in Verification of Nondeterministic Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {882-881}, doi = {}, year = {2014}, } Article: fse14doc-docid1-p doi:
	Lo, David	FSE '14: "BugLocalizer: Integrated Tool ..." BugLocalizer: Integrated Tool Support for Bug Localization Ferdian Thung, Tien-Duy B. Le, Pavneet Singh Kochhar, and David Lo (Singapore Management University, Singapore) @InProceedings{FSE14p862, author = {Ferdian Thung and Tien-Duy B. Le and Pavneet Singh Kochhar and David Lo}, title = {BugLocalizer: Integrated Tool Support for Bug Localization}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {862-861}, doi = {}, year = {2014}, } Article: fse14demo-demoid21-p doi:
	Lohmann, Daniel	FSE '14: "Architecture Challenges for ..." Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study Klaus-Benedikt Schultis, Christoph Elsner, and Daniel Lohmann (Siemens, Germany; University of Erlangen-Nuremberg, Germany) @InProceedings{FSE14p611, author = {Klaus-Benedikt Schultis and Christoph Elsner and Daniel Lohmann}, title = {Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {611-610}, doi = {}, year = {2014}, } Article: fse14main-mainid64-p doi:
	Lou, Jian-Guang	FSE '14: "Querying Sequential Software ..." Querying Sequential Software Engineering Data Chengnian Sun, Haidong Zhang, Jian-Guang Lou, Hongyu Zhang, Qiang Wang, Dongmei Zhang, and Siau-Cheng Khoo (University of California at Davis, USA; Microsoft Research, China; National University of Singapore, Singapore) @InProceedings{FSE14p793, author = {Chengnian Sun and Haidong Zhang and Jian-Guang Lou and Hongyu Zhang and Qiang Wang and Dongmei Zhang and Siau-Cheng Khoo}, title = {Querying Sequential Software Engineering Data}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {793-792}, doi = {}, year = {2014}, } Article: fse14main-mainid170-p doi:
	Lu, Shan	FSE '14: "AI: A Lightweight System for ..." AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, and Weimin Zheng (Tsinghua University, China; University of Wisconsin-Madison, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p377, author = {Mingxing Zhang and Yongwei Wu and Shan Lu and Shanxiang Qi and Jinglei Ren and Weimin Zheng}, title = {AI: A Lightweight System for Tolerating Concurrency Bugs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {377-376}, doi = {}, year = {2014}, } Article: fse14main-mainid114-p doi:
	Luo, Lannan	FSE '14: "Semantics-Based Obfuscation-Resilient ..." Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection Lannan Luo, Jiang Ming, Dinghao Wu, Peng Liu, and Sencun Zhu (Pennsylvania State University, USA) @InProceedings{FSE14p442, author = {Lannan Luo and Jiang Ming and Dinghao Wu and Peng Liu and Sencun Zhu}, title = {Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {442-441}, doi = {}, year = {2014}, } Article: fse14main-mainid164-p doi:
	Luo, Qingzhou	FSE '14: "An Empirical Analysis of Flaky ..." An Empirical Analysis of Flaky Tests Qingzhou Luo, Farah Hariri, Lamyaa Eloussi, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p728, author = {Qingzhou Luo and Farah Hariri and Lamyaa Eloussi and Darko Marinov}, title = {An Empirical Analysis of Flaky Tests}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {728-727}, doi = {}, year = {2014}, } Article: fse14main-mainid232-p doi:
	Mäder, Patrick	FSE '14: "Achieving Lightweight Trustworthy ..." Achieving Lightweight Trustworthy Traceability Jane Cleland-Huang, Mona Rahimi, and Patrick Mäder (DePaul University, USA; TU Ilmenau, Germany) @InProceedings{FSE14p944, author = {Jane Cleland-Huang and Mona Rahimi and Patrick Mäder}, title = {Achieving Lightweight Trustworthy Traceability}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {944-943}, doi = {}, year = {2014}, } Article: fse14vc-vcid16-p doi:
	Mahmood, Riyadh	FSE '14: "EvoDroid: Segmented Evolutionary ..." EvoDroid: Segmented Evolutionary Testing of Android Apps Riyadh Mahmood, Nariman Mirzaei, and Sam Malek (George Mason University, USA) @InProceedings{FSE14p676, author = {Riyadh Mahmood and Nariman Mirzaei and Sam Malek}, title = {EvoDroid: Segmented Evolutionary Testing of Android Apps}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {676-675}, doi = {}, year = {2014}, } Article: fse14main-mainid151-p doi:
	Malek, Sam	FSE '14: "EvoDroid: Segmented Evolutionary ..." EvoDroid: Segmented Evolutionary Testing of Android Apps Riyadh Mahmood, Nariman Mirzaei, and Sam Malek (George Mason University, USA) @InProceedings{FSE14p676, author = {Riyadh Mahmood and Nariman Mirzaei and Sam Malek}, title = {EvoDroid: Segmented Evolutionary Testing of Android Apps}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {676-675}, doi = {}, year = {2014}, } Article: fse14main-mainid151-p doi:
	Mani, Senthil	FSE '14: "Panning Requirement Nuggets ..." Panning Requirement Nuggets in Stream of Software Maintenance Tickets Senthil Mani, Karthik Sankaranarayanan, Vibha Singhal Sinha, and Premkumar Devanbu (IBM Research, India; University of California at Davis, USA) @InProceedings{FSE14p767, author = {Senthil Mani and Karthik Sankaranarayanan and Vibha Singhal Sinha and Premkumar Devanbu}, title = {Panning Requirement Nuggets in Stream of Software Maintenance Tickets}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {767-766}, doi = {}, year = {2014}, } Article: fse14main-mainid153-p doi:
	Marcus, Andrian	FSE '14: "Automatic Generation of Release ..." Automatic Generation of Release Notes Laura Moreno, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrian Marcus, and Gerardo Canfora (University of Texas at Dallas, USA; University of Sannio, Italy; University of Molise, Italy) @InProceedings{FSE14p546, author = {Laura Moreno and Gabriele Bavota and Massimiliano Di Penta and Rocco Oliveto and Andrian Marcus and Gerardo Canfora}, title = {Automatic Generation of Release Notes}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {546-545}, doi = {}, year = {2014}, } Article: fse14main-mainid30-p doi:
	Marinov, Darko	FSE '14: "Balancing Trade-Offs in Test-Suite ..." Balancing Trade-Offs in Test-Suite Reduction August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p286, author = {August Shi and Alex Gyori and Milos Gligoric and Andrey Zaytsev and Darko Marinov}, title = {Balancing Trade-Offs in Test-Suite Reduction}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {286-285}, doi = {}, year = {2014}, } Article: fse14main-mainid236-p doi: FSE '14: "An Empirical Analysis of Flaky ..." An Empirical Analysis of Flaky Tests Qingzhou Luo, Farah Hariri, Lamyaa Eloussi, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p728, author = {Qingzhou Luo and Farah Hariri and Lamyaa Eloussi and Darko Marinov}, title = {An Empirical Analysis of Flaky Tests}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {728-727}, doi = {}, year = {2014}, } Article: fse14main-mainid232-p doi:
	Marmsoler, Diego	FSE '14: "Towards a Theory of Architectural ..." Towards a Theory of Architectural Styles Diego Marmsoler (TU München, Germany) @InProceedings{FSE14p918, author = {Diego Marmsoler}, title = {Towards a Theory of Architectural Styles}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {918-917}, doi = {}, year = {2014}, } Article: fse14src-srcid4-p doi:
	Mattavelli, Andrea	FSE '14: "Search-Based Synthesis of ..." Search-Based Synthesis of Equivalent Method Sequences Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, and Paolo Tonella (University of Lugano, Switzerland; Saarland University, Germany; Fondazione Bruno Kessler, Italy) @InProceedings{FSE14p416, author = {Alberto Goffi and Alessandra Gorla and Andrea Mattavelli and Mauro Pezzè and Paolo Tonella}, title = {Search-Based Synthesis of Equivalent Method Sequences}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {416-415}, doi = {}, year = {2014}, } Article: fse14main-mainid129-p doi:
	Mazinanian, Davood	FSE '14: "Discovering Refactoring Opportunities ..." Discovering Refactoring Opportunities in Cascading Style Sheets Davood Mazinanian, Nikolaos Tsantalis, and Ali Mesbah (Concordia University, Canada; University of British Columbia, Canada) @InProceedings{FSE14p559, author = {Davood Mazinanian and Nikolaos Tsantalis and Ali Mesbah}, title = {Discovering Refactoring Opportunities in Cascading Style Sheets}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {559-558}, doi = {}, year = {2014}, } Article: fse14main-mainid72-p doi:
	Medvidovic, Nenad	FSE '14: "Automatic Mining of Specifications ..." Automatic Mining of Specifications from Invocation Traces and Method Invariants Ivo Krka, Yuriy Brun, and Nenad Medvidovic (Google, Switzerland; University of Massachusetts, USA; University of Southern California, USA) @InProceedings{FSE14p208, author = {Ivo Krka and Yuriy Brun and Nenad Medvidovic}, title = {Automatic Mining of Specifications from Invocation Traces and Method Invariants}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {208-207}, doi = {}, year = {2014}, } Article: fse14main-mainid131-p doi:
	Mesbah, Ali	FSE '14: "Discovering Refactoring Opportunities ..." Discovering Refactoring Opportunities in Cascading Style Sheets Davood Mazinanian, Nikolaos Tsantalis, and Ali Mesbah (Concordia University, Canada; University of British Columbia, Canada) @InProceedings{FSE14p559, author = {Davood Mazinanian and Nikolaos Tsantalis and Ali Mesbah}, title = {Discovering Refactoring Opportunities in Cascading Style Sheets}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {559-558}, doi = {}, year = {2014}, } Article: fse14main-mainid72-p doi:
	Meyer, André N.	FSE '14: "Software Developers’ Perceptions ..." Software Developers’ Perceptions of Productivity André N. Meyer, Thomas Fritz, Gail C. Murphy, and Thomas Zimmermann (University of Zurich, Switzerland; University of British Columbia, Canada; Microsoft Research, USA) @InProceedings{FSE14p26, author = {André N. Meyer and Thomas Fritz and Gail C. Murphy and Thomas Zimmermann}, title = {Software Developers’ Perceptions of Productivity}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {26-25}, doi = {}, year = {2014}, } Article: fse14main-mainid137-p doi:
	Mezini, Mira	FSE '14: "FlowTwist: Efficient Context-Sensitive ..." FlowTwist: Efficient Context-Sensitive Inside-Out Taint Analysis for Large Codebases Johannes Lerch, Ben Hermann, Eric Bodden, and Mira Mezini (TU Darmstadt, Germany; Fraunhofer SIT, Germany) @InProceedings{FSE14p117, author = {Johannes Lerch and Ben Hermann and Eric Bodden and Mira Mezini}, title = {FlowTwist: Efficient Context-Sensitive Inside-Out Taint Analysis for Large Codebases}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {117-116}, doi = {}, year = {2014}, } Article: fse14main-mainid69-p doi: FSE '14: "An Empirical Study on Program ..." An Empirical Study on Program Comprehension with Reactive Programming Guido Salvaneschi, Sven Amann, Sebastian Proksch, and Mira Mezini (TU Darmstadt, Germany; Lancaster University, UK) @InProceedings{FSE14p637, author = {Guido Salvaneschi and Sven Amann and Sebastian Proksch and Mira Mezini}, title = {An Empirical Study on Program Comprehension with Reactive Programming}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {637-636}, doi = {}, year = {2014}, } Article: fse14main-mainid150-p doi:
	Milea, Narcisa Andreea	FSE '14: "Vector Abstraction and Concretization ..." Vector Abstraction and Concretization for Scalable Detection of Refactorings Narcisa Andreea Milea, Lingxiao Jiang, and Siau-Cheng Khoo (National University of Singapore, Singapore; Singapore Management University, Singapore) @InProceedings{FSE14p104, author = {Narcisa Andreea Milea and Lingxiao Jiang and Siau-Cheng Khoo}, title = {Vector Abstraction and Concretization for Scalable Detection of Refactorings}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {104-103}, doi = {}, year = {2014}, } Article: fse14main-mainid253-p doi:
	Ming, Jiang	FSE '14: "Semantics-Based Obfuscation-Resilient ..." Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection Lannan Luo, Jiang Ming, Dinghao Wu, Peng Liu, and Sencun Zhu (Pennsylvania State University, USA) @InProceedings{FSE14p442, author = {Lannan Luo and Jiang Ming and Dinghao Wu and Peng Liu and Sencun Zhu}, title = {Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {442-441}, doi = {}, year = {2014}, } Article: fse14main-mainid164-p doi:
	Mirakhorli, Mehdi	FSE '14: "Archie: A Tool for Detecting, ..." Archie: A Tool for Detecting, Monitoring, and Preserving Architecturally Significant Code Mehdi Mirakhorli, Ahmed Fakhry, Artem Grechko, Matteusz Wieloch, and Jane Cleland-Huang (Rochester Institute of Technology, USA; DePaul University, USA) @InProceedings{FSE14p834, author = {Mehdi Mirakhorli and Ahmed Fakhry and Artem Grechko and Matteusz Wieloch and Jane Cleland-Huang}, title = {Archie: A Tool for Detecting, Monitoring, and Preserving Architecturally Significant Code}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {834-833}, doi = {}, year = {2014}, } Article: fse14demo-demoid16-p doi:
	Mirzaei, Nariman	FSE '14: "EvoDroid: Segmented Evolutionary ..." EvoDroid: Segmented Evolutionary Testing of Android Apps Riyadh Mahmood, Nariman Mirzaei, and Sam Malek (George Mason University, USA) @InProceedings{FSE14p676, author = {Riyadh Mahmood and Nariman Mirzaei and Sam Malek}, title = {EvoDroid: Segmented Evolutionary Testing of Android Apps}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {676-675}, doi = {}, year = {2014}, } Article: fse14main-mainid151-p doi:
	Mockus, Audris	FSE '14: "Mining Micro-practices from ..." Mining Micro-practices from Operational Data Minghui Zhou and Audris Mockus (Peking University, China; University of Tennessee, USA; Avaya Labs, USA) @InProceedings{FSE14p940, author = {Minghui Zhou and Audris Mockus}, title = {Mining Micro-practices from Operational Data}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {940-939}, doi = {}, year = {2014}, } Article: fse14vc-vcid13-p doi:
	Monperrus, Martin	FSE '14: "Test Case Purification for ..." Test Case Purification for Improving Fault Localization Jifeng Xuan and Martin Monperrus (INRIA, France; University of Lille, France) @InProceedings{FSE14p65, author = {Jifeng Xuan and Martin Monperrus}, title = {Test Case Purification for Improving Fault Localization}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {65-64}, doi = {}, year = {2014}, } Article: fse14main-mainid177-p doi:
	Moreno, Laura	FSE '14: "Automatic Generation of Release ..." Automatic Generation of Release Notes Laura Moreno, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrian Marcus, and Gerardo Canfora (University of Texas at Dallas, USA; University of Sannio, Italy; University of Molise, Italy) @InProceedings{FSE14p546, author = {Laura Moreno and Gabriele Bavota and Massimiliano Di Penta and Rocco Oliveto and Andrian Marcus and Gerardo Canfora}, title = {Automatic Generation of Release Notes}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {546-545}, doi = {}, year = {2014}, } Article: fse14main-mainid30-p doi:
	Murali, Vijayaraghavan	FSE '14: "A Path-Sensitively Sliced ..." A Path-Sensitively Sliced Control Flow Graph Joxan Jaffar and Vijayaraghavan Murali (National University of Singapore, Singapore) @InProceedings{FSE14p156, author = {Joxan Jaffar and Vijayaraghavan Murali}, title = {A Path-Sensitively Sliced Control Flow Graph}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {156-155}, doi = {}, year = {2014}, } Article: fse14main-mainid103-p doi:
	Murphy, Gail C.	FSE '14: "Software Developers’ Perceptions ..." Software Developers’ Perceptions of Productivity André N. Meyer, Thomas Fritz, Gail C. Murphy, and Thomas Zimmermann (University of Zurich, Switzerland; University of British Columbia, Canada; Microsoft Research, USA) @InProceedings{FSE14p26, author = {André N. Meyer and Thomas Fritz and Gail C. Murphy and Thomas Zimmermann}, title = {Software Developers’ Perceptions of Productivity}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {26-25}, doi = {}, year = {2014}, } Article: fse14main-mainid137-p doi: FSE '14: "Speculative Reprogramming ..." Speculative Reprogramming Marc Palyart, Gail C. Murphy, Emerson Murphy-Hill, and Xavier Blanc (University of British Columbia, Canada; North Carolina State University, USA; University of Bordeaux, France) @InProceedings{FSE14p932, author = {Marc Palyart and Gail C. Murphy and Emerson Murphy-Hill and Xavier Blanc}, title = {Speculative Reprogramming}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {932-931}, doi = {}, year = {2014}, } Article: fse14vc-vcid25-p doi:
	Murphy-Hill, Emerson	FSE '14: "Speculative Reprogramming ..." Speculative Reprogramming Marc Palyart, Gail C. Murphy, Emerson Murphy-Hill, and Xavier Blanc (University of British Columbia, Canada; North Carolina State University, USA; University of Bordeaux, France) @InProceedings{FSE14p932, author = {Marc Palyart and Gail C. Murphy and Emerson Murphy-Hill and Xavier Blanc}, title = {Speculative Reprogramming}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {932-931}, doi = {}, year = {2014}, } Article: fse14vc-vcid25-p doi:
	Nagappan, Meiyappan	FSE '14: "Prioritizing the Devices to ..." Prioritizing the Devices to Test Your App on: A Case Study of Android Game Apps Hammad Khalid, Meiyappan Nagappan, Emad Shihab, and Ahmed E. Hassan (Queen's University, Canada; Rochester Institute of Technology, USA; Concordia University, Canada) @InProceedings{FSE14p689, author = {Hammad Khalid and Meiyappan Nagappan and Emad Shihab and Ahmed E. Hassan}, title = {Prioritizing the Devices to Test Your App on: A Case Study of Android Game Apps}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {689-688}, doi = {}, year = {2014}, } Article: fse14main-mainid182-p doi:
	Nguyen, Hoan Anh	FSE '14: "Mining Preconditions of APIs ..." Mining Preconditions of APIs in Large-Scale Code Corpus Hoan Anh Nguyen, Robert Dyer, Tien N. Nguyen, and Hridesh Rajan (Iowa State University, USA) @InProceedings{FSE14p195, author = {Hoan Anh Nguyen and Robert Dyer and Tien N. Nguyen and Hridesh Rajan}, title = {Mining Preconditions of APIs in Large-Scale Code Corpus}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {195-194}, doi = {}, year = {2014}, } Article: fse14main-mainid246-p doi:
	Nguyen, Hung Viet	FSE '14: "Building Call Graphs for Embedded ..." Building Call Graphs for Embedded Client-Side Code in Dynamic Web Applications Hung Viet Nguyen, Christian Kästner, and Tien N. Nguyen (Iowa State University, USA; Carnegie Mellon University, USA) @InProceedings{FSE14p585, author = {Hung Viet Nguyen and Christian Kästner and Tien N. Nguyen}, title = {Building Call Graphs for Embedded Client-Side Code in Dynamic Web Applications}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {585-584}, doi = {}, year = {2014}, } Article: fse14main-mainid264-p doi:
	Nguyen, Tien N.	FSE '14: "Mining Preconditions of APIs ..." Mining Preconditions of APIs in Large-Scale Code Corpus Hoan Anh Nguyen, Robert Dyer, Tien N. Nguyen, and Hridesh Rajan (Iowa State University, USA) @InProceedings{FSE14p195, author = {Hoan Anh Nguyen and Robert Dyer and Tien N. Nguyen and Hridesh Rajan}, title = {Mining Preconditions of APIs in Large-Scale Code Corpus}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {195-194}, doi = {}, year = {2014}, } Article: fse14main-mainid246-p doi: FSE '14: "Building Call Graphs for Embedded ..." Building Call Graphs for Embedded Client-Side Code in Dynamic Web Applications Hung Viet Nguyen, Christian Kästner, and Tien N. Nguyen (Iowa State University, USA; Carnegie Mellon University, USA) @InProceedings{FSE14p585, author = {Hung Viet Nguyen and Christian Kästner and Tien N. Nguyen}, title = {Building Call Graphs for Embedded Client-Side Code in Dynamic Web Applications}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {585-584}, doi = {}, year = {2014}, } Article: fse14main-mainid264-p doi:
	Nguyen, Truong Khanh	FSE '14: "RaPiD: A Toolkit for Reliability ..." RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, and Jin Song Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore) @InProceedings{FSE14p822, author = {Lin Gui and Jun Sun and Yang Liu and Truong Khanh Nguyen and Jin Song Dong}, title = {RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {822-821}, doi = {}, year = {2014}, } Article: fse14demo-demoid13-p doi:
	Okano, Aaron	FSE '14: "Focus-Shifting Patterns of ..." Focus-Shifting Patterns of OSS Developers and Their Congruence with Call Graphs Qi Xuan, Aaron Okano, Premkumar Devanbu, and Vladimir Filkov (University of California at Davis, USA; Zhejiang University of Technology, China) @InProceedings{FSE14p455, author = {Qi Xuan and Aaron Okano and Premkumar Devanbu and Vladimir Filkov}, title = {Focus-Shifting Patterns of OSS Developers and Their Congruence with Call Graphs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {455-454}, doi = {}, year = {2014}, } Article: fse14main-mainid208-p doi:
	Oliveto, Rocco	FSE '14: "Automatic Generation of Release ..." Automatic Generation of Release Notes Laura Moreno, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrian Marcus, and Gerardo Canfora (University of Texas at Dallas, USA; University of Sannio, Italy; University of Molise, Italy) @InProceedings{FSE14p546, author = {Laura Moreno and Gabriele Bavota and Massimiliano Di Penta and Rocco Oliveto and Andrian Marcus and Gerardo Canfora}, title = {Automatic Generation of Release Notes}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {546-545}, doi = {}, year = {2014}, } Article: fse14main-mainid30-p doi:
	Overbey, Jeffrey L.	FSE '14: "A Foundation for Refactoring ..." A Foundation for Refactoring C with Macros Jeffrey L. Overbey, Farnaz Behrang, and Munawar Hafiz (Auburn University, USA) @InProceedings{FSE14p91, author = {Jeffrey L. Overbey and Farnaz Behrang and Munawar Hafiz}, title = {A Foundation for Refactoring C with Macros}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {91-90}, doi = {}, year = {2014}, } Article: fse14main-mainid180-p doi:
	Palsberg, Jens	FSE '14: "Sherlock: Scalable Deadlock ..." Sherlock: Scalable Deadlock Detection for Concurrent Programs Mahdi Eslamimehr and Jens Palsberg (University of California at Los Angeles, USA) @InProceedings{FSE14p403, author = {Mahdi Eslamimehr and Jens Palsberg}, title = {Sherlock: Scalable Deadlock Detection for Concurrent Programs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {403-402}, doi = {}, year = {2014}, } Article: fse14main-mainid230-p doi:
	Palyart, Marc	FSE '14: "Speculative Reprogramming ..." Speculative Reprogramming Marc Palyart, Gail C. Murphy, Emerson Murphy-Hill, and Xavier Blanc (University of British Columbia, Canada; North Carolina State University, USA; University of Bordeaux, France) @InProceedings{FSE14p932, author = {Marc Palyart and Gail C. Murphy and Emerson Murphy-Hill and Xavier Blanc}, title = {Speculative Reprogramming}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {932-931}, doi = {}, year = {2014}, } Article: fse14vc-vcid25-p doi:
	Papadakis, Mike	FSE '14: "A Variability Perspective ..." A Variability Perspective of Mutation Analysis Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, and Pierre-Yves Schobbens (University of Namur, Belgium; University of Luxembourg, Luxembourg; INRIA, France) @InProceedings{FSE14p936, author = {Xavier Devroey and Gilles Perrouin and Maxime Cordy and Mike Papadakis and Axel Legay and Pierre-Yves Schobbens}, title = {A Variability Perspective of Mutation Analysis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {936-935}, doi = {}, year = {2014}, } Article: fse14vc-vcid11-p doi:
	Păsăreanu, Corina S.	FSE '14: "Statistical Symbolic Execution ..." Statistical Symbolic Execution with Informed Sampling Antonio Filieri, Corina S. Păsăreanu, Willem Visser, and Jaco Geldenhuys (University of Stuttgart, Germany; Carnegie Mellon University, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa) @InProceedings{FSE14p494, author = {Antonio Filieri and Corina S. Păsăreanu and Willem Visser and Jaco Geldenhuys}, title = {Statistical Symbolic Execution with Informed Sampling}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {494-493}, doi = {}, year = {2014}, } Article: fse14main-mainid161-p doi:
	Paul, Soumya	FSE '14: "On the Efficiency of Automated ..." On the Efficiency of Automated Testing Marcel Böhme and Soumya Paul (Saarland University, Germany; National University of Singapore, Singapore) @InProceedings{FSE14p715, author = {Marcel Böhme and Soumya Paul}, title = {On the Efficiency of Automated Testing}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {715-714}, doi = {}, year = {2014}, } Article: fse14main-mainid244-p doi:
	Penix, John	FSE '14: "Experiences Developing Tools ..." Experiences Developing Tools for Developers (Invited Talk) John Penix (Google, USA) @InProceedings{FSE14p7, author = {John Penix}, title = {Experiences Developing Tools for Developers (Invited Talk)}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2014}, } Article: fse14industry-industryid1-p doi: FSE '14: "Techniques for Improving Regression ..." Techniques for Improving Regression Testing in Continuous Integration Development Environments Sebastian Elbaum, Gregg Rothermel, and John Penix (University of Nebraska-Lincoln, USA; Google, USA) @InProceedings{FSE14p273, author = {Sebastian Elbaum and Gregg Rothermel and John Penix}, title = {Techniques for Improving Regression Testing in Continuous Integration Development Environments}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {273-272}, doi = {}, year = {2014}, } Article: fse14main-mainid188-p doi:
	Perrouin, Gilles	FSE '14: "A Variability Perspective ..." A Variability Perspective of Mutation Analysis Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, and Pierre-Yves Schobbens (University of Namur, Belgium; University of Luxembourg, Luxembourg; INRIA, France) @InProceedings{FSE14p936, author = {Xavier Devroey and Gilles Perrouin and Maxime Cordy and Mike Papadakis and Axel Legay and Pierre-Yves Schobbens}, title = {A Variability Perspective of Mutation Analysis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {936-935}, doi = {}, year = {2014}, } Article: fse14vc-vcid11-p doi:
	Perucci, Alexander	FSE '14: "CHOReOSynt: Enforcing Choreography ..." CHOReOSynt: Enforcing Choreography Realizability in the Future Internet Marco Autili, Davide Di Ruscio, Amleto Di Salle, and Alexander Perucci (University of L'Aquila, Italy) @InProceedings{FSE14p818, author = {Marco Autili and Davide Di Ruscio and Amleto Di Salle and Alexander Perucci}, title = {CHOReOSynt: Enforcing Choreography Realizability in the Future Internet}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {818-817}, doi = {}, year = {2014}, } Article: fse14demo-demoid12-p doi:
	Petre, Marian	FSE '14: "Methodology and Culture: Drivers ..." Methodology and Culture: Drivers of Mediocrity in Software Engineering? Marian Petre and Daniela Damian (Open University, UK; University of Victoria, Canada) @InProceedings{FSE14p924, author = {Marian Petre and Daniela Damian}, title = {Methodology and Culture: Drivers of Mediocrity in Software Engineering?}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {924-923}, doi = {}, year = {2014}, } Article: fse14vc-vcid21-p doi:
	Pezzè, Mauro	FSE '14: "Search-Based Synthesis of ..." Search-Based Synthesis of Equivalent Method Sequences Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, and Paolo Tonella (University of Lugano, Switzerland; Saarland University, Germany; Fondazione Bruno Kessler, Italy) @InProceedings{FSE14p416, author = {Alberto Goffi and Alessandra Gorla and Andrea Mattavelli and Mauro Pezzè and Paolo Tonella}, title = {Search-Based Synthesis of Equivalent Method Sequences}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {416-415}, doi = {}, year = {2014}, } Article: fse14main-mainid129-p doi:
	Pham, Raphael	FSE '14: "Improving the Software Testing ..." Improving the Software Testing Skills of Novices during Onboarding through Social Transparency Raphael Pham (Leibniz Universität Hannover, Germany) @InProceedings{FSE14p898, author = {Raphael Pham}, title = {Improving the Software Testing Skills of Novices during Onboarding through Social Transparency}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {898-897}, doi = {}, year = {2014}, } Article: fse14doc-docid18-p doi: FSE '14: "Enablers, Inhibitors, and ..." Enablers, Inhibitors, and Perceptions of Testing in Novice Software Teams Raphael Pham, Stephan Kiesling, Olga Liskin, Leif Singer, and Kurt Schneider (Leibniz Universität Hannover, Germany; University of Victoria, Canada) @InProceedings{FSE14p39, author = {Raphael Pham and Stephan Kiesling and Olga Liskin and Leif Singer and Kurt Schneider}, title = {Enablers, Inhibitors, and Perceptions of Testing in Novice Software Teams}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2014}, } Article: fse14main-mainid250-p doi:
	Pohlmann, Uwe	FSE '14: "A Tool Suite for the Model-Driven ..." A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, and Uwe Pohlmann (University of Paderborn, Germany; Fraunhofer IPT, Germany) @InProceedings{FSE14p810, author = {Stefan Dziwok and Christopher Gerking and Steffen Becker and Sebastian Thiele and Christian Heinzemann and Uwe Pohlmann}, title = {A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {810-809}, doi = {}, year = {2014}, } Article: fse14demo-demoid9-p doi:
	Posnett, Daryl	FSE '14: "A Large Scale Study of Programming ..." A Large Scale Study of Programming Languages and Code Quality in Github Baishakhi Ray, Daryl Posnett, Vladimir Filkov, and Premkumar Devanbu (University of California at Davis, USA) @InProceedings{FSE14p182, author = {Baishakhi Ray and Daryl Posnett and Vladimir Filkov and Premkumar Devanbu}, title = {A Large Scale Study of Programming Languages and Code Quality in Github}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {182-181}, doi = {}, year = {2014}, } Article: fse14main-mainid243-p doi:
	Proksch, Sebastian	FSE '14: "An Empirical Study on Program ..." An Empirical Study on Program Comprehension with Reactive Programming Guido Salvaneschi, Sven Amann, Sebastian Proksch, and Mira Mezini (TU Darmstadt, Germany; Lancaster University, UK) @InProceedings{FSE14p637, author = {Guido Salvaneschi and Sven Amann and Sebastian Proksch and Mira Mezini}, title = {An Empirical Study on Program Comprehension with Reactive Programming}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {637-636}, doi = {}, year = {2014}, } Article: fse14main-mainid150-p doi:
	Pu, Geguang	FSE '14: "Aalta: An LTL Satisfiability ..." Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, and Jifeng He (East China Normal University, China; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{FSE14p826, author = {Jianwen Li and Yinbo Yao and Geguang Pu and Lijun Zhang and Jifeng He}, title = {Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {826-825}, doi = {}, year = {2014}, } Article: fse14demo-demoid11-p doi:
	Qadeer, Shaz	FSE '14: "Powering the Static Driver ..." Powering the Static Driver Verifier using Corral Akash Lal and Shaz Qadeer (Microsoft Research, India; Microsoft Research, USA) @InProceedings{FSE14p234, author = {Akash Lal and Shaz Qadeer}, title = {Powering the Static Driver Verifier using Corral}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {234-233}, doi = {}, year = {2014}, } Article: fse14main-mainid146-p doi:
	Qi, Shanxiang	FSE '14: "AI: A Lightweight System for ..." AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, and Weimin Zheng (Tsinghua University, China; University of Wisconsin-Madison, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p377, author = {Mingxing Zhang and Yongwei Wu and Shan Lu and Shanxiang Qi and Jinglei Ren and Weimin Zheng}, title = {AI: A Lightweight System for Tolerating Concurrency Bugs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {377-376}, doi = {}, year = {2014}, } Article: fse14main-mainid114-p doi:
	Radiček, Ivan	FSE '14: "Feedback Generation for Performance ..." Feedback Generation for Performance Problems in Introductory Programming Assignments Sumit Gulwani, Ivan Radiček, and Florian Zuleger (Microsoft Research, USA; Vienna University of Technology, Austria) @InProceedings{FSE14p52, author = {Sumit Gulwani and Ivan Radiček and Florian Zuleger}, title = {Feedback Generation for Performance Problems in Introductory Programming Assignments}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {52-51}, doi = {}, year = {2014}, } Article: fse14main-mainid197-p doi:
	Radoi, Cosmin	FSE '14: "Retrofitting Concurrency for ..." Retrofitting Concurrency for Android Applications through Refactoring Yu Lin, Cosmin Radoi, and Danny Dig (University of Illinois at Urbana-Champaign, USA; Oregon State University, USA) @InProceedings{FSE14p390, author = {Yu Lin and Cosmin Radoi and Danny Dig}, title = {Retrofitting Concurrency for Android Applications through Refactoring}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {390-389}, doi = {}, year = {2014}, } Article: fse14main-mainid171-p doi:
	Rahimi, Mona	FSE '14: "Achieving Lightweight Trustworthy ..." Achieving Lightweight Trustworthy Traceability Jane Cleland-Huang, Mona Rahimi, and Patrick Mäder (DePaul University, USA; TU Ilmenau, Germany) @InProceedings{FSE14p944, author = {Jane Cleland-Huang and Mona Rahimi and Patrick Mäder}, title = {Achieving Lightweight Trustworthy Traceability}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {944-943}, doi = {}, year = {2014}, } Article: fse14vc-vcid16-p doi:
	Rajan, Hridesh	FSE '14: "Mining Preconditions of APIs ..." Mining Preconditions of APIs in Large-Scale Code Corpus Hoan Anh Nguyen, Robert Dyer, Tien N. Nguyen, and Hridesh Rajan (Iowa State University, USA) @InProceedings{FSE14p195, author = {Hoan Anh Nguyen and Robert Dyer and Tien N. Nguyen and Hridesh Rajan}, title = {Mining Preconditions of APIs in Large-Scale Code Corpus}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {195-194}, doi = {}, year = {2014}, } Article: fse14main-mainid246-p doi:
	Ramanathan, Murali Krishna	FSE '14: "Omen+: A Precise Dynamic Deadlock ..." Omen+: A Precise Dynamic Deadlock Detector for Multithreaded Java Libraries Malavika Samak and Murali Krishna Ramanathan (Indian Institute of Science, India) @InProceedings{FSE14p830, author = {Malavika Samak and Murali Krishna Ramanathan}, title = {Omen+: A Precise Dynamic Deadlock Detector for Multithreaded Java Libraries}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {830-829}, doi = {}, year = {2014}, } Article: fse14demo-demoid14-p doi:
	Ray, Baishakhi	FSE '14: "A Large Scale Study of Programming ..." A Large Scale Study of Programming Languages and Code Quality in Github Baishakhi Ray, Daryl Posnett, Vladimir Filkov, and Premkumar Devanbu (University of California at Davis, USA) @InProceedings{FSE14p182, author = {Baishakhi Ray and Daryl Posnett and Vladimir Filkov and Premkumar Devanbu}, title = {A Large Scale Study of Programming Languages and Code Quality in Github}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {182-181}, doi = {}, year = {2014}, } Article: fse14main-mainid243-p doi:
	Ren, Jinglei	FSE '14: "AI: A Lightweight System for ..." AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, and Weimin Zheng (Tsinghua University, China; University of Wisconsin-Madison, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p377, author = {Mingxing Zhang and Yongwei Wu and Shan Lu and Shanxiang Qi and Jinglei Ren and Weimin Zheng}, title = {AI: A Lightweight System for Tolerating Concurrency Bugs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {377-376}, doi = {}, year = {2014}, } Article: fse14main-mainid114-p doi:
	Reps, Thomas	FSE '14: "Efficient Runtime-Enforcement ..." Efficient Runtime-Enforcement Techniques for Policy Weaving Richard Joiner, Thomas Reps, Somesh Jha, Mohan Dhawan, and Vinod Ganapathy (University of Wisconsin-Madison, USA; GrammaTech, USA; IBM Research, India; Rutgers University, USA) @InProceedings{FSE14p260, author = {Richard Joiner and Thomas Reps and Somesh Jha and Mohan Dhawan and Vinod Ganapathy}, title = {Efficient Runtime-Enforcement Techniques for Policy Weaving}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {260-259}, doi = {}, year = {2014}, } Article: fse14main-mainid178-p doi:
	Robillard, Martin P.	FSE '14: "Selection and Presentation ..." Selection and Presentation Practices for Code Example Summarization Annie T. T. Ying and Martin P. Robillard (McGill University, Canada) @InProceedings{FSE14p520, author = {Annie T. T. Ying and Martin P. Robillard}, title = {Selection and Presentation Practices for Code Example Summarization}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {520-519}, doi = {}, year = {2014}, } Article: fse14main-mainid68-p doi:
	Rosenblum, David S.	FSE '14: "Known Unknowns: Testing in ..." Known Unknowns: Testing in the Presence of Uncertainty Sebastian Elbaum and David S. Rosenblum (University of Nebraska-Lincoln, USA; National University of Singapore, Singapore) @InProceedings{FSE14p928, author = {Sebastian Elbaum and David S. Rosenblum}, title = {Known Unknowns: Testing in the Presence of Uncertainty}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {928-927}, doi = {}, year = {2014}, } Article: fse14vc-vcid10-p doi:
	Rothermel, Gregg	FSE '14: "Techniques for Improving Regression ..." Techniques for Improving Regression Testing in Continuous Integration Development Environments Sebastian Elbaum, Gregg Rothermel, and John Penix (University of Nebraska-Lincoln, USA; Google, USA) @InProceedings{FSE14p273, author = {Sebastian Elbaum and Gregg Rothermel and John Penix}, title = {Techniques for Improving Regression Testing in Continuous Integration Development Environments}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {273-272}, doi = {}, year = {2014}, } Article: fse14main-mainid188-p doi:
	Roychoudhury, Abhik	FSE '14: "Detecting Energy Bugs and ..." Detecting Energy Bugs and Hotspots in Mobile Apps Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay, and Abhik Roychoudhury (National University of Singapore, Singapore; Linköping University, Sweden) @InProceedings{FSE14p663, author = {Abhijeet Banerjee and Lee Kee Chong and Sudipta Chattopadhyay and Abhik Roychoudhury}, title = {Detecting Energy Bugs and Hotspots in Mobile Apps}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {663-662}, doi = {}, year = {2014}, } Article: fse14main-mainid31-p doi:
	Ryu, Sukyoung	FSE '14: "SAFEWAPI: Web API Misuse Detector ..." SAFEWAPI: Web API Misuse Detector for Web Applications SungGyeong Bae, Hyunghun Cho, Inho Lim, and Sukyoung Ryu (KAIST, South Korea; Samsung Electronics, South Korea) @InProceedings{FSE14p572, author = {SungGyeong Bae and Hyunghun Cho and Inho Lim and Sukyoung Ryu}, title = {SAFEWAPI: Web API Misuse Detector for Web Applications}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {572-571}, doi = {}, year = {2014}, } Article: fse14main-mainid222-p doi:
	Salvaneschi, Guido	FSE '14: "An Empirical Study on Program ..." An Empirical Study on Program Comprehension with Reactive Programming Guido Salvaneschi, Sven Amann, Sebastian Proksch, and Mira Mezini (TU Darmstadt, Germany; Lancaster University, UK) @InProceedings{FSE14p637, author = {Guido Salvaneschi and Sven Amann and Sebastian Proksch and Mira Mezini}, title = {An Empirical Study on Program Comprehension with Reactive Programming}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {637-636}, doi = {}, year = {2014}, } Article: fse14main-mainid150-p doi:
	Samak, Malavika	FSE '14: "Omen+: A Precise Dynamic Deadlock ..." Omen+: A Precise Dynamic Deadlock Detector for Multithreaded Java Libraries Malavika Samak and Murali Krishna Ramanathan (Indian Institute of Science, India) @InProceedings{FSE14p830, author = {Malavika Samak and Murali Krishna Ramanathan}, title = {Omen+: A Precise Dynamic Deadlock Detector for Multithreaded Java Libraries}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {830-829}, doi = {}, year = {2014}, } Article: fse14demo-demoid14-p doi:
	Sankaranarayanan, Karthik	FSE '14: "Panning Requirement Nuggets ..." Panning Requirement Nuggets in Stream of Software Maintenance Tickets Senthil Mani, Karthik Sankaranarayanan, Vibha Singhal Sinha, and Premkumar Devanbu (IBM Research, India; University of California at Davis, USA) @InProceedings{FSE14p767, author = {Senthil Mani and Karthik Sankaranarayanan and Vibha Singhal Sinha and Premkumar Devanbu}, title = {Panning Requirement Nuggets in Stream of Software Maintenance Tickets}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {767-766}, doi = {}, year = {2014}, } Article: fse14main-mainid153-p doi:
	Sarracino, John	FSE '14: "JSAI: A Static Analysis Platform ..." JSAI: A Static Analysis Platform for JavaScript Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, and Ben Hardekopf (University of California at Santa Barbara, USA; Harvey Mudd College, USA) @InProceedings{FSE14p143, author = {Vineeth Kashyap and Kyle Dewey and Ethan A. Kuefner and John Wagner and Kevin Gibbons and John Sarracino and Ben Wiedermann and Ben Hardekopf}, title = {JSAI: A Static Analysis Platform for JavaScript}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {143-142}, doi = {}, year = {2014}, } Article: fse14main-mainid173-p doi:
	Sarro, Federica	FSE '14: "The Plastic Surgery Hypothesis ..." The Plastic Surgery Hypothesis Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro (University College London, UK; University of Massachusetts, USA; University of California at Davis, USA) @InProceedings{FSE14p351, author = {Earl T. Barr and Yuriy Brun and Premkumar Devanbu and Mark Harman and Federica Sarro}, title = {The Plastic Surgery Hypothesis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {351-350}, doi = {}, year = {2014}, } Article: fse14main-mainid156-p doi:
	Schmitz, Peter	FSE '14: "Linking Sketches and Diagrams ..." Linking Sketches and Diagrams to Source Code Artifacts Sebastian Baltes, Peter Schmitz, and Stephan Diehl (University of Trier, Germany) @InProceedings{FSE14p838, author = {Sebastian Baltes and Peter Schmitz and Stephan Diehl}, title = {Linking Sketches and Diagrams to Source Code Artifacts}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {838-837}, doi = {}, year = {2014}, } Article: fse14demo-demoid23-p doi:
	Schneider, Kurt	FSE '14: "Enablers, Inhibitors, and ..." Enablers, Inhibitors, and Perceptions of Testing in Novice Software Teams Raphael Pham, Stephan Kiesling, Olga Liskin, Leif Singer, and Kurt Schneider (Leibniz Universität Hannover, Germany; University of Victoria, Canada) @InProceedings{FSE14p39, author = {Raphael Pham and Stephan Kiesling and Olga Liskin and Leif Singer and Kurt Schneider}, title = {Enablers, Inhibitors, and Perceptions of Testing in Novice Software Teams}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2014}, } Article: fse14main-mainid250-p doi:
	Schobbens, Pierre-Yves	FSE '14: "Counterexample Guided Abstraction ..." Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, and Martin Leucker (University of Namur, Belgium; INRIA, France; University of Lübeck, Germany) @InProceedings{FSE14p221, author = {Maxime Cordy and Patrick Heymans and Axel Legay and Pierre-Yves Schobbens and Bruno Dawagne and Martin Leucker}, title = {Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2014}, } Article: fse14main-mainid231-p doi: FSE '14: "A Variability Perspective ..." A Variability Perspective of Mutation Analysis Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, and Pierre-Yves Schobbens (University of Namur, Belgium; University of Luxembourg, Luxembourg; INRIA, France) @InProceedings{FSE14p936, author = {Xavier Devroey and Gilles Perrouin and Maxime Cordy and Mike Papadakis and Axel Legay and Pierre-Yves Schobbens}, title = {A Variability Perspective of Mutation Analysis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {936-935}, doi = {}, year = {2014}, } Article: fse14vc-vcid11-p doi:
	Schultis, Klaus-Benedikt	FSE '14: "Architecture Challenges for ..." Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study Klaus-Benedikt Schultis, Christoph Elsner, and Daniel Lohmann (Siemens, Germany; University of Erlangen-Nuremberg, Germany) @InProceedings{FSE14p611, author = {Klaus-Benedikt Schultis and Christoph Elsner and Daniel Lohmann}, title = {Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {611-610}, doi = {}, year = {2014}, } Article: fse14main-mainid64-p doi:
	Seo, Hyunmin	FSE '14: "How We Get There: A Context-Guided ..." How We Get There: A Context-Guided Search Strategy in Concolic Testing Hyunmin Seo and Sunghun Kim (Hong Kong University of Science and Technology, China) @InProceedings{FSE14p468, author = {Hyunmin Seo and Sunghun Kim}, title = {How We Get There: A Context-Guided Search Strategy in Concolic Testing}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {468-467}, doi = {}, year = {2014}, } Article: fse14main-mainid32-p doi:
	Shepherd, David C.	FSE '14: "Developers’ Code Context ..." Developers’ Code Context Models for Change Tasks Thomas Fritz, David C. Shepherd, Katja Kevic, Will Snipes, and Christoph Bräunlich (University of Zurich, Switzerland; ABB Research, USA) @InProceedings{FSE14p13, author = {Thomas Fritz and David C. Shepherd and Katja Kevic and Will Snipes and Christoph Bräunlich}, title = {Developers’ Code Context Models for Change Tasks}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2014}, } Article: fse14main-mainid176-p doi:
	Shi, August	FSE '14: "Balancing Trade-Offs in Test-Suite ..." Balancing Trade-Offs in Test-Suite Reduction August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p286, author = {August Shi and Alex Gyori and Milos Gligoric and Andrey Zaytsev and Darko Marinov}, title = {Balancing Trade-Offs in Test-Suite Reduction}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {286-285}, doi = {}, year = {2014}, } Article: fse14main-mainid236-p doi:
	Shihab, Emad	FSE '14: "Prioritizing the Devices to ..." Prioritizing the Devices to Test Your App on: A Case Study of Android Game Apps Hammad Khalid, Meiyappan Nagappan, Emad Shihab, and Ahmed E. Hassan (Queen's University, Canada; Rochester Institute of Technology, USA; Concordia University, Canada) @InProceedings{FSE14p689, author = {Hammad Khalid and Meiyappan Nagappan and Emad Shihab and Ahmed E. Hassan}, title = {Prioritizing the Devices to Test Your App on: A Case Study of Android Game Apps}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {689-688}, doi = {}, year = {2014}, } Article: fse14main-mainid182-p doi:
	Singer, Leif	FSE '14: "Enablers, Inhibitors, and ..." Enablers, Inhibitors, and Perceptions of Testing in Novice Software Teams Raphael Pham, Stephan Kiesling, Olga Liskin, Leif Singer, and Kurt Schneider (Leibniz Universität Hannover, Germany; University of Victoria, Canada) @InProceedings{FSE14p39, author = {Raphael Pham and Stephan Kiesling and Olga Liskin and Leif Singer and Kurt Schneider}, title = {Enablers, Inhibitors, and Perceptions of Testing in Novice Software Teams}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2014}, } Article: fse14main-mainid250-p doi:
	Sinha, Vibha Singhal	FSE '14: "Panning Requirement Nuggets ..." Panning Requirement Nuggets in Stream of Software Maintenance Tickets Senthil Mani, Karthik Sankaranarayanan, Vibha Singhal Sinha, and Premkumar Devanbu (IBM Research, India; University of California at Davis, USA) @InProceedings{FSE14p767, author = {Senthil Mani and Karthik Sankaranarayanan and Vibha Singhal Sinha and Premkumar Devanbu}, title = {Panning Requirement Nuggets in Stream of Software Maintenance Tickets}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {767-766}, doi = {}, year = {2014}, } Article: fse14main-mainid153-p doi:
	Snipes, Will	FSE '14: "Developers’ Code Context ..." Developers’ Code Context Models for Change Tasks Thomas Fritz, David C. Shepherd, Katja Kevic, Will Snipes, and Christoph Bräunlich (University of Zurich, Switzerland; ABB Research, USA) @InProceedings{FSE14p13, author = {Thomas Fritz and David C. Shepherd and Katja Kevic and Will Snipes and Christoph Bräunlich}, title = {Developers’ Code Context Models for Change Tasks}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2014}, } Article: fse14main-mainid176-p doi:
	Song, Myoungkyu	FSE '14: "RefDistiller: A Refactoring ..." RefDistiller: A Refactoring Aware Code Review Tool for Inspecting Manual Refactoring Edits Everton L. G. Alves, Myoungkyu Song, and Miryung Kim (University of Texas at Austin, USA; Federal University of Campina Grande, Brazil; University of California at Los Angeles, USA) @InProceedings{FSE14p846, author = {Everton L. G. Alves and Myoungkyu Song and Miryung Kim}, title = {RefDistiller: A Refactoring Aware Code Review Tool for Inspecting Manual Refactoring Edits}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {846-845}, doi = {}, year = {2014}, } Article: fse14demo-demoid17-p doi: FSE '14: "Critics: An Interactive Code ..." Critics: An Interactive Code Review Tool for Searching and Inspecting Systematic Changes Tianyi Zhang, Myoungkyu Song, and Miryung Kim (University of California at Los Angeles, USA; University of Texas at Austin, USA) @InProceedings{FSE14p850, author = {Tianyi Zhang and Myoungkyu Song and Miryung Kim}, title = {Critics: An Interactive Code Review Tool for Searching and Inspecting Systematic Changes}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {850-849}, doi = {}, year = {2014}, } Article: fse14demo-demoid15-p doi:
	Song, Shuo	FSE '14: "Estimating the Effectiveness ..." Estimating the Effectiveness of Spectrum-Based Fault Localization Shuo Song (Nanjing University, China) @InProceedings{FSE14p909, author = {Shuo Song}, title = {Estimating the Effectiveness of Spectrum-Based Fault Localization}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {909-908}, doi = {}, year = {2014}, } Article: fse14src-srcid10-p doi:
	Song, Xiaoyu	FSE '14: "Tsmart-GalsBlock: A Toolkit ..." Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; University of California at Davis, USA) @InProceedings{FSE14p806, author = {Yu Jiang and Hehua Zhang and Huafeng Zhang and Xinyan Zhao and Han Liu and Chengnian Sun and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {806-805}, doi = {}, year = {2014}, } Article: fse14demo-demoid8-p doi:
	Su, Zhendong	FSE '14: "On the Localness of Software ..." On the Localness of Software Zhaopeng Tu, Zhendong Su, and Premkumar Devanbu (University of California at Davis, USA) @InProceedings{FSE14p312, author = {Zhaopeng Tu and Zhendong Su and Premkumar Devanbu}, title = {On the Localness of Software}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {312-311}, doi = {}, year = {2014}, } Article: fse14main-mainid48-p doi:
	Sun, Chengnian	FSE '14: "Tsmart-GalsBlock: A Toolkit ..." Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; University of California at Davis, USA) @InProceedings{FSE14p806, author = {Yu Jiang and Hehua Zhang and Huafeng Zhang and Xinyan Zhao and Han Liu and Chengnian Sun and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {806-805}, doi = {}, year = {2014}, } Article: fse14demo-demoid8-p doi: FSE '14: "Querying Sequential Software ..." Querying Sequential Software Engineering Data Chengnian Sun, Haidong Zhang, Jian-Guang Lou, Hongyu Zhang, Qiang Wang, Dongmei Zhang, and Siau-Cheng Khoo (University of California at Davis, USA; Microsoft Research, China; National University of Singapore, Singapore) @InProceedings{FSE14p793, author = {Chengnian Sun and Haidong Zhang and Jian-Guang Lou and Hongyu Zhang and Qiang Wang and Dongmei Zhang and Siau-Cheng Khoo}, title = {Querying Sequential Software Engineering Data}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {793-792}, doi = {}, year = {2014}, } Article: fse14main-mainid170-p doi:
	Sun, Jiaguang	FSE '14: "Tsmart-GalsBlock: A Toolkit ..." Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; University of California at Davis, USA) @InProceedings{FSE14p806, author = {Yu Jiang and Hehua Zhang and Huafeng Zhang and Xinyan Zhao and Han Liu and Chengnian Sun and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {806-805}, doi = {}, year = {2014}, } Article: fse14demo-demoid8-p doi:
	Sun, Jun	FSE '14: "RaPiD: A Toolkit for Reliability ..." RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, and Jin Song Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore) @InProceedings{FSE14p822, author = {Lin Gui and Jun Sun and Yang Liu and Truong Khanh Nguyen and Jin Song Dong}, title = {RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {822-821}, doi = {}, year = {2014}, } Article: fse14demo-demoid13-p doi:
	Sutton, Charles	FSE '14: "Learning Natural Coding Conventions ..." Learning Natural Coding Conventions Miltiadis Allamanis, Earl T. Barr, Christian Bird, and Charles Sutton (University of Edinburgh, UK; University College London, UK; Microsoft Research, USA) @InProceedings{FSE14p325, author = {Miltiadis Allamanis and Earl T. Barr and Christian Bird and Charles Sutton}, title = {Learning Natural Coding Conventions}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {325-324}, doi = {}, year = {2014}, } Article: fse14main-mainid102-p doi: FSE '14: "Mining Idioms from Source ..." Mining Idioms from Source Code Miltiadis Allamanis and Charles Sutton (University of Edinburgh, UK) @InProceedings{FSE14p533, author = {Miltiadis Allamanis and Charles Sutton}, title = {Mining Idioms from Source Code}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {533-532}, doi = {}, year = {2014}, } Article: fse14main-mainid167-p doi:
	Swanson, Jacob	FSE '14: "Beyond the Rainbow: Self-Adaptive ..." Beyond the Rainbow: Self-Adaptive Failure Avoidance in Configurable Systems Jacob Swanson, Myra B. Cohen, Matthew B. Dwyer, Brady J. Garvin, and Justin Firestone (University of Nebraska-Lincoln, USA) @InProceedings{FSE14p429, author = {Jacob Swanson and Myra B. Cohen and Matthew B. Dwyer and Brady J. Garvin and Justin Firestone}, title = {Beyond the Rainbow: Self-Adaptive Failure Avoidance in Configurable Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {429-428}, doi = {}, year = {2014}, } Article: fse14main-mainid216-p doi:
	Tao, Yida	FSE '14: "Automatically Generated Patches ..." Automatically Generated Patches as Debugging Aids: A Human Study Yida Tao, Jindae Kim, Sunghun Kim, and Chang Xu (Hong Kong University of Science and Technology, China; Nanjing University, China) @InProceedings{FSE14p78, author = {Yida Tao and Jindae Kim and Sunghun Kim and Chang Xu}, title = {Automatically Generated Patches as Debugging Aids: A Human Study}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2014}, } Article: fse14main-mainid38-p doi:
	Thiele, Sebastian	FSE '14: "A Tool Suite for the Model-Driven ..." A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, and Uwe Pohlmann (University of Paderborn, Germany; Fraunhofer IPT, Germany) @InProceedings{FSE14p810, author = {Stefan Dziwok and Christopher Gerking and Steffen Becker and Sebastian Thiele and Christian Heinzemann and Uwe Pohlmann}, title = {A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {810-809}, doi = {}, year = {2014}, } Article: fse14demo-demoid9-p doi:
	Thung, Ferdian	FSE '14: "BugLocalizer: Integrated Tool ..." BugLocalizer: Integrated Tool Support for Bug Localization Ferdian Thung, Tien-Duy B. Le, Pavneet Singh Kochhar, and David Lo (Singapore Management University, Singapore) @InProceedings{FSE14p862, author = {Ferdian Thung and Tien-Duy B. Le and Pavneet Singh Kochhar and David Lo}, title = {BugLocalizer: Integrated Tool Support for Bug Localization}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {862-861}, doi = {}, year = {2014}, } Article: fse14demo-demoid21-p doi:
	Tonella, Paolo	FSE '14: "Search-Based Synthesis of ..." Search-Based Synthesis of Equivalent Method Sequences Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, and Paolo Tonella (University of Lugano, Switzerland; Saarland University, Germany; Fondazione Bruno Kessler, Italy) @InProceedings{FSE14p416, author = {Alberto Goffi and Alessandra Gorla and Andrea Mattavelli and Mauro Pezzè and Paolo Tonella}, title = {Search-Based Synthesis of Equivalent Method Sequences}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {416-415}, doi = {}, year = {2014}, } Article: fse14main-mainid129-p doi:
	Tripp, Omer	FSE '14: "Grail: Context-Aware Fixing ..." Grail: Context-Aware Fixing of Concurrency Bugs Peng Liu, Omer Tripp, and Charles Zhang (Wuhan University, China; IBM Research, USA; Hong Kong University of Science and Technology, China) @InProceedings{FSE14p364, author = {Peng Liu and Omer Tripp and Charles Zhang}, title = {Grail: Context-Aware Fixing of Concurrency Bugs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {364-363}, doi = {}, year = {2014}, } Article: fse14main-mainid78-p doi:
	Tsantalis, Nikolaos	FSE '14: "Discovering Refactoring Opportunities ..." Discovering Refactoring Opportunities in Cascading Style Sheets Davood Mazinanian, Nikolaos Tsantalis, and Ali Mesbah (Concordia University, Canada; University of British Columbia, Canada) @InProceedings{FSE14p559, author = {Davood Mazinanian and Nikolaos Tsantalis and Ali Mesbah}, title = {Discovering Refactoring Opportunities in Cascading Style Sheets}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {559-558}, doi = {}, year = {2014}, } Article: fse14main-mainid72-p doi:
	Tsay, Jason	FSE '14: "Let's Talk About It: Evaluating ..." Let's Talk About It: Evaluating Contributions through Discussion in GitHub Jason Tsay, Laura Dabbish, and James Herbsleb (Carnegie Mellon University, USA) @InProceedings{FSE14p169, author = {Jason Tsay and Laura Dabbish and James Herbsleb}, title = {Let's Talk About It: Evaluating Contributions through Discussion in GitHub}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2014}, } Article: fse14main-mainid81-p doi:
	Tu, Zhaopeng	FSE '14: "On the Localness of Software ..." On the Localness of Software Zhaopeng Tu, Zhendong Su, and Premkumar Devanbu (University of California at Davis, USA) @InProceedings{FSE14p312, author = {Zhaopeng Tu and Zhendong Su and Premkumar Devanbu}, title = {On the Localness of Software}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {312-311}, doi = {}, year = {2014}, } Article: fse14main-mainid48-p doi:
	Vakili, Amirhossein	FSE '14: "Verifying CTL-Live Properties ..." Verifying CTL-Live Properties of Infinite State Models using an SMT Solver Amirhossein Vakili and Nancy A. Day (University of Waterloo, Canada) @InProceedings{FSE14p247, author = {Amirhossein Vakili and Nancy A. Day}, title = {Verifying CTL-Live Properties of Infinite State Models using an SMT Solver}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {247-246}, doi = {}, year = {2014}, } Article: fse14main-mainid194-p doi:
	Villavicencio, Gustavo	FSE '14: "Software Maintenance like ..." Software Maintenance like Maintenance in Other Engineering Disciplines Gustavo Villavicencio (Universidad Católica de Santiago del Estero, Argentina) @InProceedings{FSE14p948, author = {Gustavo Villavicencio}, title = {Software Maintenance like Maintenance in Other Engineering Disciplines}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {948-947}, doi = {}, year = {2014}, } Article: fse14vc-vcid14-p doi:
	Visser, Willem	FSE '14: "Statistical Symbolic Execution ..." Statistical Symbolic Execution with Informed Sampling Antonio Filieri, Corina S. Păsăreanu, Willem Visser, and Jaco Geldenhuys (University of Stuttgart, Germany; Carnegie Mellon University, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa) @InProceedings{FSE14p494, author = {Antonio Filieri and Corina S. Păsăreanu and Willem Visser and Jaco Geldenhuys}, title = {Statistical Symbolic Execution with Informed Sampling}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {494-493}, doi = {}, year = {2014}, } Article: fse14main-mainid161-p doi:
	Wagner, John	FSE '14: "JSAI: A Static Analysis Platform ..." JSAI: A Static Analysis Platform for JavaScript Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, and Ben Hardekopf (University of California at Santa Barbara, USA; Harvey Mudd College, USA) @InProceedings{FSE14p143, author = {Vineeth Kashyap and Kyle Dewey and Ethan A. Kuefner and John Wagner and Kevin Gibbons and John Sarracino and Ben Wiedermann and Ben Hardekopf}, title = {JSAI: A Static Analysis Platform for JavaScript}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {143-142}, doi = {}, year = {2014}, } Article: fse14main-mainid173-p doi:
	Wang, Qiang	FSE '14: "Querying Sequential Software ..." Querying Sequential Software Engineering Data Chengnian Sun, Haidong Zhang, Jian-Guang Lou, Hongyu Zhang, Qiang Wang, Dongmei Zhang, and Siau-Cheng Khoo (University of California at Davis, USA; Microsoft Research, China; National University of Singapore, Singapore) @InProceedings{FSE14p793, author = {Chengnian Sun and Haidong Zhang and Jian-Guang Lou and Hongyu Zhang and Qiang Wang and Dongmei Zhang and Siau-Cheng Khoo}, title = {Querying Sequential Software Engineering Data}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {793-792}, doi = {}, year = {2014}, } Article: fse14main-mainid170-p doi:
	Wiedermann, Ben	FSE '14: "JSAI: A Static Analysis Platform ..." JSAI: A Static Analysis Platform for JavaScript Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, and Ben Hardekopf (University of California at Santa Barbara, USA; Harvey Mudd College, USA) @InProceedings{FSE14p143, author = {Vineeth Kashyap and Kyle Dewey and Ethan A. Kuefner and John Wagner and Kevin Gibbons and John Sarracino and Ben Wiedermann and Ben Hardekopf}, title = {JSAI: A Static Analysis Platform for JavaScript}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {143-142}, doi = {}, year = {2014}, } Article: fse14main-mainid173-p doi:
	Wieloch, Matteusz	FSE '14: "Archie: A Tool for Detecting, ..." Archie: A Tool for Detecting, Monitoring, and Preserving Architecturally Significant Code Mehdi Mirakhorli, Ahmed Fakhry, Artem Grechko, Matteusz Wieloch, and Jane Cleland-Huang (Rochester Institute of Technology, USA; DePaul University, USA) @InProceedings{FSE14p834, author = {Mehdi Mirakhorli and Ahmed Fakhry and Artem Grechko and Matteusz Wieloch and Jane Cleland-Huang}, title = {Archie: A Tool for Detecting, Monitoring, and Preserving Architecturally Significant Code}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {834-833}, doi = {}, year = {2014}, } Article: fse14demo-demoid16-p doi:
	Wille, David	FSE '14: "Managing Lots of Models: The ..." Managing Lots of Models: The FaMine Approach David Wille (TU Braunschweig, Germany) @InProceedings{FSE14p912, author = {David Wille}, title = {Managing Lots of Models: The FaMine Approach}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {912-911}, doi = {}, year = {2014}, } Article: fse14src-srcid1-p doi:
	Wolf, Alexander L.	FSE '14: "From Software Engineering ..." From Software Engineering to Software Systems (Invited Talk) Alexander L. Wolf (Imperial College London, UK) @InProceedings{FSE14p3, author = {Alexander L. Wolf}, title = {From Software Engineering to Software Systems (Invited Talk)}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {3-2}, doi = {}, year = {2014}, } Article: fse14invited-keynotesid2-p doi:
	Wu, Dinghao	FSE '14: "Semantics-Based Obfuscation-Resilient ..." Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection Lannan Luo, Jiang Ming, Dinghao Wu, Peng Liu, and Sencun Zhu (Pennsylvania State University, USA) @InProceedings{FSE14p442, author = {Lannan Luo and Jiang Ming and Dinghao Wu and Peng Liu and Sencun Zhu}, title = {Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {442-441}, doi = {}, year = {2014}, } Article: fse14main-mainid164-p doi:
	Wu, Rongxin	FSE '14: "Diagnose Crashing Faults on ..." Diagnose Crashing Faults on Production Software Rongxin Wu (Hong Kong University of Science and Technology, China) @InProceedings{FSE14p866, author = {Rongxin Wu}, title = {Diagnose Crashing Faults on Production Software}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {866-865}, doi = {}, year = {2014}, } Article: fse14doc-docid11-p doi:
	Wu, Yongwei	FSE '14: "AI: A Lightweight System for ..." AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, and Weimin Zheng (Tsinghua University, China; University of Wisconsin-Madison, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p377, author = {Mingxing Zhang and Yongwei Wu and Shan Lu and Shanxiang Qi and Jinglei Ren and Weimin Zheng}, title = {AI: A Lightweight System for Tolerating Concurrency Bugs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {377-376}, doi = {}, year = {2014}, } Article: fse14main-mainid114-p doi:
	Xiao, Lu	FSE '14: "Titan: A Toolset That Connects ..." Titan: A Toolset That Connects Software Architecture with Quality Analysis Lu Xiao, Yuanfang Cai, and Rick Kazman (Drexel University, USA; University of Hawaii, USA) @InProceedings{FSE14p858, author = {Lu Xiao and Yuanfang Cai and Rick Kazman}, title = {Titan: A Toolset That Connects Software Architecture with Quality Analysis}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {858-857}, doi = {}, year = {2014}, } Article: fse14demo-demoid20-p doi: FSE '14: "Detecting and Preventing the ..." Detecting and Preventing the Architectural Roots of Bugs Lu Xiao (Drexel University, USA) @InProceedings{FSE14p906, author = {Lu Xiao}, title = {Detecting and Preventing the Architectural Roots of Bugs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {906-905}, doi = {}, year = {2014}, } Article: fse14src-srcid9-p doi:
	Xu, Chang	FSE '14: "Automatically Generated Patches ..." Automatically Generated Patches as Debugging Aids: A Human Study Yida Tao, Jindae Kim, Sunghun Kim, and Chang Xu (Hong Kong University of Science and Technology, China; Nanjing University, China) @InProceedings{FSE14p78, author = {Yida Tao and Jindae Kim and Sunghun Kim and Chang Xu}, title = {Automatically Generated Patches as Debugging Aids: A Human Study}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2014}, } Article: fse14main-mainid38-p doi:
	Xuan, Jifeng	FSE '14: "Test Case Purification for ..." Test Case Purification for Improving Fault Localization Jifeng Xuan and Martin Monperrus (INRIA, France; University of Lille, France) @InProceedings{FSE14p65, author = {Jifeng Xuan and Martin Monperrus}, title = {Test Case Purification for Improving Fault Localization}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {65-64}, doi = {}, year = {2014}, } Article: fse14main-mainid177-p doi:
	Xuan, Qi	FSE '14: "Focus-Shifting Patterns of ..." Focus-Shifting Patterns of OSS Developers and Their Congruence with Call Graphs Qi Xuan, Aaron Okano, Premkumar Devanbu, and Vladimir Filkov (University of California at Davis, USA; Zhejiang University of Technology, China) @InProceedings{FSE14p455, author = {Qi Xuan and Aaron Okano and Premkumar Devanbu and Vladimir Filkov}, title = {Focus-Shifting Patterns of OSS Developers and Their Congruence with Call Graphs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {455-454}, doi = {}, year = {2014}, } Article: fse14main-mainid208-p doi:
	Yang, Xin	FSE '14: "Social Network Analysis in ..." Social Network Analysis in Open Source Software Peer Review Xin Yang (Nara Institute of Science and Technology, Japan) @InProceedings{FSE14p915, author = {Xin Yang}, title = {Social Network Analysis in Open Source Software Peer Review}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {915-914}, doi = {}, year = {2014}, } Article: fse14src-srcid3-p doi:
	Yao, Yinbo	FSE '14: "Aalta: An LTL Satisfiability ..." Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, and Jifeng He (East China Normal University, China; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{FSE14p826, author = {Jianwen Li and Yinbo Yao and Geguang Pu and Lijun Zhang and Jifeng He}, title = {Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {826-825}, doi = {}, year = {2014}, } Article: fse14demo-demoid11-p doi:
	Ye, Xin	FSE '14: "Learning to Rank Relevant ..." Learning to Rank Relevant Files for Bug Reports using Domain Knowledge Xin Ye, Razvan Bunescu, and Chang Liu (Ohio University, USA) @InProceedings{FSE14p780, author = {Xin Ye and Razvan Bunescu and Chang Liu}, title = {Learning to Rank Relevant Files for Bug Reports using Domain Knowledge}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {780-779}, doi = {}, year = {2014}, } Article: fse14main-mainid44-p doi:
	Ying, Annie T. T.	FSE '14: "Selection and Presentation ..." Selection and Presentation Practices for Code Example Summarization Annie T. T. Ying and Martin P. Robillard (McGill University, Canada) @InProceedings{FSE14p520, author = {Annie T. T. Ying and Martin P. Robillard}, title = {Selection and Presentation Practices for Code Example Summarization}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {520-519}, doi = {}, year = {2014}, } Article: fse14main-mainid68-p doi:
	Yoo, Shin	FSE '14: "ORBS: Language-Independent ..." ORBS: Language-Independent Program Slicing David Binkley, Nicolas Gold, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo (Loyola University Maryland, USA; University College London, UK) @InProceedings{FSE14p130, author = {David Binkley and Nicolas Gold and Mark Harman and Syed Islam and Jens Krinke and Shin Yoo}, title = {ORBS: Language-Independent Program Slicing}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {130-129}, doi = {}, year = {2014}, } Article: fse14main-mainid143-p doi:
	Zaytsev, Andrey	FSE '14: "Balancing Trade-Offs in Test-Suite ..." Balancing Trade-Offs in Test-Suite Reduction August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p286, author = {August Shi and Alex Gyori and Milos Gligoric and Andrey Zaytsev and Darko Marinov}, title = {Balancing Trade-Offs in Test-Suite Reduction}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {286-285}, doi = {}, year = {2014}, } Article: fse14main-mainid236-p doi:
	Zeller, Andreas	FSE '14: "XMLMate: Evolutionary XML ..." XMLMate: Evolutionary XML Test Generation Nikolas Havrikov, Matthias Höschele, Juan Pablo Galeotti, and Andreas Zeller (Saarland University, Germany) @InProceedings{FSE14p814, author = {Nikolas Havrikov and Matthias Höschele and Juan Pablo Galeotti and Andreas Zeller}, title = {XMLMate: Evolutionary XML Test Generation}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {814-813}, doi = {}, year = {2014}, } Article: fse14demo-demoid7-p doi:
	Zhang, Charles	FSE '14: "Grail: Context-Aware Fixing ..." Grail: Context-Aware Fixing of Concurrency Bugs Peng Liu, Omer Tripp, and Charles Zhang (Wuhan University, China; IBM Research, USA; Hong Kong University of Science and Technology, China) @InProceedings{FSE14p364, author = {Peng Liu and Omer Tripp and Charles Zhang}, title = {Grail: Context-Aware Fixing of Concurrency Bugs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {364-363}, doi = {}, year = {2014}, } Article: fse14main-mainid78-p doi:
	Zhang, Dongmei	FSE '14: "Querying Sequential Software ..." Querying Sequential Software Engineering Data Chengnian Sun, Haidong Zhang, Jian-Guang Lou, Hongyu Zhang, Qiang Wang, Dongmei Zhang, and Siau-Cheng Khoo (University of California at Davis, USA; Microsoft Research, China; National University of Singapore, Singapore) @InProceedings{FSE14p793, author = {Chengnian Sun and Haidong Zhang and Jian-Guang Lou and Hongyu Zhang and Qiang Wang and Dongmei Zhang and Siau-Cheng Khoo}, title = {Querying Sequential Software Engineering Data}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {793-792}, doi = {}, year = {2014}, } Article: fse14main-mainid170-p doi:
	Zhang, Haidong	FSE '14: "Querying Sequential Software ..." Querying Sequential Software Engineering Data Chengnian Sun, Haidong Zhang, Jian-Guang Lou, Hongyu Zhang, Qiang Wang, Dongmei Zhang, and Siau-Cheng Khoo (University of California at Davis, USA; Microsoft Research, China; National University of Singapore, Singapore) @InProceedings{FSE14p793, author = {Chengnian Sun and Haidong Zhang and Jian-Guang Lou and Hongyu Zhang and Qiang Wang and Dongmei Zhang and Siau-Cheng Khoo}, title = {Querying Sequential Software Engineering Data}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {793-792}, doi = {}, year = {2014}, } Article: fse14main-mainid170-p doi:
	Zhang, Hehua	FSE '14: "Tsmart-GalsBlock: A Toolkit ..." Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; University of California at Davis, USA) @InProceedings{FSE14p806, author = {Yu Jiang and Hehua Zhang and Huafeng Zhang and Xinyan Zhao and Han Liu and Chengnian Sun and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {806-805}, doi = {}, year = {2014}, } Article: fse14demo-demoid8-p doi:
	Zhang, Hongyu	FSE '14: "Querying Sequential Software ..." Querying Sequential Software Engineering Data Chengnian Sun, Haidong Zhang, Jian-Guang Lou, Hongyu Zhang, Qiang Wang, Dongmei Zhang, and Siau-Cheng Khoo (University of California at Davis, USA; Microsoft Research, China; National University of Singapore, Singapore) @InProceedings{FSE14p793, author = {Chengnian Sun and Haidong Zhang and Jian-Guang Lou and Hongyu Zhang and Qiang Wang and Dongmei Zhang and Siau-Cheng Khoo}, title = {Querying Sequential Software Engineering Data}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {793-792}, doi = {}, year = {2014}, } Article: fse14main-mainid170-p doi:
	Zhang, Huafeng	FSE '14: "Tsmart-GalsBlock: A Toolkit ..." Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; University of California at Davis, USA) @InProceedings{FSE14p806, author = {Yu Jiang and Hehua Zhang and Huafeng Zhang and Xinyan Zhao and Han Liu and Chengnian Sun and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {806-805}, doi = {}, year = {2014}, } Article: fse14demo-demoid8-p doi:
	Zhang, Lijun	FSE '14: "Aalta: An LTL Satisfiability ..." Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, and Jifeng He (East China Normal University, China; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{FSE14p826, author = {Jianwen Li and Yinbo Yao and Geguang Pu and Lijun Zhang and Jifeng He}, title = {Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {826-825}, doi = {}, year = {2014}, } Article: fse14demo-demoid11-p doi:
	Zhang, Mingxing	FSE '14: "AI: A Lightweight System for ..." AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, and Weimin Zheng (Tsinghua University, China; University of Wisconsin-Madison, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p377, author = {Mingxing Zhang and Yongwei Wu and Shan Lu and Shanxiang Qi and Jinglei Ren and Weimin Zheng}, title = {AI: A Lightweight System for Tolerating Concurrency Bugs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {377-376}, doi = {}, year = {2014}, } Article: fse14main-mainid114-p doi:
	Zhang, Tianyi	FSE '14: "Critics: An Interactive Code ..." Critics: An Interactive Code Review Tool for Searching and Inspecting Systematic Changes Tianyi Zhang, Myoungkyu Song, and Miryung Kim (University of California at Los Angeles, USA; University of Texas at Austin, USA) @InProceedings{FSE14p850, author = {Tianyi Zhang and Myoungkyu Song and Miryung Kim}, title = {Critics: An Interactive Code Review Tool for Searching and Inspecting Systematic Changes}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {850-849}, doi = {}, year = {2014}, } Article: fse14demo-demoid15-p doi:
	Zhao, Xinyan	FSE '14: "Tsmart-GalsBlock: A Toolkit ..." Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, and Jiaguang Sun (Tsinghua University, China; University of California at Davis, USA) @InProceedings{FSE14p806, author = {Yu Jiang and Hehua Zhang and Huafeng Zhang and Xinyan Zhao and Han Liu and Chengnian Sun and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {806-805}, doi = {}, year = {2014}, } Article: fse14demo-demoid8-p doi:
	Zheng, Weimin	FSE '14: "AI: A Lightweight System for ..." AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, and Weimin Zheng (Tsinghua University, China; University of Wisconsin-Madison, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{FSE14p377, author = {Mingxing Zhang and Yongwei Wu and Shan Lu and Shanxiang Qi and Jinglei Ren and Weimin Zheng}, title = {AI: A Lightweight System for Tolerating Concurrency Bugs}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {377-376}, doi = {}, year = {2014}, } Article: fse14main-mainid114-p doi:
	Zhou, Minghui	FSE '14: "Mining Micro-practices from ..." Mining Micro-practices from Operational Data Minghui Zhou and Audris Mockus (Peking University, China; University of Tennessee, USA; Avaya Labs, USA) @InProceedings{FSE14p940, author = {Minghui Zhou and Audris Mockus}, title = {Mining Micro-practices from Operational Data}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {940-939}, doi = {}, year = {2014}, } Article: fse14vc-vcid13-p doi:
	Zhu, Sencun	FSE '14: "Semantics-Based Obfuscation-Resilient ..." Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection Lannan Luo, Jiang Ming, Dinghao Wu, Peng Liu, and Sencun Zhu (Pennsylvania State University, USA) @InProceedings{FSE14p442, author = {Lannan Luo and Jiang Ming and Dinghao Wu and Peng Liu and Sencun Zhu}, title = {Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {442-441}, doi = {}, year = {2014}, } Article: fse14main-mainid164-p doi:
	Zimmermann, Thomas	FSE '14: "Data Hard with a Vengeance ..." Data Hard with a Vengeance (Invited Talk) Thomas Zimmermann (Microsoft Research, USA) @InProceedings{FSE14p11, author = {Thomas Zimmermann}, title = {Data Hard with a Vengeance (Invited Talk)}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2014}, } Article: fse14industry-industryid2-p doi: FSE '14: "Software Developers’ Perceptions ..." Software Developers’ Perceptions of Productivity André N. Meyer, Thomas Fritz, Gail C. Murphy, and Thomas Zimmermann (University of Zurich, Switzerland; University of British Columbia, Canada; Microsoft Research, USA) @InProceedings{FSE14p26, author = {André N. Meyer and Thomas Fritz and Gail C. Murphy and Thomas Zimmermann}, title = {Software Developers’ Perceptions of Productivity}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {26-25}, doi = {}, year = {2014}, } Article: fse14main-mainid137-p doi:
	Zuleger, Florian	FSE '14: "Feedback Generation for Performance ..." Feedback Generation for Performance Problems in Introductory Programming Assignments Sumit Gulwani, Ivan Radiček, and Florian Zuleger (Microsoft Research, USA; Vienna University of Technology, Austria) @InProceedings{FSE14p52, author = {Sumit Gulwani and Ivan Radiček and Florian Zuleger}, title = {Feedback Generation for Performance Problems in Introductory Programming Assignments}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {52-51}, doi = {}, year = {2014}, } Article: fse14main-mainid197-p doi: