Search Results - "Kuhn, D. Richard"

Challenges of Assured Autonomy by Kuhn, D. Richard

“…This article summarizes some recent novel approaches to the problem of verification, testing, and assurance of autonomous systems. These include proxy…”
Get full text

Finding Bugs in Cryptographic Hash Function Implementations by Mouha, Nicky, Raunak, Mohammad S., Kuhn, D. Richard, Kacker, Raghu

“…Cryptographic hash functions are security-critical algorithms with many practical applications, notably in digital signatures. Developing an approach to test…”
Get full text

Access Control for Emerging Distributed Systems by Hu, Vincent C., Kuhn, D. Richard, Ferraiolo, David F.

“…As big data, cloud computing, grid computing, and the Internet of Things reshape current data systems and practices, IT experts are keen to harness the power…”
Get full text

Adding Attributes to Role-Based Access Control by Kuhn, D Richard, Coyne, Edward J, Weil, Timothy R

“…Merging the best features of RBAC and attribute-based systems can provide effective access control for distributed and rapidly changing applications…”
Get full text

Combinatorial Test Generation for Multiple Input Models With Shared Parameters by Rao, Chang, Li, Nan, Lei, Yu, Guo, Jin, Zhang, Yadong, Kacker, Raghu N., Kuhn, D. Richard

“…Combinatorial testing typically considers a single input model and creates a single test set that achieves <inline-formula><tex-math…”
Get full text

How does combinatorial testing perform in the real world: an empirical study by Hu, Linghuan, Wong, W. Eric, Kuhn, D. Richard, Kacker, Raghu N.

“…Studies have shown that combinatorial testing (CT) can be effective for detecting faults in software systems. By focusing on the interactions between different…”
Get full text

IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing by Lei, Yu, Kacker, Raghu, Kuhn, D. Richard, Okun, Vadim, Lawrence, James

“…This paper presents two strategies for multi‐way testing (i.e. t‐way testing with t>2). The first strategy generalizes an existing strategy, called…”
Get full text

Attribute-Based Access Control by Hu, Vincent C., Kuhn, D. Richard, Ferraiolo, David F., Voas, Jeffrey

“…Attribute-based access control (ABAC) is a flexible approach that can implement AC policies limited only by the computational language and the richness of the…”
Get full text

Leveraging Combinatorial Coverage in the Machine Learning Product Lifecycle by Chandrasekaran, Jaganmohan, Lanus, Erin, Cody, Tyler, Freeman, Laura J., Kacker, Raghu N., Raunak, M S, Kuhn, D. Richard

“…The data-intensive nature of machine learning (ML)-enabled systems introduces unique challenges in test and evaluation. We present an overview of combinatorial…”
Get full text

Assured Autonomy Through Combinatorial Methods by Kuhn, D. Richard, Raunak, M. S., Kacker, Raghu N., Chandrasekaran, Jaganmohan, Lanus, Erin, Cody, Tyler, Freeman, Laura, Michael, James Bret

“…Many conventional software engineering methods for high-trust software are not well suited to assured autonomy, but concepts from combinatorial testing can add…”
Get full text

A Combinatorial Approach to Testing Deep Neural Network-based Autonomous Driving Systems by Chandrasekaran, Jaganmohan, Lei, Yu, Kacker, Raghu, Richard Kuhn, D.

“…Recent advancements in the field of deep learning have enabled its application in Autonomous Driving Systems (ADS). A Deep Neural Network (DNN) model is often…”
Get full text

The Path to a Consensus on Artificial Intelligence Assurance by Freeman, Laura, Batarseh, Feras A., Kuhn, D. Richard, Raunak, M S, Kacker, Raghu N, Lin, Hsiao-Ying

“…Wide-scale adoption of intelligent algorithms requires artificial intelligence (AI) engineers to provide assurances that an algorithm will perform as intended…”
Get full text

Measuring the Adequacy of a Test Suite With Respect to a Modeled Test Space by Kacker, Raghu N., Kuhn, D. Richard, Lei, Yu, Simos, Dimitris E.

“…A test suite is typically assessed using a criterion such as requirements coverage or code coverage. This article presents a metric to measure the adequacy of…”
Get full text

A Combinatorial Approach to Explaining Image Classifiers by Chandrasekaran, Jaganmohan, Lei, Yu, Kacker, Raghu, Richard Kuhn, D.

“…Machine Learning (ML) models, a core component to artificial intelligence systems, often come as a black box to the user, leading to the problem of…”
Get full text

CT-IoT: a combinatorial testing-based path selection framework for effective IoT testing by Hu, Linghuan, Wong, W. Eric, Kuhn, D. Richard, Kacker, Raghu N., Li, Shuo

“…Testing Internet of Things (IoT) systems is challenging. This is not only because of the various aspects of IoT systems, such as software, hardware, and…”
Get full text

A New Approach to Data Sharing and Distributed Ledger Technology: A Clinical Trial Use Case by Ferraiolo, David F., Defranco, Joanna F., Kuhn, D. Richard, Roberts, Joshua D.

“…Distributed systems have always presented complex challenges, and technology trends are in many ways making the software designer's job more difficult. In…”
Get full text

Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems by Weiss, Alexander, Gautham, Smitha, Jayakumar, Athira Varma, Elks, Carl R., Kuhn, D. Richard, Kacker, Raghu N., Preusser, Thomas B.

“…Embedded systems are becoming ubiquitous companions in all our lives. This article reviews the terminology and modern understanding of complex anomalies and…”
Get full text

Combinatorial Testing Metrics for Machine Learning by Lanus, Erin, Freeman, Laura J., Richard Kuhn, D., Kacker, Raghu N.

“…This paper defines a set difference metric for comparing machine learning (ML) datasets and proposes the difference between datasets be a function of…”
Get full text

Refining the In-Parameter-Order Strategy for Constructing Covering Arrays by Forbes, Michael, Lawrence, Jim, Lei, Yu, Kacker, Raghu N, Kuhn, D Richard

“…Covering arrays are structures for well-representing extremely large input spaces and are used to efficiently implement blackbox testing for software and…”
Get full text

Software fault interactions and implications for software testing by Kuhn, D.R., Wallace, D.R., Gallo, A.M.

“…Exhaustive testing of computer software is intractable, but empirical studies of software failures suggest that testing can in some cases be effectively…”
Get full text