3 works on record
Higher-order algebra, logic, and term rewriting
Machine Learning for Dynamic Software Analysis : Potentials and Limits
Tests and Proofs