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.

Checking Experiments for Finite State Machines with Symbolic Inputs

Alexandre Petrenko, Adenilso da Silva Simão. Checking Experiments for Finite State Machines with Symbolic Inputs. In Khaled El-Fakih, Gerassimos D. Barlas, Nina Yevtushenko, editors, Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings. Volume 9447 of Lecture Notes in Computer Science, pages 3-18, Springer, 2015. [doi]

Authors

Alexandre Petrenko

This author has not been identified. Look up 'Alexandre Petrenko' in Google

Adenilso da Silva Simão

This author has not been identified. Look up 'Adenilso da Silva Simão' in Google
runs on