IDATG: an open tool for automated testing of interactive software | IEEE Conference Publication | IEEE Xplore