Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System.

Zhiwei Li, Jing Liu, Haiying Sun, Tingliang Zhou, Junfeng Sun

Browse the full APSEC paper archive.