Table of Contents

• Software Engineering in Ferrari F1Claudio Silenzi. 3 [doi]
• Mining the Metadata - and Its ConsequencesSusan Landau. 4-5 [doi]
• Views on Internal and External Validity in Empirical Software EngineeringJanet Siegmund, Norbert Siegmund, Sven Apel. 9-19 [doi]
• Developing and Evaluating Software Engineering Process TheoriesPaul Ralph. 20-31 [doi]
• Automated Data Structure Generation: Refuting Common WisdomKyle Dewey, Lawton Nichols, Ben Hardekopf. 32-43 [doi]
• Automated Modularization of GUI Test CasesRahulkrishna Yandrapally, Giriprasad Sridhara, Saurabh Sinha. 44-54 [doi]
• Making System User Interactive Tests Repeatable: When and What Should We Control?Zebao Gao, Yalan Liang, Myra B. Cohen, Atif M. Memon, Zhen Wang. 55-65 [doi]
• ZoomIn: Discovering Failures by Detecting Wrong AssertionsFabrizio Pastore, Leonardo Mariani. 66-76 [doi]
• Composite Constant Propagation: Application to Android Inter-Component Communication AnalysisDamien Octeau, Daniel Luchaup, Matthew Dering, Somesh Jha, Patrick McDaniel. 77-88 [doi]
• Static Control-Flow Analysis of User-Driven Callbacks in Android ApplicationsShengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, Atanas Rountev. 89-99 [doi]
• Truth in Advertising: The Hidden Cost of Mobile Ads for Software DevelopersJiaping Gui, Stuart Mcilroy, Meiyappan Nagappan, William G. J. Halfond. 100-110 [doi]
• Interactive Code Review for Systematic ChangesTianyi Zhang, Myoungkyu Song, Joseph Pinedo, Miryung Kim. 111-122 [doi]
• Automated Decomposition of Build TargetsMohsen Vakilian, Raluca Sauciuc, J. David Morgenthaler, Vahab Mirrokni. 123-133 [doi]
• Helping Developers Help Themselves: Automatic Decomposition of Code Review ChangesetsMike Barnett, Christian Bird, João Brunet, Shuvendu K. Lahiri. 134-144 [doi]
• Data-Delineation in Software Binaries and its Application to Buffer-Overrun DiscoveryDenis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski. 145-155 [doi]
• Measuring Software RedundancyAntonio Carzaniga, Andrea Mattavelli, Mauro Pezzè. 156-166 [doi]
• Gray Computing: An Analysis of Computing with Background JavaScript TasksYao Pan, Jules White, Yu Sun 0002, Jeff Gray. 167-177 [doi]
• Presence-Condition Simplification in Highly Configurable Systems Alexander von Rhein, Alexander Grebhahn, Sven Apel, Norbert Siegmund, Dirk Beyer 0001, Thorsten Berger. 178-188 [doi]
• Symbolic Model Checking of Product-Line Requirements Using SAT-Based MethodsShoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu. 189-199 [doi]
• Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic ModelsAntonio Filieri, Lars Grunske, Alberto Leva. 200-211 [doi]
• Tempura: Temporal Dimension for IDEsYun Young Lee, Darko Marinov, Ralph E. Johnson. 212-222 [doi]
• Supporting Selective Undo in a Code EditorYoungSeok Yoon, Brad A. Myers. 223-233 [doi]
• Cascade: A Universal Programmer-Assisted Type Qualifier Inference ToolMohsen Vakilian, Amarin Phaosawasdi, Michael D. Ernst, Ralph E. Johnson. 234-245 [doi]
• RECONTEST: Effective Regression Testing of Concurrent ProgramsValerio Terragni, Shing-Chi Cheung, Charles Zhang. 246-256 [doi]
• A Synergistic Analysis Method for Explaining Failed Regression TestsQiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang. 257-267 [doi]
• An Information Retrieval Approach for Regression Test Prioritization Based on Program ChangesRipon K. Saha, Lingming Zhang, Sarfraz Khurshid, Dewayne E. Perry. 268-279 [doi]
• IccTA: Detecting Inter-Component Privacy Leaks in Android AppsLi Li 0029, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick McDaniel. 280-291 [doi]
• Do Security Patterns Really Help Designers?Koen Yskout, Riccardo Scandariato, Wouter Joosen. 292-302 [doi]
• AppContext: Differentiating Malicious and Benign Mobile App Behaviors Using ContextWei Yang, Xusheng Xiao, Benjamin Andow, Sihan Li, Tao Xie, William Enck. 303-313 [doi]
• TypeDevil: Dynamic Type Inconsistency Analysis for JavaScriptMichael Pradel, Parker Schuh, Koushik Sen. 314-324 [doi]
• Detecting Inconsistencies in JavaScript MVC ApplicationsFrolin S. Ocariza Jr., Karthik Pattabiraman, Ali Mesbah 0001. 325-335 [doi]
• AutoCSP: Automatically Retrofitting CSP to Web ApplicationsMattia Fazzini, Prateek Saxena, Alessandro Orso. 336-346 [doi]
• How Much Up-Front? A Grounded theory of Agile ArchitectureMichael Waterman, James Noble, George Allan. 347-357 [doi]
• Work Practices and Challenges in Pull-Based Development: The Integrator's PerspectiveGeorgios Gousios, Andy Zaidman, Margaret-Anne D. Storey, Arie van Deursen. 358-368 [doi]
• Build It Yourself! Homegrown Tools in a Large Software CompanyEdward K. Smith, Christian Bird, Thomas Zimmermann. 369-379 [doi]
• Morpheus: Variability-Aware Refactoring in the WildJörg Liebig, Andreas Janker, Florian Garbe, Sven Apel, Christian Lengauer. 380-391 [doi]
• Does Automated Refactoring Obviate Systematic Editing?Lisa Hua, Miryung Kim, Kathryn S. McKinley. 392-402 [doi]
• When and Why Your Code Starts to Smell BadMichele Tufano, Fabio Palomba, Gabriele Bavota, Rocco Oliveto, Massimiliano Di Penta, Andrea De Lucia, Denys Poshyvanyk. 403-414 [doi]
• Learning to Log: Helping Developers Make Informed Logging DecisionsJieming Zhu, Pinjia He, Qiang Fu, Hongyu Zhang, Michael R. Lyu, Dongmei Zhang. 415-425 [doi]
• Mining Apps for Abnormal Usage of Sensitive DataVitalii Avdiienko, Konstantin Kuznetsov, Alessandra Gorla, Andreas Zeller, Steven Arzt, Siegfried Rasthofer, Eric Bodden. 426-436 [doi]
• Tracking Static Analysis Violations over Time to Capture Developer CharacteristicsPavel Avgustinov, Arthur I. Baars, Anders S. Henriksen, R. Greg Lavender, Galen Menzel, Oege de Moor, Max Schäfer, Julian Tibble. 437-447 [doi]
• DirectFix: Looking for Simple Program RepairsSergey Mechtaev, Jooyong Yi, Abhik Roychoudhury. 448-458 [doi]
• Safe Memory-Leak Fixing for C ProgramsQing Gao, Yingfei Xiong, Yaqing Mi, Lu Zhang, Weikun Yang, Zhaoping Zhou, Bing Xie, Hong Mei. 459-470 [doi]
• relifix: Automated Repair of Software RegressionsShin Hwei Tan, Abhik Roychoudhury. 471-482 [doi]
• The Art of Testing Less without Sacrificing QualityKim Herzig, Michaela Greiler, Jacek Czerwonka, Brendan Murphy. 483-493 [doi]
• No PAIN, No Gain? The Utility of PArallel Fault INjectionsStefan Winter, Oliver Schwahn, Roberto Natella, Neeraj Suri, Domenico Cotroneo. 494-505 [doi]
• A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage MetricsMichael W. Whalen, Suzette Person, Neha Rungta, Matt Staats, Daniela Grijincu. 506-516 [doi]
• Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product LinesChristopher Henard, Mike Papadakis, Mark Harman, Yves Le Traon. 517-528 [doi]
• A Genetic Algorithm for Detecting Significant Floating-Point InaccuraciesDaming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei. 529-539 [doi]
• Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic SearchYue Jia, Myra B. Cohen, Mark Harman, Justyna Petke. 540-550 [doi]
• Borrowing from the Crowd: A Study of Recombination in Software Design CompetitionsThomas D. LaToza, Micky Chen, Luxi Jiang, Mengyao Zhao, André van der Hoek. 551-562 [doi]
• From Developer Networks to Verified Communities: A Fine-Grained ApproachMitchell Joblin, Wolfgang Mauerer, Sven Apel, Janet Siegmund, Dirk Riehle. 563-573 [doi]
• Open Source-Style Collaborative Development Practices in Commercial Projects Using GitHubEirini Kalliamvakou, Daniela E. Damian, Kelly Blincoe, Leif Singer, Daniel M. Germán. 574-585 [doi]
• Database-Backed Program Analysis for Scalable Error PropagationCathrin Weiss, Cindy Rubio-González, Ben Liblit. 586-597 [doi]
• Tricorder: Building a Program Analysis EcosystemCaitlin Sadowski, Jeffrey van Gogh, Ciera Jaspan, Emma Söderberg, Collin Winter. 598-608 [doi]
• Alloy*: A General-Purpose Higher-Order Relational Constraint SolverAleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson. 609-619 [doi]
• DASE: Document-Assisted Symbolic Execution for Improving Automated Software TestingEdmund Wong, Lei Zhang, Song Wang, Taiyue Liu, Lin Tan. 620-631 [doi]
• Compositional Symbolic Execution with Memoized ReplayRui Qiu, Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid. 632-642 [doi]
• Regular Property Guided Dynamic Symbolic ExecutionYufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu 0001. 643-653 [doi]
• Combining Symbolic Execution and Model Checking for Data Flow TestingTing Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su. 654-665 [doi]
• Are Students Representatives of Professionals in Software Engineering Experiments?Iflaah Salman, Ayse Tosun Misirli, Natalia Juristo Juzgado. 666-676 [doi]
• Why Good Developers Write Bad Code: An Observational Case Study of the Impacts of Organizational Factors on Software QualityMathieu Lavallée, Pierre N. Robillard. 677-687 [doi]
• Stuck and Frustrated or in Flow and Happy: Sensing Developers' Emotions and ProgressSebastian C. Müller, Thomas Fritz. 688-699 [doi]
• What Makes a Great Software Engineer?Paul Luo Li, Andrew J. Ko, Jiamin Zhu. 700-710 [doi]
• Efficient Scalable Verification of LTL SpecificationsLuciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi. 711-721 [doi]
• Empirical Study Towards a Leading Indicator for Cost of Formal Software VerificationDaniel Matichuk, Toby C. Murray, June Andronick, D. Ross Jeffery, Gerwin Klein, Mark Staples. 722-732 [doi]
• Specifying Event-Based Systems with a Counting Fluent Temporal LogicGermán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre. 733-743 [doi]
• Coexecutability for Efficient Verification of Data Model UpdatesIvan Bocic, Tevfik Bultan. 744-754 [doi]
• Assert Use in GitHub ProjectsCasey Casalnuovo, Premkumar T. Devanbu, Abilio Oliveira, Vladimir Filkov, Baishakhi Ray. 755-766 [doi]
• A Programming Model for Sustainable SoftwareHaitao Steve Zhu, Chaoren Lin, Yu David Liu. 767-777 [doi]
• A Comparative Study of Programming Languages in Rosetta CodeSebastian Nanz, Carlo A. Furia. 778-788 [doi]
• Revisiting the Impact of Classification Techniques on the Performance of Defect Prediction ModelsBaljinder Ghotra, Shane McIntosh, Ahmed E. Hassan. 789-800 [doi]
• LACE2: Better Privacy-Preserving Data Sharing for Cross Project Defect PredictionFayola Peters, Tim Menzies, Lucas Layman. 801-811 [doi]
• The Impact of Mislabelling on the Performance and Interpretation of Defect Prediction ModelsChakkrit Tantithamthavorn, Shane McIntosh, Ahmed E. Hassan, Akinori Ihara, Ken-ichi Matsumoto. 812-823 [doi]
• ReCBuLC: Reproducing Concurrency Bugs Using Local ClocksXiang Yuan, Chenggang Wu, Zhenjiang Wang, Jianjun Li, Pen-Chung Yew, Jeff Huang, Xiaobing Feng, Yanyan Lan, Yunji Chen, Yong Guan. 824-834 [doi]
• Dynamic Generation of Likely Invariants for Multithreaded ProgramsMarkus Kusano, Arijit Chattopadhyay, Chao Wang. 835-846 [doi]
• GPredict: Generic Predictive Concurrency AnalysisJeff Huang, Qingzhou Luo, Grigore Rosu. 847-857 [doi]
• Graph-Based Statistical Language Model for CodeAnh Tuan Nguyen, Tien N. Nguyen. 858-868 [doi]
• Discovering Information Explaining API Types Using Text ClassificationGayane Petrosyan, Martin P. Robillard, Renato de Mori. 869-879 [doi]
• How Can I Use This Method?Laura Moreno, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrian Marcus. 880-890 [doi]
• Hercules: Reproducing Crashes in Real-World Application BinariesVan-Thuan Pham, Wei Boon Ng, Konstantin Rubinov, Abhik Roychoudhury. 891-901 [doi]
• CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive FixesAdrian Nistor, Po-Chun Chang, Cosmin Radoi, Shan Lu. 902-912 [doi]
• An Empirical Study on Real Bug FixesHao Zhong, Zhendong Su. 913-923 [doi]
• Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing TestsZhongxing Yu, Chenggang Bai, Kai-Yuan Cai. 924-935 [doi]
• Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection TechniqueMike Papadakis, Yue Jia, Mark Harman, Yves Le Traon. 936-946 [doi]
• Dynamic Data Flow Testing of Object Oriented SystemsGiovanni Denaro, Alessandro Margara, Mauro Pezzè, Mattia Vivanti. 947-958 [doi]