Rohan Padhye (@moarbugs) 's Twitter Profile
Rohan Padhye

@moarbugs

Assistant Professor at @S3DatCMU @SCSatCMU. PhD from @Berkeley_EECS. Connessiur of hot sauce.

ID: 1042652616650502144

linkhttp://rohan.padhye.org calendar_today20-09-2018 05:52:10

1,1K Tweet

2,2K Followers

527 Following

Rohan Padhye (@moarbugs) 's Twitter Profile Photo
Rohan Padhye
@moarbugs

2 years ago

Do you like quickcheck/hypothesis/fuzzing but can't bother to hand-write oracles/properties that validate the correctness of your APIs? Check out proptest.ai! Simply copy+paste Python API docs from a website and let an LLM have a go at synthesizing a property test.