Automating Testing of Visual Observed Concurrency | IEEE Conference Publication | IEEE Xplore