The quality and the correctness of software are often the greatest concern in electronic
systems. Formal verification tools can provide a guarantee that a design is free of specific …

Trustworthy AI Page 1 64 COMMUNICATIONS OF THE ACM | OCTOBER 2021 | VOL. 64 | NO.
10 review articles DOI:10.1145/3448248 The pursuit of responsible AI raises the ante on both …

Temporal logic model checking involves checking the state-space of a model of a system to
determine whether errors can occur in the system. Often this involves checking …

Long gone are the days when program veri? cation was a task carried out merely by hand
with paper and pen. For one, we are increasingly interested in proving actual program …

Automated localization of software bugs is one of the essential issues in debugging aids.
Previous studies indicated that the evaluation history of program predicates may disclose …

Intelligent transportation system is a comprehensive system engineering, involving real-time
data processing, security and privacy protection and other challenges. This paper discusses …

A great deal of attention has lately been given to addressing software bugs such as errors in
operating system drivers or security bugs. However, there are many other lesser known …

An aspect observes the execution of a base program; when certain actions occur, the aspect
runs some extra code of its own. In the AspectJ language, the observations that an aspect …

Subjective judgments in software engineering tasks are of critical importance but can be
difficult to study with conventional means. Medical imaging techniques hold the promise of …

Although model-driven engineering (MDE) is now an established approach for develo**
complex software systems, it has not been universally adopted by the software industry. In …