Publication | Closed Access
Time-Optimal Real-Time Test Case Generation using UPPAAL
40
Citations
0
References
2004
Year
Unknown Venue
Mathematical ProgrammingEngineeringSoftware TestingVerificationFormal MethodsTest AutomationSystems EngineeringCombinatorial Testing WorkflowTest Data GenerationReal-time SystemsModeling And SimulationComputer ScienceCombinatorial OptimizationSoftware AnalysisTest Generation
No additional data available for this publication yet. Check back later!