{"date_updated":"2025-04-07T10:22:44Z","status":"public","year":"2020","title":"Explaining Static Analysis with Rule Graphs","author":[{"last_name":"Nguyen Quang Do","first_name":"Lisa","full_name":"Nguyen Quang Do, Lisa"},{"full_name":"Bodden, Eric","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","id":"59256"}],"user_id":"15249","main_file_link":[{"url":"http://www.bodden.de/pubs/tse20ruleGraphs.pdf"}],"_id":"20508","language":[{"iso":"eng"}],"publication":"IEEE Transactions on Software Engineering","citation":{"short":"L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).","chicago":"Nguyen Quang Do, Lisa, and Eric Bodden. “Explaining Static Analysis with Rule Graphs.” <i>IEEE Transactions on Software Engineering</i>, 2020.","ieee":"L. Nguyen Quang Do and E. Bodden, “Explaining Static Analysis with Rule Graphs,” <i>IEEE Transactions on Software Engineering</i>, 2020.","apa":"Nguyen Quang Do, L., &#38; Bodden, E. (2020). Explaining Static Analysis with Rule Graphs. <i>IEEE Transactions on Software Engineering</i>.","bibtex":"@article{Nguyen Quang Do_Bodden_2020, title={Explaining Static Analysis with Rule Graphs}, journal={IEEE Transactions on Software Engineering}, author={Nguyen Quang Do, Lisa and Bodden, Eric}, year={2020} }","ama":"Nguyen Quang Do L, Bodden E. Explaining Static Analysis with Rule Graphs. <i>IEEE Transactions on Software Engineering</i>. Published online 2020.","mla":"Nguyen Quang Do, Lisa, and Eric Bodden. “Explaining Static Analysis with Rule Graphs.” <i>IEEE Transactions on Software Engineering</i>, 2020."},"type":"journal_article","department":[{"_id":"76"}],"date_created":"2020-11-26T08:38:33Z"}