An approach to large program testing with tool WHEN | IEEE Conference Publication | IEEE Xplore