Roopak Sinha, Cheng Pang, Gerardo Santillan Martinez, Juha Kuronen, Valeriy Vyatkin. Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. In 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. pages 198-201, IEEE, 2015. [doi]
@inproceedings{SinhaPMKV15,
title = {Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems},
author = {Roopak Sinha and Cheng Pang and Gerardo Santillan Martinez and Juha Kuronen and Valeriy Vyatkin},
year = {2015},
doi = {10.1109/ICECCS.2015.32},
url = {http://dx.doi.org/10.1109/ICECCS.2015.32},
researchr = {https://researchr.org/publication/SinhaPMKV15},
cites = {0},
citedby = {0},
pages = {198-201},
booktitle = {20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015},
publisher = {IEEE},
isbn = {978-1-4673-8581-7},
}