| 2016 | APEx: automated inference of error specifications for C APIs. Yuan Jochen Kang, Baishakhi Ray, Suman Jana |
| 2016 | API recommendation system for software development. Ferdian Thung |
| 2016 | An automated collaborative requirements engineering tool for better validation of requirements. Nor Aiza Moketar, Massila Kamalrudin, Safiah Sidek, Mark Robinson, John C. Grundy |
| 2016 | An empirical evaluation of two user interfaces of an interactive program verifier. Martin Hentschel, Reiner Hähnle, Richard Bubel |
| 2016 | An empirical investigation into the nature of test smells. Michele Tufano, Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrea De Lucia, Denys Poshyvanyk |
| 2016 | An empirical study on dependence clusters for effort-aware fault-proneness prediction. Yibiao Yang, Mark Harman, Jens Krinke, Syed S. Islam, David W. Binkley, Yuming Zhou, Baowen Xu |
| 2016 | An end-user oriented tool suite for development of mobile applications. Zhongyi Zhai, Bo Cheng, Meng Niu, Zhaoning Wang, Yimeng Feng, Junliang Chen |
| 2016 | An extensible framework for variable-precision data-flow analyses in MPS. Tamás Szabó, Simon Alperovich, Markus Voelter, Sebastian Erdweg |
| 2016 | AnModeler: a tool for generating domain models from textual specifications. Jitendra Singh Thakur, Atul Gupta |
| 2016 | Applying combinatorial test data generation to big data applications. Nan Li, Yu Lei, Haider Riaz Khan, Jingshu Liu, Yun Guo |
| 2016 | Array length inference for C library bindings. Alisa J. Maas, Henrique Nazaré, Ben Liblit |
| 2016 | Automated model-based Android GUI testing using multi-level GUI comparison criteria. Young Min Baek, Doo-Hwan Bae |
| 2016 | Automated testing and notification of mobile app privacy leak-cause behaviours. Joseph Chan Joo Keng |
| 2016 | Automatic microbenchmark generation to prevent dead code elimination and constant folding. Marcelino Rodriguez-Cancio, Benoît Combemale, Benoit Baudry |
| 2016 | Automatic runtime recovery via error handler synthesis. Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lü, Zhendong Su |
| 2016 | Automatic test image generation using procedural noise. Matthew Patrick, Matthew D. Castle, Richard O. J. H. Stutt, Christopher A. Gilligan |
| 2016 | Automatically recommending code reviewers based on their expertise: an empirical comparison. Christoph Hannebauer, Michael Patalas, Sebastian Stünkel, Volker Gruhn |
| 2016 | Battery-aware transformations in mobile applications. Jürgen Cito, Julia Rubin, Phillip Stanley-Marbell, Martin C. Rinard |
| 2016 | BovInspector: automatic inspection and repair of buffer overflow vulnerabilities. Fengjuan Gao, Linzhang Wang, Xuandong Li |
| 2016 | Bugram: bug detection with n-gram language models. Song Wang, Devin Chollak, Dana Movshovitz-Attias, Lin Tan |
| 2016 | CORRECT: code reviewer recommendation at GitHub for Vendasta technologies. Mohammad Masudur Rahman, Chanchal Kumar Roy, Jesse Redl, Jason A. Collins |
| 2016 | CVExplorer: identifying candidate developers by mining and exploring their open source contributions. Gillian J. Greene, Bernd Fischer |
| 2016 | Changing microsoft's build: revolution or evolution. Wolfram Schulte |
| 2016 | Conc-iSE: incremental symbolic execution of concurrent software. Shengjian Guo, Markus Kusano, Chao Wang |
| 2016 | Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching. Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze |
| 2016 | CrowdService: serving the individuals through mobile crowdsourcing and service composition. Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao |
| 2016 | DSL-maps: from requirements to design of domain-specific languages. Ana Pescador, Juan de Lara |
| 2016 | Deep learning code fragments for code clone detection. Martin White, Michele Tufano, Christopher Vendome, Denys Poshyvanyk |
| 2016 | Developer targeted analytics: supporting software development decisions with runtime information. Jürgen Cito |
| 2016 | DistIA: a cost-effective dynamic impact analysis for distributed programs. Haipeng Cai, Douglas Thain |
| 2016 | Efficient detection of inconsistencies in a multi-developer engineering environment. Andreas Demuth, Markus Riedl-Ehrenleitner, Alexander Egyed |
| 2016 | Evaluating non-adequate test-case reduction. Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce |
| 2016 | Evaluating the evaluations of code recommender systems: a reality check. Sebastian Proksch, Sven Amann, Sarah Nadi, Mira Mezini |
| 2016 | Factoring requirement dependencies in software requirement selection using graphs and integer programming. Davoud Mougouei |
| 2016 | Finding access control bugs in web applications with CanCheck. Ivan Bocic, Tevfik Bultan |
| 2016 | Fine-tuning spectrum based fault localisation with frequent method item sets. Gulsher Laghari, Alessandro Murgia, Serge Demeyer |
| 2016 | GUICat: GUI testing as a service. Lin Cheng, Jialiang Chang, Zijiang Yang, Chao Wang |
| 2016 | Generating test cases to expose concurrency bugs in Android applications. Hongyin Tang, Guoquan Wu, Jun Wei, Hua Zhong |
| 2016 | Goal-conflict detection based on temporal satisfiability checking. Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro, Nazareno Aguirre |
| 2016 | Greedy combinatorial test case generation using unsatisfiable cores. Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi |
| 2016 | How good are the specs? a study of the bug-finding effectiveness of existing Java API specifications. Owolabi Legunsen, Wajih Ul Hassan, Xinyue Xu, Grigore Rosu, Darko Marinov |
| 2016 | HybriDroid: static analysis framework for Android hybrid applications. Sungho Lee, Julian Dolby, Sukyoung Ryu |
| 2016 | Identifying domain elements from textual specifications. Jitendra Singh Thakur, Atul Gupta |
| 2016 | IncA: a DSL for the definition of incremental program analyses. Tamás Szabó, Sebastian Erdweg, Markus Voelter |
| 2016 | Inferring annotations for device drivers from verification histories. Zvonimir Pavlinovic, Akash Lal, Rahul Sharma |
| 2016 | Learning a dual-language vector space for domain-specific cross-lingual question retrieval. Guibin Chen, Chunyang Chen, Zhenchang Xing, Bowen Xu |
| 2016 | Lightweight collection and storage of software repository data with DataRover. Thomas Kowark, Christoph Matthies, Matthias Uflacker, Hasso Plattner |
| 2016 | Local-based active classification of test report to assist crowdsourced testing. Junjie Wang, Song Wang, Qiang Cui, Qing Wang |
| 2016 | LockPeeker: detecting latent locks in Java APIs. Ziyi Lin, Hao Zhong, Yuting Chen, Jianjun Zhao |
| 2016 | Locus: locating bugs from software changes. Ming Wen, Rongxin Wu, Shing-Chi Cheung |
| 2016 | MACKE: compositional analysis of low-level vulnerabilities with symbolic execution. Saahil Ognawala, Martín Ochoa, Alexander Pretschner, Tobias Limmer |
| 2016 | Migrating cascading style sheets to preprocessors by introducing mixins. Davood Mazinanian, Nikolaos Tsantalis |
| 2016 | Mining input grammars from dynamic taints. Matthias Höschele, Andreas Zeller |
| 2016 | Mining revision histories to detect cross-language clones without intermediates. Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao |
| 2016 | Model driven design of heterogeneous synchronous embedded systems. Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun |
| 2016 | Model-based whitebox fuzzing for program binaries. Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury |
| 2016 | Move-optimized source code tree differencing. Georg Dotzler, Michael Philippsen |
| 2016 | Multi-objective test report prioritization using image understanding. Yang Feng, James A. Jones, Zhenyu Chen, Chunrong Fang |
| 2016 | On essential configuration complexity: measuring interactions in highly-configurable systems. Jens Meinicke, Chu-Pan Wong, Christian Kästner, Thomas Thüm, Gunter Saake |
| 2016 | Optimizing customized program coverage. Peter Ohmann, David Bingham Brown, Naveen Neelakandan, Jeff T. Linderoth, Ben Liblit |
| 2016 | Phrase-based extraction of user opinions in mobile app reviews. Phong Minh Vu, Hung Viet Pham, Tam The Nguyen, Tung Thanh Nguyen |
| 2016 | Practical guidelines for change recommendation using association rule mining. Leon Moonen, Stefano Di Alesio, David W. Binkley, Thomas Rolfsnes |
| 2016 | Precise semantic history slicing through dynamic delta refinement. Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik |
| 2016 | Predicting semantically linkable knowledge in developer online forums via convolutional neural network. Bowen Xu, Deheng Ye, Zhenchang Xing, Xin Xia, Guibin Chen, Shanping Li |
| 2016 | Privacy preserving via interval covering based subclass division and manifold learning based bi-directional obfuscation for effort estimation. Fumin Qi, Xiao-Yuan Jing, Xiaoke Zhu, Fei Wu, Li Cheng |
| 2016 | Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016 David Lo, Sven Apel, Sarfraz Khurshid |
| 2016 | ProcessPAIR: a tool for automated performance analysis and improvement recommendation in software development. Mushtaq Raza, João Pascoal Faria |
| 2016 | Program generation for performance. Markus Püschel |
| 2016 | QUICKAR: automatic query reformulation for concept location using crowdsourced knowledge. Mohammad Masudur Rahman, Chanchal K. Roy |
| 2016 | Radius aware probabilistic testing of deadlocks with guarantees. Yan Cai, Zijiang Yang |
| 2016 | Recommending relevant classes for bug reports using multi-objective search. Rafi Almhana, Wiem Mkaouer, Marouane Kessentini, Ali Ouni |
| 2016 | Reflection-aware static analysis of Android apps. Li Li, Tegawendé F. Bissyandé, Damien Octeau, Jacques Klein |
| 2016 | Relda2: an effective static analysis tool for resource leak detection in Android apps. Tianyong Wu, Jierui Liu, Xi Deng, Jun Yan, Jian Zhang |
| 2016 | SOFIA: an automated security oracle for black-box testing of SQL-injection vulnerabilities. Mariano Ceccato, Cu D. Nguyen, Dennis Appelt, Lionel C. Briand |
| 2016 | SimilarTech: automatically recommend analogical libraries across different programming languages. Chunyang Chen, Zhenchang Xing |
| 2016 | Sound static deadlock analysis for C/Pthreads. Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter |
| 2016 | Static race detection for device drivers: the Goblint approach. Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, Ralf Vogler |
| 2016 | Statistical analysis of large sets of models. Önder Babur |
| 2016 | StraightTaint: decoupled offline symbolic taint analysis. Jiang Ming, Dinghao Wu, Jun Wang, Gaoyao Xiao, Peng Liu |
| 2016 | SuperMod: tool support for collaborative filtered model-driven software product line engineering. Felix Schwägerl, Bernhard Westfechtel |
| 2016 | Supporting oracle construction via static analysis. Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie, Hong Mei |
| 2016 | Symbolic execution of complex program driven by machine learning based constraint solving. Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, Xuandong Li |
| 2016 | Symbolic execution of stored procedures in database management systems. Muhammad Suleman Mahmood, Maryam Abdul Ghafoor, Junaid Haroon Siddiqui |
| 2016 | Taming Android fragmentation: characterizing and detecting compatibility issues for Android apps. Lili Wei, Yepang Liu, Shing-Chi Cheung |
| 2016 | TeeVML: tool support for semi-automatic integration testing environment emulation. Jian Liu, John C. Grundy, Iman Avazpour, Mohamed Almorsy Abdelrazek |
| 2016 | Test case permutation to improve execution time. Panagiotis Stratis, Ajitha Rajan |
| 2016 | Testing advanced driver assistance systems using multi-objective search and neural networks. Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, Thomas Stifter |
| 2016 | The IDE as a scriptable information system. Dimitar Asenov, Peter Müller, Lukas Vogel |
| 2016 | The interactive verification debugger: effective understanding of interactive proof attempts. Martin Hentschel, Reiner Hähnle, Richard Bubel |
| 2016 | The power of probabilistic thinking. David S. Rosenblum |
| 2016 | Too much automation? the bellwether effect and its implications for transfer learning. Rahul Krishna, Tim Menzies, Wei Fu |
| 2016 | Towards automatically generating descriptive names for unit tests. Benwen Zhang, Emily Hill, James Clause |
| 2016 | Towards bounded model checking using nonlinear programming solver. Masataka Nishi |
| 2016 | Towards efficient and effective automatic program repair. Xuan-Bach Dinh Le |
| 2016 | Traceability maintenance: factors and guidelines. Salome Maro, Anthony Anjorin, Rebekka Wohlrab, Jan-Philipp Steghöfer |
| 2016 | Usage, costs, and benefits of continuous integration in open-source projects. Michael Hilton, Timothy Tunnell, Kai Huang, Darko Marinov, Danny Dig |
| 2016 | Verifying simulink stateflow model: timed automata approach. Yixiao Yang, Yu Jiang, Ming Gu, Jia-Guang Sun |
| 2016 | Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis. Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer |
| 2016 | Visualization of combinatorial models and test plans. Rachel Tzoref-Brill, Paul A. Wojciak, Shahar Maoz |
| 2016 | What developers want and need from program analysis: an empirical study. Maria Christakis, Christian Bird |
| 2016 | What makes killing a mutant hard. Willem Visser |