Benchmark programs for evaluating knowledge-based performance requirements | IEEE Conference Publication | IEEE Xplore