Conformance Testing of Hybrid Systems with Qualitative Reasoning Models
Open Access
- 17 October 2009
- journal article
- research article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 253 (2), 53-69
- https://doi.org/10.1016/j.entcs.2009.09.051
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Qr-model based testingPublished by Association for Computing Machinery (ACM) ,2008
- Garp3Published by Association for Computing Machinery (ACM) ,2007
- TGV: theory, principles and algorithmsInternational Journal on Software Tools for Technology Transfer, 2004
- Randomized kinodynamic planningPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Hybrid action systemsTheoretical Computer Science, 2003
- Conformance testing with labelled transition systems: Implementation relations and test generationComputer Networks and ISDN Systems, 1996
- Distributed cooperation with action systemsACM Transactions on Programming Languages and Systems, 1988
- Qualitative simulationArtificial Intelligence, 1986
- Qualitative process theoryArtificial Intelligence, 1984