Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems

Author(s):  
Christian Schwarzl ◽  
Bernhard Peischl
1995 ◽  
pp. 243-258
Author(s):  
Naonobu Okazaki ◽  
Mi Rang Park ◽  
Kaoru Takahashi ◽  
Norio Shiratori

Sign in / Sign up

Export Citation Format

Share Document