Minor version update due the following changes introduced since 3.8.0: - Model-based mutation testing (337, 491, MR 305) - Test Set Parser/Writer (409, 497) - CEFSM to EFSM Conversion updates: handle payloads (296), handles many-to-one communications (487), handles all of the blocking options, handles the expected messages clause - Parsing ternary conditional operators (492) - Add algo params to test suite (475) - Regression test (326) - TestSuite Parser refactor (478, still ongoing) - Check and update all test models - New sections in notes for contributors (326, 478, 490, 492, 497) - Fix compiler warnings (444) - Small updates for issues 474, 481, 480, 484 - Bugfixes for 214, 222, 444, 472, 473, 477, 479, 489, 493, 499