Property-Oriented Passive Testing