Automated test case generation from domain specific models of high-level requirements
Oyindamola Olajubu
◽
Suraj Ajit
◽
Mark Johnson
◽
Scott Turner
◽
Scott Thomson
◽
...
Christian Block
◽
Serkan Dikmen
◽
Reinhard Reichel
Oyindamola Olajubu
◽
Suraj Ajit
◽
Mark Johnson
◽
Scott Thomson
◽
Mark Edwards
◽
...
Shreya Banerjee
◽
Narayan C. Debnath
◽
Anirban Sarkar
Xiaohu Dai
◽
Wenyin Gong
◽
Qiong Gu
2020 ◽
Vol 1576
◽
pp. 012042
Bo Yang
◽
Yuze He
◽
Lixing Feng
Benjamin Kormann
◽
Birgit Vogel-Heuser
Reinhard Hametner
◽
Benjamin Kormann
◽
Birgit Vogel-Heuser
◽
Dietmar Winkler
◽
Alois Zoitl
Rudolf Ramler
◽
Claus Klammer
◽
Georg Buchgeher