TL;DR: An algorithm for reliability testing of rule-based systems is described and their experience using it to test an industrial network surveillance system is described.
Abstract: Rule-based software systems are becoming more common in industrial settings, particularly to monitor and control large, real-time systems. The authors describe an algorithm for reliability testing of rule-based systems and their experience using it to test an industrial network surveillance system.