Temporal logic specification mining of programs

Autor:	Nan Zhang, Zhenhua Duan, Bin Yu, Xiaoshuai Yuan, Cong Tian
Rok vydání:	2021
Předmět:	Set (abstract data type) Specification mining General Computer Science Relation (database) Computer science Temporal logic Data mining computer.software_genre computer Theoretical Computer Science TRACE (psycholinguistics)
Zdroj:	Theoretical Computer Science. 857:29-42
ISSN:	0304-3975
Popis:	This paper proposes a dynamic approach of specification mining for Propositional Projection Temporal Logic (PPTL). To this end, a pattern library is built to collect some common temporal relation among events. Further, several algorithms of specification mining for PPTL are designed. With our approach, PPTL specifications are mined from a trace set of a target program by using patterns in the library. In addition, a specification mining tool PPTLMiner supporting this approach is developed. In practice, given a trace set and user selected patterns, PPTLMiner can capture PPTL specifications of target programs.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::552f6d65604c45e758c43038ba964d6e https://doi.org/10.1016/j.tcs.2020.12.032 Zobrazit plný text záznamu Full Text from ScienceDirect