Concepedia
SSRN Electronic Journal · 2024 · 14 citations · 0 references
Open access
ComputingComputer ScienceFormal MethodsSoftware EngineeringTest DevelopmentSoftware TestingVerificationAssertion CheckingAssertion GenerationAssertion SemanticsAssertion VerificationDomain AdaptationSoftware Development MethodologyTest Case GenerationTest Generation