High-coverage metamorphic testing of concurrency support in C compilers.

Matt Windsor Alastair F. Donaldson John Wickerson

Published in: Softw. Test. Verification Reliab. (2022)

Keyphrases

programming language
real time
databases
end users
general purpose
hardware and software
learning algorithm
information systems
relational databases
knowledge management
data management
test cases
high precision
transaction processing