State Estimation of Non-monotonic, Partially Non-deterministic Software with Sparse Probing using an Unscented Kalman Filter combined with Logic Reasoning

DSpace/Manakin Repository

Files in this item

This item appears in the following Collection(s)