( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Effective grey-box testing with partial FSM models.

, и . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Heinrich Sachtleben

Kurt Sachtleben

Alexander Sachtleben

Adolf Sachtleben

Peter Sachtleben

 

Другие публикации лиц с тем же именем

A Mechanised Proof of an Adaptive State Counting Algorithm., , , и . ICTSS, том 11812 из Lecture Notes in Computer Science, стр. 176-193. Springer, (2019)libfsmtest An Open Source Library for FSM-Based Testing., , , и . ICTSS, том 13045 из Lecture Notes in Computer Science, стр. 3-19. Springer, (2021)Complete Property-Oriented Module Testing., , , , , и . ICTSS, том 14131 из Lecture Notes in Computer Science, стр. 183-201. Springer, (2023)Formalisation of an Adaptive State Counting Algorithm.. Arch. Formal Proofs, (2019)Conformance Relations Between Input/Output Languages., и . Applicable Formal Methods for Safe Industrial Products, том 14165 из Lecture Notes in Computer Science, стр. 49-67. Springer, (2023)Qualification of proof assistants, checkers, and generators: Where are we and what next?, , и . Sci. Comput. Program., (марта 2023)An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm.. ICTSS, том 12543 из Lecture Notes in Computer Science, стр. 236-254. Springer, (2020)An approach for the verification and synthesis of complete test generation algorithms for finite state machines. Bremen University, Germany, (2022)base-search.net (ftsubbremen:oai:media.suub.uni-bremen.de:Publications/elib/6068).Effective grey-box testing with partial FSM models., и . CoRR, (2021)Verified Complete Test Strategies for Finite State Machines.. Arch. Formal Proofs, (2022)