Embedded systems are becoming increasingly ubiquitous, controlling a wide variety of
popular and safety-critical devices. Effective testing techniques could improve the …

As LG home appliances promise more convenience features to end-users, the complexity of
their control software is also increasing, creating a higher pressure for software verification …

The design of complex embedded systems deployed in safety-critical or mission-critical
applications mandate the availability of methods for validating the system dependability …

An embedded system is an electronically controlled system combining hardware and
software. Many systems used in real life such as power plants, medical instrument systems …

In engineering of safety critical systems, regulatory standards often put requirements on both
traceable specification-based testing, and structural coverage on program units. Automated …

Higher performance for embedded software with the intent of decreasing cost of hardware
made widespread and development of hardware. Higher performance makes embedded …

Lightweight property-based testing tools are becoming popular these days. With property-
based testing, developers can test properties of the system under test against large varieties …

Early test development and specification enhance the quality and robustness of software as
experience with agile software development methods shows. The methods propagate test …

In recent years, embedded systems have become so complex and the development time to
market is required to be shorter than before. As embedded systems include more functions …

Previous work has demonstrated that property-based testing can successfully be applied to
web services. For example, it has been shown that JSON schemas can be used to …