Vasu Vikram retweetledi
Been working on integrating Property-based testing into AWS's new IDE Kiro. kiro.dev/blog/property-…
English
Vasu Vikram
11 posts
Vasu Vikram
@vasumvikram
5th year PhD student at CMU
Katılım Ağustos 2021
138 Takip Edilen418 Takipçiler
Vasu Vikram retweetledi
... does it really matter in practice? Perhaps the havoc effect is benign, or maybe even a good thing?!
Our students @aoli_al @vasumvikram @hhcmadonna studied this all in great depth! Read more in our upcoming ACM TOSEM paper on the "Havoc Paradox".
📄 dl.acm.org/doi/pdf/10.114…
English
Vasu Vikram retweetledi
📢 FUZZING NEWS!
For many years @cestlemieux and I got asked whether JQF/Zest mutations always preserve input structure. THEY DON'T! There's sometimes a disruptive "havoc" effect.
BeDivFuzz (@hoanglam_ng) and Zeugma (@_jon_bell_) do a much better job avoiding it.
But WAIT....
English
Vasu Vikram retweetledi
If you found this interesting/want to dig deeper, @vasumvikram, @michaelhzhou and I built a lecture+project for a SWE class at @SCSatCMU.
[Lecture] A software engineer's guide to LLM's-cmu-313.github.io/_old/F23/asset…
[Project] Answer our syllabus q's with an LLM-colab.research.google.com/drive/18ppvk_X…
Sarah Chieng@MilksandMatcha
I compiled a ~5 min read of @andrewyng and @isafulf's 2.5 hour "Application Development using Large Language Models" talk at NeurIPS! It was super cool to attend with @metaphorsystems and I managed to get a spot by showing up very very early! 😛 Some things it covers: > LLM basics // steps to create an LLM > Supercharging with RAG > Prompt Engineering Best Practices + Tricks > Tips from the field for developers Also, shoutout to @swyx, @jerryjliu0, @brianryhuang, and @scikud for their contributions. 🙌 As per usual, love and appreciate any feedback or video/folk recommendations. This is all a learning process for me as well :) ❤️ full doc: mphr.notion.site/Application-De…
English
Very excited to announce that our work on Mu2 received a Distinguished Paper Award at @issta_conf! 🎉
Come check out my talk tomorrow at 1:30pm PDT during the Fuzzing session : )
Rohan Padhye@moarbugs
So coverage is great, but can greybox fuzzing also benefit from *mutation testing*? 🤔 📢 I'm excited to share our upcoming @issta_conf paper on Mu2: Mutation-guided Mutation-based fuzzing. 📄 Paper: rohan.padhye.org/files/mu2-isst… 💻 Code: github.com/cmu-pasta/mu2 Thread... [1/6]
English
Vasu Vikram retweetledi
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.
GIF
English
I'm very excited to present our work on Mu2 at @issta_conf this July!
Would love to hear everyone's thoughts on how we could use fuzzing to create strong regression tests. Adding mutation analysis in the loop may be the first step!
Rohan Padhye@moarbugs
So coverage is great, but can greybox fuzzing also benefit from *mutation testing*? 🤔 📢 I'm excited to share our upcoming @issta_conf paper on Mu2: Mutation-guided Mutation-based fuzzing. 📄 Paper: rohan.padhye.org/files/mu2-isst… 💻 Code: github.com/cmu-pasta/mu2 Thread... [1/6]
English
Vasu Vikram retweetledi
JQF 2.0 released! The Java fuzzing framework now incorporates several speed and quality improvements from @_jon_bell_ & co. as well as support for implementing differential fuzzing. I'm excited to see lots of recent work leveraging #JQF's extensibility.
github.com/rohanpadhye/JQF
English
Vasu Vikram retweetledi
Vasu Vikram retweetledi
Congrats to my undergraduate student Bella Laybourn for receiving the second prize in the ACM student research competition at #ICSE2022 for Mu2: Greybox Fuzzing with Mutation Analysis. Bella started this project as a sophomore student at CMU. Great job!
English
Vasu Vikram retweetledi
Hey, so compiler fuzzers find corner cases by generating highly unnatural code, right? Maybe NOT. We found that CSmith's programs are *more* predictable than human-written ones, as per language models trained on GitHub code. Check out our @msconf preprint: rohan.padhye.org/files/natfuzz-…
English