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...

Full description

Bibliographic Details

Published in:	Proceedings / International Conference on Software Engineering pp. 178 - 190
Main Authors:	Camilli, Matteo, Mirandola, Raffaela
Format:	Conference Proceeding
Language:	English
Published:	IEEE 26.04.2025
Subjects:	Complexity theory Costs falsification flakiness many-requirements Numerical models Optimization Parametric statistics Probabilistic logic Robustness Software engineering Space exploration Testing
ISSN:	1558-1225
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!