Using simulation to empirically investigate test coverage criteria based on statechart | IEEE Conference Publication | IEEE Xplore