Elaborating Requirements Using Model Checking and Inductive Learning

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel. Elaborating Requirements Using Model Checking and Inductive Learning. IEEE Trans. Software Eng., 39(3):361-383, 2013. [doi]

Abstract

Abstract is missing.