Return to Article Details Several Requirements over a Worst-Case Input Set