Combinatorial testing and model checking. (10th August 2022)
- Record Type:
- Journal Article
- Title:
- Combinatorial testing and model checking. (10th August 2022)
- Main Title:
- Combinatorial testing and model checking
- Authors:
- Le Traon, Yves
Xie, Tao - Abstract:
- Is Part Of:
- Software testing, verification & reliability. Volume 32:Number 6(2022)
- Journal:
- Software testing, verification & reliability
- Issue:
- Volume 32:Number 6(2022)
- Issue Display:
- Volume 32, Issue 6 (2022)
- Year:
- 2022
- Volume:
- 32
- Issue:
- 6
- Issue Sort Value:
- 2022-0032-0006-0000
- Page Start:
- n/a
- Page End:
- n/a
- Publication Date:
- 2022-08-10
- Subjects:
- Computer software -- Testing -- Periodicals
Computer software -- Verification -- Periodicals
Computer software -- Reliability -- Periodicals
005.14 - Journal URLs:
- http://onlinelibrary.wiley.com/ ↗
- DOI:
- 10.1002/stvr.1832 ↗
- Languages:
- English
- ISSNs:
- 0960-0833
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 8321.457500
British Library DSC - BLDSS-3PM
British Library STI - ELD Digital store - Ingest File:
- 23489.xml