Many mature development processes use structural coverage metrics to monitor the quality of testing. Studies suggest that commonly used control flow testing criteria poorly address state-based ...

Coarse-grained dynamic information-flow control (IFC) is a good match for imperative object-oriented programming languages such as Java. Java language abstractions align well with coarse-grained IFC ...