| 2017 | A comprehensive study of real-world numerical bug characteristics. Anthony Di Franco, Hui Guo, Cindy Rubio-González |
| 2017 | A comprehensive study on real world concurrency bugs in Node.js. Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, Jun Wei |
| 2017 | A demonstration of simultaneous execution and editing in a development environment. Steven P. Reiss, Qi Xin |
| 2017 | A language model for statements of software code. Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu |
| 2017 | A static analysis tool with optimizations for reachability determination. YueXing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2017 | ANDROFLEET: testing WiFi peer-to-peer mobile apps in the large. Lakhdar Meftah, María Gómez, Romain Rouvoy, Isabelle Chrisment |
| 2017 | APIBot: question answering bot for API documentation. Yuan Tian, Ferdian Thung, Abhishek Sharma, David Lo |
| 2017 | All about activity injection: threats, semantics, and detection. Sungho Lee, Sungjae Hwang, Sukyoung Ryu |
| 2017 | AnswerBot: automated generation of answer summary to developersź technical questions. Bowen Xu, Zhenchang Xing, Xin Xia, David Lo |
| 2017 | Are developers aware of the architectural impact of their changes? Matheus Paixão, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, Mark Harman |
| 2017 | Automated cross-platform inconsistency detection for mobile apps. Mattia Fazzini, Alessandro Orso |
| 2017 | Automatic loop-invariant generation and refinement through selective sampling. Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin |
| 2017 | Automatic summarization of API reviews. Gias Uddin, Foutse Khomh |
| 2017 | Automatic testing of symbolic execution engines via program generation and differential testing. Timotej Kapus, Cristian Cadar |
| 2017 | Automatically assessing code understandability: how far are we? Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares Vásquez, Denys Poshyvanyk, Rocco Oliveto |
| 2017 | Automatically assessing crashes from heap overflows. Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, Dengguo Feng |
| 2017 | Automatically generating commit messages from diffs using neural machine translation. Siyuan Jiang, Ameer Armaly, Collin McMillan |
| 2017 | Automatically reducing tree-structured test inputs. Satia Herfert, Jibesh Patra, Michael Pradel |
| 2017 | BProVe: a formal verification framework for business process models. Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin |
| 2017 | BProVe: tool support for business process verification. Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin |
| 2017 | Boosting complete-code tool for partial program. Hao Zhong, Xiaoyin Wang |
| 2017 | Can automated pull requests encourage software developers to upgrade out-of-date dependencies? Samim Mirhosseini, Chris Parnin |
| 2017 | Characterizing and taming non-deterministic bugs in JavaScript applications. Jie Wang |
| 2017 | Cobra - an interactive static code analyzer. Gerard J. Holzmann |
| 2017 | CogniCrypt: supporting developers in using cryptography. Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, Ram Kamath |
| 2017 | Comprehensive failure characterization. Mitchell J. Gerrard, Matthew B. Dwyer |
| 2017 | Context-aware integrated development environment command recommender systems. Marko Gasparic, Tural Gurbanov, Francesco Ricci |
| 2017 | Contract-based program repair without the contracts. Liushan Chen, Yu Pei, Carlo A. Furia |
| 2017 | Crowd intelligence enhances automated mobile testing. Ke Mao, Mark Harman, Yue Jia |
| 2017 | DSIbin: identifying dynamic data structures in C/C++ binaries. Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, Herbert Bos |
| 2017 | DSSynth: an automated digital controller synthesis tool for physical plants. Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen |
| 2017 | Defaultification refactoring: a tool for automatically converting Java methods to default. Raffi Khatchadourian, Hidehiko Masuhara |
| 2017 | Detecting fragile comments. Inderjot Kaur Ratol, Martin P. Robillard |
| 2017 | Detecting information flow by mutating input data. Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, Andreas Zeller |
| 2017 | Detecting unknown inconsistencies in web applications. Frolin S. Ocariza Jr., Karthik Pattabiraman, Ali Mesbah |
| 2017 | Diagnosing assumption problems in safety-critical products. Mona Rahimi, Wandi Xiong, Jane Cleland-Huang, Robyn R. Lutz |
| 2017 | EHBDroid: beyond GUI testing for Android applications. Wei Song, Xiangxing Qian, Jeff Huang |
| 2017 | ELIXIR: effective object oriented program repair. Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad |
| 2017 | EventFlowSlicer: a tool for generating realistic goal-driven GUI tests. Jonathan A. Saddler, Myra B. Cohen |
| 2017 | Exploring regular expression comprehension. Carl Chapman, Peipei Wang, Kathryn T. Stolee |
| 2017 | FEMIR: a tool for recommending framework extension examples. Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, Daqing Hou |
| 2017 | FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers. Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, Henri Hansen |
| 2017 | Floating-point symbolic execution: a case study in n-version programming. Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, Klaus Wehrle |
| 2017 | Generating simpler AST edit scripts by considering copy-and-paste. Yoshiki Higo, Akio Ohtani, Shinji Kusumoto |
| 2017 | Gremlin-ATL: a scalable model transformation framework. Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, Jordi Cabot |
| 2017 | Improved query reformulation for concept location using CodeRank and document structures. Mohammad Masudur Rahman, Chanchal K. Roy |
| 2017 | Improving missing issue-commit link recovery using positive and unlabeled data. Yan Sun, Celia Chen, Qing Wang, Barry W. Boehm |
| 2017 | Improving software text retrieval using conceptual knowledge in source code. Zeqi Lin, Yanzhen Zou, Junfeng Zhao, Bing Xie |
| 2017 | In-memory fuzzing for binary code similarity analysis. Shuai Wang, Dinghao Wu |
| 2017 | Incrementally slicing editable submodels. Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, Timo Kehrer |
| 2017 | IntPTI: automatic integer error repair with proper-type inference. Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2017 | Kobold: web usability as a service. Julián Grigera, Alejandra Garrido, Gustavo Rossi |
| 2017 | Learn&Fuzz: machine learning for input fuzzing. Patrice Godefroid, Hila Peleg, Rishabh Singh |
| 2017 | Learning effective changes for software projects. Rahul Krishna |
| 2017 | Learning to share: engineering adaptive decision-support for online social networks. Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, Bashar Nuseibeh |
| 2017 | Leveraging abstract interpretation for efficient dynamic symbolic execution. Eman Alatawi, Harald Søndergaard, Tim Miller |
| 2017 | Leveraging syntax-related code for automated program repair. Qi Xin, Steven P. Reiss |
| 2017 | Managing software evolution through semantic history slicing. Yi Li |
| 2017 | Mining constraints for event-based monitoring in systems of systems. Thomas Krismayer, Rick Rabiser, Paul Grünbacher |
| 2017 | Mining implicit design templates for actionable code reuse. Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, Jin Song Dong |
| 2017 | Mining structures from massive text data: will it help software engineering? Jiawei Han |
| 2017 | Model checker execution reports. Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel |
| 2017 | ModelWriter: text and model-synchronized document engineering platform. Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, Anne Monceaux |
| 2017 | Modular verification of interrupt-driven software. Chungha Sung, Markus Kusano, Chao Wang |
| 2017 | More effective interpolations in software model checking. Cong Tian, Zhao Duan, Zhenhua Duan, C.-H. Luke Ong |
| 2017 | O2O service composition with social collaboration. Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao |
| 2017 | Opiner: an opinion search and summarization engine for APIs. Gias Uddin, Foutse Khomh |
| 2017 | PAD: programming third-party web advertisement censorship. Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, Patrick Eugster |
| 2017 | Parallel bug-finding in concurrent programs via reduced interleaving instances. Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2017 | Parsimony: an IDE for example-guided synthesis of lexers and parsers. Alan Leung, Sorin Lerner |
| 2017 | Perceived language complexity in GitHub issue discussions and their effect on issue resolution. David Kavaler, Sasha Sirovica, Vincent J. Hellendoorn, Raúl Aranovich, Vladimir Filkov |
| 2017 | Predicting relevance of change recommendations. Thomas Rolfsnes, Leon Moonen, David W. Binkley |
| 2017 | Privacy-aware data-intensive applications. Michele Guerriero |
| 2017 | Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017 Grigore Rosu, Massimiliano Di Penta, Tien N. Nguyen |
| 2017 | Programming bots by synthesizing natural language expressions into API invocations. Shayan Zamanirad, Boualem Benatallah, Moshe Chai Barukh, Fabio Casati, Carlos Rodríguez |
| 2017 | Promoting secondary orders of event pairs in randomized scheduling using a randomized stride. Mahmoud Abdelrasoul |
| 2017 | Proof-based coverage metrics for formal verification. Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats Per Erik Heimdahl, Lucas G. Wagner |
| 2017 | Quick verification of concurrent programs by iteratively relaxed scheduling. Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri |
| 2017 | Recommending crowdsourced software developers in consideration of skill improvement. Zizhe Wang, Hailong Sun, Yang Fu, Luting Ye |
| 2017 | Renaming and shifted code in structured merging: looking ahead for precision and performance. Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, Janet Siegmund |
| 2017 | Rethinking pointer reasoning in symbolic execution. Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu |
| 2017 | RuntimeSearch: Ctrl+F for a running program. Matús Sulír, Jaroslav Porubän |
| 2017 | SEALANT: a detection and visualization tool for inter-app security vulnerabilities in Android. Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, Nenad Medvidovic |
| 2017 | STARTS: STAtic regression test selection. Owolabi Legunsen, August Shi, Darko Marinov |
| 2017 | Saying 'hi!' is not enough: mining inputs for effective test generation. Luca Della Toffola, Cristian-Alexandru Staicu, Michael Pradel |
| 2017 | Semantics-assisted code review: an efficient toolchain and a user study. Massimiliano Menarini, Yan Yan, William G. Griswold |
| 2017 | SentiCR: a customized sentiment analysis tool for code review interactions. Toufique Ahmed, Amiangshu Bosu, Anindya Iqbal, Shahram Rahimi |
| 2017 | SimplyDroid: efficient event sequence simplification for Android application. Bo Jiang, Yuxuan Wu, Teng Li, W. K. Chan |
| 2017 | Sketch-guided GUI test generation for mobile applications. Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, Xuandong Li |
| 2017 | Software engineering without borders. Arie van Deursen |
| 2017 | Software performance self-adaptation through efficient model predictive control. Emilio Incerto, Mirco Tribastone, Catia Trubiani |
| 2017 | Static detection of asymptotic resource side-channel vulnerabilities in web applications. Jia Chen, Oswaldo Olivo, Isil Dillig, Calvin Lin |
| 2017 | SymInfer: inferring program invariants using symbolic states. ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser |
| 2017 | Synthetic data generation for statistical testing. Ghanem Soltana, Mehrdad Sabetzadeh, Lionel C. Briand |
| 2017 | Systematic reduction of GUI test sequences. Lin Cheng, Zijiang Yang, Chao Wang |
| 2017 | Systematically testing background services of mobile apps. Li Lyna Zhang, Chieh-Jan Mike Liang, Yunxin Liu, Enhong Chen |
| 2017 | TREM: a tool for mining timed regular specifications from system traces. Lukas Schmidt, Apurva Narayan, Sebastian Fischmeister |
| 2017 | Test suite parallelization in open-source projects: a study on its usage and impact. Jeanderson Cândido, Luis Melo, Marcelo d'Amorim |
| 2017 | Testing intermediate representations for binary analysis. Soomin Kim, Markus Faerevaag, Minkyu Jung, Seungil Jung, DongYeop Oh, Jonghyup Lee, Sang Kil Cha |
| 2017 | The impact of continuous integration on other software development practices: a large-scale empirical study. Yangyang Zhao, Alexander Serebrenik, Yuming Zhou, Vladimir Filkov, Bogdan Vasilescu |
| 2017 | The rise of the (modelling) bots: towards assisted modelling via social networks. Sara Pérez-Soler, Esther Guerra, Juan de Lara, Francisco Jurado |
| 2017 | TiQi: a natural language interface for querying software project data. Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, Alexander Rasin |
| 2017 | Tortoise: interactive system configuration repair. Aaron Weiss, Arjun Guha, Yuriy Brun |
| 2017 | Towards API-specific automatic program repair. Sebastian Nielebock |
| 2017 | Towards a software vulnerability prediction model using traceable code patterns and software metrics. Kazi Zakia Sultana |
| 2017 | Towards robust instruction-level trace alignment of binary code. Ulf Kargén, Nahid Shahmehri |
| 2017 | Towards search-based modelling and analysis of requirements and architecture decisions. Saheed A. Busari |
| 2017 | Towards the automatic classification of traceability links. Chris Mills |
| 2017 | TrEKer: tracing error propagation in operating system kernels. Nicolas Coppik, Oliver Schwahn, Stefan Winter, Neeraj Suri |
| 2017 | Transfer learning for performance modeling of configurable systems: an exploratory analysis. Pooyan Jamshidi, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, Yuvraj Agarwal |
| 2017 | UI driven Android application reduction. Jianjun Huang, Yousra Aafer, David Mitchel Perry, Xiangyu Zhang, Chen Tian |
| 2017 | UNDEAD: detecting and preventing deadlocks in production software. Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, Tongping Liu |
| 2017 | Understanding and overcoming parallelism bottlenecks in ForkJoin applications. Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, Yu David Liu |
| 2017 | Understanding feature requests by leveraging fuzzy method and linguistic analysis. Lin Shi, Celia Chen, Qing Wang, Shoubin Li, Barry W. Boehm |
| 2017 | Visualization support for requirements monitoring in systems of systems. Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, Paul Grünbacher |
| 2017 | Why and how JavaScript developers use linters. Kristín Fjóla Tómasdóttir, Mauricio Finavaro Aniche, Arie van Deursen |
| 2017 | iCoq: regression proof selection for large-scale verification projects. Ahmet Çelik, Karl Palmskog, Milos Gligoric |
| 2017 | taco: a tool to generate tensor algebra kernels. Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, Saman P. Amarasinghe |