Constructing a usage model for statistical testing with source code generation methods | IEEE Conference Publication | IEEE Xplore