From Scenarios to Test Implementations Via Promela

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16573-3_17 ◽

2010 ◽

pp. 236-249 ◽

Cited By ~ 3

Author(s):

Andreas Ulrich ◽

El-Hachemi Alikacem ◽

Hesham H. Hallal ◽

Sergiy Boroday

Download Full-text