3 in notes

samcfi lujvo

x₁ (property (“ka”)) is a bug/defect in computer program or computer system x₂ causing x₃.

See also samcfisisku.

• jbovlaste

In notes:

cfikalte

x₁ debugs x₂

cfiste

x₁ is a "bug-list" / list of discovered flaws in x₂

samcfisisku

si₁ debugs [searches for] bug/defect c₁=si₂ (property) in computer system or computer program c₂=si₃=sk₁.