Incremented minor version because of the following improvements has been introduced since the last minor version (3.7.0) update: (1) Change injection can generate all possible fault models of a given type (#346), (2) CEFSM->EFSM transformation v0 (#296), (3) Graphviz file generation refactor (#103, #464), (4) H/HSI/ATT/ATS subsequences (#244, #467, #468), (5) Other minor updates (#163, #238, #439, #447), (6) Various bugfixes (#369, #378, #393, #395, #426, #441, #442, #445, #451, #452, #453, #454, #455, #456, #457, #459, #470, #471), (7) Updates in documentations (User Guide, notes for contributors) (8) Reorder existing TestGeneration tests by test gen algos