Raghu Kacker

Erin Lanus

Tyler Cody

Laura J. Freeman

Computer, May, 2024

Statistical Analysis for Speaker Recognition Evaluation With Data Dependence and Three Score Distributions.

[BibT_eX]

[DOI]

IEEE ACM Trans. Audio Speech Lang. Process., 2024

On Combinatorial Security Testing for the Tor Anonymity Network Client.

[BibT_eX]

[DOI]

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

Assessing the Degree of Feature Interactions that Determine a Model Prediction.

[BibT_eX]

[DOI]

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

A Combinatorial Approach to Hyperparameter Optimization.

[BibT_eX]

[DOI]

Krishna Khadka

Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering, 2024

Proxima: A Proxy Model-Based Approach to Influence Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Artificial Intelligence Testing, 2024

2023

Ordered t-way Combinations for Testing State-based Systems.

[BibT_eX]

[DOI]

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

Synthetic Data Generation Using Combinatorial Testing and Variational Autoencoder.

[BibT_eX]

[DOI]

Krishna Khadka

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

Summary of Combinatorial methods for testing Internet of Things smart home systems.

[BibT_eX]

[DOI]

Bernhard Garn

Dominik-Philip Schreiber

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

MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts.

[BibT_eX]

[DOI]

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

SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph.

[BibT_eX]

[DOI]

Proceedings of the 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, 2023

2022

Combinatorial Test Generation for Multiple Input Models With Shared Parameters.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Combinatorial methods for testing Internet of Things smart home systems.

[BibT_eX]

[DOI]

Bernhard Garn

Dominik-Philip Schreiber

Softw. Test. Verification Reliab., 2022

Measuring the Adequacy of a Test Suite With Respect to a Modeled Test Space.

[BibT_eX]

[DOI]

IEEE Softw., 2022

CT-IoT: a combinatorial testing-based path selection framework for effective IoT testing.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

The Path to a Consensus on Artificial Intelligence Assurance.

[BibT_eX]

[DOI]

Computer, 2022

A Two-Step TLS-Based Browser fingerprinting approach using combinatorial sequences.

[BibT_eX]

[DOI]

Comput. Secur., 2022

An exploration of combinatorial testing-based approaches to fault localization for explainable AI.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2022

Combinatorial Coverage for Assured Autonomy.

[BibT_eX]

[DOI]

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

Developing multithreaded techniques and improved constraint handling for the tool CAgen.

[BibT_eX]

[DOI]

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

A Combinatorial Approach to Fairness Testing of Machine Learning Models.

[BibT_eX]

[DOI]

Ankita Ramjibhai Patel

Proceedings of the 15th IEEE International Conference on Software Testing, 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

DeltaExplainer: A Software Debugging Approach to Generating Counterfactual Explanations.

[BibT_eX]

[DOI]

Sunny Shree

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022

2021

Correction to: Factorials Experiments, Covering Arrays, and Combinatorial Testing.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2021

Factorials Experiments, Covering Arrays, and Combinatorial Testing.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2021

Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems.

[BibT_eX]

[DOI]

Alexander Weiss

Smitha Gautham

Athira Varma Jayakumar

Computer, 2021

Combinatorial Testing Metrics for Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Software Testing, 2021

Combinatorially XSSing Web Application Firewalls.

[BibT_eX]

[DOI]

Bernhard Garn

Daniel Sebastian Lang

Proceedings of the 14th IEEE International Conference on Software Testing, 2021

A Combinatorial Approach to Testing Deep Neural Network-based Autonomous Driving Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Software Testing, 2021

A Combinatorial Approach to Explaining Image Classifiers.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Software Testing, 2021

Evaluation of T-Way Testing of DNNs in Autonomous Driving Systems.

[BibT_eX]

[DOI]

Ankita Ramjibhai Patel

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020

A Combinatorial Testing-Based Approach to Fault Localization.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

How does combinatorial testing perform in the real world: an empirical study.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

