| 2019 | Fully automated compiler testing of a reasoning engine via mutated grammar fuzzing. | Yavuz Kroglu, Franz Wotawa |
| 2019 | TETRA, as a set of techniques and tools for calculating technical debt principal and interest. | Boris Kontsevoi, Elizabeth Soroka, Sergei Terekhov |
| 2019 | Domain-specific languages for the design, deployment and manipulation of heterogeneous databases. | Dimitrios S. Kolovos, Fady Medhat, Richard F. Paige, Davide Di Ruscio, Tijs van der Storm, Sebastian Scholze, Athanasios Zolotas |
| 2019 | Practitioners' views on good software testing practices. | Pavneet Singh Kochhar, Xin Xia, David Lo |
| 2019 | Software engineering in civic tech a case study about code for Ireland. | Antti Knutas, Victoria Palacin, Giovanni Maccani, Markus Helfert |
| 2019 | Catching up with method and process practice: an industry-informed baseline for researchers. | Jil Klnder, Regina Hebig, Paolo Tell, Marco Kuhrmann, Joyce Nakatumba-Nabende, Rogardt Heldal, Stephan Krusche, Masud Fazal-Baqaie, Michael Felderer, Marcela Fabiana Genero Bocco, Steffen Kpper, Sherlock A. Licorish, Gustavo Lpez, Fergal McCaffery, zden zcan Top, Christian R. Prause, Rafael Prikladnicki, Eray Tzn, Dietmar Pfahl, Kurt Schneider, Stephen G. MacDonell |
| 2019 | Mimic: UI compatibility testing system for Android apps. | Taeyeon Ki, Chang Min Park, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek |
| 2019 | Concolic testing for high test coverage and reduced human effort in automotive industry. | Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim |
| 2019 | Guiding deep learning system testing using surprise adequacy. | Jinhan Kim, Robert Feldt, Shin Yoo |
| 2019 | Code transformation issues in move-instance-method refactorings. | Jongwook Kim, Don S. Batory, Milos Gligoric |
| 2019 | Java unit testing tool competition: seventh round. | Fitsum Meshesha Kifetew, Xavier Devroey, Urko Rueda |
| 2019 | Safe automated refactoring for intelligent parallelization of Java 8 streams. | Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Syed Ahmed |
| 2019 | Learning-based adversarial agent detection and identification in cyber physical systems applied to autonomous vehicular platoon. | Eshaan Khanapuri, Tarun Chintalapati, Rajnikant Sharma, Ryan M. Gerdes |
| 2019 | Wifi coverage range characterization for smart space applications. | Zayan El Khaled, Hamid Mcheick, Fbio Petrillo |
| 2019 | Towards secure architecture-based adaptations. | Narges Khakpour, Charilaos Skandylas, Goran Saman Nariman, Danny Weyns |
| 2019 | Type migration in ultra-large-scale codebases. | Ameya Ketkar, Ali Mesbah, Davood Mazinanian, Danny Dig, Edward Aftandilian |
| 2019 | Quantifying patterns and programming strategies in block-based programming environments. | Max Kesselbacher, Andreas Bollin |
| 2019 | Supporting the acquisition of programming skills with program construction patterns. | Max Kesselbacher |
| 2019 | Analyzing flow to measure value in software delivery. | Mik Kersten |
| 2019 | An HPC perspective on generative programming. | Dominic Kempf, Peter Bastian |
| 2019 | Extracting counterexamples from transitive-closure-based model checking. | Mitchell Kember, Lynn Tran, George Gao, Nancy A. Day |
| 2019 | Towards consistency analysis between formal and informal software architecture artefacts. | Jan Keim, Yves Schneider, Anne Koziolek |
| 2019 | Managing social debt in large software projects. | Rick Kazman |
| 2019 | Tool choice matters: JavaScript quality assurance tools and usage outcomes in GitHub projects. | David Kavaler, Asher Trockman, Bogdan Vasilescu, Vladimir Filkov |
| 2019 | Research software development & management in universities: case studies from Manchester's RSDS group, Illinois' NCSA, and Notre Dame's CRC. | Daniel S. Katz, Kenton McHenry, Caleb Reinking, Robert Haines |