Login / Signup

Test Case Generation for Ultimately Periodic Paths.

Saddek BensalemDoron A. PeledHongyang QuStavros TripakisLenore D. Zuck
Published in: Haifa Verification Conference (2007)
Keyphrases
  • test case generation
  • test cases
  • software testing
  • test data generation
  • object oriented systems
  • test suite
  • static analysis
  • database
  • object oriented
  • java programs
  • databases
  • real world
  • source code