Output details

Generating Obstacle Conditions for Requirements Completeness

<09> This paper describes the first automated, tool-supported technique for generating a set of obstacle conditions guaranteed to be complete and consistent with respect to the known domain properties in a goal-oriented requirements specification. The approach exploits a novel combination of model checking and learning technologies explored in an earlier paper for requirements elaboration published at ICSE, inverting the logic so as to explore obstacles to goal achievement. The research was done in collaboration with world expert Axel van Lamsweerde of the Université catholique de Louvain and was presented at the flagship software engineering conference, ICSE. Acceptance 21.3%/408.