---
_id: '20543'
author:
- first_name: Lisa
full_name: Nguyen Quang Do, Lisa
last_name: Nguyen Quang Do
- first_name: Stefan
full_name: Krüger, Stefan
last_name: Krüger
- first_name: Patrick
full_name: Hill, Patrick
last_name: Hill
- first_name: Karim
full_name: Ali, Karim
last_name: Ali
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: Nguyen Quang Do L, Krüger S, Hill P, Ali K, Bodden E. Debugging Static Analysis.
IEEE Transactions on Software Engineering. Published online 2018:1-1. doi:10.1109/TSE.2018.2868349
apa: Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., & Bodden, E. (2018).
Debugging Static Analysis. IEEE Transactions on Software Engineering, 1–1.
https://doi.org/10.1109/TSE.2018.2868349
bibtex: '@article{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={Debugging
Static Analysis}, DOI={10.1109/TSE.2018.2868349},
journal={IEEE Transactions on Software Engineering}, author={Nguyen Quang Do,
Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric}, year={2018},
pages={1–1} }'
chicago: Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric
Bodden. “Debugging Static Analysis.” IEEE Transactions on Software Engineering,
2018, 1–1. https://doi.org/10.1109/TSE.2018.2868349.
ieee: 'L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “Debugging
Static Analysis,” IEEE Transactions on Software Engineering, pp. 1–1, 2018,
doi: 10.1109/TSE.2018.2868349.'
mla: Nguyen Quang Do, Lisa, et al. “Debugging Static Analysis.” IEEE Transactions
on Software Engineering, 2018, pp. 1–1, doi:10.1109/TSE.2018.2868349.
short: L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions
on Software Engineering (2018) 1–1.
date_created: 2020-11-30T09:32:12Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1109/TSE.2018.2868349
keyword:
- Debugging
- Static analysis
- Tools
- Computer bugs
- Standards
- Writing
- Encoding
- Testing and Debugging
- Program analysis
- Development tools
- Integrated environments
- Graphical environments
- Usability testing
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/tse18debugging.pdf
page: 1-1
publication: IEEE Transactions on Software Engineering
publication_identifier:
issn:
- 2326-3881
status: public
title: Debugging Static Analysis
type: journal_article
user_id: '5786'
year: '2018'
...