publication venue for Verifying Digital Components of Physical Systems: Experimental Evaluation of Test Quality. 60:2012-2018. 2018
