Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges. Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L Aquila, Italy. pages 188-197, IEEE, 2008. [doi]

This author has not been identified. Look up 'Hendrik Post' in GoogleThis author has not been identified. Look up 'Carsten Sinz' in GoogleThis author has not been identified. Look up 'Alexander Kaiser' in GoogleThis author has not been identified. Look up 'Thomas Gorges' in Google

runs on WebDSL