Niklas Krafczyk

According to our database, Niklas Krafczyk authored at least 9 papers between 2014 and 2024.

Collaborative distances:

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

2024

Exhaustive property oriented model-based testing with symbolic finite state machines.

Wen-ling Huang, Niklas Krafczyk, Jan Peleska

Sci. Comput. Program., January, 2024

2023

Complete Property-Oriented Module Testing.

Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, Robert Sachtleben

Proceedings of the Testing Software and Systems, 2023

An Optimised Complete Strategy for Testing Symbolic Finite State Machines.

Wen-ling Huang, Niklas Krafczyk, Jan Peleska

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

2021

Efficient data validation for geographical interlocking systems.

Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger

Formal Aspects Comput., 2021

Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines.

Niklas Krafczyk, Jan Peleska

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

libfsmtest An Open Source Library for FSM-Based Testing.

Moritz Bergenthal, Niklas Krafczyk, Jan Peleska, Robert Sachtleben

Proceedings of the Testing Software and Systems, 2021

2017

Effective Infinite-State Model Checking by Input Equivalence Class Partitioning.

Niklas Krafczyk, Jan Peleska

Proceedings of the Testing Software and Systems, 2017

2016

WCET overapproximation for software in the context of a Cyber-Physical System.

Niklas Krafczyk, Heinz Riener, Görschwin Fey

Proceedings of the 2016 IFIP/IEEE International Conference on Very Large Scale Integration, 2016

2014

Automatically connecting hardware blocks via light-weight matching techniques.

Jan Malburg, Niklas Krafczyk, Görschwin Fey

Proceedings of the 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014