ISSTA 2020 已经于 7 月 18 日线上开幕,并将于 22 日结束!International Symposium on Software Testing and Analysis(ISSTA)是关于软件测试和分析的重要国际性研究专题讨论会,会议汇集了大量学者、工业界研究人员以及相关实践者,就如何分析和测试软件系统交换新思想、问题和经验。
今年的主题演讲人为来自麻省理工学院电子电气与计算机科学系的 Barbara Liskov 教授。她是美国第一个计算机科学女博士,现为美国计算机科学家,2008 年图灵奖得主,2004 年约翰·冯诺依曼奖得主。
通过对 AMiner 平台中 ISSTA 2015-2019 这五年来收录论文数据的挖掘,从词云可以看出,ISSTA 的关键词主要集中在 Android Apps、Symbolic Execution、Android Application、Mobile Application、Web Application、Automatic Generation等方向。
通过对 2015-2019 这五年来接收论文中所有学者信息的提取,我们分析了这些学者的性别比例、国籍分布与语言分布情况。可以看出,ISSTA 的投稿学者以男性为主,占比 85.87%。从学者分布情况来看,投稿学者主要来自美国、中国、英国,分别占比 30.91、13.94%,11.52%。那么在过去五年中,ISSTA 又有哪些高引论文呢?有哪些论文在 ISSTA 舞台上大放异彩呢?
AMiner 清单奉上~2015-2019五年间高引论文TOP10 An analysis of patch plausibility and correctness for generate-and-validate patch generation systems (2015) 作者:Zichao Qi, Fan Long, Sara Achour, Martin C. Rinard 被引用:239 Sapienz: multi-objective automated testing for Android applications (2016) 作者:Ke Mao, Mark Harman, Yue Jia 被引用:234 WuKong: a scalable and accurate two-phase approach to Android app clone detection (2015) 作者:Haoyu Wang, Yao Guo, Ziang Ma, Xiangqun Chen 被引用:151 Practical regression test selection with dynamic file dependencies (2015) 作者:Milos Gligoric, Lamyaa Eloussi, Darko Marinov 被引用:122 Practitioners' expectations on automated fault localization (2016) 作者:Pavneet Singh Kochhar, Xin Xia, David Lo, Shanping Li 被引用:111 DroidRA: taming reflection to support whole-program analysis of Android apps (2016) 作者:Li Li, Tegawendé F. Bissyandé, Damien Octeau, Jacques Klein 被引用:97 Automated software transplantation (2015) 作者:Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, Justyna Petke 被引用:96 Automatic generation of system test cases from use case specifications (2015) 作者:Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, Muhammad Zohaib Z. Iqbal 被引用:91 A learning-to-rank based fault localization approach using likely invariants (2016) 作者:Tien-Duy B. Le, David Lo, Claire Le Goues, Lars Grunske 被引用:85 Systematic execution of Android test suites in adverse conditions (2015) 作者:Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller 被引用:76 历年奖项获得者 ISSTA 2020 Impact Paper Award2020 - Mutation-driven generation of unit tests and oracles (ISSTA 2010) 作者:Gordon Fraser, Andreas Zeller 2019 - Theory and Practice of String Solvers (Invited Talk Abstract) 作者:Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh 2018 - Practical Pluggable Types for Java 作者:Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst 2017 - Dytan: a generic dynamic taint analysis framework 作者:James Clause, Wanchun Li, Alessandro Orso. ISSTA Retrospective Impact Paper Award 2020 - Selecting tests and identifying test coverage requirements for modified software 作者:Gregg Rothermel, Mary Jean Harrold 2019 - From Typestate Verification to Interpretable Deep Models 作者:Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay 2018 - Test Input Generation With Java PathFinder 作者:Willem Visser, Corina S. Pǎsǎreanu, Sarfraz Khurshid Distinguished Paper Award 2020 Effective White-box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy 作者:Seokhyun Lee, Sooyoung Cha, Dain Lee, Hakjoo Oh Scalable Analysis of Interaction Threats in IoT Systems 作者:Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri Abstracting Failure-Inducing Inputs 作者:Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel Soremekun, Andreas Zeller Reinforcement Learning Based Curiosity-driven Testing of Android Applications 作者:Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, Xuandong Li 2019DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization 作者:Xia Li, Wei Li, Yuqun Zhang, Lingming Zhang History-driven Build Failure Fixing: How Far Are We? 作者:Yiling Lou, Junjie Chen, Lingming Zhang, Dan Hao, Lu Zhang Detecting Memory Errors at Runtime with Source-Level Instrumentation 作者:Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue 2018 Compiler Fuzzing through Deep Learning 作者:Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, DroidSafe 作者:Lina Qiu, Yingying Wang, Julia Rubin PerfFuzz: Automatically Generating Pathological Inputs 作者:Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song 2017 Just-in-Time Static Analysis 作者:Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson Murphy-Hill Faster Mutation Analysis via Equivalence Modulus States 作者:Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao Automated Repair of Layout Cross Browser Issues Using Search-Based Techniques 作者:Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G.J. Halfond 2016 Analyzing Test Completeness for Dynamic Languages 作者:Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller Efficient Flow Profiling for Detecting Performance Bugs 作者:Rashmi Mudduluru, Murali Krishna Ramanathan