Concurrent program semantic mutation testing based on abstract memory model.

Lixin Cao Wei Zheng Desheng Hu Han Bai

Published in: ICIA (2015)

Keyphrases

computational model
high level
semantic description
video sequences
management system
semantic models