Combining STPA and BDD for safety analysis and verification in agile development.

Yang Wang, Stefan Wagner

Browse the full ICSE paper archive.