Robert Sachtleben

According to our database, Robert Sachtleben authored at least 11 papers between 2019 and 2023.

Collaborative distances:

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

2023

Qualification of proof assistants, checkers, and generators: Where are we and what next?

Mario Gleirscher, Robert Sachtleben, Jan Peleska

Sci. Comput. Program., March, 2023

Conformance Relations between Input/Output Languages.

Robert Sachtleben

Arch. Formal Proofs, 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

Conformance Relations Between Input/Output Languages.

Wen-ling Huang, Robert Sachtleben

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

An approach for the verification and synthesis of complete test generation algorithms for finite state machines

Robert Sachtleben

PhD thesis, 2022

Effective grey-box testing with partial FSM models.

Robert Sachtleben, Jan Peleska

Softw. Test. Verification Reliab., 2022

Verified Complete Test Strategies for Finite State Machines.

Robert Sachtleben

Arch. Formal Proofs, 2022

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

2020

An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm.

Robert Sachtleben

Proceedings of the Testing Software and Systems, 2020

2019

Formalisation of an Adaptive State Counting Algorithm.

Robert Sachtleben

Arch. Formal Proofs, 2019

A Mechanised Proof of an Adaptive State Counting Algorithm.

Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska

Proceedings of the Testing Software and Systems, 2019