Combining testing and proving

Publications: Some slides: