%0 Conference Paper %1 conf/apsec/LiLSZS17 %A Li, Zhiwei %A Liu, Jing %A Sun, Haiying %A Zhou, Tingliang %A Sun, Junfeng %B APSEC %D 2017 %E Lv, Jian %E Zhang, He Jason %E Hinchey, Mike %E Liu, Xiao %I IEEE Computer Society %K dblp %P 513-520 %T Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2017.html#LiLSZS17 %@ 978-1-5386-3681-7

@inproceedings{conf/apsec/LiLSZS17, added-at = {2023-03-23T00:00:00.000+0100}, author = {Li, Zhiwei and Liu, Jing and Sun, Haiying and Zhou, Tingliang and Sun, Junfeng}, biburl = {https://www.bibsonomy.org/bibtex/29d52ab45d6db7580fb5a1fd2fd0a2d9e/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2017}, editor = {Lv, Jian and Zhang, He Jason and Hinchey, Mike and Liu, Xiao}, ee = {https://doi.ieeecomputersociety.org/10.1109/APSEC.2017.58}, interhash = {3ec1f27b7a631cb083dc221a650ad373}, intrahash = {9d52ab45d6db7580fb5a1fd2fd0a2d9e}, isbn = {978-1-5386-3681-7}, keywords = {dblp}, pages = {513-520}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:45:06.000+0200}, title = {Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2017.html#LiLSZS17}, year = 2017 }