k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] random test case generation using K framework

From: "Park, Daejun" <dpark69 AT illinois.edu>
To: Erik Schmauss <schmauss AT pdx.edu>
Cc: "k-user AT lists.cs.illinois.edu" <k-user AT lists.cs.illinois.edu>
Subject: Re: [[K-user] ] random test case generation using K framework
Date: Sun, 12 Mar 2017 23:11:01 +0000
Accept-language: en-US

Hi Erik,

Sorry for the delay in replying. As you noticed, Chucky Ellison is not active in contributing to the K-framework, and no one in our group at UIUC is currently working on the test case generation project, although we are still interested in the project and you're more than welcome to work on it. I'm forwarding your email to the k-user mailing list so that you can get more feedback from other K users.

Best,

Daejun

On Mar 8, 2017, at 12:19 AM, Erik Schmauss <schmauss AT pdx.edu> wrote:

Ah, it seems like the broken links are on the Project Ideas website. Anyway, if there is still interest in automatic test case generation for k framework, please let me know.

Thanks,

Erik

On Tue, Mar 7, 2017 at 12:39 PM, Erik Schmauss <schmauss AT pdx.edu> wrote:

Hello,

My name is Erik and I'm a student studying elements of programming language implementation. In particular, I am interested in implementing and testing interpreters. I've been looking at different tools to help me explore this topic and I saw this project here

http://www.kframework.org/index.php/ProjectIdeas#Automatic_test_case_generation

I saw that Chuky Ellison is a former member of this group. Is he still active in contributing to the k-framework project? The mailing list and the IRC links on the k-framework website seems to be broken so I am not exactly sure where to start...

-Erik

Re: [[K-user] ] random test case generation using K framework, Park, Daejun, 03/12/2017