@inproceedings{TroostWK2024AnIntegrated,
  author = {L. Troost and H. Winkelmann and H. Kuchen},
  title = {An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution},
  booktitle = {Proceedings of the 19$^{th}$ International Conference on Evaluation of Novel Approaches to Software Engineering},
  pages = {39--50},
  editor = { SciTePress},
  year = {2024},
  publisher = {SciTePress},
  address = {Angers, France},
  doi = {10.5220/0012586200003687},
  note = {Publication status: Published}
}

@inproceedings{TroostNK2024DynamicDataFlow,
  author = {Laura Troost and Jonathan Neugebauer and Herbert Kuchen},
  title = {Dynamic Data-Flow Analysis With Dacite: Evaluating an Integrated Data-Flow Visualization Approach},
  booktitle = {Evaluation of Novel Approaches to Software Engineering},
  pages = {251--270},
  series = {Communications in Computer and Information Science},
  volume = {2028},
  editor = {Hermann Kaindl and Mike Mannion and Leszek A. Maciaszek},
  year = {2024},
  publisher = {Springer Nature},
  address = {Cham},
  isbn = {978-3-031-64182-4},
  issn = {1865-0937},
  doi = {10.1007/978-3-031-64182-4_12},
  note = {Publication status: Published}
}

@inproceedings{TroostNK2023Visualizing,
  author = {Laura Troost and Jonathan Neugebauer and Herbert Kuchen},
  title = {Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol},
  booktitle = {Proceedings of the 18$^{th}$ International Conference on Evaluation of Novel Approaches to Software Engineering --- ENASE},
  pages = {77--88},
  series = {Proceedings of the 18$^{th}$ International Conference on Evaluation of Novel Approaches to Software Engineering --- ENASE},
  editor = { SciTePress},
  year = {2023},
  publisher = {SciTePress},
  address = {Prague, Czech Republic},
  isbn = {978-989-758-647-7},
  issn = {2184-4895},
  doi = {10.5220/0011743500003464},
  note = {Publication status: Published}
}

@inproceedings{TroostK2022AComprehensive,
  author = {Laura Troost and Herbert Kuchen},
  title = {A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs},
  booktitle = {Proceedings of the 17$^{th}$ International Conference on Evaluation of Novel Approaches to Software Engineering},
  pages = {267--274},
  year = {2022},
  publisher = {SCITEPRESS},
  address = {virtuelle Konferenz},
  isbn = {978-989-758-568-5},
  doi = {10.5220/0000149800003176},
  note = {Publication status: online first}
}

@inproceedings{WinkelmannTK2022ConstraintLogic,
  author = {Hendrik Winkelmann and Laura Troost and Herbert Kuchen},
  title = {Constraint-Logic Object-Oriented Programming for Test Case Generation},
  booktitle = {37$^{th}$ ACM/SIGAPP Symposium On Applied Computing},
  pages = {1499--1508},
  editor = {for Computing Machinery Association},
  year = {2022},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  isbn = {978-1-4503-8713-2/22/04},
  doi = {10.1145/3477314.3507015},
  url = {https://dl.acm.org/doi/10.1145/3477314.3507015},
  note = {Publication status: Published}
}