Publication | Closed Access

Using genetic algorithms to generate test sequences for complex timed systems

Mutation-based TestingEngineeringGenetic AlgorithmsComputational TestingTest SequencesSoftware TestingFormal MethodsProcess ControlSystems EngineeringComputer EngineeringTest Data GenerationGenetic AlgorithmComputer ScienceTimed SystemFormal Verification