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

ICSE 2019

109 papers

  1. 9.6 million links in source code comments: purpose, evolution, and decay · Hideaki Hata, Christoph Treude, Raula Gaikovina Kula, Takashi Ishio
  2. A framework for checking regression test selection tools · Chenguang Zhu, Owolabi Legunsen, August Shi, Milos Gligoric
  3. A neural model for generating natural language summaries of program subroutines · Alexander LeClair, Siyuan Jiang, Collin McMillan
  4. A novel neural source code representation based on abstract syntax tree · Jian Zhang, Xu Wang, Hongyu Zhang, Hailong Sun, Kaixuan Wang, Xudong Liu
  5. A system identification based Oracle for control-CPS software fault localization · Zhijian He, Yao Chen, Enyan Huang, Qixin Wang, Yu Pei, Haidong Yuan
  6. ActionNet: vision-based workflow action recognition from programming screencasts · Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xin Xia, Guoqiang Li
  7. Active inductive logic programming for code search · Aishwarya Sivaraman, Tianyi Zhang, Guy Van den Broeck, Miryung Kim
  8. Adjust: runtime mitigation of resource abusing third-party online ads · Weihang Wang, I Luk Kim, Yunhui Zheng
  9. Adversarial sample detection for deep neural network through model mutation testing · Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, Peixin Zhang
  10. Analysis and detection of information types of open source software issue discussions · Deeksha M. Arya, Wenting Wang, Jin L. C. Guo, Jinghui Cheng
  11. Analyzing and supporting adaptation of online code examples · Tianyi Zhang, Di Yang, Cristina V. Lopes, Miryung Kim
  12. AutoTap: synthesizing and repairing trigger-action programs using LTL properties · Lefan Zhang, Weijia He, Jesse J. Martinez, Noah Brackenbury, Shan Lu, Blase Ur
  13. Automated reporting of anti-patterns and decay in continuous integration · Carmine Vassallo, Sebastian Proksch, Harald C. Gall, Massimiliano Di Penta
  14. Automatically generating precise Oracles from structured natural language specifications · Manish Motwani, Yuriy Brun
  15. BugSwarm: mining and continuously growing a dataset of reproducible failures and fixes · David A. Tomassi, Naji Dmeiri, Yichen Wang, Antara Bhowmick, Yen-Chuan Liu, Premkumar T. Devanbu + 2 more
  16. CRADLE: cross-backend validation to detect and localize bugs in deep learning libraries · Hung Viet Pham, Thibaud Lutellier, Weizhen Qi, Lin Tan
  17. CTRAS: crowdsourced test report aggregation and summarization · Rui Hao, Yang Feng, James A. Jones, Yuying Li, Zhenyu Chen
  18. Class imbalance evolution and verification latency in just-in-time software defect prediction · George G. Cabral, Leandro L. Minku, Emad Shihab, Suhaib Mujahid
  19. Could I have a stack trace to examine the dependency conflict issue? · Ying Wang, Ming Wen, Rongxin Wu, Zhenwei Liu, Shin Hwei Tan, Zhiliang Zhu + 2 more
  20. Deep differential testing of JVM implementations · Yuting Chen, Ting Su, Zhendong Su
  21. DeepPerf: performance prediction for configurable software with deep sparse neural network · Huong Ha, Hongyu Zhang
  22. Detecting atomicity violations for event-driven Node.js applications · Xiaoning Chang, Wensheng Dou, Yu Gao, Jie Wang, Jun Wei, Tao Huang
  23. Detecting incorrect build rules · Nándor Licker, Andrew Rice
  24. Detection and repair of architectural inconsistencies in Java · Negar Ghorbani, Joshua Garcia, Sam Malek
  25. Developer reading behavior while summarizing Java methods: size and context matters · Nahla J. Abid, Bonita Sharif, Natalia Dragan, Hend Alrasheed, Jonathan I. Maletic
  26. DifFuzz: differential fuzzing for side-channel analysis · Shirin Nilizadeh, Yannic Noller, Corina S. Pasareanu
  27. Distance-based sampling of software configuration spaces · Christian Kaltenecker, Alexander Grebhahn, Norbert Siegmund, Jianmei Guo, Sven Apel
  28. Distilling neural representations of data structure manipulation using fMRI and fNIRS · Yu Huang, Xinyu Liu, Ryan Krueger, Tyler Santander, Xiaosu Hu, Kevin Leach + 1 more
  29. Dlfinder: characterizing and detecting duplicate logging code smells · Zhenhao Li, Tse-Hsun (Peter) Chen, Jinqiu Yang, Weiyi Shang
  30. Do developers discover new tools on the toilet? · Emerson R. Murphy-Hill, Edward K. Smith, Caitlin Sadowski, Ciera Jaspan, Collin Winter, Matthew Jorde + 3 more
  31. DockerizeMe: automatic inference of environment dependencies for python code snippets · Eric Horton, Chris Parnin
  32. Dynamic slicing for Android · Tanzirul Azim, Arash Alavi, Iulian Neamtiu, Rajiv Gupta
  33. Easy modelling and verification of unpredictable and preemptive interrupt-driven systems · Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, Xuandong Li
  34. Exposing library API misuses via mutation analysis · Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, Zhendong Su
  35. FLOSS participants' perceptions about gender and inclusiveness: a survey · Amanda Lee, Jeffrey C. Carver
  36. FOCUS: a recommender system for mining API function calls and usage patterns · Phuong Thanh Nguyen, Juri Di Rocco, Davide Di Ruscio, Lina Ochoa, Thomas Degueule, Massimiliano Di Penta
  37. FastLane: test minimization for rapidly deployed large-scale online services · Adithya Abraham Philip, Ranjita Bhagwan, Rahul Kumar, Chandra Shekhar Maddila, Nachiappan Nagappan
  38. Gigahorse: thorough, declarative decompilation of smart contracts · Neville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
  39. Global optimization of numerical programs via prioritized stochastic algebraic transformations · Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen + 4 more
  40. Going farther together: the impact of social capital on sustained participation in open source · Huilian Sophie Qiu, Alexander Nolte, Anita Brown, Alexander Serebrenik, Bogdan Vasilescu
  41. Graph embedding based familial analysis of Android malware using unsupervised learning · Ming Fan, Xiapu Luo, Jun Liu, Meng Wang, Chunyin Nong, Qinghua Zheng + 1 more
  42. Graph-based mining of in-the-wild, fine-grained, semantic code change patterns · Hoan Anh Nguyen, Tien N. Nguyen, Danny Dig, Son Nguyen, Hieu Tran, Michael Hilton
  43. GreenBundle: an empirical study on the energy impact of bundled processing · Shaiful Alam Chowdhury, Abram Hindle, Rick Kazman, Takumi Shuto, Ken Matsui, Yasutaka Kamei
  44. Grey-box concolic testing on binary code · Jaeseung Choi, Joonun Jang, Choongwoo Han, Sang Kil Cha
  45. Guiding deep learning system testing using surprise adequacy · Jinhan Kim, Robert Feldt, Shin Yoo
  46. Harnessing evolution for multi-hunk program repair · Seemanta Saha, Ripon K. Saha, Mukul R. Prasad
  47. How C++ developers use immutability declarations: an empirical study · Jonathan Eyolfson, Patrick Lam
  48. How practitioners perceive coding proficiency · Xin Xia, Zhiyuan Wan, Pavneet Singh Kochhar, David Lo
  49. How reliable is the crowdsourced knowledge of security implementation? · Mengsu Chen, Felix Fischer, Na Meng, Xiaoyin Wang, Jens Grossklags
  50. Hunting for bugs in code coverage tools via randomized differential testing · Yibiao Yang, Yuming Zhou, Hao Sun, Zhendong Su, Zhiqiang Zuo, Lei Xu + 1 more
  51. IconIntent: automatic identification of sensitive UI widgets based on icon classification for Android apps · Xusheng Xiao, Xiaoyin Wang, Zhihao Cao, Hanlin Wang, Peng Gao
  52. Intention-based integration of software variants · Max Lillack, Stefan Stanciulescu, Wilhelm Hedman, Thorsten Berger, Andrzej Wasowski
  53. Interactive production performance feedback in the IDE · Jürgen Cito, Philipp Leitner, Martin C. Rinard, Harald C. Gall
  54. Investigating the effects of gender bias on GitHub · Nasif Imtiaz, Justin Middleton, Joymallya Chakraborty, Neill Robson, Gina R. Bai, Emerson R. Murphy-Hill
  55. Investigating the impact of multiple dependency structures on software defects · Di Cui, Ting Liu, Yuanfang Cai, Qinghua Zheng, Qiong Feng, Wuxia Jin + 2 more
  56. Latent patterns in activities: a field study of how developers manage context · Souti Chattopadhyay, Nicholas Nelson, Yenifer Ramirez Gonzalez, Annel Amelia Leon, Rahul Pandita, Anita Sarma
  57. Learning to spot and refactor inconsistent method names · Kui Liu, Dongsun Kim, Tegawendé F. Bissyandé, Tae-young Kim, Kisub Kim, Anil Koyuncu + 2 more
  58. Leopard: identifying vulnerable code for vulnerability assessment through program metrics · Xiaoning Du, Bihuan Chen, Yuekang Li, Jianmin Guo, Yaqin Zhou, Yang Liu + 1 more
  59. Leveraging artifact trees to evolve and reuse safety cases · Ankit Agrawal, Seyedehzahra Khoshmanesh, Michael Vierhauser, Mona Rahimi, Jane Cleland-Huang, Robyn R. Lutz
  60. Mimic: UI compatibility testing system for Android apps · Taeyeon Ki, Chang Min Park, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
  61. Mining historical test logs to predict bugs and localize faults in the test logs · Anunay Amar, Peter C. Rigby
  62. Mining software defects: should we consider affected releases? · Suraj Yatish, Jirayus Jiarpakdee, Patanamon Thongtanunam, Chakkrit Tantithamthavorn
  63. Multifaceted automated analyses for variability-intensive embedded systems · Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sébastien Mosser
  64. NL2Type: inferring JavaScript function types from natural language information · Rabee Sohail Malik, Jibesh Patra, Michael Pradel
  65. Natural software revisited · Musfiqur Rahman, Dharani Palani, Peter C. Rigby
  66. On learning meaningful code changes via neural machine translation · Michele Tufano, Jevgenija Pantiuchina, Cody Watson, Gabriele Bavota, Denys Poshyvanyk
  67. On reliability of patch correctness assessment · Xuan-Bach Dinh Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li, Corina S. Pasareanu
  68. Parallel refinement for multi-threaded program verification · Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
  69. Pattern-based mining of opinions in Q&A websites · Bin Lin, Fiorella Zampetti, Gabriele Bavota, Massimiliano Di Penta, Michele Lanza
  70. Pivot: learning API-device correlations to facilitate Android compatibility issue detection · Lili Wei, Yepang Liu, Shing-Chi Cheung
  71. Practical GUI testing of Android applications via model abstraction and refinement · Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao + 3 more
  72. Probabilistic disassembly · Kenneth A. Miller, Yonghwi Kwon, Yi Sun, Zhuo Zhang, Xiangyu Zhang, Zhiqiang Lin
  73. RESTler: stateful REST API fuzzing · Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
  74. ReCDroid: automatically reproducing Android application crashes from bug reports · Yu Zhao, Tingting Yu, Ting Su, Yang Liu, Wei Zheng, Jingzhi Zhang + 1 more
  75. Reasonably-most-general clients for JavaScript library analysis · Erik Krogh Kristensen, Anders Møller
  76. Recovering variable names for minified code with usage contexts · Hieu Tran, Ngoc M. Tran, Son Nguyen, Hoan Nguyen, Tien N. Nguyen
  77. Redundant loads: a software inefficiency indicator · Pengfei Su, Shasha Wen, Hailong Yang, Milind Chabbi, Xu Liu
  78. Resource-aware program analysis via online abstraction coarsening · Kihong Heo, Hakjoo Oh, Hongseok Yang
  79. Rotten green tests · Julien Delplanque, Stéphane Ducasse, Guillermo Polito, Andrew P. Black, Anne Etien
  80. SLF: fuzzing without valid seed inputs · Wei You, Xuwei Liu, Shiqing Ma, David Mitchel Perry, Xiangyu Zhang, Bin Liang
  81. Safe automated refactoring for intelligent parallelization of Java 8 streams · Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Syed Ahmed
  82. SafeCheck: safety enhancement of Java unsafe API · Shiyou Huang, Jianmei Guo, Sanhong Li, Xiang Li, Yumin Qi, Kingsum Chow + 1 more
  83. Scalable approaches for test suite reduction · Emilio Cruciani, Breno Miranda, Roberto Verdecchia, Antonia Bertolino
  84. Search-based energy testing of Android · Reyhaneh Jabbarvand, Jun-Wei Lin, Sam Malek
  85. Smoke: scalable path-sensitive memory leak detection for millions of lines of code · Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao, Jinguo Zhou, Charles Zhang
  86. Socio-technical work-rate increase associates with changes in work patterns in online projects · Farhana Sarker, Bogdan Vasilescu, Kelly Blincoe, Vladimir Filkov
  87. Software documentation issues unveiled · Emad Aghajani, Csaba Nagy, Olga Lucero Vega-Márquez, Mario Linares-Vásquez, Laura Moreno, Gabriele Bavota + 1 more
  88. Statistical algorithmic profiling for randomized approximate programs · Keyur Joshi, Vimuth Fernando, Sasa Misailovic
  89. StoryDroid: automated generation of storyboard for Android apps · Sen Chen, Lingling Fan, Chunyang Chen, Ting Su, Wenhe Li, Yang Liu + 1 more
  90. Superion: grammar-aware greybox fuzzing · Junjie Wang, Bihuan Chen, Lei Wei, Yang Liu
  91. Supporting analysts by dynamic extraction and classification of requirements-related knowledge · Zahra Shakeri Hossein Abad, Vincenzo Gervasi, Didar Zowghi, Behrouz H. Far
  92. Supporting the statistical analysis of variability models · Ruben Heradio, David Fernández-Amorós, Christoph Mayr-Dorn, Alexander Egyed
  93. Symbolic repairs for GR(1) specifications · Shahar Maoz, Jan Oliver Ringert, Rafi Shalom
  94. Test-driven code review: an empirical study · Davide Spadini, Fabio Palomba, Tobias Baum, Stefan Hanenberg, Magiel Bruntink, Alberto Bacchelli
  95. The list is the process: reliable pre-integration tracking of commits on mailing lists · Ralf Ramsauer, Daniel Lohmann, Wolfgang Mauerer
  96. The product backlog · Todd Sedano, Paul Ralph, Cécile Péraire
  97. The seven sins: security smells in infrastructure as code scripts · Akond Rahman, Chris Parnin, Laurie A. Williams
  98. Tool choice matters: JavaScript quality assurance tools and usage outcomes in GitHub projects · David Kavaler, Asher Trockman, Bogdan Vasilescu, Vladimir Filkov
  99. Towards automating precision studies of clone detectors · Vaibhav Saini, Farima Farmahinifarahani, Yadong Lu, Di Yang, Pedro Martins, Hitesh Sajnani + 2 more
  100. Towards understanding and reasoning about Android interoperations · Sora Bae, Sungho Lee, Sukyoung Ryu
  101. Training binary classifiers as data structure invariants · Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
  102. Type migration in ultra-large-scale codebases · Ameya Ketkar, Ali Mesbah, Davood Mazinanian, Danny Dig, Edward Aftandilian
  103. VFix: value-flow-guided precise program repair for null pointer dereferences · Xuezheng Xu, Yulei Sui, Hua Yan, Jingling Xue
  104. View-centric performance optimization for database-backed web applications · Junwen Yang, Cong Yan, Chengcheng Wan, Shan Lu, Alvin Cheung
  105. When code completion fails: a case study on real-world completions · Vincent J. Hellendoorn, Sebastian Proksch, Harald C. Gall, Alberto Bacchelli
  106. Why do episodic volunteers stay in FLOSS communities? · Ann Barcomb, Klaas-Jan Stol, Dirk Riehle, Brian Fitzgerald
  107. Why does code review work for open source software communities? · Adam Alami, Marisa Leavitt Cohn, Andrzej Wasowski
  108. Zero-overhead path prediction with progressive symbolic execution · Richard Rutledge, Sunjae Park, Haider Adnan Khan, Alessandro Orso, Milos Prvulovic, Alenka G. Zajic
  109. iSENSE: completion-aware crowdtesting management · Junjie Wang, Ye Yang, Rahul Krishna, Tim Menzies, Qing Wang