Browse by University of Northampton Authors

Book Section

1. 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

1. 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.
2. 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

1. 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.