Parametric Falsification of Many Probabilistic Requirements Under Flakiness

Falsification is a popular simulation-based testing method for Cyber-Physical Systems to find inputs that violate a formal requirement. It employs optimization algorithms to minimize a robustness metric that defines the satisfaction of a given property over an execution trace. Despite falsification...

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings / International Conference on Software Engineering s. 178 - 190
Hlavní autori:	Camilli, Matteo, Mirandola, Raffaela
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 26.04.2025
Predmet:	Complexity theory Costs falsification flakiness many-requirements Numerical models Optimization Parametric statistics Probabilistic logic Robustness Software engineering Space exploration Testing
ISSN:	1558-1225
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!