Automated generation of (F)LTL oracles for testing and debugging.

Journal of Systems and Software（2018）

引用 12|浏览12

暂无评分

摘要

•Generate FLTL test oracles automatically.•Test oracle provides also diagnostic information on subformulae.•Polynomial SAT encoding.•Open-source Python implementation publicly available.

查看译文

关键词

Test oracle,Linear temporal logic,SAT

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要