- Aviv Kuvent, Shahar Maoz
, Jan Oliver Ringert
:
A symbolic justice violations transition system for unrealizable GR(1) specifications. ESEC/SIGSOFT FSE 2017: 362-372 - Adriaan Labuschagne, Laura Inozemtseva, Reid Holmes:
Measuring the cost of regression testing in practice: a study of Java projects using continuous integration. ESEC/SIGSOFT FSE 2017: 821-830 - Wing Lam, Zhengkai Wu, Dengfeng Li, Wenyu Wang
, Haibing Zheng, Hui Luo, Peng Yan, Yuetang Deng, Tao Xie:
Record and replay for Android: are we there yet in industrial cases? ESEC/SIGSOFT FSE 2017: 854-859 - Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo
, Claire Le Goues
, Willem Visser:
S3: syntax- and semantic-guided repair synthesis via programming by examples. ESEC/SIGSOFT FSE 2017: 593-604 - Sun-Ro Lee, Min-Jae Heo, Chan-Gun Lee, Milhan Kim, Gaeul Jeong:
Applying deep learning based automatic bug triager to industrial projects. ESEC/SIGSOFT FSE 2017: 926-931 - Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin
, Yang Liu
, Alwen Tiu:
Steelix: program-state based binary fuzzing. ESEC/SIGSOFT FSE 2017: 627-637 - Yamilet R. Serrano Llerena
, Guoxin Su
, David S. Rosenblum:
Probabilistic model checking of perturbed MDPs with applications to cloud computing. ESEC/SIGSOFT FSE 2017: 454-464 - Fan Long, Peter Amidon, Martin C. Rinard:
Automatic inference of code transforms for patch generation. ESEC/SIGSOFT FSE 2017: 727-739 - Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai
, Yingqi Liu, Xiangyu Zhang:
LAMP: data provenance for graph based machine learning algorithms through derivative computation. ESEC/SIGSOFT FSE 2017: 786-797 - Martina Maggio, Alessandro Vittorio Papadopoulos
, Antonio Filieri, Henry Hoffmann:
Automated control of multiple software goals using multiple actuators. ESEC/SIGSOFT FSE 2017: 373-384 - Lee Martie, André van der Hoek, Thomas Kwak:
Understanding the impact of support for iteration on code search. ESEC/SIGSOFT FSE 2017: 774-785 - Reza Matinnejad, Shiva Nejati
, Lionel C. Briand:
Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies. ESEC/SIGSOFT FSE 2017: 938-943 - Chris Mills:
Automating traceability link recovery through classification. ESEC/SIGSOFT FSE 2017: 1068-1070 - Suhaib Mujahid
:
Detecting wearable app permission mismatches: a case study on Android wear. ESEC/SIGSOFT FSE 2017: 1065-1067 - Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine:
Bayesian specification learning for finding API usage errors. ESEC/SIGSOFT FSE 2017: 151-162 - Vivek Nair, Tim Menzies
, Norbert Siegmund, Sven Apel
:
Using bad learners to find good configurations. ESEC/SIGSOFT FSE 2017: 257-267 - Tim Nelson
, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi
:
The power of "why" and "why not": enriching scenario exploration with provenance. ESEC/SIGSOFT FSE 2017: 106-116 - ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks:
Counterexample-guided approach to finding numerical invariants. ESEC/SIGSOFT FSE 2017: 605-615 - Natasha Nigar:
Model-based dynamic software project scheduling. ESEC/SIGSOFT FSE 2017: 1042-1045 - Wilberto Z. Nunez, Victor J. Marin, Carlos R. Rivero
:
ARCC: assistant for repetitive code comprehension. ESEC/SIGSOFT FSE 2017: 999-1003 - Jeho Oh, Don S. Batory, Margaret Myers, Norbert Siegmund:
Finding near-optimal configurations in product lines by random sampling. ESEC/SIGSOFT FSE 2017: 61-71 - Marcos César de Oliveira:
DRACO: discovering refactorings that improve architecture using fine-grained co-change dependencies. ESEC/SIGSOFT FSE 2017: 1018-1021 - Ivan Pashchenko
:
FOSS version differentiation as a benchmark for static analysis security testing tools. ESEC/SIGSOFT FSE 2017: 1056-1058 - Fabrizio Pastore, Leonardo Mariani:
VART: a tool for the automatic detection of regression faults. ESEC/SIGSOFT FSE 2017: 964-968 - Fabrizio Pastore
, Leonardo Mariani, Daniela Micucci:
BDCI: behavioral driven conflict identification. ESEC/SIGSOFT FSE 2017: 570-581 - Vaibhav Rastogi, Drew Davidson, Lorenzo De Carli
, Somesh Jha, Patrick D. McDaniel:
Cimplifier: automatically debloating containers. ESEC/SIGSOFT FSE 2017: 476-486 - Germán Regis, César Cornejo, Simón Gutiérrez Brida
, Mariano Politano, Fernando D. Raverta
, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, Marcelo F. Frias:
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. ESEC/SIGSOFT FSE 2017: 969-973 - Germán Regis, Renzo Degiovanni
, Nicolás D'Ippolito
, Nazareno Aguirre:
CLTSA: labelled transition system analyser with counting fluent support. ESEC/SIGSOFT FSE 2017: 979-983 - Alireza Sadeghi, Reyhaneh Jabbarvand, Sam Malek:
PATDroid: permission-aware GUI testing of Android. ESEC/SIGSOFT FSE 2017: 220-232 - Diptikalyan Saha, Neelamadhav Gantayat, Senthil Mani, Barry Mitchell:
Natural language querying in SAP-ERP platform. ESEC/SIGSOFT FSE 2017: 878-883