KleeNet is an extension to the symbolic virtual machine KLEE enabling test case generation for distributed systems. The main idea is described in the IPSN'10 paper, an application demo using Contiki OS was presented at SenSys'10. A more detailed presentation of symbolic distributed execution as a general approach was presented at ICDCS'11.
To download and install KleeNet, please follow the installation instructions. You can also simply browse the code repository. The COOJA/KleeNet plugin for Contiki OS is available in the Contiki projects.
KleeNet ist Free and Open Source Software. You are free to try it out and experiment with it. If you did, we'd appreciate if you dropped us a mail to kleenet(AT)comsys.rwth-aachen.de. It's nice to get feedback.