Property generation/verification and empirical studies

Robert M. Hierons, Tao Xie

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish (US)
Article numbere1800
JournalSoftware Testing Verification and Reliability
Volume31
Issue number8
Early online dateNov 8 2021
DOIs
StatePublished - Dec 2021

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this