Coverage-guided test generation for continuous and hybrid systems

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.34, Iss.2, 2009-04, pp. : 183-213

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A multiple-population genetic algorithm for branch coverage test data generation

By Alshraideh Mohammad

Software Quality Journal, Vol. 19, Iss. 3, 2011-09 ,pp. : 489-513

Springer Publishing Company

Access to resources Recommend Favorite

Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3

By Schieferdecker Ina

International Journal on Software Tools for Technology Transfer, Vol. 10, Iss. 4, 2008-08 ,pp. : 383-400

Springer Publishing Company

Access to resources Recommend Favorite

Continuous modeling of real-time and hybrid systems: from concepts to tools

By Larsen Kim G. Steffen B. Weise C.

International Journal on Software Tools for Technology Transfer, Vol. 1, Iss. 1-2, 1997-12 ,pp. : 64-85

Springer Publishing Company

Access to resources Recommend Favorite

Automating test generation for discrete event oriented embedded systems

By Cunning Steven Rozenblit Jerzy

Journal of Intelligent and Robotic Systems, Vol. 41, Iss. 2-3, 2005-01 ,pp. : 87-112

Springer Publishing Company

Access to resources Recommend Favorite

Hybrid optimal filtering for linear continuous-time Markovian jump systems with non-Gaussian noises by MPT approach

By Nakura Gou

International Journal of Advanced Mechatronic Systems, Vol. 5, Iss. 1, 2013-07 ,pp. : 59-68

Inderscience Publishers

Access to resources Recommend Favorite