8 June 2012 (Português) (English) Live ICSE 2012 blogging: Generating Obstacle Conditions for Requirements Completeness Ci spiace, ma questo articolo è disponibile soltanto in English.