@inproceedings{a3eba6fe632a40b7a68f9a6626440279,
title = "Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System",
abstract = "Interlocking system is an important module to ensure traffic safety. However it is still very difficult to apply automatic testing in industrial application. In this paper, we propose an approach to generate test case automatically with the help of SMT Solver. First, we extract the yard specification written by boolean expressions from interlocking rules and configuration specification. And then a process to generate test cases based on the specification is given. Finally, We apply our approach to the interlocking system at LongXiLu station in China.",
keywords = "boolean expression, interlocking system, test generation",
author = "Zhiwei Li and Jing Liu and Haiying Sun and Tingliang Zhou and Junfeng Sun",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 24th Asia-Pacific Software Engineering Conference, APSEC 2017 ; Conference date: 04-12-2017 Through 08-12-2017",
year = "2017",
month = jul,
day = "2",
doi = "10.1109/APSEC.2017.58",
language = "英语",
series = "Proceedings - Asia-Pacific Software Engineering Conference, APSEC",
publisher = "IEEE Computer Society",
pages = "513--520",
editor = "Jian Lv and He Zhang and Mike Hinchey and Xiao Liu",
booktitle = "Proceedings - 24th Asia-Pacific Software Engineering Conference, APSEC 2017",
address = "美国",
}