Knowledge Discovery and Data Mining Research Group 
KDDRG

Project on
Applications of Data Mining to Software Engineering 

MINING STATE MACHINE SIMULATIONS

Project Members

• Faculty: Carolina Ruiz and Kathi Fisler.
• Students: Chris Cole.

Project Description

To ensure that the design of a hardware system or protocol works according to specification, either a formal proof is constructed or the design is tested through simulations. In this project we apply data mining methods to the output of design simulations to discover patterns in the design's behavior. If mining the data produces unexpected results, the design should be questioned. If no unexpected patterns are generated, the patters can be used to guide formal verification methods.