With the purpose of making the use of model based techniques in industrial software
development more efficient, this work proposes the combined application of two verification …

This paper describes a new program simplification technique called program trimming that
aims to improve the scalability and precision of safety checking tools. Given a program P …

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 …

An operating system publishes a set of application programming interface (API) functions
along with a set of API-call constraints with which programs running on the operating system …

Operating systems for embedded software publish a set of API functions together with a set
of API-call constraints that have to be followed by application software running on the OS. If …

Program slicing can be used to improve software reliability. It enables identification and
checking of critical points by removing program parts that do not influence them. The …

As the behavior of multitasking embedded software is dependent on the underlying
operating system (s), rigorous and efficient verification in this domain requires models of …

Requirements Engineering (RE) plays an essential role in software project success. RE
illustrate system behavior such as safety that directly impacts the customer experience …

This paper describes a new program simplification technique called program trimming that
aims to improve the scalability and precision of safety checking tools. Given a program …

Fault localization, a technique to fix and ensure the dependability of software, is rapidly
becoming infeasible due to the increasing scale and complexity of multilingual programs …