237 followers
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. - Herbert Rocha, Raimundo S.… http://t.co/99P0YczYS8
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. - Herbert Rocha, Raimundo S.… http://t.co/99P0YczYS8