Toward Model Based Testing: Combining AADLS with High Level Petri Nets

Hassan Reza, Feifei Gu, Bahram Shafai. Toward Model Based Testing: Combining AADLS with High Level Petri Nets. In Hamid R. Arabnia, Hassan Reza, Leonidas Deligiannidis, Juan Jose Cuadrado-Gallego, Vincent Schmidt, Ashu M. G. Solo, editors, Proceedings of the 2010 International Conference on Software Engineering Research & Practice, SERP 2010, July 12-15, 2010, Las Vegas, Nevada, USA, 2 Volumes. pages 619-623, CSREA Press, 2010.

Authors

Hassan Reza

This author has not been identified. Look up 'Hassan Reza' in Google

Feifei Gu

This author has not been identified. Look up 'Feifei Gu' in Google

Bahram Shafai

This author has not been identified. Look up 'Bahram Shafai' in Google