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.