Enhanced software design reusability in safety-critical embedded applications using automated structural test generation | IEEE Conference Publication | IEEE Xplore