Sylvain Lamprier, Tewfik Ziadi, Nicolas Baskiotis, Lom-Messan Hillah. Exact and Efficient Temporal Steering of Software Behavioral Model Inference. In 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014. pages 166-175, IEEE, 2014. [doi]
Abstract is missing.