There's an assumption that there is a formal specification, and that it itself has no bugs in it: 'Giving programmers a specification, measuring how long it to

There's an assumption that there is a formal specification, and that it itself has no bugs in it: 'Giving programmers a specification, measuring how long it took them to write the code, and how many bugs existed in the code base'