Automatic Discovery of Behavioral Models From Software Execution Data · Study