Automated Support for Diagnosis and Repair.

The article discusses the use of model checking and artificial intelligence in diagnosing and repairing problems in the software development cycle. The authors describe a four-step framework for a basic train-controller system that includes model checking, elicitation by the software engineer of sys...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 58; no. 2; pp. 65 - 73
Main Authors:	ALRAJEH, DALAL, KRAMER, JEFF, RUSSO, ALESSANDRA, UCHITEL, SEBASTIAN
Format:	Article
Published:	Association for Computing Machinery Feb2015
Subjects:	Computer software quality control Software engineering Computer software development Artificial intelligence Logic machines Machine learning
Online Access:	View this record in EBSCOhost