[{"date_updated":"2022-01-06T06:54:29Z","title":"Debugging Static Analysis","status":"public","year":"2018","publication_identifier":{"issn":["2326-3881"]},"author":[{"full_name":"Nguyen Quang Do, Lisa","last_name":"Nguyen Quang Do","first_name":"Lisa"},{"full_name":"Krüger, Stefan","last_name":"Krüger","first_name":"Stefan"},{"full_name":"Hill, Patrick","last_name":"Hill","first_name":"Patrick"},{"full_name":"Ali, Karim","first_name":"Karim","last_name":"Ali"},{"full_name":"Bodden, Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","first_name":"Eric","id":"59256"}],"user_id":"5786","doi":"10.1109/TSE.2018.2868349","page":"1-1","main_file_link":[{"url":"http://www.bodden.de/pubs/tse18debugging.pdf"}],"_id":"20543","language":[{"iso":"eng"}],"publication":"IEEE Transactions on Software Engineering","citation":{"ieee":"L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “Debugging Static Analysis,” <i>IEEE Transactions on Software Engineering</i>, pp. 1–1, 2018, doi: <a href=\"https://doi.org/10.1109/TSE.2018.2868349\">10.1109/TSE.2018.2868349</a>.","apa":"Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., &#38; Bodden, E. (2018). Debugging Static Analysis. <i>IEEE Transactions on Software Engineering</i>, 1–1. <a href=\"https://doi.org/10.1109/TSE.2018.2868349\">https://doi.org/10.1109/TSE.2018.2868349</a>","short":"L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.","chicago":"Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric Bodden. “Debugging Static Analysis.” <i>IEEE Transactions on Software Engineering</i>, 2018, 1–1. <a href=\"https://doi.org/10.1109/TSE.2018.2868349\">https://doi.org/10.1109/TSE.2018.2868349</a>.","mla":"Nguyen Quang Do, Lisa, et al. “Debugging Static Analysis.” <i>IEEE Transactions on Software Engineering</i>, 2018, pp. 1–1, doi:<a href=\"https://doi.org/10.1109/TSE.2018.2868349\">10.1109/TSE.2018.2868349</a>.","bibtex":"@article{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={Debugging Static Analysis}, DOI={<a href=\"https://doi.org/10.1109/TSE.2018.2868349\">10.1109/TSE.2018.2868349</a>}, 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} }","ama":"Nguyen Quang Do L, Krüger S, Hill P, Ali K, Bodden E. Debugging Static Analysis. <i>IEEE Transactions on Software Engineering</i>. Published online 2018:1-1. doi:<a href=\"https://doi.org/10.1109/TSE.2018.2868349\">10.1109/TSE.2018.2868349</a>"},"keyword":["Debugging","Static analysis","Tools","Computer bugs","Standards","Writing","Encoding","Testing and Debugging","Program analysis","Development tools","Integrated environments","Graphical environments","Usability testing"],"type":"journal_article","department":[{"_id":"76"}],"date_created":"2020-11-30T09:32:12Z"},{"status":"public","user_id":"5786","_id":"20547","publisher":"ACM","page":"714-718","citation":{"ama":"Nguyen Quang Do L, Bodden E. Gamifying Static Analysis. In: <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering</i>. ESEC/FSE 2018. ACM; 2018:714-718. doi:<a href=\"https://doi.org/10.1145/3236024.3264830\">10.1145/3236024.3264830</a>","bibtex":"@inproceedings{Nguyen Quang Do_Bodden_2018, place={New York, NY, USA}, series={ESEC/FSE 2018}, title={Gamifying Static Analysis}, DOI={<a href=\"https://doi.org/10.1145/3236024.3264830\">10.1145/3236024.3264830</a>}, booktitle={Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, publisher={ACM}, author={Nguyen Quang Do, Lisa and Bodden, Eric}, year={2018}, pages={714–718}, collection={ESEC/FSE 2018} }","mla":"Nguyen Quang Do, Lisa, and Eric Bodden. “Gamifying Static Analysis.” <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering</i>, ACM, 2018, pp. 714–18, doi:<a href=\"https://doi.org/10.1145/3236024.3264830\">10.1145/3236024.3264830</a>.","short":"L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.","chicago":"Nguyen Quang Do, Lisa, and Eric Bodden. “Gamifying Static Analysis.” In <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering</i>, 714–18. ESEC/FSE 2018. New York, NY, USA: ACM, 2018. <a href=\"https://doi.org/10.1145/3236024.3264830\">https://doi.org/10.1145/3236024.3264830</a>.","apa":"Nguyen Quang Do, L., &#38; Bodden, E. (2018). Gamifying Static Analysis. <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering</i>, 714–718. <a href=\"https://doi.org/10.1145/3236024.3264830\">https://doi.org/10.1145/3236024.3264830</a>","ieee":"L. Nguyen Quang Do and E. Bodden, “Gamifying Static Analysis,” in <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering</i>, 2018, pp. 714–718, doi: <a href=\"https://doi.org/10.1145/3236024.3264830\">10.1145/3236024.3264830</a>."},"place":"New York, NY, USA","date_updated":"2022-01-06T06:54:29Z","publication_identifier":{"isbn":["978-1-4503-5573-5"]},"author":[{"full_name":"Nguyen Quang Do, Lisa","first_name":"Lisa","last_name":"Nguyen Quang Do"},{"full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden","id":"59256"}],"title":"Gamifying Static Analysis","year":"2018","doi":"10.1145/3236024.3264830","language":[{"iso":"eng"}],"series_title":"ESEC/FSE 2018","main_file_link":[{"url":"http://www.bodden.de/pubs/db18gamifying.pdf"}],"publication":"Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","department":[{"_id":"76"}],"type":"conference","keyword":["Gamification","Integrated Environments","Program analysis"],"date_created":"2020-11-30T09:37:35Z"}]