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.

Sound Test Case Generation for Concurrent Mobile Features

Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio. Sound Test Case Generation for Concurrent Mobile Features. In Haniel Barbosa, Yoni Zohar, editors, Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings. Volume 14414 of Lecture Notes in Computer Science, pages 92-109, Springer, 2023. [doi]

Authors

Rafaela Almeida

This author has not been identified. Look up 'Rafaela Almeida' in Google

Sidney C. Nogueira

This author has not been identified. Look up 'Sidney C. Nogueira' in Google

Augusto Sampaio

This author has not been identified. Look up 'Augusto Sampaio' in Google
runs on