 | Up a level |
Group by: Item Type | Date
Number of items: 4.
Book Section
- Olajubu, O., Ajit, S. and Turner, S. J. (2017) Automated test case generation from high-level logic requirements using model transformation techniques. In: Proceedings of 9th Computer Science and Electronic Engineering (CEEC'17). IEEE. (Accepted)
Conference or Workshop Item
- Olajubu, O., Ajit, S., Johnson, M., Turner, S. J., Thomson, S. and Edwards, M. (2016) A textual language for requirement modelling. Workshop presented to: School of Science and Technology Annual Research Conference, Newton Building, The University of Northampton, 02 March 2016.
- Ajit, S., Olajubu, O., Thomson, S. and Edwards, M. (2015) Model transformation of high-level requirements in a domain specific language into a formal specification language. Paper presented to: 15th International Workshop on Automated Verification of Critical Systems (AVOCS 2015), Edinburgh, 01-04 September 2015. (Unpublished)
Conference Proceedings
- Olajubu, O., Ajit, S., Johnson, M., Turner, S. J., Thomson, S. and Edwards, M. (2015) Automated test case generation from domain specific models of high-level requirements. In: Proceedings of the 2015 Conference on Research in Adaptive and Convergent Systems. New York, NY, USA: ACM. 9781450337380. pp. 505-508.