Journal of Software Testing, Verification and Reliability 
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