Exact and Efficient Temporal Steering of Software Behavioral Model Inference.

Sylvain Lamprier, Tewfik Ziadi, Nicolas Baskiotis, Lom-Messan Hillah

Browse the full ICECCS paper archive.