Jan H. Boockmann

According to our database, Jan H. Boockmann authored at least 11 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants.

Jan H. Boockmann, Gerald Lüttgen

Proceedings of the IEEE International Conference on Software Analysis, 2024

Comprehending Object State via Dynamic Class Invariant Learning.

Jan H. Boockmann, Gerald Lüttgen

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2022

Model-driven Engineering for Dynamic Data Structures.

Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen

Softwaretechnik-Trends, 2022

Heap Patterns for Memory Graph Visualization.

Jan H. Boockmann, Gerald Lüttgen

Proceedings of the Working Conference on Software Visualization, 2022

Throw Away Student Software At Semester End? Better Not!

Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen

Proceedings of the Software Engineering im Unterricht der Hochschulen, 2022

Shape-analysis driven memory graph visualization.

Jan H. Boockmann, Gerald Lüttgen

Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension, 2022

Towards the Evaluation of Action Reversibility in STRIPS Using Domain Generators.

Tobias Schwartz, Jan H. Boockmann, Leon Martin

Proceedings of the Foundations of Information and Knowledge Systems, 2022

2020

Learning Data Structure Shapes from Memory Graphs.

Jan H. Boockmann, Gerald Lüttgen

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Fast Pathfinding in Knowledge Graphs Using Word Embeddings.

Leon Martin, Jan H. Boockmann, Andreas Henrich

Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

2018

Generating Inductive Shape Predicates for Runtime Checking and Formal Verification.

Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017

DSIbin: identifying dynamic data structures in C/C++ binaries.

Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, Herbert Bos

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017