Categories

    Tags

using alloy/kodkod for automated test case generation

Home Forums General using alloy/kodkod for automated test case generation

This topic contains 0 replies, has 1 voice, and was last updated by Profile photo of Admin Admin 5 years, 6 months ago.

Viewing 1 post (of 1 total)
  • Author
    Posts
  • #2503
    Profile photo of Admin
    Admin
    Keymaster

    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 ?

Viewing 1 post (of 1 total)

You must be logged in to reply to this topic.

New User?

Register
Do NOT follow this link or you will be banned from the site!