1 Hit in 6.6 sec

Validating Behavioral Component Interfaces in Rewriting Logic

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
2006 Electronical Notes in Theoretical Computer Science  
Acknowledgement We thank Andreas Grüner for giving insight to the field of testing of (concurrent) object-oriented languages, the members of the PMA group for valuable feedback and the anonymous referees  ...  Axelsen for contributing to the implementation of these ideas and to the anonymous referees for helpful comments.  ...  Torjusen was published in Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers, volume 5961 of Lecture Notes  ... 
doi:10.1016/j.entcs.2005.12.069 fatcat:chb5rxirp5afld7emzxe6pdlim