Fetching the paper…
Reading the bibliography…
Symbolic execution is a key technology in software testing, which generates test cases by collecting symbolic path constraints and then solving constraints with SMT solvers.
Nils Reimers and Iryna Gurevych. 2019 · 1908
Earlier work this paper cites.
Symbolic execution and program testing
James C King. 1976 · 1976
Earlier work this paper cites.
Concolic testing. In Proceedings of the 22nd IEEE/ACM international conference on Automated software engineering . 571–572
Koushik Sen. 2007 · 2007
Earlier work this paper cites.
Klee: unassisted and automatic generation of high-coverage tests for complex systems programs.. In OSDI , Vol. 8. 209–224
Cristian Cadar, Daniel Dunbar, Dawson R Engler, et al · 2008
Earlier work this paper cites.
Z3: An efficient SMT solver. In International conference on Tools and Algorithms for the Construction and Analysis of Systems . Springer, 337–340
Leonardo De Moura and Nikolaj Bjørner. 2008 · 2008
Earlier work this paper cites.
Symbolic PathFinder: symbolic execution of Java bytecode. In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering . 179–180
Corina S Păsăreanu and Neha Rungta. 2010 · 2010
Earlier work this paper cites.
A peer architecture for lightweight symbolic execution
Alessandro Disney Bruni, Tim Disney, and Cormac Flanagan. 2011 · 2011
Earlier work this paper cites.
Improving search-based test suite generation with dynamic symbolic execution. In 2013 ieee 24th international symposium on software reliability engineering (issre) . IEEE, 360–369
Juan Pablo Galeotti, Gordon Fraser, and Andrea Arcuri. 2013 · 2013
Earlier work this paper cites.
Prototyping symbolic execution engines for interpreted languages. In Proceedings of the 19th international conference on Architectural support for programming languages and operating systems . 239–254
Stefan Bucur, Johannes Kinder, and George Candea. 2014 · 2014
Earlier work this paper cites.
Deconstructing dynamic symbolic execution
Thomas Ball and Jakub Daniel. 2015 · 2015
Earlier work this paper cites.
Triton: A dynamic symbolic execution framework. In Symposium sur la sécurité des technologies de l’information et des communications, SSTIC, France, Rennes . 31–54
Florent Saudel and Jonathan Salwan. 2015 · 2015
Earlier work this paper cites.
Symbolic execution of complex program driven by machine learning based constraint solving. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering . 554–559
Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, and Xuandong Li. 2016 · 2016
Earlier work this paper cites.
Sok:(state of) the art of war: Offensive techniques in binary analysis. In 2016 IEEE symposium on security and privacy (SP) . IEEE, 138–157
Yan Shoshitaishvili, Ruoyu Wang, Christopher Salls, Nick Stephens, Mario Polino, Andrew Dutcher, John Grosen, Siji Feng, Christophe Hauser, Christopher Kruegel, et al · 2016
Earlier work this paper cites.
A survey of symbolic execution techniques
Roberto Baldoni, Emilio Coppa, Daniele Cono D’elia, Camil Demetrescu, and Irene Finocchi. 2018 · 2018
Cited alongside, same era.
Andreas Zeller, Rahul Gopinath, Marcel Böhme, Gordon Fraser, and Christian Holler. 2019 · 2019
Cited alongside, same era.
Training verifiers to solve math word problems
Karl Cobbe, Vineet Kosaraju, Mohammad Bavarian, Mark Chen, Heewoo Jun, Lukasz Kaiser, Matthias Plappert, Jerry Tworek, Jacob Hilton, Reiichiro Nakano, et al · 2021
Cited alongside, same era.
Pynguin: Automated unit test generation for python. In Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings . 168–172
Stephan Lukasczyk and Gordon Fraser. 2022 · 2022
Cited alongside, same era.
Beyond the imitation game: Quantifying and extrapolating the capabilities of language models
Code Agents are State of the Art Software Testers
Niels Mündler, Mark Niklas Müller, Jingxuan He, and Martin Vechev. 2024 · 2024
Closest in time.
Large-scale, Independent and Comprehensive study of the power of LLMs for test case generation
Wendkûuni C Ouédraogo, Kader Kaboré, Haoye Tian, Yewei Song, Anil Koyuncu, Jacques Klein, David Lo, and Tegawendé F Bissyandé. 2024 · 2024
Closest in time.
Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM
Gabriel Ryan, Siddhartha Jain, Mingyue Shang, Shiqi Wang, Xiaofei Ma, Murali Krishna Ramanathan, and Baishakhi Ray. 2024 · 2024
Closest in time.
When Dataflow Analysis Meets Large Language Models
Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, and Xiangyu Zhang. 2024e · 2024
Closest in time.
Software testing with large language models: Survey, landscape, and vision
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Aarohi Srivastava, Abhinav Rastogi, Abhishek Rao, Abu Awal Md Shoeb, Abubakar Abid, Adam Fisch, Adam R Brown, Adam Santoro, Aditya Gupta, Adrià Garriga-Alonso, et al · 2022
Cited alongside, same era.
Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) . IEEE, 919–931
Caroline Lemieux, Jeevana Priya Inala, Shuvendu K Lahiri, and Siddhartha Sen. 2023 · 2023
Cited alongside, same era.
Chang Liu, Xiwei Wu, Yuan Feng, Qinxiang Cao, and Junchi Yan. 2023 · 2023
Cited alongside, same era.
Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning. In Findings of the Association for Computational Linguistics: EMNLP 2023 . 3806–3824
Liangming Pan, Alon Albalak, Xinyi Wang, and William Wang. 2023 · 2023
Cited alongside, same era.
An empirical evaluation of using large language models for automated unit test generation
Max Schäfer, Sarah Nadi, Aryaz Eghbali, and Frank Tip. 2023 · 2023
Cited alongside, same era.
Satlm: Satisfiability-aided language models using declarative prompting
Xi Ye, Qiaochu Chen, Isil Dillig, and Greg Durrett. 2023 · 2023
Cited alongside, same era.
Chatunitest: A framework for llm-based test generation. In Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering . 572–576
Yinghao Chen, Zehao Hu, Chen Zhi, Junxiao Han, Shuiguang Deng, and Jianwei Yin. 2024 · 2024
Cited alongside, same era.
Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis. In Proceedings of the 45th IEEE Symposium on Security and Privacy (Oakland). San Francisco, CA, USA
Penghui Li, Wei Meng, Mingxue Zhang, Chenlin Wang, and Changhua Luo. 2024 · 2024
Cited alongside, same era.
Junjie Wang, Yuchao Huang, Chunyang Chen, Zhe Liu, Song Wang, and Qing Wang. 2024b · 2024
Closest in time.
TESTEVAL: Benchmarking Large Language Models for Test Case Generation
Wenhan Wang, Chenyuan Yang, Zhijie Wang, Yuheng Huang, Zhaoyang Chu, Da Song, Lingming Zhang, An Ran Chen, and Lei Ma. 2024d · 2024
Closest in time.
Efficiently detecting reentrancy vulnerabilities in complex smart contracts
Zexu Wang, Jiachi Chen, Yanlin Wang, Yu Zhang, Weizhe Zhang, and Zibin Zheng. 2024a · 2024
Closest in time.
HITS: High-coverage LLM-based Unit Test Generation via Method Slicing
Zejun Wang, Kaibo Liu, Ge Li, and Zhi Jin. 2024c · 2024
Closest in time.
AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation. In ICLR 2024 Workshop on Large Language Model (LLM) Agents
Qingyun Wu, Gagan Bansal, Jieyu Zhang, Yiran Wu, Beibin Li, Erkang Zhu, Li Jiang, Xiaoyun Zhang, Shaokun Zhang, Jiale Liu, et al · 2024
Closest in time.
Enhancing LLM-based Test Generation for Hard-to-Cover Branches via Program Analysis
Chen Yang, Junjie Chen, Bin Lin, Jianyi Zhou, and Ziqi Wang. 2024a · 2024
Closest in time.
An Empirical Study of Unit Test Generation with Large Language Models
Lin Yang, Chen Yang, Shutao Gao, Weijing Wang, Bo Wang, Qihao Zhu, Xiao Chu, Jianyi Zhou, Guangtai Liang, Qianxiang Wang, et al · 2024
Closest in time.
Evaluating and improving chatgpt for unit test generation
Zhiqiang Yuan, Mingwei Liu, Shiji Ding, Kaixin Wang, Yixuan Chen, Xin Peng, and Yiling Lou. 2024 · 2024
Closest in time.