Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2008 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4244-2187-9 KITopen-ID: 1000028429 |
| Erschienen in | Proceeding ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, 15-19 September 2008, L'Aquila, Italy |
| Verlag | IEEE Computer Society |
| Seiten | 88-197 |