This paper provides a brief context of current work being done in an industrial research project that involves automated transformation of high-level requirements expressed in a Domain Specific Language into test cases. The paper introduces a research idea/approach and outlines relevant research questions/challenges. Finally, the paper briefly discusses related work in this area.
|Publication status||Accepted/In press - 15 Aug 2015|
|Event||Workshop - Cambridge Veterinary School|
Duration: 25 Jan 2016 → …
|Period||25/01/16 → …|
- Formal methods
- software engineering
Ajit, S., Olajubu, O., Thomson, S., Edwards, M., Grov, G. (Ed.), & Ireland, A. (Ed.) (Accepted/In press). Model transformation of high-level requirements in a domain specific language into a formal specification language. Paper presented at Workshop, .