A novel approach to tracing safety requirements and state-based design models

Mounifah Alenazi, Nan Niu, Juha Savolainen

Research output: Chapter or Contribution to BookLiterary contribution

Original languageEnglish
Title of host publicationProceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering, ICSE 2020
Pages848-860
Number of pages13
ISBN (Electronic)9781450371216
DOIs
StatePublished - Jun 27 2020
Externally publishedYes
Event42nd ACM/IEEE International Conference on Software Engineering, ICSE 2020 - Virtual, Online, Korea, Republic of
Duration: Jun 27 2020Jul 19 2020

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

Conference

Conference42nd ACM/IEEE International Conference on Software Engineering, ICSE 2020
Country/TerritoryKorea, Republic of
CityVirtual, Online
Period6/27/207/19/20

ASJC Scopus Subject Areas

  • Software

Keywords

  • Mutation analysis
  • Process mining
  • Requirements engineering
  • Systems modeling language (sysml)
  • Traceability

Cite this