Publication | Closed Access

Tests for model specification in the presence of alternative hypotheses

EngineeringAutomated ReasoningSoftware TestingVerificationSystems EngineeringModel SpecificationModel ComparisonRegression TestingTestabilityStatisticsModel-based TestingModel Analysis