Model Based Testing Using Software Architecture | IEEE Conference Publication | IEEE Xplore