Generating obstacle conditions for requirements completeness.

Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastin Uchitel

Browse the full ICSE paper archive.