43 citations · 78 across the 5 of their papers we have counts for
4 papers · 1 filter
An ensemble meta-estimator to predict source code testability
Morteza Zakeri-Nasrabadi, Saeed Parsa
Unlike most other software quality attributes, testability cannot be evaluated solely based on the characteristics of the source code. The effectiveness of the test suite and the b…
Learning to predict test effectiveness
Morteza Zakeri-Nasrabadi, Saeed Parsa
The high cost of the test can be dramatically reduced, provided that the coverability as an inherent feature of the code under test is predictable. This article offers a machine le…
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…
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…