Jove (jove.sourceforge.net) is a set of application programming interfaces and tools to allow Java's use as a hardware verification language. With Verilog simulator integration, a standalone ...

Fujitsu Laboratories of America, Inc. and Fujitsu Laboratories Ltd. today announced the development of technology enabling high-speed exhaustive verification of Java software using parallel processing ...

This paper proposes a new verification approach that combines tests and formal verification. The new approach, called SEmi-FORmal verification of Java programs or simply SE4J, uses tests to build a ...

Fujitsu Laboratories of America, Inc. and Fujitsu Laboratories Ltd. today announced Fujitsu's development of a technology for comprehensively testing Java-based programs, which requires no manual ...

Software testing approaches are the most used techniques for programs verification because they are simple and fast. However, because of their lack of exhaustiveness, they cannot be considered as an ...

This leads to very large state spaces, and automated verification becomes infeasible. The authors present a framework that addresses this problem by decoupling the behavior of distributed programs ...

A common problem when creating Java binding libraries for .NET for Android is not providing the required Java dependencies. The binding process ignores API that requires missing dependencies, so this ...

The Java Verification Program checks applications to make sure they are compatible with various J2EE-compliant application servers. It also will test the portability of applications from app ...