Slicing executable system-of-systems models for efficient statistical verification.

Jiyoung Song, Jacob O. Trring, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae

Browse the full ICSE paper archive.