Property generation/verification and empirical studies

Robert M. Hierons; Tao Xie

doi:10.1002/stvr.1800

Property generation/verification and empirical studies

Robert M. Hierons, Tao Xie

Research output: Contribution to journal › Editorial › peer-review

Original language	English (US)
Article number	e1800
Journal	Software Testing Verification and Reliability
Volume	31
Issue number	8
DOIs	https://doi.org/10.1002/stvr.1800
State	Published - Dec 2021
Externally published	Yes

ASJC Scopus subject areas

Software
Safety, Risk, Reliability and Quality

Online availability

10.1002/stvr.1800

Library availability

Discover UIUC Full Text

Cite this

@article{6fe6adbafc494a598943733951619714,

title = "Property generation/verification and empirical studies",

author = "Hierons, {Robert M.} and Tao Xie",

year = "2021",

month = dec,

doi = "10.1002/stvr.1800",

language = "English (US)",

volume = "31",

journal = "Software Testing Verification and Reliability",

issn = "0960-0833",

publisher = "John Wiley & Sons, Ltd.",

number = "8",

}

TY - JOUR

T1 - Property generation/verification and empirical studies

AU - Hierons, Robert M.

AU - Xie, Tao

PY - 2021/12

Y1 - 2021/12

UR - http://www.scopus.com/inward/record.url?scp=85118586080&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85118586080&partnerID=8YFLogxK

U2 - 10.1002/stvr.1800

DO - 10.1002/stvr.1800

M3 - Editorial

AN - SCOPUS:85118586080

SN - 0960-0833

VL - 31

JO - Software Testing Verification and Reliability

JF - Software Testing Verification and Reliability

IS - 8

M1 - e1800

ER -

Property generation/verification and empirical studies

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this