08 de June de 2012 (English) Live ICSE 2012 blogging: Generating Obstacle Conditions for Requirements Completeness Desculpe-nos, mas este texto esta apenas disponível em English.