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.

Abstract

Abstract is missing.