AMOST/QuoMBaT: Workshop on Advances and Quality in Model-Based Testing Committee | IEEE Conference Publication | IEEE Xplore