Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

M S Raunak (Fed)

Computer Scientist

Dr. M S Raunak is a computer scientist in the Computer Security Division at the National Institute of Standards and Technology. Before joining NIST in 2020, he was a tenured Associate Professor and the chair of the computer science department at Loyola University Maryland. 

Dr. Raunak's research interests fall under the broad area of software engineering. He focuses on verification and validation of “difficult to assess” software and systems to increase their trust and reliability. Systems built around cryptographic algorithms, scientific computations, simulation models, and machine learning algorithms are some examples of such systems. Dr. Raunak looks into testing these systems effectively so that one can discover difficult to find bugs and vulnerabilities in them. He has successfully applied combinatorial approaches and metamorphic testing methods towards effective verification and validation of different "non-testable" systems and software. He has done some pioneering work in using these approaches towards simulation model validation.

One of Dr. Raunak's latest projects is looking at effectively testing autonomous vehicle operations, i.e., the software behind the self-driving cars. He is also working on developing better understanding of AI systems through the use of testing, fault discovery, and fault localization techniques.

Dr. Raunak received his M.S. and Ph.D. in computer science from University of Massachusetts Amherst. Prior to that he graduated as the valedictorian of his undergraduate class from North South University, Bangladesh. 

Link to Google Scholar Page

Publications

Combinatorial testing for building reliable systems

Author(s)
M S Raunak, D. Richard Kuhn, Raghu N. Kacker, Yu Lei
Combinatorial testing is an approach where test suites are developed by efficiently covering interactions of parameter values and configuration settings
Created October 8, 2019, Updated May 2, 2024