PRECIS: Inferring invariants using program path guided clustering | IEEE Conference Publication | IEEE Xplore