Zhiwei Li, Jing Liu, Haiying Sun, Tingliang Zhou, Junfeng Sun. Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System. In Jian Lv, He Jason Zhang, Mike Hinchey, Xiao Liu 0004, editors, 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017. pages 513-520, IEEE Computer Society, 2017. [doi]
@inproceedings{LiLSZS17,
title = {Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System},
author = {Zhiwei Li and Jing Liu and Haiying Sun and Tingliang Zhou and Junfeng Sun},
year = {2017},
doi = {10.1109/APSEC.2017.58},
url = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2017.58},
researchr = {https://researchr.org/publication/LiLSZS17},
cites = {0},
citedby = {0},
pages = {513-520},
booktitle = {24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017},
editor = {Jian Lv and He Jason Zhang and Mike Hinchey and Xiao Liu 0004},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-3681-7},
}