@dblp

Automated test case generation from domain specific models of high-level requirements.

, , , , , and . RACS, page 505-508. ACM, (2015)

Links and resources

Tags