Jadranka Alilovic-Curgus

Learn More
In this paper, we extend the testing theory based on formal specifications b y formalizing testing for intemperability with a new relation intop. Intuitively, P intop Q iJ for every event onered b y either P or Q, the concurrent execution of P and Q will be able to proceed with the traces in S, where S is their (common) specification. This theory is(More)
  • 1