Laura Carnevali, Luigi Sassoli, Enrico Vicario. Sensitization of symbolic runs in real-time testing using the ORIS tool. In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2007, September 25-28, 2007, Patras, Greece. pages 85-92, IEEE, 2007. [doi]
Abstract is missing.