Design by Contract is a programming methodology by which it is possible to annotate program codes with contracts in order to increase the safety of the program. The contracts represent the speci-fication of the software and are categorized into three ...

Office software may have program vulnerabilities in terms of functionality. To discover and solve these vulnerabilities, it's essential to conduct test on its application programming interface (API). But how to test in a heterogeneous platform and how ...

In recent years, more and more companies have moved from closed source software development to open source software (OSS) development. The reliability assessment of OSS has become an important issue. However, due to the lack of a standardized ...

Realizability problems may emerge when specifications of complex distributed reactive systems are mapped to local distributed designs that may contain undesired behaviours, sometimes termed as implied scenarios. In this paper, we focus on resolving one ...

Universal Verification Methodology (UVM) is getting attention of researchers and functional verification community due to its advance flexibility, reusability and reliability features for design verification of multifaceted embedded systems. This is the ...