I want to use kodkod for an automated testcase generation research project. can you plz help me with this ?
how can I use kodkod for creating java instance objects ? for example how can I get different Java "Student" instances automatically after modelling a domain by using kodkod ? is there any resource or available example that you suggest me which can help me ?