Login / Signup

Detecting Isolation Bugs via Transaction Oracle Construction.

Wensheng DouZiyu CuiQianwang DaiJiansen SongDong WangYu GaoWei WangJun WeiLei ChenHanmo WangHua ZhongTao Huang
Published in: ICSE (2023)
Keyphrases
  • database
  • construction process
  • databases
  • test cases
  • concurrency control
  • transaction management
  • source code
  • software systems
  • automatic detection
  • oracle database
  • real time database systems