On the use of procedural models for generation of test programs | IEEE Journals & Magazine | IEEE Xplore