Publication | Closed Access
Error repair and knowledge acquisition via case-based reasoning
10
Citations
4
References
1997
Year
EngineeringCase-based ReasoningAutomated ReasoningSoftware TestingVerificationFormal MethodsComputer ScienceAutomated Knowledge AcquisitionKnowledge-based ReasoningFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1