default search action
24th SIGSOFT FSE 2016: Seattle, WA, USA
- Thomas Zimmermann, Jane Cleland-Huang, Zhendong Su:
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016. ACM 2016, ISBN 978-1-4503-4218-6
Keynotes
- Margaret M. Burnett:
"Womenomics" and gender-inclusive software: what software engineers need to know (invited talk). 1 - James D. Herbsleb:
Building a socio-technical theory of coordination: why and how (outstanding research award). 2-10 - Daniel Jackson, Mandana Vaziri:
Correct or usable? the limits of traditional verification (impact paper award). 11
Showcases
- Chuck Rossi, Elisa Shibley, Shi Su, Kent L. Beck, Tony Savor, Michael Stumm:
Continuous deployment of mobile software at facebook (showcase). 12-23 - Shan Shan Huang:
Model, execute, and deploy: answering the hard questions in end-user programming (showcase). 24 - Gazi Mahmud
:
Making invisible things visible: tracking down known vulnerabilities at 3000 companies (showcase). 25 - Caitlin Sadowski:
Developer workflow at google (showcase). 26
Research Papers
- Hamid Bagheri, Sam Malek:
Titanium: efficient analysis of evolving alloy specifications. 27-38 - Marc Brünink, David S. Rosenblum:
Mining performance specifications. 39-49 - Jianye Hao, Eunsuk Kang, Jun Sun
Designing minimal effective normative systems with the help of lightweight formal methods. 50-60 - Xiaofei Xie
Proteus: computing disjunctive loop summary via path dependency analysis. 61-72 - Brittany Johnson, Rahul Pandita, Justin Smith
A cross-tool communication study on program analysis tool notifications. 73-84 - Tobias Baum
Factors influencing code review processes in industry. 85-96 - David Piorkowski
Foraging and navigations, fundamentally: developers' predictions of value and cost. 97-108 - Christopher Bogart
How to break an API: cost negotiation and community values in three software ecosystems. 109-120 - Zhaogui Xu, Peng Liu, Xiangyu Zhang, Baowen Xu
Python predictive analysis for bug detection. 121-132 - Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma
Crash consistency validation made easy. 133-143 - Quinn Hanam, Fernando Santos De Mattos Brito, Ali Mesbah
Discovering bug patterns in JavaScript. 144-156 - Yibiao Yang
Effort-aware just-in-time defect prediction: simple unsupervised models could be better than supervised models. 157-168 - Jianjun Huang, Xiangyu Zhang, Lin Tan:
Detecting sensitive data disclosure via bi-directional text correlation analysis. 169-180 - Eunsuk Kang, Aleksandar Milicevic, Daniel Jackson:
Multi-representational security analysis. 181-192 - Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan
String analysis for side channels with segmented oracles. 193-204 - Weihang Wang, Yunhui Zheng, Xinyu Xing, Yonghwi Kwon, Xiangyu Zhang, Patrick Th. Eugster:
WebRanz: web page randomization for better advertisement delivery and web-bot prevention. 205-216 - Luciano Baresi
A discrete-time feedback controller for containerized cloud applications. 217-228 - Stepan Shevtsov, Danny Weyns
Keep it SIMPLEX: satisfying multiple goals with guarantees in control-based self-adaptive systems. 229-241 - Shiva Nejati
Automated change impact analysis between SysML models of requirements and design. 242-253 - Jaroslav M. Fowkes
Parameter-free probabilistic API mining across GitHub. 254-265 - Jing Zhou, Robert J. Walker:
API deprecation: a retrospective analysis and detection method for code examples on the web. 266-277 - André C. Hora
When should internal interfaces be promoted to public? 278-289 - Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare
POLLUX: safely upgrading dependent application libraries. 290-300 - Niranjan Hasabnis, R. Sekar:
Extracting instruction semantics via symbolic execution of code generators. 301-313 - Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen:
Efficient generation of inductive validity cores for safety properties. 314-325 - Dirk Beyer
Correctness witnesses: exchanging verification results between verifiers. 326-337 - Arie Gurfinkel
SMT-based verification of parameterized systems. 338-348 - Sven Apel
On-the-fly decomposition of specifications in software model checking. 349-361 - Shahar Maoz
On well-separation of GR(1) specifications. 362-372 - Nuno Macedo
Lightweight specification and analysis of dynamic systems with rich configurations. 373-383 - Nan Niu, Wentao Wang, Arushi Gupta:
Gray links in the use of requirements traceability. 384-395 - Yepang Liu
Understanding and detecting wake lock misuses for Android applications. 396-409 - Yu Kang, Yangfan Zhou, Hui Xu, Michael R. Lyu:
DiagDroid: Android performance diagnosis via anatomizing asynchronous executions. 410-421 - Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken:
Minimizing GUI event traces. 422-434 - William J. Martin, Federica Sarro
Causal impact analysis for app releases in google play. 435-446 - Chungha Sung
Static DOM event dependency analysis for testing web applications. 447-459 - Yulei Sui
On-demand strong update analysis via value-flow refinement. 460-473 - Michael Reif, Michael Eichberg, Ben Hermann
Call graph construction for Java libraries. 474-486 - Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby:
Revamping JavaScript static analysis via localization and remediation of root causes of imprecision. 487-498 - Andrea Di Sorbo
What would users change in my app? summarizing app reviews for recommending software changes. 499-510 - Anh Tuan Nguyen, Michael Hilton
API code recommendation using statistical learning from fine-grained changes. 511-522 - Catarina Costa, Jair Figueiredo, Leonardo Murta, Anita Sarma
TIPMerge: recommending experts for integrating changes across branches. 523-534 - Yun Lin, Xin Peng, Yuanfang Cai, Danny Dig, Diwen Zheng, Wenyun Zhao:
Interactive and guided architectural refactoring with search-based recommendation. 535-546 - Iftekhar Ahmed, Rahul Gopinath
Can testedness be effectively measured? 547-558 - Qi Luo, Kevin Moran, Denys Poshyvanyk
A large-scale empirical comparison of static and dynamic test case prioritization techniques. 559-570 - Bob Kurtz, Paul Ammann, Jeff Offutt, Márcio Eduardo Delamaro, Mariet Kurtz, Nida Gökçe
Analyzing the validity of selective mutation with dominator mutants. 571-582 - Owolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang, Darko Marinov:
An extensive study of static regression test selection in modern software evolution. 583-594 - Chung Hwan Kim
PerfGuard: binary-centric application performance monitoring in production environments. 595-606 - Zhaogui Xu, Xiangyu Zhang, Lin Chen, Kexin Pei, Baowen Xu
Python probabilistic type inference with natural language support. 607-618 - Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang, Gang Huang:
Detecting and fixing precision-specific operations for measuring floating-point errors. 619-630 - Xiaodong Gu
Deep API learning. 631-642 - Ahmet Çelik, Alex Knaust, Aleksandar Milicevic, Milos Gligoric:
Build system with lazy retrieval for Java projects. 643-654 - ThanhVu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster, Adam A. Porter:
iGen: dynamic interaction inference for configurable software. 655-665 - Tse-Hsun Chen
CacheOptimizer: helping developers configure caching frameworks for hibernate-based database-centric web applications. 666-677 - Mahinthan Chandramohan, Yinxing Xue, Zhengzi Xu, Yang Liu
BinGo: cross-architecture cross-OS binary search. 678-689 - Xuan Li, Zerui Wang, Qianxiang Wang, Shoumeng Yan, Tao Xie, Hong Mei:
Relationship-aware code search for JavaScript frameworks. 690-701 - Fang-Hsiang Su, Jonathan Bell, Kenneth Harvey, Simha Sethumadhavan, Gail E. Kaiser
Code relatives: detecting similarly behaving software. 702-714 - Haopeng Liu, Yuxi Chen, Shan Lu:
Understanding and generating high quality patches for concurrency bugs. 715-726 - Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury
Anti-patterns in search-based program repair. 727-738 - Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani:
Semi-supervised verified feedback generation. 739-750 - Mouna Hammoudi, Gregg Rothermel, Andrea Stocco
WATERFALL: an incremental approach for repairing record-replay tests of web applications. 751-762 - Thorsten Berger, Markus Völter, Hans Peter Jensen, Taweesap Dangprasert, Janet Siegmund:
Efficiency of projectional editing: a controlled experiment. 763-774 - Sheng Zhan, Jeff Huang:
ECHO: instantaneous in situ race detection in the IDE. 775-786 - Wensheng Dou, Shing-Chi Cheung
Detecting table clones and smells in spreadsheets. 787-798 - Markus Kusano, Chao Wang:
Flow-sensitive composition of thread-modular abstract interpretation. 799-809 - Yan Cai, Jian Zhang, Lingwei Cao, Jian Liu:
A deployable sampling strategy for data race detection. 810-821 - Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma
Online shared memory dependence reduction via bisectional coordination. 822-832 - Adarsh Yoga, Santosh Nagarakatte
Parallel data race detection for task parallel programs with locks. 833-845 - Denae Ford, Justin Smith
Paradise unplugged: identifying barriers for female participation on stack overflow. 846-857 - Danilo Silva, Nikolaos Tsantalis
Why we refactor? confessions of GitHub contributors. 858-870 - Jiaxin Zhu, Minghui Zhou, Audris Mockus
Effectiveness of code contribution: from patch-based to pull-request-based tools. 871-882 - Jie Zhang
Isomorphic regression testing: executing uncovered branches without test augmentation. 883-894 - Monika Dhok, Murali Krishna Ramanathan:
Directed test generation to detect loop inefficiencies. 895-907 - Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias, Willem Visser:
Field-exhaustive testing. 908-919
Visions and Reflections
- Martin P. Robillard:
Sustainable software design. 920-923 - Titus Barik
Designing for dystopia: software engineering research for the post-apocalypse. 924-927 - Margaret-Anne D. Storey, Alexey Zagalsky:
Disrupting developer productivity one bot at a time. 928-931 - Anita Sarma
Training the future workforce through task curation in an OSS ecosystem. 932-935 - Charles Weir
Reaching the masses: a new subdiscipline of app programmer education. 936-939 - Bonita Sharif
Studying developer gaze to empower software engineering research and practice. 940-943 - Hoa Khanh Dam
DeepSoft: a vision for a deep model of software. 944-947 - Myra B. Cohen, Aduri Pavan, N. V. Vinodchandran:
Budgeted testing through an algorithmic lens. 948-951 - Inah Omoronyia:
Reasoning with imprecise privacy preferences. 952-955
Industrial Papers
- Hongyu Zhang
Bing developer assistant: improving developer productivity by recommending sample code. 956-961 - Marcel Zalmanovici, Orna Raz, Rachel Tzoref-Brill:
Cluster-based test suite functional analysis. 962-967 - Connor Imes, Lars Bergstrom, Henry Hoffmann:
A portable interface for runtime energy monitoring. 968-974 - Benjamin Busjaeger, Tao Xie:
Learning for test prioritization: an industrial case study. 975-980 - Hua Zhong, Lingming Zhang, Sarfraz Khurshid:
Combinatorial generation of structurally complex test inputs for commercial software applications. 981-986 - Xia Zeng, Dengfeng Li, Wujie Zheng, Fan Xia, Yuetang Deng, Wing Lam, Wei Yang, Tao Xie:
Automated test input generation for Android: are we really there yet in an industrial case? 987-992
Tool Demonstrations
- Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov:
NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications. 993-997 - Catarina Costa, Jair Figueiredo, Anita Sarma
TIPMerge: recommending developers for merging branches. 998-1002 - Earl T. Barr
Time-travel debugging for JavaScript/Node.js. 1003-1007 - Ines Hajri, Arda Goknil, Lionel C. Briand, Thierry Stephany:
PUMConf: a tool to configure product specific use case and domain models in a product line. 1008-1012 - Thanh Van Nguyen
T2API: synthesizing API code usage templates from English texts with statistical translation. 1013-1017 - Pietro Braione
JBSE: a symbolic executor for Java programs with complex heap inputs. 1018-1022 - Sebastiano Panichella
ARdoc: app reviews development oriented classifier. 1023-1027 - Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss:
Hunter: next-generation code reuse for Java. 1028-1032 - Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim:
BigDebug: interactive debugger for big data analytics in Apache Spark. 1033-1037 - Sebastiaan Oosterwaal, Arie van Deursen
Visualizing code and coverage changes for code review. 1038-1041 - Svetozar Miucin, Conor Brady, Alexandra Fedorova:
End-to-end memory behavior profiling with DINAMITE. 1042-1046 - Demetris Paschalides, Georgia M. Kapitsaki:
Validate your SPDX files for open source license violations. 1047-1051 - Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs. 1052-1056
Doctoral Symposium
- Davood Mazinanian:
Refactoring and migration of cascading style sheets: towards optimization and improved maintainability. 1057-1059 - Stepan Shevtsov:
Developing a reusable control-based approach to build self-adaptive software systems with formal guarantees. 1060-1062 - Reudismam Rolim
Automating repetitive code changes using examples. 1063-1065 - Michael Hilton:
Understanding and improving continuous integration. 1066-1067 - Carol V. Alexandru:
Guided code synthesis using deep neural networks. 1068-1070 - Pavel Panchekha:
Generating interactive web pages from storyboards. 1071-1072 - Calvin Loncaric:
Data structure synthesis. 1073-1075 - Saba Alimadadi:
Understanding behavioural patterns in JavaScript. 1076-1078 - Mouna Hammoudi:
Regression testing of web applications using Record/Replay tools. 1079-1081 - Ines Hajri:
Supporting change in product lines within the context of use case-driven development and testing. 1082-1084 - Qi Luo:
Input-sensitive performance testing. 1085-1087 - Bob Kurtz:
On the utility of dominator mutants for mutation testing. 1088-1090
Graduate Submissions
- Motahareh Bahrami Zanjani:
Effective assignment and assistance to software developers and reviewers. 1091-1093 - Xi Cheng:
RABIEF: range analysis based integer error fixing. 1094-1096 - Xiaozhu Meng:
Fine-grained binary code authorship identification. 1097-1099 - Catarina Costa:
Identifying participants for collaborative merge. 1100-1102 - Calvin Loncaric:
Cozy: synthesizing collection data structures. 1103-1105 - Jie Wang:
Constraint-based event trace reduction. 1106-1108 - Chandrakana Nandi:
Automatic trigger generation for end user written rules for home automation. 1109-1111 - Minghui Quan:
Hotspot symbolic execution of floating-point programs. 1112-1114 - Spencer Pearson:
Evaluation of fault localization techniques. 1115-1117 - Titus Barik
How should static analysis tools explain anomalies to developers? 1118-1120 - Wing Lam:
Repairing test dependence. 1121-1123 - Martin Kellogg
Combining bug detection and test case generation. 1124-1126 - Xinrui Guo:
SmartDebug: an interactive debug assistant for Java. 1127-1129 - Xiaofei Xie
Static loop analysis and its applications. 1130-1132 - Andrew Head:
Social health cues developers use when choosing open source packages. 1133-1135 - Sebastian Kappler:
Finding and breaking test dependencies to speed up test execution. 1136-1138 - Qi Luo:
Automatic performance testing using input-sensitive profiling. 1139-1141
Undergraduate Submissions
- Joseph Santino:
Enforcing correct array indexes with a type system. 1142-1144 - Waylon Huang:
Discovering additional violations of Java API invariants. 1145-1147 - Christopher A. Mackie:
Preventing signedness errors in numerical computations in Java. 1148-1150 - Felipe R. Monteiro
Bounded model checking of state-space digital systems: the impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space modeling. 1151-1153 - Sachith Gullapalli:
Atlas: an intelligent, performant framework for web-based grid computing. 1154-1156
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-02 18:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: