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

ICSE 2016

101 papers

  1. A comparison of 10 sampling algorithms for configurable systems · Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Rohit Gheyi, Sven Apel
  2. A practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering · Shuai Wang, Shaukat Ali, Tao Yue, Yan Li, Marius Liaaen
  3. An analysis of the search spaces for generate and validate patch generation systems · Fan Long, Martin C. Rinard
  4. An empirical comparison of compiler testing techniques · Junjie Chen, Wenxiang Hu, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang + 1 more
  5. An empirical study of practitioners' perspectives on green software engineering · Irene Manotas, Christian Bird, Rui Zhang, David C. Shepherd, Ciera Jaspan, Caitlin Sadowski + 2 more
  6. An empirical study on the impact of C++ lambdas and programmer experience · Phillip Merlin Uesbeck, Andreas Stefik, Stefan Hanenberg, Jan Pedersen, Patrick Daleiden
  7. Angelix: scalable multiline program patch synthesis via symbolic analysis · Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
  8. AntMiner: mining more bugs by reducing noise interference · Bin Liang, Pan Bian, Yan Zhang, Wenchang Shi, Wei You, Yan Cai
  9. Are "non-functional" requirements really non-functional?: an investigation of non-functional requirements in practice · Jonas Eckhardt, Andreas Vogelsang, Daniel Méndez Fernández
  10. Augmenting API documentation with insights from stack overflow · Christoph Treude, Martin P. Robillard
  11. Automated energy optimization of HTTP requests for mobile applications · Ding Li, Yingjun Lyu, Jiaping Gui, William G. J. Halfond
  12. Automated parameter optimization of classification techniques for defect prediction models · Chakkrit Tantithamthavorn, Shane McIntosh, Ahmed E. Hassan, Kenichi Matsumoto
  13. Automated partitioning of android applications for trusted execution environments · Konstantin Rubinov, Lucia Rosculete, Tulika Mitra, Abhik Roychoudhury
  14. Automated test suite generation for time-continuous simulink models · Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
  15. Automatic model generation from documentation for Java API functions · Juan Zhai, Jianjun Huang, Shiqing Ma, Xiangyu Zhang, Lin Tan, Jianhua Zhao + 1 more
  16. Automatically learning semantic features for defect prediction · Song Wang, Taiyue Liu, Lin Tan
  17. Behavioral log analysis with statistical guarantees · Nimrod Busany, Shahar Maoz
  18. Belief & evidence in empirical software engineering · Premkumar T. Devanbu, Thomas Zimmermann, Christian Bird
  19. BigDebug: debugging primitives for interactive big data processing in spark · Muhammad Ali Gulzar, Matteo Interlandi, Seunghyun Yoo, Sai Deep Tetali, Tyson Condie, Todd D. Millstein + 1 more
  20. Building a theory of job rotation in software engineering from an instrumental case study · Ronnie E. S. Santos, Fabio Q. B. da Silva, Cleyton V. C. de Magalhães, Cleviton V. F. Monteiro
  21. CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features · Shing-Chi Cheung, Wanjun Chen, Yepang Liu, Chang Xu
  22. Code anomalies flock together: exploring code anomaly agglomerations for locating design problems · Willian Nalepa Oizumi, Alessandro F. Garcia, Leonardo da Silva Sousa, Bruno Barbieri Pontes Cafeo, Yixue Zhao
  23. Code review quality: how developers see it · Oleksii Kononenko, Olga Baysal, Michael W. Godfrey
  24. Comparing white-box and black-box test prioritization · Christopher Henard, Mike Papadakis, Mark Harman, Yue Jia, Yves Le Traon
  25. Coverage-driven test code generation for concurrent classes · Valerio Terragni, Shing-Chi Cheung
  26. Cross-project defect prediction using a connectivity-based unsupervised classifier · Feng Zhang, Quan Zheng, Ying Zou, Ahmed E. Hassan
  27. Cross-supervised synthesis of web-crawlers · Adi Omari, Sharon Shoham, Eran Yahav
  28. Crowdsourcing program preconditions via a classification game · Daniel Fava, Daniel G. Shapiro, Joseph C. Osborn, Martin Schäf, E. James Whitehead Jr.
  29. Debugging for reactive programming · Guido Salvaneschi, Mira Mezini
  30. Decoupling level: a new metric for architectural maintenance complexity · Ran Mo, Yuanfang Cai, Rick Kazman, Lu Xiao, Qiong Feng
  31. Discovering "unknown known" security requirements · Awais Rashid, Syed Asad Ali Naqvi, Rajiv Ramdhany, Matthew Edwards, Ruzanna Chitchyan, Muhammad Ali Babar
  32. Disseminating architectural knowledge on open-source projects: a case study of the book "architecture of open-source applications" · Martin P. Robillard, Nenad Medvidovic
  33. DoubleTake: fast and precise error detection via evidence-based dynamic analysis · Tongping Liu, Charlie Curtsinger, Emery D. Berger
  34. Efficient large-scale trace checking using mapreduce · Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
  35. Energy profiles of Java collections classes · Samir Hasan, Zachary King, Munawar Hafiz, Mohammed Sayagh, Bram Adams, Abram Hindle
  36. Exploring language support for immutability · Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull
  37. Feature-model interfaces: the highway to compositional analyses of highly-configurable systems · Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake
  38. Featured model-based mutation analysis · Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
  39. Feedback-directed instrumentation for deployed JavaScript applications · Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
  40. Finding and analyzing compiler warning defects · Chengnian Sun, Vu Le, Zhendong Su
  41. Finding security bugs in web applications using a catalog of access control patterns · Joseph P. Near, Daniel Jackson
  42. Fixing deadlocks via lock pre-acquisitions · Yan Cai, Lingwei Cao
  43. Floating-point precision tuning using blame analysis · Cindy Rubio-González, Cuong Nguyen, Benjamin Mehne, Koushik Sen, James Demmel, William Kahan + 4 more
  44. From word embeddings to document similarities for improved information retrieval in software engineering · Xin Ye, Hui Shen, Xiao Ma, Razvan C. Bunescu, Chang Liu
  45. Generating performance distributions via probabilistic symbolic execution · Bihuan Chen, Yang Liu, Wei Le
  46. Grounded theory in software engineering research: a critical review and guidelines · Klaas-Jan Stol, Paul Ralph, Brian Fitzgerald
  47. Guiding dynamic symbolic execution toward unverified program executions · Maria Christakis, Peter Müller, Valentin Wüstholz
  48. How does regression test prioritization perform in real-world software evolution? · Yafeng Lu, Yiling Lou, Shiyang Cheng, Lingming Zhang, Dan Hao, Yangfan Zhou + 1 more
  49. How does the degree of variability affect bug finding? · Jean Melo, Claus Brabrand, Andrzej Wasowski
  50. Identifying and quantifying architectural debt · Lu Xiao, Yuanfang Cai, Rick Kazman, Ran Mo, Qiong Feng
  51. Improving refactoring speed by 10X · Jongwook Kim, Don S. Batory, Danny Dig, Maider Azanza
  52. IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions · Hao Sun, Xiangyu Zhang, Yunhui Zheng, Qingkai Zeng
  53. Jumping through hoops: why do Java developers struggle with cryptography APIs? · Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden
  54. Learning API usages from bytecode: a statistical approach · Tam The Nguyen, Hung Viet Pham, Phong Minh Vu, Tung Thanh Nguyen
  55. Locking discipline inference and checking · Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine
  56. Mining sandboxes · Konrad Jamrozik, Philipp von Styp-Rekowsky, Andreas Zeller
  57. Missing data imputation based on low-rank recovery and semi-supervised regression for software effort estimation · Xiao-Yuan Jing, Fumin Qi, Fei Wu, Baowen Xu
  58. MobiPlay: a remote execution based record-and-replay tool for mobile applications · Zhengrui Qin, Yutao Tang, Edmund Novak, Qun Li
  59. Multi-objective software effort estimation · Federica Sarro, Alessio Petrozziello, Mark Harman
  60. Nomen est omen: exploring and exploiting similarities between argument and parameter names · Hui Liu, Qiurong Liu, Cristian-Alexandru Staicu, Michael Pradel, Yue Luo
  61. On the "naturalness" of buggy code · Baishakhi Ray, Vincent J. Hellendoorn, Saheel Godhane, Zhaopeng Tu, Alberto Bacchelli, Premkumar T. Devanbu
  62. On the limits of mutation reduction strategies · Rahul Gopinath, Mohammad Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce
  63. On the techniques we create, the tools we build, and their misalignments: a study of KLEE · Eric F. Rizzi, Sebastian G. Elbaum, Matthew B. Dwyer
  64. Optimizing selection of competing services with probabilistic hierarchical refinement · Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne André, Yinxing Xue + 1 more
  65. Overcoming open source project entry barriers with a portal for newcomers · Igor Steinmacher, Tayana Uchôa Conte, Christoph Treude, Marco Aurélio Gerosa
  66. PAC learning-based verification and model synthesis · Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang + 1 more
  67. PRADA: prioritizing android devices for apps by mining large-scale usage data · Xuan Lu, Xuanzhe Liu, Huoran Li, Tao Xie, Qiaozhu Mei, Dan Hao + 2 more
  68. Performance issues and optimizations in JavaScript: an empirical study · Marija Selakovic, Michael Pradel
  69. Probing for requirements knowledge to stimulate architectural thinking · Preethu Rose Anish, Balaji Balasubramaniam, Abhishek Sainani, Jane Cleland-Huang, Maya Daneva, Roel J. Wieringa + 1 more
  70. Program synthesis using natural language · Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron + 2 more
  71. Quality experience: a grounded theory of successful agile projects without dedicated testers · Lutz Prechelt, Holger Schmeisky, Franz Zieris
  72. Quantifying and mitigating turnover-induced knowledge loss: case studies of chrome and a project at avaya · Peter C. Rigby, Yue Cai Zhu, Samuel M. Donadelli, Audris Mockus
  73. RETracer: triaging crashes by reverse execution from partial memory dumps · Weidong Cui, Marcus Peinado, Sang Kil Cha, Yanick Fratantonio, Vasileios P. Kemerlis
  74. Reducing combinatorics in GUI testing of android applications · Nariman Mirzaei, Joshua Garcia, Hamid Bagheri, Alireza Sadeghi, Sam Malek
  75. Reference hijacking: patching, protecting and analyzing on unmodified and non-rooted android devices · Wei You, Bin Liang, Wenchang Shi, Shuyang Zhu, Peng Wang, Sikefu Xie + 1 more
  76. Release planning of mobile apps based on user reviews · Lorenzo Villarroel, Gabriele Bavota, Barbara Russo, Rocco Oliveto, Massimiliano Di Penta
  77. Reliability of Run-Time Quality-of-Service evaluation using parametric model checking · Guoxin Su, David S. Rosenblum, Giordano Tamburrelli
  78. Revisit of automatic debugging via human focus-tracking analysis · Xiaoyuan Xie, Zicong Liu, Shuo Song, Zhenyu Chen, Jifeng Xuan, Baowen Xu
  79. Revisiting code ownership and its relationship with software quality in the scope of modern code review · Patanamon Thongtanunam, Shane McIntosh, Ahmed E. Hassan, Hajimu Iida
  80. Risk-driven revision of requirements models · Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
  81. SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis · Mukund Raghothaman, Yi Wei, Youssef Hamadi
  82. Scalable thread sharing analysis · Jeff Huang
  83. Shadow of a doubt: testing for divergences between software versions · Hristina Palikareva, Tomasz Kuchta, Cristian Cadar
  84. SourcererCC: scaling code clone detection to big-code · Hitesh Sajnani, Vaibhav Saini, Jeffrey Svajlenko, Chanchal K. Roy, Cristina V. Lopes
  85. StubDroid: automatic inference of precise data-flow summaries for the android framework · Steven Arzt, Eric Bodden
  86. Synthesizing framework models for symbolic execution · Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama
  87. Termination-checking for LLVM peephole optimizations · David Menendez, Santosh Nagarakatte
  88. The challenges of staying together while moving fast: an exploratory study · Julia Rubin, Martin C. Rinard
  89. The emerging role of data scientists on software development teams · Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel
  90. The evolution of C programming practices: a study of the Unix operating system 1973-2015 · Diomidis Spinellis, Panos Louridas, Maria Kechagia
  91. The impact of test case summaries on bug fixing performance: an empirical investigation · Sebastiano Panichella, Annibale Panichella, Moritz Beller, Andy Zaidman, Harald C. Gall
  92. The sky is not the limit: multitasking across GitHub projects · Bogdan Vasilescu, Kelly Blincoe, Qi Xuan, Casey Casalnuovo, Daniela E. Damian, Premkumar T. Devanbu + 1 more
  93. Too long; didn't watch!: extracting relevant fragments from software development video tutorials · Luca Ponzanelli, Gabriele Bavota, Andrea Mocci, Massimiliano Di Penta, Rocco Oliveto, Mir Hasan + 3 more
  94. Toward a framework for detecting privacy policy violations in android application code · Rocky Slavin, Xiaoyin Wang, Mitra Bokaei Hosseini, James Hester, Ram Krishnan, Jaspreet Bhatia + 2 more
  95. Type-aware concolic testing of JavaScript programs · Monika Dhok, Murali Krishna Ramanathan, Nishant Sinha
  96. Understanding and fixing multiple language interoperability issues: the C/Fortran case · Nawrin Sultana, Justin Middleton, Jeffrey Overbey, Munawar Hafiz
  97. Understanding asynchronous interactions in full-stack JavaScript · Saba Alimadadi, Ali Mesbah, Karthik Pattabiraman
  98. Using (bio)metrics to predict code quality online · Sebastian C. Müller, Thomas Fritz
  99. VDTest: an automated framework to support testing for virtual devices · Tingting Yu, Xiao Qu, Myra B. Cohen
  100. Work practices and challenges in pull-based development: the contributor's perspective · Georgios Gousios, Margaret-Anne D. Storey, Alberto Bacchelli
  101. iDice: problem identification for emerging issues · Qingwei Lin, Jian-Guang Lou, Hongyu Zhang, Dongmei Zhang