Distributed and Complex Systems Group : Homepage

:Vérimag Distributed and Complex Systems Group

DCS

Teams/Topics

Misc.

j-POST -- Property Oriented Software Testing

Overview | Download | Publications/Doc | Examples

The Travel application

  • Example description here
  • Example material:
    • The Travel Server: here
    • The test cases used in this example: here
    • The Travel Client: to appear

Credit Card Simulation Application

To appear soon
CNRS INPG UJF