Dynamic analysis tools, such as those that detect data-races, verify memory safety, and
identify information flow, have become a vital part of testing and debugging complex …

Traditional whole-program static analysis (eg, a points-to analysis that models the heap)
encounters scalability problems for realistic applications. We propose a``featherweight'' …

Cyber-physical systems (CPS) consist of software and physical components which are
knitted together and interact with each other continuously. CPS have been targets of security …

Program analysis methods for error detection are conventionally divided into two groups:
static analysis methods and dynamic analysis methods. In this paper, we present a …

Testing is currently the main technique adopted by the industry for improving the quality,
reliability, and security of software. In order to lower the cost of manual testing, automatic …

Invariants monitoring is a software attestation technique that aims at proving the integrity of a
running application by checking likely invariants, which are predicates built on variables' …

Mobile devices such as smartphones and tablets have become ubiquitous in today's modern
computing landscape. The applications that run on these mobile devices (often referred to …

APIs often feature dynamic relations between client and service provider, such as registering
for notifications or establishing a connection to a service. Dynamic specification mining …

Automated unit testing tools, such as Randoop, have been developed to produce failing
tests as means of finding faults. However, these tools often produce false alarms, so are not …

Machine testing tool for software development. The nature of software development is
changing; thus, the type of software testing tools required is also changing. Software is …