Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
Software Engineering
2007-05-23 v1 Symbolic Computation
Abstract
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.
Cite
@article{arxiv.cs/0303027,
title = {Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems},
author = {Farn Wang and Geng-Dian Hwang and Fang Yu},
journal= {arXiv preprint arXiv:cs/0303027},
year = {2007}
}
Comments
27 pages