Paper

Memory Management Test-Case Generation of C Programs using Bounded Model Checking

ROCHA, H. O. ; DA SILVA BARRETO, RAIMUNDO ; CORDEIRO, L. C. . Memory Management Test-Case Generation of C Programs using Bounded Model Checking. In: 13th International Conference on Software Engineering and Formal Methods, 2015, York, UK. SEFM?2015, 2015. v. 9276. p. 251-267.

2015

Created by Lattes PostCaptcha Importer at 2018-05-31 17:28:59.0.
Simplified Graph of Associations
Quid