Communication fault injection for multi-protocol Java applications testing

Remote Method Invocation is an adaptation of the remote procedure call paradigm for object-oriented environments. RMI allows clients to seamlessly invoke methods of objects within remote servers. Communication between the client and server is based upon ...

We present a fault emulation environment capable of injecting single and multiple transient faults in sequential as well as combinational logic. It is used to perform fault injection campaigns during design verification of security circuits such as ...

HOL-TestGen is a test environment for specification-based unit testing build upon the proof assistant Isabelle/HOL . While there is considerable skepticism with regard to interactive theorem provers in testing communities, we argue that they are a ...