Niklas Krafczyk

According to our database, Niklas Krafczyk authored at least 10 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

Complete property-oriented testing.

Niklas Krafczyk

PhD thesis, 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

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

2019

Efficient Data Validation for Geographical Interlocking Systems.

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

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

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