3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.SE2016★ 3 cited
FPA-Debug: Effective Statistical Fault Localization Considering Fault-proneness Analysis
Farid Feyzi, Esmaeel Nikravan, Saeed Parsa
The aim is to identify faulty predicates which have strong effect on program failure. Statistical debugging techniques are amongst best methods for pinpointing defects within the p…
cs.SE2014
A new approach for formal behavioral modeling of protection services in antivirus systems
Monire Norouzi, Saeed Parsa, Ali Mahjur
Formal method techniques provides a suitable platform for the software development in software systems. Formal methods and formal verification is necessary to prove the correctness…