Formal mutation testing for Circus

نتیجه گیری: ما نتیجه گرفتیم که تست جهشی برای سیرکو واقعا می تواند باعث ایجاد نسل تست از مدل غنی از دولت شود و با تمرکز بر گسل های خاصی مواجه شود.