- 2016
- Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma
, Jian Lu:
Crash consistency validation made easy. SIGSOFT FSE 2016: 133-143 - Dirk Beyer
, Matthias Dangl, Daniel Dietsch, Matthias Heizmann
:
Correctness witnesses: exchanging verification results between verifiers. SIGSOFT FSE 2016: 326-337 - Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss:
Hunter: next-generation code reuse for Java. SIGSOFT FSE 2016: 1028-1032 - Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma
, Jian Lu:
Online shared memory dependence reduction via bisectional coordination. SIGSOFT FSE 2016: 822-832 - Iftekhar Ahmed, Rahul Gopinath
, Caius Brindescu, Alex Groce, Carlos Jensen:
Can testedness be effectively measured? SIGSOFT FSE 2016: 547-558 - Carol V. Alexandru:
Guided code synthesis using deep neural networks. SIGSOFT FSE 2016: 1068-1070 - Saba Alimadadi:
Understanding behavioural patterns in JavaScript. SIGSOFT FSE 2016: 1076-1078 - Sven Apel
, Dirk Beyer
, Vitaly O. Mordan
, Vadim S. Mutilin
, Andreas Stahlbauer:
On-the-fly decomposition of specifications in software model checking. SIGSOFT FSE 2016: 349-361 - Hamid Bagheri, Sam Malek:
Titanium: efficient analysis of evolving alloy specifications. SIGSOFT FSE 2016: 27-38 - Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan
, Corina S. Pasareanu, Tevfik Bultan:
String analysis for side channels with segmented oracles. SIGSOFT FSE 2016: 193-204 - Luciano Baresi
, Sam Guinea, Alberto Leva
, Giovanni Quattrocchi:
A discrete-time feedback controller for containerized cloud applications. SIGSOFT FSE 2016: 217-228 - Titus Barik
:
How should static analysis tools explain anomalies to developers? SIGSOFT FSE 2016: 1118-1120 - Titus Barik
, Rahul Pandita, Justin Middleton, Emerson R. Murphy-Hill:
Designing for dystopia: software engineering research for the post-apocalypse. SIGSOFT FSE 2016: 924-927 - Earl T. Barr
, Mark Marron, Ed Maurer, Dan Moseley, Gaurav Seth:
Time-travel debugging for JavaScript/Node.js. SIGSOFT FSE 2016: 1003-1007 - Tobias Baum
, Olga Liskin, Kai Niklas, Kurt Schneider
:
Factors influencing code review processes in industry. SIGSOFT FSE 2016: 85-96 - Thorsten Berger, Markus Völter, Hans Peter Jensen, Taweesap Dangprasert, Janet Siegmund:
Efficiency of projectional editing: a controlled experiment. SIGSOFT FSE 2016: 763-774 - Christopher Bogart
, Christian Kästner, James D. Herbsleb, Ferdian Thung:
How to break an API: cost negotiation and community values in three software ecosystems. SIGSOFT FSE 2016: 109-120 - Pietro Braione
, Giovanni Denaro, Mauro Pezzè
:
JBSE: a symbolic executor for Java programs with complex heap inputs. SIGSOFT FSE 2016: 1018-1022 - Marc Brünink, David S. Rosenblum:
Mining performance specifications. SIGSOFT FSE 2016: 39-49 - Margaret M. Burnett:
"Womenomics" and gender-inclusive software: what software engineers need to know (invited talk). SIGSOFT FSE 2016: 1 - Benjamin Busjaeger, Tao Xie:
Learning for test prioritization: an industrial case study. SIGSOFT FSE 2016: 975-980 - Yan Cai, Jian Zhang, Lingwei Cao, Jian Liu:
A deployable sampling strategy for data race detection. SIGSOFT FSE 2016: 810-821 - Ahmet Çelik, Alex Knaust, Aleksandar Milicevic, Milos Gligoric:
Build system with lazy retrieval for Java projects. SIGSOFT FSE 2016: 643-654 - Mahinthan Chandramohan, Yinxing Xue, Zhengzi Xu, Yang Liu
, Chia Yuan Cho, Hee Beng Kuan Tan:
BinGo: cross-architecture cross-OS binary search. SIGSOFT FSE 2016: 678-689 - Tse-Hsun Chen
, Weiyi Shang, Ahmed E. Hassan, Mohamed N. Nasser, Parminder Flora:
CacheOptimizer: helping developers configure caching frameworks for hibernate-based database-centric web applications. SIGSOFT FSE 2016: 666-677 - Xi Cheng:
RABIEF: range analysis based integer error fixing. SIGSOFT FSE 2016: 1094-1096 - Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken:
Minimizing GUI event traces. SIGSOFT FSE 2016: 422-434 - Myra B. Cohen, Aduri Pavan, N. V. Vinodchandran:
Budgeted testing through an algorithmic lens. SIGSOFT FSE 2016: 948-951 - Catarina Costa:
Identifying participants for collaborative merge. SIGSOFT FSE 2016: 1100-1102 - Catarina Costa, Jair Figueiredo, Leonardo Murta, Anita Sarma
:
TIPMerge: recommending experts for integrating changes across branches. SIGSOFT FSE 2016: 523-534