Rick Kuhn, Dylan Yaga, Raghu Kacker, Jeff Lei, Vincent C. Hu. Pseudo-Exhaustive Verification of Rule Based Systems. In Óscar Mortágua Pereira, editor, The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018. pages 586-585, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2018. [doi]
Abstract is missing.