Enhancing Property Specification Tools With Validation Techniques. - Salamah Salamah; Matthew Del Buono; Eric Baily; Sarah Printy; Derek Ferris; Laurel Christian (SEKE, 2009)