Model checking, testing and debugging

Robert M. Hierons; Tao Xie

doi:10.1002/stvr.1803

Model checking, testing and debugging

Robert M. Hierons, Tao Xie

Information Trust Institute

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

Original language	English (US)
Article number	e1803
Journal	Software Testing Verification and Reliability
Volume	32
Issue number	1
DOIs	https://doi.org/10.1002/stvr.1803
State	Published - Jan 2022

ASJC Scopus subject areas

Software
Safety, Risk, Reliability and Quality

Online availability

10.1002/stvr.1803

Library availability

Discover UIUC Full Text

Cite this

@article{6609ad1e1322444d88ec63db8ffae2c4,

title = "Model checking, testing and debugging",

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

year = "2022",

month = jan,

doi = "10.1002/stvr.1803",

language = "English (US)",

volume = "32",

journal = "Software Testing Verification and Reliability",

issn = "0960-0833",

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

number = "1",

}

TY - JOUR

T1 - Model checking, testing and debugging

AU - Hierons, Robert M.

AU - Xie, Tao

PY - 2022/1

Y1 - 2022/1

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

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

U2 - 10.1002/stvr.1803

DO - 10.1002/stvr.1803

M3 - Editorial

AN - SCOPUS:85120500234

SN - 0960-0833

VL - 32

JO - Software Testing Verification and Reliability

JF - Software Testing Verification and Reliability

IS - 1

M1 - e1803

ER -

Model checking, testing and debugging

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this