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]
Abstract is missing.