%0 Journal Article %1 journals/sosym/ChoiB17 %A Choi, Yunja %A Byun, Taejoon %D 2017 %J Softw. Syst. Model. %K dblp %N 1 %P 7-24 %T Constraint-based test generation for automotive operating systems. %U http://dblp.uni-trier.de/db/journals/sosym/sosym16.html#ChoiB17 %V 16

@article{journals/sosym/ChoiB17, added-at = {2020-09-18T00:00:00.000+0200}, author = {Choi, Yunja and Byun, Taejoon}, biburl = {https://www.bibsonomy.org/bibtex/2ea8f7208ed12e9fc0f3f704b08e5f4de/dblp}, ee = {https://doi.org/10.1007/s10270-014-0449-6}, interhash = {f4a66588ce66b72fb4a13dc34ed68e5a}, intrahash = {ea8f7208ed12e9fc0f3f704b08e5f4de}, journal = {Softw. Syst. Model.}, keywords = {dblp}, number = 1, pages = {7-24}, timestamp = {2020-09-19T11:40:27.000+0200}, title = {Constraint-based test generation for automotive operating systems.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym16.html#ChoiB17}, volume = 16, year = 2017 }