Sajad Jalali

dblp:237/8615 · DBLP profile ↗
← Back
4ranked-venue papers
1as first author
2since 2021 · last 2025
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4 · 1 first-author · 2 since 2021
YearPublicationVenuePosition
2025 Coverage metrics for actor model programs: A model-based approach
Sajad Jalali, Seyed-Hassan Mirian-Hosseinabadi
Inf. Softw. Technol.1
2021 Statement frequency coverage: A code coverage criterion for assessing test suite effectiveness
Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi, Sajad Jalali
Inf. Softw. Technol.3
2020 Incorporating fault-proneness estimations into coverage-based test case prioritization methods
Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Khashayar Etemadi, Ali Nosrati, Sajad Jalali
Inf. Softw. Technol.5
2019 Program State Coverage: A Test Coverage Metric Based on Executed Program States
abstract
In software testing, different metrics are proposed to predict and compare test suites effectiveness. In this regard, Mutation Score (MS) is one of most accurate metrics. However, calculating MS needs executing test suites many times and it is not commonly used in industry. On the other hand, Line Coverage (LC) is a widely used metric which is calculated by executing test suites only once, although it is not as accurate as MS in terms of predicting and comparing test suites effectiveness. In this paper, we propose a novel test coverage metric, called Program State Coverage (PSC), which improves the accuracy of LC. PSC works almost the same as LC and it can be calculated by executing test suites only once. However, it further considers the number of distinct program states in which each line is executed. Our experiments on 120 test suites from four packages of Apache Commons Math and Apache Commons Lang show that, compared to LC, PSC is more strongly correlated with normalized MS. As a result, we conclude that PSC is a promising test coverage metric.
Khashayar Etemadi, Sajad Jalali, Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi
SANER2