A Two-Layered Framework for the Discovery of Software Behavior: A Case Study