What you see is what you test: a methodology for testing form-based visual programs | IEEE Conference Publication | IEEE Xplore