On the Distribution of Property Violations in Formal Models: An Initial Study.

Jimin Gao Mats Per Erik Heimdahl David Owen Tim Menzies

Published in: COMPSAC (1) (2006)

Keyphrases

formal models
rule based systems
formal model
process model
probability distribution
spatial distribution
multiscale
uniformly distributed
training set
random variables