invariant-based software testing research @ University of Virginia