Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version) [article]

Felipe R. M. Sousa, Lucas C. Cordeiro, Eddie B. de Lima Filho
2015 arXiv   pre-print
The software development process for embedded systems is getting faster and faster, which generally incurs an increase in the associated complexity. As a consequence, consumer electronics companies usually invest a lot of resources in fast and automatic verification processes, in order to create robust systems and reduce product recall rates. Because of that, the present paper proposes a simplified version of the Qt framework, which is integrated into the Efficient SMT-Based Bounded Model
more » ... ng tool to verify actual applications that use the mentioned framework. The method proposed in this paper presents a success rate of 94.45%, for the developed test suite.
arXiv:1509.01682v1 fatcat:kmp2rpvz4fchpi5qxookpvy7le