Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems.

Yunja Choi, Min Zhang, Kazuhiro Ogata

Browse the full APSEC paper archive.