In contrast, a data structure is a concrete implementation of one or more ADTs, similar to how Java classes implement interfaces. Examples of ADTs include Employee, Vehicle, Array, and List.

Key to the proposal is evaluating and incubating a thread sanitizer, which could provide a dynamic data-race detector for Java and JNI code. The Atlantis Project participants note there is an ...

There is an increasing need for effective testing of software for complex safety-critical applications. This paper proposes a supporting method of testing for Java programs by using Unified Modeling ...