Multi-Requirement Testing Using Focused Falsification (Q6120692)
From MaRDI portal
scientific article; zbMATH DE number 7807712
Language | Label | Description | Also known as |
---|---|---|---|
English | Multi-Requirement Testing Using Focused Falsification |
scientific article; zbMATH DE number 7807712 |
Statements
Multi-Requirement Testing Using Focused Falsification (English)
0 references
21 February 2024
0 references
CPS
0 references
falsification
0 references
formal requirements
0 references
testing
0 references