Searching for authors named "Simon Burton" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Towards Automated Unit Testing of Statechart Implementations
- …Towards Automated Unit Testing of Statechart Implementations Simon Burton Simon.Burton…
- Cited by 4 (0 self) – Add To MetaCart
-
Automated Generation of High Integrity Test Suites from Graphical Specifications
- …Automated Generation of High Integrity Test Suites from Graphical Specifications Simon Burton…
- Cited by 2 (0 self) – Add To MetaCart
-
Automated Testing from Z Specifications
- …Automated Testing From Z Specifications Simon Burton Department of Computer Science. University…
- Cited by 4 (0 self) – Add To MetaCart
-
Testing, Proof and Automation. An Integrated Approach
- …Testing, Proof and Automation. An Integrated Approach Simon Burton John Clark John Mc…
- Cited by 5 (2 self) – Add To MetaCart
-
Automated V&V for high integrity systems, a targeted formal methods approach
- …Automated V&V for high integrity systems, a targeted formal methods approach Simon Burton, John…
- Cited by 9 (4 self) – Add To MetaCart
-
Towards Industrially Applicable Formal Methods: Three Small Steps, and One Giant Leap
- …Dermid, Andy Galloway, Simon Burton, John Clark, Ian Toyn, Nigel Tracey, Sam Valentine High Integrity Systems…
- Cited by 7 (4 self) – Add To MetaCart
Showing 1 through 6.
