Modeling Executable Test Actors: Exploratory Study Done in Executable and Translatable UML | IEEE Conference Publication | IEEE Xplore