Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System | IEEE Conference Publication | IEEE Xplore