Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho. Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract). In Marianne Huchard, Christian Kästner, Gordon Fraser, editors, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. pages 954, ACM, 2018. [doi]
Abstract is missing.