Software Specification Discovery: A New Data Mining Approach

This paper have proposed a new data mining approach, namely specification discovery, which is a process for automated extraction of software specification from program artifacts. Three separate threads of work mining different form of specifications (automata, LTL and LSC) from program execution traces have been briefly described. Not only can these specification formalisms be easily understood by software developers, they are also formal enough to be verified by program verifiers. Hence, mining the above specification formalisms can aid both program comprehension and dependability.