LSC: A Logic-based Tool for LSC Simualation and Consistency Testing

LCT is an LSC (Live Sequence Chart) model-based test generator, for LSC simulation and consistency testing. Given an executable LSC model and an extended symbolic context-free grammar specifying plausible system inputs, LCT performs a model-based simulation to

You may download the LCT tool and its user guide.