%0 Conference Paper %1 conf/enase/TroostWK24 %A Troost, Laura %A Winkelmann, Hendrik %A Kuchen, Herbert %B ENASE %D 2024 %E Kaindl, Hermann %E Mannion, Mike %E Maciaszek, Leszek A. %I SCITEPRESS %K dblp %P 39-50 %T An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/enase/enase2024.html#TroostWK24 %@ 978-989-758-696-5

@inproceedings{conf/enase/TroostWK24, added-at = {2024-06-03T00:00:00.000+0200}, author = {Troost, Laura and Winkelmann, Hendrik and Kuchen, Herbert}, biburl = {https://www.bibsonomy.org/bibtex/23f2574d37f548b3be7edb34430c899b3/dblp}, booktitle = {ENASE}, crossref = {conf/enase/2024}, editor = {Kaindl, Hermann and Mannion, Mike and Maciaszek, Leszek A.}, ee = {https://doi.org/10.5220/0012586200003687}, interhash = {975dd0a594f3173d7b008fc53f6cc9ec}, intrahash = {3f2574d37f548b3be7edb34430c899b3}, isbn = {978-989-758-696-5}, keywords = {dblp}, pages = {39-50}, publisher = {SCITEPRESS}, timestamp = {2024-06-10T07:14:40.000+0200}, title = {An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/enase/enase2024.html#TroostWK24}, year = 2024 }