| 2018 | A DSL for requirements in the context of a seamless approach. Florian Galinier |
| 2018 | A genetic algorithm for goal-conflict identification. Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre |
| 2018 | A large-scale study of test coverage evolution. Michael Hilton, Jonathan Bell, Darko Marinov |
| 2018 | A multi-objective framework for effective performance fault injection in distributed systems. Luca Traini |
| 2018 | A neural framework for retrieval and summarization of source code. Qingying Chen, Minghui Zhou |
| 2018 | A symbolic model checking approach to the analysis of string and length constraints. Hung-En Wang, Shih-Yu Chen, Fang Yu, Jie-Hong R. Jiang |
| 2018 | A tale of two cities: how WebView induces bugs to Android applications. Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung, Huaxun Huang |
| 2018 | A unified lattice model and framework for purity analyses. Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini |
| 2018 | API method recommendation without worrying about the task-API knowledge gap. Qiao Huang, Xin Xia, Zhenchang Xing, David Lo, Xinyu Wang |
| 2018 | Achieving test automation with testers without coding skills: an industrial report. Davrondzhon Gafurov, Arne Erik Hurum, Martin Markman |
| 2018 | An automated approach to estimating code coverage measures via execution logs. Boyuan Chen, Jian Song, Peng Xu, Xing Hu, Zhen Ming (Jack) Jiang |
| 2018 | An empirical investigation into learning bug-fixing patches in the wild via neural machine translation. Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, Denys Poshyvanyk |
| 2018 | An empirical study of Android test generation tools in industrial cases. Wenyu Wang, Dengfeng Li, Wei Yang, Yurui Cao, Zhenwen Zhang, Yuetang Deng, Tao Xie |
| 2018 | An evolutionary approach for analyzing Alloy specifications. Jianghao Wang, Hamid Bagheri, Myra B. Cohen |
| 2018 | Android testing via synthetic symbolic execution. Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury |
| 2018 | Assessing and evaluating functional suitability of software. Philipp Haindl |
| 2018 | Assessing the type annotation burden. John-Paul Ore, Sebastian G. Elbaum, Carrick Detweiler, Lambros Karkazis |
| 2018 | AutoConfig: automatic configuration tuning for distributed message systems. Liang Bao, Xin Liu, Ziheng Xu, Baoyin Fang |
| 2018 | Automated directed fairness testing. Sakshi Udeshi, Pryanshu Arora, Sudipta Chattopadhyay |
| 2018 | Automated model repair for Alloy. Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid |
| 2018 | Automated requirements engineering challenges with examples from small unmanned aerial systems (keynote). Jane Cleland-Huang |
| 2018 | Automatic mining of constraints for monitoring systems of systems. Thomas Krismayer |
| 2018 | Automatically quantifying the impact of a change in systems (journal-first abstract). Nada Almasri, Luay Tahat, Bogdan Korel |
| 2018 | Automatically testing implementations of numerical abstract domains. Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, Peter Müller |
| 2018 | Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract). Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho |
| 2018 | Break the dead end of dynamic slicing: localizing data and control omission bug. Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, Jin Song Dong |
| 2018 | CANAL: a cache timing analysis framework via LLVM transformation. Chungha Sung, Brandon Paulsen, Chao Wang |
| 2018 | CPA-SymExec: efficient symbolic execution in CPAchecker. Dirk Beyer, Thomas Lemberger |
| 2018 | Characterizing and identifying misexposed activities in Android applications. Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, Jian Zhang |
| 2018 | Characterizing the natural language descriptions in software logging statements. Pinjia He, Zhuangbin Chen, Shilin He, Michael R. Lyu |
| 2018 | ClDiff: generating concise linked code differences. Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou, Ying Wang, Yang Liu, Wenyun Zhao |
| 2018 | Client-specific equivalence checking. Federico Mora, Yi Li, Julia Rubin, Marsha Chechik |
| 2018 | Code2graph: automatic generation of static call graphs for Python source code. Gharib Gharibi, Rashmi Tripathi, Yugyung Lee |
| 2018 | Concolic testing for deep neural networks. Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening |
| 2018 | Continuous code quality: are we (really) doing that? Carmine Vassallo, Fabio Palomba, Alberto Bacchelli, Harald C. Gall |
| 2018 | ContractFuzzer: fuzzing smart contracts for vulnerability detection. Bo Jiang, Ye Liu, W. K. Chan |
| 2018 | Control flow-guided SMT solving for program verification. Jianhui Chen, Fei He |
| 2018 | DKVF: a framework for rapid prototyping and evaluating distributed key-value stores. Mohammad Roohitavaf, Sandeep S. Kulkarni |
| 2018 | Datalog-based scalable semantic diffing of concurrent programs. Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang |
| 2018 | Deep learning based feature envy detection. Hui Liu, Zhifeng Xu, Yanzhen Zou |
| 2018 | DeepGauge: multi-granularity testing criteria for deep learning systems. Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang |
| 2018 | DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems. Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid |
| 2018 | Delta debugging microservice systems. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, WenHai Li, Chao Ji, Dan Ding |
| 2018 | Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration. Oscar Luis Vera-Pérez, Martin Monperrus, Benoit Baudry |
| 2018 | Detecting and summarizing GUI changes in evolving mobile apps. Kevin Moran, Cody Watson, John Hoskins, George Purnell, Denys Poshyvanyk |
| 2018 | Differential program analysis with fuzzing and symbolic execution. Yannic Noller |
| 2018 | Domain-independent multi-threaded software model checking. Dirk Beyer, Karlheinz Friedberger |
| 2018 | DroidMate-2: a platform for Android test generation. Nataniel P. Borges Jr., Jenny Hotzkow, Andreas Zeller |
| 2018 | Dual-force: understanding WebView malware via cross-language forced execution. Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, Jianhua Zhao |
| 2018 | ESBMC 5.0: an industrial-strength C model checker. Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole |
| 2018 | Effective API recommendation without historical software repositories. Xiaoyu Liu, Liguo Huang, Vincent Ng |
| 2018 | Effectiveness and challenges in generating concurrent tests for thread-safe classes. Valerio Terragni, Mauro Pezzè |
| 2018 | Efficiently manifesting asynchronous programming errors in Android apps. Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu |
| 2018 | Empirically assessing opportunities for prefetching and caching in mobile apps. Yixue Zhao, Paul Wat, Marcelo Schmitt Laser, Nenad Medvidovic |
| 2018 | Estimating the number of remaining links in traceability recovery (journal-first abstract). Davide Falessi, Massimiliano Di Penta, Gerardo Canfora, Giovanni Cantone |
| 2018 | Expandable group identification in spreadsheets. Wensheng Dou, Shi Han, Liang Xu, Dongmei Zhang, Jun Wei |
| 2018 | Experiences applying automated architecture analysis tool suites. Ran Mo, Will Snipes, Yuanfang Cai, Srini Ramaswamy, Rick Kazman, Martin Naedele |
| 2018 | FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage. Caroline Lemieux, Koushik Sen |
| 2018 | Generating reusable web components from mockups. Mohammad Bajammal, Davood Mazinanian, Ali Mesbah |
| 2018 | How many of all bugs do we find? a study of static bug detectors. Andrew Habib, Michael Pradel |
| 2018 | Implementation science for software engineering: bridging the gap between research and practice (keynote). Lauren Herckis |
| 2018 | Improving automatic source code summarization via deep reinforcement learning. Yao Wan, Zhou Zhao, Min Yang, Guandong Xu, Haochao Ying, Jian Wu, Philip S. Yu |
| 2018 | Is this class thread-safe? inferring documentation using graph-based learning. Andrew Habib, Michael Pradel |
| 2018 | L-CMP: an automatic learning-based parameterized verification tool. Jialun Cao, Yongjian Li, Jun Pang |
| 2018 | Lightweight source code monitoring with Triggr. Alim Ozdemir, Ayse Tosun, Hakan Erdogmus, Rui Abreu |
| 2018 | Live versioning of web applications through refactoring. Julián Grigera, Juan Cruz Gardey, Alejandra Garrido, Gustavo Rossi |
| 2018 | Loop path reduction by state pruning. Jianxiong Gao, Steven S. Lumetta |
| 2018 | Mining file histories: should we consider branches? Vladimir Kovalenko, Fabio Palomba, Alberto Bacchelli |
| 2018 | Model-driven run-time enforcement of complex role-based access control policies. Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand |
| 2018 | Navigating the maze: the impact of configurability in bioinformatics software. Mikaela Cashman, Myra B. Cohen, Priya Ranjan, Robert W. Cottingham |
| 2018 | Neural-machine-translation-based commit message generation: how far are we? Zhongxin Liu, Xin Xia, Ahmed E. Hassan, David Lo, Zhenchang Xing, Xinyu Wang |
| 2018 | Noise and heterogeneity in historical build data: an empirical study of Travis CI. Keheliya Gallaba, Christian Macho, Martin Pinzger, Shane McIntosh |
| 2018 | OCELOT: a search-based test-data generation tool for C. Simone Scalabrino, Giovanni Grano, Dario Di Nucci, Michele Guerra, Andrea De Lucia, Harald C. Gall, Rocco Oliveto |
| 2018 | On adopting linters to deal with performance concerns in Android apps. Sarra Habchi, Xavier Blanc, Romain Rouvoy |
| 2018 | PARTI: a multi-interval theory solver for symbolic execution. Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar |
| 2018 | PFix: fixing concurrency bugs based on memory access patterns. Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, Guangning Wei |
| 2018 | PaMpeR: proof method recommendation system for Isabelle/HOL. Yutaka Nagashima, Yilun He |
| 2018 | PerfLearner: learning from bug reports to understand and generate performance test frames. Xue Han, Tingting Yu, David Lo |
| 2018 | Personalized teammate recommendation for crowdsourced software developers. Luting Ye, Hailong Sun, Xu Wang, Jiaruijue Wang |
| 2018 | Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018 Marianne Huchard, Christian Kästner, Gordon Fraser |
| 2018 | RUDSEA: recommending updates of Dockerfiles via software environment analysis. Foyzul Hassan, Rodney Rodriguez, Xiaoyin Wang |
| 2018 | ReScue: crafting regular expression DoS attacks. Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, Jian Lu |
| 2018 | Reducing interactive refactoring effort via clustering-based multi-objective search. Vahid Alizadeh, Marouane Kessentini |
| 2018 | Replay without recording of production bugs for service oriented applications. Nipun Arora, Jonathan Bell, Franjo Ivancic, Gail E. Kaiser, Baishakhi Ray |
| 2018 | S-gram: towards semantic-aware security auditing for Ethereum smart contracts. Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, Jiaguang Sun |
| 2018 | SEEDE: simultaneous execution and editing in a development environment. Steven P. Reiss, Qi Xin, Jeff Huang |
| 2018 | SRCIROR: a toolset for mutation testing of C source code and LLVM intermediate representation. Farah Hariri, August Shi |
| 2018 | Safe stream-based programming with refinement types. Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang |
| 2018 | Scalable incremental building with dynamic task dependencies. Gabriël Konat, Sebastian Erdweg, Eelco Visser |
| 2018 | Scheduling constraint based abstraction refinement for weak memory models. Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang |
| 2018 | Self-protection of Android systems from inter-component communication attacks. Mahmoud Hammad, Joshua Garcia, Sam Malek |
| 2018 | Semantic crash bucketing. Rijnard van Tonder, John Kotheimer, Claire Le Goues |
| 2018 | Software engineering techniques applied to relational databases. Julien Delplanque |
| 2018 | Software heritage: collecting, preserving, and sharing all our source code (keynote). Roberto Di Cosmo |
| 2018 | TDroid: exposing app switching attacks in Android with control flow specialization. Jie Liu, Diyu Wu, Jingling Xue |
| 2018 | TRIMMER: application specialization for code debloating. Hashim Sharif, Muhammad Abubakar, Ashish Gehani, Fareed Zaffar |
| 2018 | Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems. Mukelabai Mukelabai, Damir Nesic, Salome Maro, Thorsten Berger, Jan-Philipp Steghöfer |
| 2018 | Tell them apart: distilling technology differences from crowd-scale comparison discussions. Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, Yang Liu |
| 2018 | Template-guided concolic testing via online learning. Sooyoung Cha, Seonho Lee, Hakjoo Oh |
| 2018 | Testing autonomous cars for feature interaction failures using many-objective search. Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter |
| 2018 | The electrum analyzer: model checking relational first-order temporal specifications. Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo |
| 2018 | The need for context in software engineering (IEEE CS Harlan Mills award keynote). Gail C. Murphy |
| 2018 | Top-down model-driven engineering of web services from extended OpenAPI models. David Sferruzza |
| 2018 | Towards automatic restrictification of CUDA kernel arguments. Rokiatou Diarra |
| 2018 | Towards automating disambiguation of regulations: using the wisdom of crowds. Manasi Patwardhan, Abhishek Sainani, Richa Sharma, Shirish Karande, Smita Ghaisas |
| 2018 | Understanding Semi-structured merge conflict characteristics in open-source Java projects (journal-first abstract). Paola R. G. Accioly, Paulo Borba, Guilherme Cavalcanti |
| 2018 | Understanding and detecting callback compatibility issues for Android applications. Huaxun Huang, Lili Wei, Yepang Liu, Shing-Chi Cheung |
| 2018 | Understanding and detecting evolution-induced compatibility issues in Android apps. Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, Jingling Xue |
| 2018 | VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary. Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Jiaguang Sun |
| 2018 | code_call_lens: raising the developer awareness of critical code. Andrea Janes, Michael Mairegger, Barbara Russo |
| 2018 | jStanley: placing a green thumb on Java collections. Rui Pereira, Pedro Simão, Jácome Cunha, João Saraiva |
| 2018 | node2defect: using network embedding to improve software defect prediction. Yu Qu, Ting Liu, Jianlei Chi, Yangxu Jin, Di Cui, Ancheng He, Qinghua Zheng |
| 2018 | αDiff: cross-version binary code similarity detection with DNN. Bingchang Liu, Wei Huo, Chao Zhang, Wenchao Li, Feng Li, Aihua Piao, Wei Zou |