Colin O'Halloran
Selected Publications
-
Test−data Generation for Control Coverage by Proof
A. Cavalcanti‚ S. King‚ C. O'Halloran and J. Woodcock
In Formal Aspects of Computing. Pages 1−29. 2013.
Details about Test−data Generation for Control Coverage by Proof | BibTeX data for Test−data Generation for Control Coverage by Proof | DOI (10.1007/s00165-013-0279-2) | Link to Test−data Generation for Control Coverage by Proof
-
From Control Law Diagrams to Ada via Circus
A. Cavalcanti‚ P. Clayton and C. O'Halloran
In Formal Aspects of Computing. Vol. 23. Pages 465−512. 2011.
Details about From Control Law Diagrams to Ada via Circus | BibTeX data for From Control Law Diagrams to Ada via Circus | DOI (10.1007/s00165-010-0170-3) | Link to From Control Law Diagrams to Ada via Circus