ISSTA A

60 papers

YearTitle / Authors
2021A lightweight framework for function name reassignment based on large-scale stripped binaries.
Han Gao, Shaoyin Cheng, Yinxing Xue, Weiming Zhang
2021AdvDoor: adversarial backdoor attack of deep learning system.
Quan Zhang, Yifeng Ding, Yongqiang Tian, Jianmin Guo, Min Yuan, Yu Jiang
2021An infrastructure approach to improving effectiveness of Android UI testing tools.
Wenyu Wang, Wing Lam, Tao Xie
2021Attack as defense: characterizing adversarial examples using robustness.
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun
2021Automated debugging: past, present, and future (ISSTA impact paper award).
Chris Parnin, Alessandro Orso
2021Automated patch backporting in Linux (experience paper).
Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury
2021Automatic test suite generation for key-points detection DNNs using many-objective search (experience paper).
Fitash Ul Haq, Donghwan Shin, Lionel C. Briand, Thomas Stifter, Jun Wang
2021Boosting symbolic execution via constraint solving time prediction (experience paper).
Sicheng Luo, Hui Xu, Yanxiang Bi, Xin Wang, Yangfan Zhou
2021C4: the C compiler concurrency checker.
Matt Windsor, Alastair F. Donaldson, John Wickerson
2021Challenges and opportunities: an in-depth empirical study on configuration error injection testing.
Wang Li, Zhouyang Jia, Shanshan Li, Yuanliang Zhang, Teng Wang, Erci Xu, Ji Wang, Xiangke Liao
2021Continuous test suite failure prediction.
Cong Pan, Michael Pradel
2021Deep just-in-time defect prediction: how far are we?
Zhengran Zeng, Yuqun Zhang, Haotian Zhang, Lingming Zhang
2021DeepCrime: mutation testing of deep learning systems based on real faults.
Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella
2021DeepHyperion: exploring the feature space of deep learning-based systems through illumination search.
Tahereh Zohdinasab, Vincenzo Riccio, Alessio Gambi, Paolo Tonella
2021DialTest: automated testing for recurrent-neural-network-driven dialogue systems.
Zixi Liu, Yang Feng, Zhenyu Chen
2021Efficient white-box fairness testing through gradient search.
Lingfeng Zhang, Yueling Zhang, Min Zhang
2021Empirical evaluation of smart contract testing: what is the best choice?
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, Yan Cai
2021Empirically evaluating readily available information for regression test optimization in continuous integration.
Daniel Elsner, Florian Hauer, Alexander Pretschner, Silke Reimer
2021Exposing previously undetectable faults in deep neural networks.
Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham
2021Faster, deeper, easier: crowdsourcing diagnosis of microservice kernel failure from user space.
Yicheng Pan, Meng Ma, Xinrui Jiang, Ping Wang
2021Finding data compatibility bugs with JSON subschema checking.
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
2021Fixing dependency errors for Python build reproducibility.
Suchita Mukherjee, Abigail Almanza, Cindy Rubio-González
2021Fuzzing SMT solvers via two-dimensional input space exploration.
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang
2021GUIDER: GUI structure and vision co-guided test script repair for Android apps.
Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, Xuandong Li
2021Gramatron: effective grammar-aware fuzzing.
Prashast Srivastava, Mathias Payer
2021Grammar-agnostic symbolic execution by token symbolization.
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang
2021HomDroid: detecting Android covert malware by social-network homophily analysis.
Yueming Wu, Deqing Zou, Wei Yang, Xiang Li, Hai Jin
2021ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021.
Cristian Cadar, Xiangyu Zhang
2021Identifying privacy weaknesses from multi-party trigger-action integration platforms.
Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong
2021Interval constraint-based mutation testing of numerical specifications.
Clothilde Jeangoudoux, Eva Darulova, Christoph Quirin Lauter
2021Log-based slicing for system-level test cases.
Salma Messaoudi, Donghwan Shin, Annibale Panichella, Domenico Bianculli, Lionel C. Briand
2021MoScan: a model-based vulnerability scanner for web single sign-on services.
Hanlin Wei, Behnaz Hassanshahi, Guangdong Bai, Padmanabhan Krishnan, Kostyantyn Vorobyov
2021Model-based testing of networked applications.
Yishuai Li, Benjamin C. Pierce, Steve Zdancewic
2021ModelDiff: testing-based DNN similarity comparison for model reuse detection.
Yuanchun Li, Ziqi Zhang, Bingyan Liu, Ziyue Yang, Yunxin Liu
2021Modular call graph construction for security scanning of Node.js applications.
Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
2021Parema: an unpacking framework for demystifying VM-based Android packers.
Lei Xue, Yuxiao Yan, Luyi Yan, Muhui Jiang, Xiapu Luo, Dinghao Wu, Yajin Zhou
2021Predoo: precision testing of deep learning operators.
Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu, Dong Chai, Jiang Wang, Zhenyu Chen
2021ProFuzzBench: a benchmark for stateful protocol fuzzing.
Roberto Natella, Van-Thuan Pham
2021QFuzz: quantitative fuzzing for side channels.
Yannic Noller, Saeid Tizpaz-Niari
2021RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis.
Ming Yuan, Yeseop Lee, Chao Zhang, Yun Li, Yan Cai, Bodong Zhao
2021RESTest: automated black-box testing of RESTful web APIs.
Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés
2021Runtime detection of memory errors with smart status.
Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, Jingling Xue
2021SAND: a static analysis approach for detecting SQL antipatterns.
Yingjun Lyu, Sasha Volokh, William G. J. Halfond, Omer Tripp
2021SCStudio: a secure and efficient integrated development environment for smart contracts.
Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen, Yu Jiang
2021Seed selection for successful fuzzing.
Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, Antony L. Hosking
2021Semantic matching of GUI events for test reuse: are we there yet?
Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, Valerio Terragni
2021Semantic table structure identification in spreadsheets.
Yakun Zhang, Xiao Lv, Haoyu Dong, Wensheng Dou, Shi Han, Dongmei Zhang, Jun Wei, Dan Ye
2021Synthesize solving strategy for symbolic execution.
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang
2021TERA: optimizing stochastic regression tests in machine learning projects.
Saikat Dutta, Jeeva Selvam, Aryaman Jain, Sasa Misailovic
2021TauMed: test augmentation of deep learning in medical diagnosis.
Yunhan Hou, Jiawei Liu, Daiwei Wang, Jiawei He, Chunrong Fang, Zhenyu Chen
2021Test-case prioritization for configuration testing.
Runxiang Cheng, Lingming Zhang, Darko Marinov, Tianyin Xu
2021The impact of tool configuration spaces on the evaluation of configurable taint analysis for Android.
Austin Mordahl, Shiyi Wei
2021Toward optimal mc/dc test case generation.
Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, Arpita Dutta
2021Type and interval aware array constraint solving for symbolic execution.
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang
2021UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities.
Binfa Gui, Wei Song, Jeff Huang
2021Understanding and finding system setting-related defects in Android apps.
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su
2021Validating static warnings via testing code fragments.
Ashwin Kallingal Joshy, Xueyuan Chen, Benjamin Steenhoek, Wei Le
2021WebEvo: taming web application evolution via detecting semantic structure changes.
Fei Shao, Rui Xu, Wasif Arman Haque, Jingwei Xu, Ying Zhang, Wei Yang, Yanfang Ye, Xusheng Xiao
2021echidna-parade: a tool for diverse multicore smart contract fuzzing.
Alex Groce, Gustavo Grieco
2021iDEV: exploring and exploiting semantic deviations in ARM instruction processing.
Shisong Qin, Chao Zhang, Kaixiang Chen, Zheming Li