External Links

Cite Key

Statistics

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

PDF

Tags

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.

Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis

Cristiano Bertolini, André G. Farina, Paulo Fernandes, Flávio Moreira Oliveira. Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis. In 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China. pages 251-260, IEEE Computer Society, 2004. [doi]

Authors

Cristiano Bertolini

This author has not been identified. Look up 'Cristiano Bertolini' in Google

André G. Farina

This author has not been identified. Look up 'André G. Farina' in Google

Paulo Fernandes

This author has not been identified. Look up 'Paulo Fernandes' in Google

Flávio Moreira Oliveira

This author has not been identified. Look up 'Flávio Moreira Oliveira' in Google
runs on