Tags

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