Test Sequences Generation from LUSTRE Descriptions: GATeL

Bruno Marre, Agnès Arnould. Test Sequences Generation from LUSTRE Descriptions: GATeL. In Fifteenth IEEE International Conference on Automated Software Engineering. ASE, pages 229, IEEE, 2000. [doi]

Abstract

Abstract is missing.