Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel. Generating obstacle conditions for requirements completeness. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 705-715, IEEE, 2012. [doi]