Optimization problems from feature testing of communication protocols