my forest
1\import{refs-datalog}
2\title{Property-based testing}
3\taxon{Research Theme}
4\author{liamoc}
5\p{I'm interested in bringing more formal methods techniques into the world of testing and traditional software engineering via the avenue of property-based testing.}
6 \query\datalog{
7 ?X -: {\rel/my-references ?X} {\rel/has-tag ?X '{pbt}}
8 }