Modelling and Testing Requirements via Executable Abstract State Machines.

Jonathan S. Ostroff, Chen-Wei Wang

Browse the full RE paper archive.