Specification mining frameworks for complex software systems