kirancodes.me
To Proof Maintenance & Beyond!
Venues / ICSE /

ICSE 2018

153 papers

  1. "Was my contribution fairly reviewed?": a framework to study the perception of fairness in modern code reviews · Daniel M. Germán, Gregorio Robles, Germán Poo-Caamaño, Xin Yang, Hajimu Iida, Katsuro Inoue
  2. A combinatorial approach for exposing off-nominal behaviors · Kaushik Madala, Hyunsook Do, Daniel Aceituna
  3. A comparative study to benchmark cross-project defect prediction approaches · Steffen Herbold, Alexander Trautsch, Jens Grabowski
  4. A comparison of program comprehension strategies by blind and sighted programmers · Ameer Armaly, Paige Rodeghero, Collin McMillan
  5. A correlation study between automated program repair and test-suite metrics · Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
  6. A graph solver for the automated generation of consistent domain-specific models · Oszkár Semeráth, András Szabolcs Nagy, Dániel Varró
  7. A large-scale empirical study on the effects of code obfuscations on Android apps and anti-malware products · Mahmoud Hammad, Joshua Garcia, Sam Malek
  8. A posteriori typing for model-driven engineering: concepts, analysis, and applications · Juan de Lara, Esther Guerra
  9. A static verification framework for message passing in Go using behavioural types · Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
  10. A temporal permission analysis and enforcement framework for Android · Alireza Sadeghi, Reyhaneh Jabbarvand, Negar Ghorbani, Hamid Bagheri, Sam Malek
  11. Accurate and efficient refactoring detection in commit history · Nikolaos Tsantalis, Matin Mansouri, Laleh Mousavi Eshkevari, Davood Mazinanian, Danny Dig
  12. Adding sparkle to social coding: an empirical study of repository badges in the npm ecosystem · Asher Trockman, Shurui Zhou, Christian Kästner, Bogdan Vasilescu
  13. Almost there: a study on quasi-contributors in open source software projects · Igor Steinmacher, Gustavo Pinto, Igor Scaliante Wiese, Marco Aurélio Gerosa
  14. An empirical study of early access games on the steam platform · Dayi Lin, Cor-Paul Bezemer, Ahmed E. Hassan
  15. An empirical study on the interplay between semantic coupling and co-change of software classes · Nemitari Ajienka, Andrea Capiluppi, Steve Counsell
  16. Analyzing a decade of Linux system calls · Mojtaba Bagherzadeh, Nafiseh Kahani, Cor-Paul Bezemer, Ahmed E. Hassan, Juergen Dingel, James R. Cordy
  17. Analyzing the effects of test driven development in GitHub · Neil C. Borle, Meysam Feghhi, Eleni Stroulia, Russell Greiner, Abram Hindle
  18. Are code examples on an online Q&A forum reliable?: a study of API misuse on stack overflow · Tianyi Zhang, Ganesha Upadhyaya, Anastasia Reinhardt, Hridesh Rajan, Miryung Kim
  19. Are fix-inducing changes a moving target?: a longitudinal case study of just-in-time defect prediction · Shane McIntosh, Yasutaka Kamei
  20. Are mutation scores correlated with real fault detection?: a large scale empirical study on the relationship between mutants and real faults · Mike Papadakis, Donghwan Shin, Shin Yoo, Doo-Hwan Bae
  21. Are vulnerabilities discovered and resolved like other defects? · Patrick J. Morrison, Rahul Pandita, Xusheng Xiao, Ram Chillarege, Laurie A. Williams
  22. Assessing the threat of untracked changes in software evolution · André C. Hora, Danilo Silva, Marco Túlio Valente, Romain Robbes
  23. Augmenting and structuring user queries to support efficient free-form code search · Raphael Sirres, Tegawendé F. Bissyandé, Dongsun Kim, David Lo, Jacques Klein, Kisub Kim + 1 more
  24. Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles · Leonardo Mariani, Mauro Pezzè, Daniele Zuddas
  25. Automated localization for unreproducible builds · Zhilei Ren, He Jiang, Jifeng Xuan, Zijiang Yang
  26. Automated refactoring of OCL constraints with search · Hong Lu, Shuai Wang, Tao Yue, Shaukat Ali, Jan F. Nygård
  27. Automated repair of mobile friendly problems in web pages · Sonal Mahajan, Negarsadat Abolhassani, Phil McMinn, William G. J. Halfond
  28. Automated reporting of GUI design violations for mobile apps · Kevin Moran, Boyang Li, Carlos Bernal-Cárdenas, Dan Jelf, Denys Poshyvanyk
  29. Automatic software repair: a survey · Luca Gazzola, Daniela Micucci, Leonardo Mariani
  30. Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge · Shafiul Azam Chowdhury, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T. Johnson, Christoph Csallner
  31. Automatically generating search heuristics for concolic testing · Sooyoung Cha, Seongjoon Hong, Junhee Lee, Hakjoo Oh
  32. CCAligner: a token based large-gap clone detector · Pengcheng Wang, Jeffrey Svajlenko, Yanzhao Wu, Yun Xu, Chanchal K. Roy
  33. Challenges and pitfalls on surveying evidence in the software engineering technical literature: an exploratory study with novices · Talita Vieira Ribeiro, Jobson L. Massollar, Guilherme Horta Travassos
  34. ChangeLocator: locate crash-inducing changes based on crash reports · Rongxin Wu, Ming Wen, Shing-Chi Cheung, Hongyu Zhang
  35. Chopped symbolic execution · David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar
  36. Collaborative model-driven software engineering: a classification framework and a research map · Davide Di Ruscio, Mirco Franzago, Henry Muccini, Ivano Malavolta
  37. Collective program analysis · Ganesha Upadhyaya, Hridesh Rajan
  38. ConflictJS: finding and understanding conflicts between JavaScript libraries · Jibesh Patra, Pooja N. Dixit, Michael Pradel
  39. Context-aware conversational developer assistants · Nick C. Bradley, Thomas Fritz, Reid Holmes
  40. Context-aware patch generation for better automated program repair · Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, Shing-Chi Cheung
  41. Correctness attraction: a study of stability of software behavior under runtime perturbation · Benjamin Danglot, Philippe Preux, Benoit Baudry, Martin Monperrus
  42. Data scientists in software teams: state of the art and challenges · Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel
  43. Dataflow tunneling: mining inter-request data dependencies for request-based applications · Xiao Yu, Guoliang Jin
  44. DeFlaker: automatically detecting flaky tests · Jonathan Bell, Owolabi Legunsen, Michael Hilton, Lamyaa Eloussi, Tifany Yung, Darko Marinov
  45. Debugging data flows in reactive programs · Herman Banken, Erik Meijer, Georgios Gousios
  46. Debugging with intelligence via probabilistic inference · Zhaogui Xu, Shiqing Ma, Xiangyu Zhang, Shuofei Zhu, Baowen Xu
  47. Deep code search · Xiaodong Gu, Hongyu Zhang, Sunghun Kim
  48. DeepTest: automated testing of deep-neural-network-driven autonomous cars · Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray
  49. DetReduce: minimizing Android GUI test suites for regression testing · Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang
  50. Deuce: a lightweight user interface for structured editing · Brian Hempel, Justin Lubin, Grace Lu, Ravi Chugh
  51. Do automated program repair techniques repair hard and important bugs? · Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun
  52. Do programmers work at night or during the weekend? · Maëlick Claes, Mika V. Mäntylä, Miikka Kuutila, Bram Adams
  53. Do you remember this source code? · Jacob Krüger, Jens Wiemann, Wolfram Fenske, Gunter Saake, Thomas Leich
  54. Does syntax highlighting help programming novices? · Christoph Hannebauer, Marc Hesenius, Volker Gruhn
  55. Does the propagation of artifact changes across tasks reflect work dependencies? · Christoph Mayr-Dorn, Alexander Egyed
  56. DroidStar: callback typestates for Android classes · Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey + 2 more
  57. EARMO: an energy-aware refactoring approach for mobile apps · Rodrigo Morales, Rubén Saborido, Foutse Khomh, Francisco Chicano, Giuliano Antoniol
  58. ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases · Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly
  59. Effect sizes and their variance for AB/BA crossover design studies · Lech Madeyski, Barbara A. Kitchenham
  60. Efficient sampling of SAT solutions for testing · Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen
  61. Empirical study on the discrepancy between performance testing results from virtual and physical environments · Muhammad Moiz Arif, Weiyi Shang, Emad Shihab
  62. EnMobile: entity-based characterization and analysis of mobile malware · Wei Yang, Mukul R. Prasad, Tao Xie
  63. Enlightened debugging · Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso
  64. Experiences and challenges in building a data intensive system for data migration · Marco Scavuzzo, Elisabetta Di Nitto, Danilo Ardagna
  65. FAST approaches to scalable similarity-based test case prioritization · Breno Miranda, Emilio Cruciani, Roberto Verdecchia, Antonia Bertolino
  66. FaCoY: a code-to-code search engine · Kisub Kim, Dongsun Kim, Tegawendé F. Bissyandé, Eunjong Choi, Li Li, Jacques Klein + 1 more
  67. Fine-grained test minimization · Arash Vahabzadeh, Andrea Stocco, Ali Mesbah
  68. From UI design image to GUI skeleton: a neural machine translator to bootstrap mobile GUI implementation · Chunyang Chen, Ting Su, Guozhu Meng, Zhenchang Xing, Yang Liu
  69. GUILeak: tracing privacy policy claims on user input data for Android applications · Xiaoyin Wang, Xue Qin, Mitra Bokaei Hosseini, Rocky Slavin, Travis D. Breaux, Jianwei Niu
  70. Generalized data structure synthesis · Calvin Loncaric, Michael D. Ernst, Emina Torlak
  71. Global-aware recommendations for repairing violations in exception handling · Eiji Adachi Barbosa, Alessandro Garcia
  72. Goal-conflict likelihood assessment based on model counting · Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias
  73. HireBuild: an automatic approach to history-driven repair of build scripts · Foyzul Hassan, Xiaoyin Wang
  74. How modern news aggregators help development communities shape and share knowledge · Maurício Finavaro Aniche, Christoph Treude, Igor Steinmacher, Igor Wiese, Gustavo Pinto, Margaret-Anne D. Storey + 1 more
  75. How not to structure your database-backed web applications: a study of performance bugs in the wild · Junwen Yang, Pranav Subramaniam, Shan Lu, Cong Yan, Alvin Cheung
  76. Hybrid regression test selection · Lingming Zhang
  77. Identifying design problems in the source code: a grounded theory · Leonardo da Silva Sousa, Anderson Oliveira, Willian Nalepa Oizumi, Simone D. J. Barbosa, Alessandro Garcia, Jaejoon Lee + 6 more
  78. Identifying features in forks · Shurui Zhou, Stefan Stanciulescu, Olaf Leßenich, Yingfei Xiong, Andrzej Wasowski, Christian Kästner
  79. Identifying patch correctness in test-based program repair · Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, Gang Huang
  80. Inference of development activities from interaction with uninstrumented applications · Lingfeng Bao, Zhenchang Xing, Xin Xia, David Lo, Ahmed E. Hassan
  81. Inferring and asserting distributed system invariants · Stewart Grant, Hendrik Cech, Ivan Beschastnikh
  82. Inferring hierarchical motifs from execution traces · Saba Alimadadi, Ali Mesbah, Karthik Pattabiraman
  83. Inheritance usage patterns in open-source systems · Jamie Stevenson, Murray I. Wood
  84. Integrating technical debt management and software quality management processes: a framework and field tests · Narayan Ramasubbu, Chris F. Kemerer
  85. Is "better data" better than "better data miners"?: on the benefits of tuning SMOTE for defect prediction · Amritanshu Agrawal, Tim Menzies
  86. Journal first presentation of an experience report on applying software testing academic results in industry: we need usable automated test generation · Andre Arcuri
  87. Large-scale analysis of framework-specific exceptions in Android apps · Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu + 2 more
  88. Launch-mode-aware context-sensitive activity transition analysis · Yifei Zhang, Yulei Sui, Jingling Xue
  89. Leveraging program analysis to reduce user-perceived latency in mobile applications · Yixue Zhao, Marcelo Schmitt Laser, Yingjun Lyu, Nenad Medvidovic
  90. Lightweight, obfuscation-resilient detection and family identification of Android malware · Joshua Garcia, Mahmoud Hammad, Sam Malek
  91. MAHAKIL: diversity based oversampling approach to alleviate the class imbalance issue in software defect prediction · Kwabena Ebo Bennin, Jacky Keung, Passakorn Phannachitta, Akito Monden, Solomon Mensah
  92. MSeer: an advanced technique for locating multiple bugs in parallel · Ruizhi Gao, W. Eric Wong
  93. Measuring program comprehension: a large-scale field study with professionals · Xin Xia, Lingfeng Bao, David Lo, Zhenchang Xing, Ahmed E. Hassan, Shanping Li
  94. Metamorphic testing of RESTful web APIs · Sergio Segura, José Antonio Parejo, Javier Troya, Antonio Ruiz Cortés
  95. Model comprehension for security risk assessment: an empirical comparison of tabular vs. graphical representations · Katsiaryna Labunets, Fabio Massacci, Federica Paci, Sabrina Marczak, Flávio Moreira de Oliveira
  96. Multi-granular conflict and dependency analysis in software engineering based on graph transformation · Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Huebert
  97. Multi-objective integer programming approaches for solving optimal feature selection problem: a new perspective on multi-objective optimization problems in SBSE · Yinxing Xue, Yan-Fu Li
  98. Nemo: multi-criteria test-suite minimization with integer nonlinear programming · Jun-Wei Lin, Reyhaneh Jabbarvand, Joshua Garcia, Sam Malek
  99. Neuro-symbolic program corrector for introductory programming assignments · Sahil Bhatia, Pushmeet Kohli, Rishabh Singh
  100. Older adults and hackathons: a qualitative study · Wieslaw Kopec, Bartlomiej Balcerzak, Radoslaw Nielek, Grzegorz Kowalik, Adam Wierzbicki, Fabio Casati
  101. On the dichotomy of debugging behavior among programmers · Moritz Beller, Niels Spruit, Diomidis Spinellis, Andy Zaidman
  102. On the diffuseness and the impact on maintainability of code smells: a large scale empirical investigation · Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Fausto Fasano, Rocco Oliveto, Andrea De Lucia
  103. On the use of hidden Markov model to predict the time to fix bugs · Mayy Habayeb, Syed Shariyar Murtaza, Andriy V. Miranskyy, Ayse Basar Bener
  104. Online app review analysis for identifying emerging issues · Cuiyun Gao, Jichuan Zeng, Michael R. Lyu, Irwin King
  105. Open source barriers to entry, revisited: a sociotechnical perspective · Christopher J. Mendez, Hema Susmita Padala, Zoe Steine-Hanson, Claudia Hilderbrand, Amber Horvath, Charles Hill + 4 more
  106. Overfitting in semantics-based automated program repair · Xuan-Bach Dinh Le, Ferdian Thung, David Lo, Claire Le Goues
  107. Perses: syntax-guided program reduction · Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su
  108. Precise concolic unit testing of C programs using extended units and symbolic alarm filtering · Yunho Kim, Yunja Choi, Moonzoo Kim
  109. Predicting future developer behavior in the IDE using topic models · Kostadin Damevski, Hui Chen, David C. Shepherd, Nicholas A. Kraft, Lori L. Pollock
  110. Prioritizing browser environments for web application test execution · Jung-Hyun Kwon, In-Young Ko, Gregg Rothermel
  111. Privacy by designers: software developers' privacy mindset · Irit Hadar, Tomer Hasson, Oshrat Ayalon, Eran Toch, Michael Birnhack, Sofia Sherman + 1 more
  112. Program splicing · Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski
  113. Programming not only by example · Hila Peleg, Sharon Shoham, Eran Yahav
  114. Propagating configuration decisions with modal implication graphs · Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake
  115. RFC-directed differential testing of certificate validation in SSL/TLS implementations · Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao
  116. Redefining prioritization: continuous prioritization for continuous integration · Jingjing Liang, Sebastian G. Elbaum, Gregg Rothermel
  117. Reducer-based construction of conditional verifiers · Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
  118. Repairing crashes in Android apps · Shin Hwei Tan, Zhen Dong, Xiang Gao, Abhik Roychoudhury
  119. Roles and impacts of hands-on software architects in five industrial case studies · Inayat Rehman, Mehdi Mirakhorli, Meiyappan Nagappan, Azat Aralbay Uulu, Matthew Thornton
  120. Search-based test data generation for SQL queries · Jeroen Castelein, Maurício Finavaro Aniche, Mozhan Soltani, Annibale Panichella, Arie van Deursen
  121. Secure coding practices in Java: challenges and vulnerabilities · Na Meng, Stefan Nagy, Danfeng (Daphne) Yao, Wenjie Zhuang, Gustavo A. Arango-Argoty
  122. Self-hiding behavior in Android apps: detection and characterization · Zhiyong Shan, Iulian Neamtiu, Raina Samuel
  123. Semantic program repair using a reference implementation · Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
  124. Sentiment analysis for software engineering: how far can we go? · Bin Lin, Fiorella Zampetti, Gabriele Bavota, Massimiliano Di Penta, Michele Lanza, Rocco Oliveto
  125. Sentiment polarity detection for software development · Fabio Calefato, Filippo Lanubile, Federico Maiorano, Nicole Novielli
  126. Software protection on the go: a large-scale empirical study on mobile app obfuscation · Pei Wang, Qinkun Bao, Li Wang, Shuai Wang, Zhaofeng Chen, Tao Wei + 1 more
  127. Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities · Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue
  128. Speedoo: prioritizing performance optimization opportunities · Zhifei Chen, Bihuan Chen, Lu Xiao, Xiao Wang, Lin Chen, Yang Liu + 1 more
  129. Static automated program repair for heap properties · Rijnard van Tonder, Claire Le Goues
  130. Statistical errors in software engineering experiments: a preliminary literature review · Rolando P. Reyes, Oscar Dieste, Efraín R. Fonseca C., Natalia Juristo
  131. Statistical learning of API fully qualified names in code snippets of online forums · Hung Phan, Hoan Anh Nguyen, Ngoc M. Tran, Linh H. Truong, Anh Tuan Nguyen, Tien N. Nguyen
  132. Studying the dialogue between users and developers of free apps in the google play store · Safwat Hassan, Chakkrit Tantithamthavorn, Cor-Paul Bezemer, Ahmed E. Hassan
  133. Symbolic verification of regular properties · Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong
  134. Synthesizing qualitative research in software engineering: a critical review · Xin Huang, He Zhang, Xin Zhou, Muhammad Ali Babar, Song Yang
  135. Testing vision-based control systems using learnable evolutionary algorithms · Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, Thomas Stifter
  136. The evolution of requirements practices in software startups · Catarina Gralha, Daniela E. Damian, Anthony I. Wasserman, Miguel Goulão, João Araújo
  137. The good, the bad and the ugly: a study of security decisions in a cyber-physical systems game · Sylvain Frey, Awais Rashid, Pauline Anthonysamy, Maria Pinto-Albuquerque, Syed Asad Naqvi
  138. The road to live programming: insights from the practice · Juraj Kubelka, Romain Robbes, Alexandre Bergel
  139. The scent of a smell: an extensive comparison between textual and structural smells · Fabio Palomba, Annibale Panichella, Andy Zaidman, Rocco Oliveto, Andrea De Lucia
  140. Time to clean your test objectives · Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
  141. To distribute or not to distribute?: why licensing bugs matter · Christopher Vendome, Daniel M. Germán, Massimiliano Di Penta, Gabriele Bavota, Mario Linares Vásquez, Denys Poshyvanyk
  142. To preserve or not to preserve invalid solutions in search-based software engineering: a case study in software product lines · Jianmei Guo, Kai Shi
  143. Towards optimal concolic testing · Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin
  144. Towards practical program repair with on-demand candidate generation · Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid
  145. Towards refactoring-aware regression test selection · Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, Jongwook Kim, Don S. Batory, Milos Gligoric
  146. Towards reusing hints from past fixes: an exploratory study on thousands of real samples · Hao Zhong, Na Meng
  147. Traceability in the wild: automatically augmenting incomplete trace links · Michael Rath, Jacob Rendall, Jin L. C. Guo, Jane Cleland-Huang, Patrick Mäder
  148. UFO: predictive concurrency use-after-free detection · Jeff Huang
  149. Understanding developers' needs on deprecation as a language feature · Anand Ashok Sawant, Maurício Finavaro Aniche, Arie van Deursen, Alberto Bacchelli
  150. Understanding the factors for fast answers in technical Q&A websites: an empirical study of four stack exchange websites · Shaowei Wang, Tse-Hsun Chen, Ahmed E. Hassan
  151. What makes a great manager of software engineers? · Eirini Kalliamvakou, Christian Bird, Thomas Zimmermann, Andrew Begel, Robert DeLine, Daniel M. Germán
  152. When not to comment: questions and tradeoffs with API documentation for C++ projects · Andrew Head, Caitlin Sadowski, Emerson R. Murphy-Hill, Andrea Knight
  153. When testing meets code review: why and how developers review tests · Davide Spadini, Maurício Finavaro Aniche, Margaret-Anne D. Storey, Magiel Bruntink, Alberto Bacchelli