Scaling Model Checking for Test Generation Using Dynamic Inference
by Acm Publishing.![](/cache/af9dadd3aa741900ec38de3c6036c677.jpg)
رتبه و نظرات
نظر دهید
نظرات (0)
![](/cache/76e01bd2038c6a088b555ce159f37f69.jpg)
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation
Visit Journal Webpage