The YogiProject: Software Property Checking via Static Analysis and Testing
Abstract elided by the publisher.
Related papers
- Higher-order test generation PLDI 2011
- Efficient software model checking of data structure properties OOPSLA 2006
- Static specification inference using predicate mining PLDI 2007
- Xmonad Haskell 2007
- Abstraction of memory block manipulations by symbolic loop folding ESOP 2025
- Mutatis mutandis: safe and predictable dynamic software updating POPL 2005
- Static Analysis versus Software Model Checking for Bug Finding VMCAI 2004
- Software Model Checking via Summary-Guided Search OOPSLA 2025