Input Space Coverage Matters.

[BibT_eX]

[DOI]

Computer, 2020

Systematic Software Testing of Critical Embedded Digital Devices in Nuclear Power Applications.

[BibT_eX]

[DOI]

Athira Varma Jayakumar

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

CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Combinatorial Methods for Explainable AI.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Effectiveness of dataset reduction in testing machine learning algorithms.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Monte Carlo studies of bootstrap variability in ROC analysis with data dependency.

[BibT_eX]

[DOI]

Alvin F. Martin

Commun. Stat. Simul. Comput., 2019

Applying Combinatorial Testing to Large-Scale Data Processing at Adobe.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Measuring Combinatorial Coverage at Adobe.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Using Parameter Mapping to Avoid Forbidden Tuples in a Covering Array.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

An Approach to T-Way Test Sequence Generation With Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

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

[BibT_eX]

[DOI]

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

Browser fingerprinting using combinatorial sequence testing.

[BibT_eX]

[DOI]

Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, 2019

Knowledge Extraction for Cryptographic Algorithm Validation Test Vectors by Means of Combinatorial Coverage Measurement.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Extraction, 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

Pseudo-Exhaustive Verification of Rule Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Combinatorial security testing course.

[BibT_eX]

[DOI]

Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 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

MCDC-Star: A White-Box Based Automated Test Generation for High MC/DC Coverage.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

A Method-Level Test Generation Framework for Debugging Big Data Applications.

[BibT_eX]

[DOI]

Huadong Feng

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2017

The Impact of Data Dependence on Speaker Recognition Evaluation.

[BibT_eX]

[DOI]

IEEE ACM Trans. Audio Speech Lang. Process., 2017

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

[BibT_eX]

[DOI]

IT Prof., 2017

A novel measure and significance testing in data analysis of cell image segmentation.

[BibT_eX]

[DOI]

BMC Bioinform., 2017

Combinatorial and MC/DC Coverage Levels of Random Testing.

[BibT_eX]

[DOI]

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

Combinatorial Testing of Full Text Search in Web Applications.

[BibT_eX]

[DOI]

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

Improving MC/DC and Fault Detection Strength Using Combinatorial Testing.

