[Javapathfinder-user] Automated Test Case Generation

[Muhammad A. S. <muh...@gm...>]

Hi!

I've been using JPF to execute my test drivers written with Verify.random(i=
)
to generate all possible integers, array sizes, etc. However, I have also
come across a paper that discusses non-isomorphic test case generation usin=
g
Java Pathfinder. Can somebody please guide me how to use JPF in this
respect? Is a separate component required? Or is it internal research at
this point in time?

Any help will be highly appreciated.

/Ali
---
Dependable Computer Systems
Chalmers University of Technology
Sweden