As the need of software has been increasing, the danger of malicious attacks against
software has been worse. In order to fortify software systems against adversaries …

Bug‐finding tools rely on specifications of what is correct or incorrect code. As it is difficult for
a tool developer or user to anticipate all possible specifications, strategies for inferring …

Software security and reliability are aspects of major concern for software development
enterprises that wish to deliver dependable software to their customers. Several static …

As an alternative to conventional FIR filters, IIR filter architecture based on orthonormal
Laguerre functions is proposed for applications in narrow-band filtering. A Laguerre IIR filter …

Software programs are proliferating throughout modern life, to a point where even the
simplest appliances such as lightbulbs contain software, in addition to the software …