Inferring Formal Software Specifications from Episodic Descriptions
01 January 1987
The WATSON automatic programming system computes formal behavior specifications for process-control software from informal "scenarios": traces of typical system operation. It first generalizes scenarios, into stimulus-response rules, then modifies and augments these rules to repair inconsistency and incompleteness.