Publication | Open Access

Modelling dynamic memory management in constraint-based testing

EngineeringProgram AnalysisMem TestingSoftware TestingFormal MethodsTest Data GenerationSoftware EngineeringSystems EngineeringComputer ScienceSoftware AnalysisModel-based TestingDynamic Memory ManagementFormal Verification