%0 Journal Article %1 journals/scp/ChoiPBK15 %A Choi, Yunja %A Park, Mingyu %A Byun, Taejoon %A Kim, Dongwoo %D 2015 %J Sci. Comput. Program. %K dblp %P 51-70 %T Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation. %U http://dblp.uni-trier.de/db/journals/scp/scp103.html#ChoiPBK15 %V 103

@article{journals/scp/ChoiPBK15, added-at = {2021-02-17T00:00:00.000+0100}, author = {Choi, Yunja and Park, Mingyu and Byun, Taejoon and Kim, Dongwoo}, biburl = {https://www.bibsonomy.org/bibtex/258dc30eb2d1a4b9907e81fd9c76319e8/dblp}, ee = {https://doi.org/10.1016/j.scico.2014.10.006}, interhash = {d7e63e89baa0c2109455f2009804aa3d}, intrahash = {58dc30eb2d1a4b9907e81fd9c76319e8}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {51-70}, timestamp = {2024-04-09T05:29:27.000+0200}, title = {Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp103.html#ChoiPBK15}, volume = 103, year = 2015 }