statelearner icon indicating copy to clipboard operation
statelearner copied to clipboard

A tool that can be used to learn state machines from implementations.

Results 4 statelearner issues
Sort by recently updated
recently updated
newest added

Hi, After reading your paper about fuzzing protocol states, I'm really interested in your work. Now the tool is built successfully. but i don't know how to run config and...

Hello @jderuiter, I would like to use the statelearner on some of the newer TLS libraries/implementations out there to compare their state machines to some of the ones tested in...

Hi, I just use the tool to test some other protocols , I modified the SUL and used TLSTestService.java to fit new protocol , and the test passed. But when...

When dot is not present on the system, currently the tool will crash with an exception. This exception should be caught and a meaningful message displayed to the user.