The Oracle Problem in Software Testing: A Survey
English as a formal specification language