Software Specifications Mining: A Survey

Specifications mining was proposed first by Ammons and Bodik, has received intensive research due to its wide range applicability in many real-life domains. Various improvements have been proposed which include mining specifications as automata, Linear Temporal Logic (LTL) and Live Sequence Charts (LSCs). Several algorithms have been proposed for mining specifications. This paper gives a survey of various specifications mining algorithms, their merits, demerits and improvements of one algorithm over another.