Sign in

Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor.

Sishuai GongDinglan PengDeniz AltinbükenPedro FonsecaPetros Maniatis
Published in: SOSP (2023)
Keyphrases
  • neural network
  • data structure
  • cost effective
  • test suite
  • real time
  • databases
  • support vector
  • programming language
  • bit rate
  • efficient learning
  • set of test cases