j-POST (Property-Oriented Software Testing for Java) was done during my PhD. A typical application of j-POST is to check the correct deployment of security policies. j-POST was notably used in the Politess project for the test of security policies of networked information systems.
One may consult this page for more information on j-POST.