Author:
Luo Weilin,Wan Hai,Song Xiaotong,Yang Binhao,Zhong Hongzhen,Chen Yin
Funder
National Natural Science Foundation of China
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter;Journal of Systems and Software;2024-07
3. ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking;Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results;2024-04-14
4. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
5. SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11