Incorporating a contract-based test facility to the GUI framework | IEEE Conference Publication | IEEE Xplore