[racket-users] Re: grammar-based fuzzing

2019-06-14 Thread Eric Eide
Eric Eide writes: > You might be interested in Xsmith. Version 1.0 will be released imminently, > like within the next week. I'll send another email when it's released. To follow up in this thread, Xsmith version 1.0.0 is now available. You can find it in the Racket package catalog: https://p

[racket-users] Re: grammar-based fuzzing

2019-06-12 Thread Ryan Kramer
Thanks everyone for the good suggestions. Xsmith looks particularly appealing, looking forward to 1.0! -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-us

[racket-users] Re: grammar-based fuzzing

2019-06-11 Thread zeRusski
cool wasn't aware of Xsmith! Surprised to find RACR backing it - I looked at its source a while back for some attribute grammar magic - ended up not doing anything though - was it lack of docs - can't recall. IIRC it has some true scheme magic in there. Academics often suck at marketing ;) For

Re: [racket-users] Re: grammar-based fuzzing

2019-06-06 Thread Robby Findler
In addition to the other suggestions, if you can express the thing you want to generate as a contract, the contract library will generate random instances of it. But it doesn't have the tuning of weights you're looking for. Robby On Thu, Jun 6, 2019 at 3:41 PM Eric Eide wrote: > > Ryan Kramer w

[racket-users] Re: grammar-based fuzzing

2019-06-06 Thread Eric Eide
Ryan Kramer writes: > Does Racket have any grammar-based fuzzing utilities? You might be interested in Xsmith. Version 1.0 will be released imminently, like within the next week. I'll send another email when it's released. Stay tuned! -- -