Yves Grasland

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The problem of resource management in Home Automation Systems (HAS) emerges in several recent contributions due to the growth of ecological concerns and the rapid development of automated home equipments. This paper presents an ongoing work on the subject, whose goal is to provide an approach to test the resource usage of HAS, including a test suite(More)
This paper proposes a functional testing approach for safety properties formalized as hybrid automata. We first propose a formalism inspired from the concept of operational profile to specify test requirements for hybrid automata. We propose an associated parametric adequacy criterion that measures to what extent a given test suite satisfies these(More)
Preface Testing has steadily become more and more important within the development of software and systems, motivating an increasing amount of research aimed at trying to solve both new challenges imposed by the advancement in various areas of computer science and long-standing problems. Testing has evolved during the last decades from an ad-hoc and(More)
  • 1