Security is an important aspect of embedded system design. The characteristics of
embedded systems give rise to a number of novel vulnerabilities. A variety of different …

摘要软件在国民经济和社会生活中发挥着重要作用. 软件出现故障给人们的工作, 生活带来不便,
甚至造成严重危害. 但是当前所进行的多为软件故障诊断中单项活动的研究 …

Automated program repair is still a highly challenging problem mainly due to the reliance of
the current techniques on test cases to validate candidate patches. This leads to the …

Security vulnerabilities are still prevalent in systems despite the existence of their
countermeasures for several decades. In order to detect the security vulnerabilities missed …

During the last decade, we are witnessing the advent of a proliferation of techniques and
associated tools for automatic program repair (APR). The current techniques and tools …

The construction industry has had considerable criticisms on inefficiencies in the quality and
outcomes of professional services in project delivery. These criticisms have spanned design …

This investigation deals with the module-based software reliability growth model that
incorporates both imperfect debugging and fault reduction factor. The increasing number of …

Since 2009 several scalable and promising techniques to automatic program repair have
been proposed with each technique often accompanied with a prototype tool. These …

We present a novel combination of hardware (architecture) and software (compiler)
techniques to support the safe execution of untrusted code. While other efforts focus on …

Buffer overflow attacks are widely acknowledged by computer security professionals to be
one of the greatest threats to the security of computer systems. We present an integrated …