[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

A Model for T-Way Fault Profile Evolution during Testing.

[BibT_eX]

[DOI]

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

Optimizing IPOG's Vertical Growth with Constraints Based on Hypergraph Coloring.

[BibT_eX]

[DOI]

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

Applying Combinatorial Testing to Data Mining Algorithms.

[BibT_eX]

[DOI]

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

2016

Using combinatorial testing to build navigation graphs for dynamic web applications.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2016

Measuring and specifying combinatorial coverage of test input configurations.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2016

Validation of Nonparametric Two-sample Bootstrap in ROC Analysis on Large Datasets.

[BibT_eX]

[DOI]

Alvin F. Martin

Commun. Stat. Simul. Comput., 2016

Combinatorial Methods in Security Testing.

[BibT_eX]

[DOI]

Dimitris E. Simos

Artemios G. Voyiatzis

Computer, 2016

TLS Cipher Suites Recommendations: A Combinatorial Coverage Measurement Approach.

[BibT_eX]

[DOI]

Dimitris E. Simos

Kristoffer Kleine

Artemios G. Voyiatzis

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

The Relationship between Software Bug Type and Number of Factors Involved in Failures.

[BibT_eX]

[DOI]

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

Pseudo-Exhaustive Testing of Attribute Based Access Control Rules.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Evaluating the Effectiveness of BEN in Localizing Different Types of Software Fault.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Estimating t-Way Fault Profile Evolution During Testing.

[BibT_eX]

[DOI]

Idelfonso Izquierdo-Marquez

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

A dual representation simulated annealing algorithm for the bandwidth minimization problem on graphs.

[BibT_eX]

[DOI]

Jose Torres-Jimenez

Alberto Garcia-Robledo

Aldo Gonzalez-Gomez

Javier Bernal

Inf. Sci., 2015

Introducing Combinatorial Testing in a Large Organization.

[BibT_eX]

[DOI]

Computer, 2015

Combinatorial Testing: Theory and Practice.

[BibT_eX]

[DOI]

Renée C. Bryce

Feng Duan

Adv. Comput., 2015

Implementing and Managing Policy Rules in Attribute Based Access Control.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

Constraint handling in combinatorial test generation using forbidden tuples.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Equivalence class verification and oracle-free testing using two-layer covering arrays.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

BEN: A combinatorial testing-based fault localization tool.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Improving IPOG's vertical growth based on a graph coloring scheme.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014

Bootstrap Variability Studies in ROC Analysis on Large Datasets.

[BibT_eX]

[DOI]

Alvin F. Martin

Commun. Stat. Simul. Comput., 2014

Estimating Fault Detection Effectiveness.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Introducing Combinatorial Testing in a Large Organization: Pilot Project Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

An Empirical Comparison of Combinatorial and Random Testing.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Combinatorial Test Generation for Software Product Lines Using Minimum Invalid Tuples.

[BibT_eX]

[DOI]

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

A general conformance testing framework for IEEE 11073 PHD's communication model.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments, 2013

Fault localization based on failure-inducing combinations.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Security Analysis of the RC4+ Stream Cipher.

[BibT_eX]

[DOI]

Subhadeep Banik

Santanu Sarkar

Proceedings of the Progress in Cryptology - INDOCRYPT 2013, 2013

ACTS: A Combinatorial Test Generation Tool.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation.

[BibT_eX]

[DOI]

Linbin Yu

Mehra Nouroz Borazjany

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Combinatorial Coverage Measurement Concepts and Applications.

[BibT_eX]

[DOI]

Itzel Dominguez Mendoza

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Applying Combinatorial Testing to the Siemens Suite.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

An Input Space Modeling Methodology for Combinatorial Testing.

[BibT_eX]

[DOI]

Mehra N. Borazjany

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

CCM: A Tool for Measuring Combinatorial Coverage of System State Space.

[BibT_eX]

[DOI]

Itzel Dominguez Mendoza

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

2012

Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Combinatorial Methods for Event Sequence Testing.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Identifying Failure-Inducing Combinations in a Combinatorial Test Set.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Combinatorial Testing of ACTS: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Efficient Algorithms for T-way Test Sequence Generation.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

A Survey of Binary Covering Arrays.

[BibT_eX]

[DOI]

Electron. J. Comb., 2011

Practical combinatorial (t-way) methods for detecting complex faults in regression testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

A combinatorial approach to detecting buffer overflow vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2009

Combinatorial Software Testing.

[BibT_eX]

[DOI]

Computer, 2009

A combinatorial approach to building navigation graphs for dynamic web applications.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

2008

IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2008

Practical Combinatorial Testing: Beyond Pairwise.

[BibT_eX]

[DOI]

IT Prof., 2008

An Interaction-Based Test Sequence Generation Approach for Testing Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007

A combinatorial testing strategy for concurrent programs.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2007

IPOG: A General Strategy for T-Way Software Testing.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

1998

Reliability of Conformance Tests.

[BibT_eX]

[DOI]

Proceedings of the COMPSAC '98, 1998

1995

A Scalability Test for Parallel Code.

[BibT_eX]

[DOI]

Gordon Lyon

Arnaud Linz

Softw. Pract. Exp., 1995

Using Synthetic Perturbations and Statistical Screening to Assay Shared-Memory Programs.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1995

1994

Synthetic-perturbation tuning of MIMD programs.

[BibT_eX]

[DOI]

Gordon Lyon

Robert Snelick

J. Supercomput., 1994

Synthetic-perturbation Techniques for Screening Shared Memory Programs.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1994

A simple scalability test for MIMD code.

[BibT_eX]

[DOI]

Gordon Lyon