Journal of Software Testing, Verification and Reliability ![](http://www.vit.ac.in/images/New_icons_18.gif)
Bounded Model Checking of C++ Programs based on the Qt Cross-Platform Framework
23rd International SPIN symposium on Model Checking of Software
ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications
IEEE 4th Global Conference on Consumer Electronics
Bounded Model Checking of C++ Programs based on the Qt Framework