Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software.

Somayeh Malakuti Christoph Bockisch Mehmet Aksit

Published in: ISSRE (2009)

Keyphrases

high level
computational model
mathematical model
specification language
prior knowledge
probabilistic model
programming language
parameter estimation
statistical model
conceptual model
user interface
em algorithm
experimental data
formal model
metamodel
filtering algorithm