Seyed-Hassan Mirian-Hosseinabadi
Orcid: 0000-0001-8308-0349
According to our database1,
Seyed-Hassan Mirian-Hosseinabadi
authored at least 39 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Formal Analysis of Reachability, Infection and Propagation Conditions in Mutation Testing.
CoRR, 2024
2023
Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application.
Softw. Syst. Model., 2023
Using causal inference and Bayesian statistics to explain the capability of a test suite in exposing software faults.
CoRR, 2023
Autom. Softw. Eng., 2023
2022
Int. J. Softw. Tools Technol. Transf., 2022
Test case prioritization using test case diversification and fault-proneness estimations.
Autom. Softw. Eng., 2022
2021
An ensemble-based predictive mutation testing approach that considers impact of unreached mutants.
Softw. Test. Verification Reliab., 2021
Statement frequency coverage: A code coverage criterion for assessing test suite effectiveness.
Inf. Softw. Technol., 2021
2020
Incorporating fault-proneness estimations into coverage-based test case prioritization methods.
Inf. Softw. Technol., 2020
The Threat to the Validity of Predictive Mutation Testing: The Impact of Uncovered Mutants.
CoRR, 2020
2019
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019
2016
J. Comput. Sci. Technol., 2016
Inf. Softw. Technol., 2016
2015
Delta-based regression testing: a formal framework towards model-driven regression testing.
J. Softw. Evol. Process., 2015
J. Log. Algebraic Methods Program., 2015
Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in Alloy.
J. Log. Algebraic Methods Program., 2015
Inf. Softw. Technol., 2015
Inf. Softw. Technol., 2015
Frontiers Comput. Sci., 2015
2013
Translation of Z specifications to executable code: Application to the database domain.
Inf. Softw. Technol., 2013
2012
Int. J. Softw. Eng. Knowl. Eng., 2012
Proceedings of the 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing, 2012
2011
Sci. Iran., 2011
Proceedings of the Digital Enterprise and Information Systems - International Conference, 2011
2010
Architectural Driven Approach for Software Product Line Testing.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010
2009
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009
Proceedings of the Software Engineering Research, 2009
2008
Proceedings of the Advances in Computer Science and Engineering, 2008
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008
2007
Proceedings of the 10th International Conference on Information Technology, 2007
2006
A Scalable Agent-Based Workflow Management System for Business Process Management Environments.
Proceedings of the Multiagent Systems and Software Architecture, 2006
2005
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types.
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005
1998
1997