Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
<|reference_start|>Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems: Three numerical coverage metrics for the symbolic simulation of dense-time systems and their estimation methods are presented. Special techniques to derive numerical estimations of dense-time state-spaces have also been developed. Properties of the metrics are also discussed with respect to four criteria. Implementation and experiments are then reported.<|reference_end|>
@article{wang2003numerical,
    title={Numerical Coverage Estimation for the Symbolic Simulation of Real-Time
  Systems},
    author={Farn Wang, Geng-Dian Hwang and Fang Yu},
    journal={arXiv preprint arXiv:cs/0303027},
    year={2003},
    archivePrefix={arXiv},
    eprint={cs/0303027},
    primaryClass={cs.SE cs.SC}
}