Login / Signup

Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs.

Bengi KaraçaliKuo-Chung Tai
Published in: PDSE (1999)
Keyphrases
  • concurrent programs
  • artificial intelligence
  • case study
  • temporal logic