Automated test case generation for the K Framework

by Chieu Nguyen for Formal Systems Laboratory at UIUC

I propose to develop automated test case generation capabilities for the K Framework, allowing test cases to be generated from the specification of languages implemented in K.