Funder
National Natural Science Foundation of China
National Key Research and Development Program of China
Shaanxi Key Science and Technology Innovation Team Project
Natural Science Basic Research Program of Shaanxi Province
Subject
General Computer Science,Theoretical Computer Science
Reference33 articles.
1. Temporal logic specification mining of programs;Zhang;Theor. Comput. Sci.,2021
2. General ltl specification mining (t);Lemieux,2015
3. Investigating program behavior using the texada ltl specifications miner;Lemieux,2015
4. Adversarial specification mining;Kang;ACM Trans. Softw. Eng. Methodol.,2021
5. Profile-based approach to support comprehension of software behavior;Koskinen,2006