Skip to content

On Test Generation for Interconnected Finite-State Machines - The Output Sequence Justification Problem.

Irith Pomeranz, Sudhakar M. Reddy

VenueADATE
Year1996
ProceedingsED&TC

Browse the full DATE paper archive.