Testing Methods for Circus: a combination of Z and

Research output

Research output per year 2014 2014 2014

• 1 Article

Research output per year

Research output per year

Search results

• 2014

  Test-Data Generation for Control Coverage by Proof

  Cavalcanti, A. L. C., King, S., O'Halloran, C. & Woodcock, J. C. P., Jul 2014, In: Formal Aspects of Computing. 26, 4, p. 795-823 29 p.

  Research output: Contribution to journal › Article › peer-review