Login / Signup

Time-Optimal Real-Time Test Case Generation Using Uppaal.

Anders HesselKim Guldstrand LarsenBrian NielsenPaul PetterssonArne Skou
Published in: FATES (2003)
Keyphrases
  • real time
  • test case generation
  • test cases
  • optimal solution
  • control system
  • test data generation
  • information systems
  • test suite
  • software testing