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.

A Vision for Behavioural Model-Driven Validation of Software Product Lines

Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry. A Vision for Behavioural Model-Driven Validation of Software Product Lines. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Volume 7609 of Lecture Notes in Computer Science, pages 208-222, Springer, 2012. [doi]

Authors

Xavier Devroey

This author has not been identified. Look up 'Xavier Devroey' in Google

Maxime Cordy

This author has not been identified. Look up 'Maxime Cordy' in Google

Gilles Perrouin

This author has not been identified. Look up 'Gilles Perrouin' in Google

Eun-Young Kang

This author has not been identified. Look up 'Eun-Young Kang' in Google

Pierre-Yves Schobbens

This author has not been identified. It may be one of the following persons: Look up 'Pierre-Yves Schobbens' in Google

Patrick Heymans

This author has not been identified. It may be one of the following persons: Look up 'Patrick Heymans' in Google

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google

Benoit Baudry

This author has not been identified. It may be one of the following persons: Look up 'Benoit Baudry' in Google
runs on