%0 Conference Paper %1 conf/iceccs/SinhaPMKV15 %A Sinha, Roopak %A Pang, Cheng %A Martinez, Gerardo Santillan %A Kuronen, Juha %A Vyatkin, Valeriy %B ICECCS %D 2015 %I IEEE Computer Society %K dblp %P 198-201 %T Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2015.html#SinhaPMKV15 %@ 978-1-4673-8581-7

@inproceedings{conf/iceccs/SinhaPMKV15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Sinha, Roopak and Pang, Cheng and Martinez, Gerardo Santillan and Kuronen, Juha and Vyatkin, Valeriy}, biburl = {https://www.bibsonomy.org/bibtex/214f3a7546f2657f9469b7c57bb84374f/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2015.32}, interhash = {b753d6332a643c5f00a9212bf6192022}, intrahash = {14f3a7546f2657f9469b7c57bb84374f}, isbn = {978-1-4673-8581-7}, keywords = {dblp}, pages = {198-201}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:31:15.000+0200}, title = {Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2015.html#SinhaPMKV15}, year = 2015 }