Table of Contents

• A logical revolution (keynote)Moshe Y. Vardi. 1 [doi]
• Producing software by integration: challenges and research directions (keynote)Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, Massimo Tivoli. 2-12 [doi]
• Software engineering for mathematics (keynote)Georges Gonthier. 13 [doi]
• Empirical answers to fundamental software engineering problems (panel)Bertrand Meyer, Harald Gall, Mark Harman, Giancarlo Succi. 14-18 [doi]
• A publication culture in software engineering (panel)Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi. 19-23 [doi]
• Artifact evaluation (summary)Alexandre Bergel, Lorenzo Bettini. 24-25 [doi]
• Efficiency and early fault detection with lower and higher strength combinatorial interaction testingJustyna Petke, Shin Yoo, Myra B. Cohen, Mark Harman. 26-36 [doi]
• Con2colic testingAzadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith. 37-47 [doi]
• Boosting concolic testing via interpolationJoxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas. 48-58 [doi]
• Adequate monitoring of service compositionsAntonia Bertolino, Eda Marchetti, Andrea Morichetta. 59-69 [doi]
• Prediction of atomic web services reliability based on k-means clusteringMarin Silic, Goran Delac, Sinisa Srbljic. 70-80 [doi]
• Scalable analysis of variable softwareJörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, Christian Lengauer. 81-91 [doi]
• Bayesian inference using data flow analysisGuillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström. 92-102 [doi]
• Second-order constraints in dynamic invariant inferenceKaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young. 103-113 [doi]
• Z3-str: a z3-based string solver for web application analysisYunhui Zheng, Xiangyu Zhang, Vijay Ganesh. 114-124 [doi]
• An empirical analysis of the co-evolution of schema and code in database applicationsDong Qiu, Bixin Li, Zhendong Su. 125-135 [doi]
• Automated oracles: an empirical study on cost and effectivenessCu D. Nguyen, Alessandro Marchetto, Paolo Tonella. 136-146 [doi]
• Sample size vs. bias in defect predictionFoyzur Rahman, Daryl Posnett, Israel Herraiz, Premkumar T. Devanbu. 147-157 [doi]
• Finding incorrect compositions of atomicityPeng Liu 0010, Julian Dolby, Charles Zhang. 158-168 [doi]
• Tightfit: adaptive parallelization with foresightOmer Tripp, Noam Rinetzky. 169-179 [doi]
• Distributed program tracingDiptikalyan Saha, Pankaj Dhoolia, Gaurab Paul. 180-190 [doi]
• Will you still compile me tomorrow? static cross-version compiler validationChris Hawblitzel, Shuvendu K. Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth. 191-201 [doi]
• Convergent contemporary software peer review practicesPeter C. Rigby, Christian Bird. 202-212 [doi]
• Do all task dependencies require coordination? the role of task properties in identifying critical coordination needs in software projectsKelly Blincoe, Giuseppe Valetto, Daniela Damian. 213-223 [doi]
• Dynodroid: an input generation system for Android appsAravind Machiry, Rohan Tahiliani, Mayur Naik. 224-234 [doi]
• KATCH: high-coverage testing of software patchesPaul Dan Marinescu, Cristian Cadar. 235-245 [doi]
• Termination proofs from testsAditya V. Nori, Rahul Sharma 0001. 246-256 [doi]
• SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systemsChang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim. 257-267 [doi]
• Cachetor: detecting cacheable data to remove bloatKhanh Nguyen, Guoqing Xu. 268-278 [doi]
• Effective dynamic detection of alias analysis errorsJingyue Wu, Gang Hu, Yang Tang, Junfeng Yang. 279-289 [doi]
• Feature model extraction from large collections of informal product descriptionsJean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, Patrick Heymans. 290-300 [doi]
• N-way model mergingJulia Rubin, Marsha Chechik. 301-311 [doi]
• Compiling mockups to flexible UIsNishant Sinha, Rezwana Karim. 312-322 [doi]
• Making offline analyses continuousKivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin. 323-333 [doi]
• Regression tests to expose change interaction errorsMarcel Böhme, Bruno C. D. S. Oliveira, Abhik Roychoudhury. 334-344 [doi]
• Differential assertion checkingShuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma 0001, Chris Hawblitzel. 345-355 [doi]
• Preventing database deadlocks in applicationsMark Grechanik, B. M. Mainul Hossain, Ugo Buy, Haisheng Wang. 356-366 [doi]
• Identifying message flow in distributed event-based systemsJoshua Garcia, Daniel Popescu, Gholamreza Safi, William G. J. Halfond, Nenad Medvidovic. 367-377 [doi]
• Improving trace accuracy through data-driven configuration and composition of tracing featuresSugandha Lohar, Sorawit Amornborvornwong, Andrea Zisman, Jane Cleland-Huang. 378-388 [doi]
• Precision reuse for efficient regression verificationDirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler. 389-399 [doi]
• Cascading verification: an integrated method for domain-specific model checkingFokion Zervoudakis, David S. Rosenblum, Sebastian G. Elbaum, Anthony Finkelstein. 400-410 [doi]
• Enhancing symbolic execution with built-in term rewriting and constrained lazy initializationPietro Braione, Giovanni Denaro, Mauro Pezzè. 411-421 [doi]
• Mining behavior models from enterprise web applicationsMatthias Schur, Andreas Roth, Andreas Zeller. 422-432 [doi]
• Incrementally synthesizing controllers from scenario-based product line specificationsJoel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi. 433-443 [doi]
• Synthesis of component and connector models from crosscutting structural viewsShahar Maoz, Jan Oliver Ringert, Bernhard Rumpe. 444-454 [doi]
• Searching for better configurations: a rigorous approach to clone evaluationTiantian Wang, Mark Harman, Yue Jia, Jens Krinke. 455-465 [doi]
• Diversity in software engineering researchMeiyappan Nagappan, Thomas Zimmermann, Christian Bird. 466-476 [doi]
• API change and fault proneness: a threat to the success of Android appsMario Linares Vásquez, Gabriele Bavota, Carlos Bernal-Cárdenas, Massimiliano Di Penta, Rocco Oliveto, Denys Poshyvanyk. 477-487 [doi]
• Jalangi: a selective record-replay and dynamic analysis framework for JavaScriptKoushik Sen, Swaroop Kalasapur, Tasneem G. Brutch, Simon Gibbs. 488-498 [doi]
• Practical static analysis of JavaScript applications in the presence of frameworks and librariesMagnus Madsen, Benjamin Livshits, Michael Fanning. 499-509 [doi]
• Server interface descriptions for automated testing of JavaScript web applicationsCasper Svenning Jensen, Anders Møller, Zhendong Su. 510-520 [doi]
• Explaining inconsistent codeMartin Schäf, Daniel Schwartz-Narbonne, Thomas Wies. 521-531 [doi]
• A statistical semantic language model for source codeTung Thanh Nguyen, Anh Tuan Nguyen, Hoan Anh Nguyen, Tien N. Nguyen. 532-542 [doi]
• Crossing the gap from imperative to functional programming through refactoringAlex Gyori, Lyle Franklin, Danny Dig, Jan Lahoda. 543-553 [doi]
• Scalable and incremental software bug detectionScott McPeak, Charles Henri-Gros, Murali Krishna Ramanathan. 554-564 [doi]
• Inferring project-specific bug patterns for detecting sibling bugsGuangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei. 565-575 [doi]
• Mining succinct predicated bug signaturesChengnian Sun, Siau-Cheng Khoo. 576-586 [doi]
• SocialCDE: a social awareness tool for global software teamsFabio Calefato, Filippo Lanubile. 587-590 [doi]
• REDACT: preventing database deadlocks from application-based transactionsB. M. Mainul Hossain, Mark Grechanik, Ugo Buy, Haisheng Wang. 591-594 [doi]
• aPET: a test case generation tool for concurrent objectsElvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong. 595-598 [doi]
• RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplatesChetan Arora, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer, Raul Gnaga. 599-602 [doi]
• RiTHM: a tool for enabling time-triggered runtime verification for C programsSamaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister. 603-606 [doi]
• PoMMaDe: pushdown model-checking for malware detectionFu Song, Tayssir Touili. 607-610 [doi]
• RADA: a tool for reasoning about algebraic data types with abstractionsTuan-Hung Pham, Michael W. Whalen. 611-614 [doi]
• Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScriptKoushik Sen, Swaroop Kalasapur, Tasneem G. Brutch, Simon Gibbs. 615-618 [doi]
• RSA-MBT: a test tool for generating test artifacts based on modelsAndrew Diniz da Costa, Ricardo Venieris, Gustavo Robichez de Carvalho, Carlos José Pereira de Lucena. 619-622 [doi]
• USMMC: a self-contained model checker for UML state machinesShuang Liu, Yang Liu, Jun Sun 0001, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong. 623-626 [doi]
• Extracting URLs from JavaScript via program analysisQi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, Jianjun Zhao. 627-630 [doi]
• Data debugging with continuous testingKivanç Muslu, Yuriy Brun, Alexandra Meliou. 631-634 [doi]
• Iterative test suites refinement for elastic computing systemsAlessio Gambi, Antonio Filieri, Schahram Dustdar. 635-638 [doi]
• Using fault history to improve mutation reductionLaura Inozemtseva, Hadi Hemmati, Reid Holmes. 639-642 [doi]
• A cost-effectiveness criterion for applying software defect prediction modelsHongyu Zhang, S. C. Cheung. 643-646 [doi]
• BugMap: a topographic map of bugsJiangtao Gong, Hongyu Zhang. 647-650 [doi]
• Lexical statistical machine translation for language migrationAnh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen. 651-654 [doi]
• Code fragment summarizationAnnie T. T. Ying, Martin P. Robillard. 655-658 [doi]
• Understanding gamification mechanisms for software developmentDaniel J. Dubois, Giordano Tamburrelli. 659-662 [doi]
• Toward understanding the causes of unanswered questions in software information sites: a case study of stack overflowRipon K. Saha, Avigit K. Saha, Dewayne E. Perry. 663-666 [doi]
• Where is the business logic?Yael Dubinsky, Yishai A. Feldman, Maayan Goldstein. 667-670 [doi]
• Towards emotional awareness in software development teamsEmitza Guzman, Bernd Bruegge. 671-674 [doi]
• Precise range analysis on large industry codeShrawan Kumar, Bharti Chimdyalwar, Ulka Shrotri. 675-678 [doi]
• Agreements for software reuse in corporationsThijmen de Gooijer, Heiko Koziolek. 679-682 [doi]
• Good technology makes the difficult task easyAndrey Terekhov. 683-686 [doi]
• ShAir: extensible middleware for mobile peer-to-peer resource sharingDaniel J. Dubois, Yosuke Bando, Konosuke Watanabe, Henry Holtzman. 687-690 [doi]
• Risky files: an approach to focus quality improvement effortAudris Mockus, Randy L. Hackbarth, John Douglas Palframan. 691-694 [doi]
• System reliability calculation based on the run-time analysis of ladder programYu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun. 695-698 [doi]
• h-ubu: an industrial-strength service-oriented component framework for JavaScript applicationsClément Escoffier, Philippe Lalanda, Nicolas Rempulsky. 699-702 [doi]
• Design and optimization of multi-clocked embedded systems using formal techniqueYu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun. 703-706 [doi]
• The economics of static analysis toolsRahul Kumar, Aditya V. Nori. 707-710 [doi]
• Automatically describing software faultsNicholas DiGiuseppe. 711-714 [doi]
• Fuzzy service matching in on-the-fly computingMarie Christin Platenius. 715-718 [doi]
• PHRT: a model and programmable tool for hardware reengineering automationOleg Nenashev. 719-722 [doi]
• Using topic models to understand the evolution of a software ecosystemNicolas Lopez. 723-726 [doi]
• Automotive architecture description and its qualityYanja Dajsuren. 727-730 [doi]
• Towards open architecture systemBahtijar Vogel. 731-734 [doi]
• A framework for defining the dynamic semantics of DSLsUlyana Tikhonova. 735-738 [doi]