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á bibliografie

Vydáno v:	Proceedings / International Conference on Software Engineering s. 178 - 190
Hlavní autoři:	Camilli, Matteo, Mirandola, Raffaela
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 26.04.2025
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!