Behzad Soleimani Neysiani

icon indicating a website link https://sabarg.ir icon indicating an email [email protected]

icon company Iranian Learning Saba + DemisCo +Folad Technology Institute icon location Isfahan/Iran icon location Ph.D. in Software Engineering

Results 2 issues of Behzad Soleimani Neysiani

Critical Logical Induction Bug in Engine

For "num_wheels"=2, the sample program returns "vehicleType"="cycle", but it should proceed to find "vehicle" as goal, not "vehicleType".

Update README.md

add a new publication for duplicate bug report detection from IST journal