Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
27 pages

Keywords

Software Engineering, Symbolic Computation, B.1.2

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/31503

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0303027
 http://arxiv.org/abs/cs/0303027

Collections

arXiv