Sign in

Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection.

Jialin YangW. K. Chan
Published in: COMPSAC Workshops (2016)
Keyphrases
  • test cases
  • real world
  • dynamic environments
  • case study
  • real time
  • machine learning
  • information systems
  • data structure
  • search algorithm
  • software systems
  • concurrency control
  • data abstraction