Mohammad S. Raunak

Raghu N. Kacker

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

Predicting ABM Results with Covering Arrays and Random Forests.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2023, 2023

2022

The Path to a Consensus on Artificial Intelligence Assurance.

[BibT_eX]

[DOI]

Computer, 2022

Combinatorial Coverage for Assured Autonomy.

[BibT_eX]

[DOI]

Jaganmohan Chandrasekaran

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

Combination Frequency Differencing for Identifying Design Weaknesses in Physical Unclonable Functions.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

Enabling AI Adoption through Assurance.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2021

From Neuron Coverage to Steering Angle: Testing Autonomous Vehicles Effectively.

[BibT_eX]

[DOI]

Jack R. Toohey

Dave W. Binkley

Computer, 2021

Explainable Artificial Intelligence and Machine Learning.

[BibT_eX]

[DOI]

Computer, 2021

Metamorphic Testing on the Continuum of Verification and Validation of Simulation Models.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE/ACM International Workshop on Metamorphic Testing, 2021

Metamorphic Testing for Hybrid Simulation Validation.

[BibT_eX]

[DOI]

Proceedings of the Annual Modeling and Simulation Conference, 2021

2020

Narrow Spectrum Software Testing Addressing Complexity and Trust.

[BibT_eX]

[DOI]

Computer, 2020

2019

Increasing Validity of Simulation Models Through Metamorphic Testing.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2019

Systematic testing of post-quantum cryptographic implementations using metamorphic testing.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

2018

Finding Bugs in Cryptographic Hash Function Implementations.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2018

Can Reducing Faults Prevent Vulnerabilities?

[BibT_eX]

[DOI]

Computer, 2018

Enabling quantified validation for model credibility.

[BibT_eX]

[DOI]

Michael Setteducati

Proceedings of the 50th Computer Simulation Conference, 2018

What proportion of vulnerabilities can be attributed to ordinary coding errors?: poster.

[BibT_eX]

[DOI]

Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 2018

2017

It Doesn't Have to Be Like This: Cybersecurity Vulnerability Trends.

[BibT_eX]

[DOI]

IT Prof., 2017

Combinatorial Testing of Full Text Search in Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

An Analysis of Vulnerability Trends, 2008-2016.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016

Metamorphic validation for agent-based simulation models.

[BibT_eX]

[DOI]

Proceedings of the Summer Computer Simulation Conference, 2016

2015

Simulation validation using metamorphic testing (WIP).

[BibT_eX]

[DOI]

Proceedings of the Conference on Summer Computer Simulation, 2015

A method for quantified confidence of DEVS validation.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

2014

Quantifying validation of discrete event simulation models.

[BibT_eX]

[DOI]

Proceedings of the 2014 Winter Simulation Conference, 2014

2013

Resource Management for Complex, Dynamic Environments.

[BibT_eX]

[DOI]

Leon J. Osterweil

IEEE Trans. Software Eng., 2013

A framework for simulation validation coverage.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulations Conference: Simulation Making Decisions in a Complex World, 2013

2011

Developing discrete event simulations from rigorous process definitions.

[BibT_eX]

[DOI]

Leon J. Osterweil

Alexander E. Wise

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

On effective testing of health care simulation software.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011

2009

Simulating patient flow through an Emergency Department using process-driven discrete event simulation.

[BibT_eX]

[DOI]

Proceedings of the ICSE Workshop on Software Engineering in Health Care, 2009

2006

Definition and Analysis of Election Processes.

[BibT_eX]

[DOI]

Proceedings of the Software Process Change, 2006

2005

Process Definition Language Support for Rapid Simulation Prototyping.

[BibT_eX]

[DOI]