From the perspective of attribute decomposition, there are a variety of software
trustworthiness metric models. However, little attention has been paid to using more rigorous …

Software trustworthiness allocation and reallocation are the symmetry of software
trustworthiness measure. They can provide the optimization scheme for trustworthiness …

In information retrieval-based (IR-based) requirements traceability research, a great deal of
researches have focused on establishing trace links between requirements and source …

In this study, the performance attributes of software reliability are analyzed by applying
Weibull family distributions (Lindley, Rayleigh, Type-2 Gumbel) to the finite fault NHPP …

Resilience is one of the most essential quality properties of software systems, the resilience
of software architectures plays an important role in the security of a software system …

Software trustworthiness evaluation is regarded as a multi-criteria decision-making problem.
However, most current software trustworthiness evaluation methods do not consider the …

Software trustworthiness measurement can provide evidence for increasing the
trustworthiness of the design and implementation of software. We once studied the …

Software evolution is a time-consuming and costly process due to its complex architecture.
Software designers need to produce software that is effective as well as durable. Durability …

In this article, we present an approach based on counterexample-guided abstraction
refinement to verifying full regular temporal properties of C programs by means of combining …

It is a widely recognized practice for test generation from the graphical model of the system
using traversal algorithms in industry and academia. However, because traversal algorithms …