Author:
Sun Youcheng,Broster Ian,Brain Martin,Kroening Daniel,Hawthorn Andrew,Wilson Thomas,Schanda Florian,Jimenez Francisco Javier Guzman,Daniel Simon,Bryan Chris
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Misconceptions about Loops in C;Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2024-06-20
2. An Industrial Software Model Checking Method Based on Machine Learning and Its Application in Education;Application of Big Data, Blockchain, and Internet of Things for Education Informatization;2023
3. A semi-automated approach for requirement-based early validation of flight control platforms;CEAS Aeronautical Journal;2022-12-20
4. Software requirements testing approaches: a systematic literature review;Requirements Engineering;2019-08-16
5. Structural Coverage Analysis Methods;Advances in Computer and Electrical Engineering;2019