Automating testing by reverse engineering of software documentation | IEEE Conference Publication | IEEE Xplore