| layout | post |
|---|---|
| title | Symbolic execution for property based testing in practice |
| authors | Weixin |
| date | 2015-05-28 13:45:00 +0800 |
| venue | CB 313 |
| categories | Weixin 2015 |
Since counter-example generation feature has been introduced, symbolic execution for property based testing becomes practical and seems to be effective for finding bugs. In this tutorial-like talk, we will go through a series of concrete examples together. Meanwhile, a parallel comparison between QuickCheck and our approach will be conducted to illustrate the strengths that symbolic execution brings.