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
DOIs
StatePublished - Dec 2021
Externally publishedYes

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this