How Hard is Weak-Memory Testing?

Soham Chakraborty Shankaranarayanan Krishna Umang Mathur Andreas Pavlogiannis

Published in: CoRR (2023)

Keyphrases

computing power
limited memory
memory usage
software testing
lower bound
test set
memory capacity
memory space
associative memory
main memory
test cases
database
data streams
database systems
case study
genetic algorithm
real world
neural network
data sets