External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Using an SMT Solver for Checking the Completeness of FSM-Based Tests

Evgenii Vinarskii, Andrey Laputenko, Nina Yevtushenko. Using an SMT Solver for Checking the Completeness of FSM-Based Tests. In Valentina Casola, Alessandra De Benedictis, Massimiliano Rak, editors, Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings. Volume 12543 of Lecture Notes in Computer Science, pages 289-295, Springer, 2020. [doi]

Authors

Evgenii Vinarskii

This author has not been identified. Look up 'Evgenii Vinarskii' in Google

Andrey Laputenko

This author has not been identified. Look up 'Andrey Laputenko' in Google

Nina Yevtushenko

This author has not been identified. Look up 'Nina Yevtushenko' in Google
runs on