Login / Signup

Leopard: A Black-Box Approach for Efficiently Verifying Various Isolation Levels.

Keqiang LiSiyang WengPeiyuan LiuLyu NiChengcheng YangRong ZhangXuan ZhouJianghang LouGui HuangWeining QianAoying Zhou
Published in: ICDE (2023)
Keyphrases
  • black box
  • black boxes
  • white box
  • integration testing
  • test cases
  • rule extraction
  • white box testing
  • state transition
  • neural network
  • web services
  • candidate solutions
  • hybrid systems