Dimitris E. Simos

Panos M. Pardalos

Ann. Math. Artif. Intell., December, 2023

Combinatorial Sequences for Disaster Scenario Generation.

[BibT_eX]

[DOI]

Oper. Res. Forum, June, 2023

Preface: Selected revised papers from the LION 15 conference.

[BibT_eX]

[DOI]

Panos M. Pardalos

Ann. Math. Artif. Intell., June, 2023

Foreword.

[BibT_eX]

[DOI]

Ali Kemal Uncu

Math. Comput. Sci., March, 2023

Algorithmic methods for covering arrays of higher index.

[BibT_eX]

[DOI]

J. Comb. Optim., 2023

Applying Pairwise Combinatorial Testing to Large Language Model Testing.

[BibT_eX]

[DOI]

Dominik-Philip Schreiber

Proceedings of the Testing Software and Systems, 2023

A Mathematical Approach on the Use of Integer Partitions for Smurfing in Cryptocurrencies.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Research for Blockchain Economy: 4th International Conference MARBLE 2023, 2023

Combinatorial Methods for HTML Sanitizer Security Testing.

[BibT_eX]

[DOI]

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

Summary of In-Parameter-Order strategies for covering perfect hash families.

[BibT_eX]

[DOI]

Charles J. Colbourn

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

Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study.

[BibT_eX]

[DOI]

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

Summary of Locating Hardware Trojans using Combinatorial Testing for Cryptographic Circuits.

[BibT_eX]

[DOI]

Paris Kitsos

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

Summary of Combinatorial Methods for Dynamic Gray-Box SQL Injection Testing.

[BibT_eX]

[DOI]

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]

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

2022

Combinatorial methods for dynamic gray-box SQL injection testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2022

Combinatorial methods for testing Internet of Things smart home systems.

[BibT_eX]

[DOI]

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

A primer on the application of neural networks to covering array generation.

[BibT_eX]

[DOI]

Optim. Methods Softw., 2022

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

[BibT_eX]

[DOI]

Comput. Secur., 2022

In-Parameter-Order strategies for covering perfect hash families.

[BibT_eX]

[DOI]

Charles J. Colbourn

Appl. Math. Comput., 2022

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

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2022

Locating Hardware Trojans Using Combinatorial Testing for Cryptographic Circuits.

[BibT_eX]

[DOI]

Paris Kitsos

IEEE Access, 2022

IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022

IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

From Design of Experiments to Combinatorics of Disasters: A Conceptual Framework for Disaster Exercises.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 16th International Conference, 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

CA<sup>2</sup>: Practical Archival and Compression of Covering Arrays.

[BibT_eX]

[DOI]

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

HYDRA: Feedback-driven black-box exploitation of injection vulnerabilities.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2021

Heuristically Enhanced IPO Algorithms for Covering Array Generation.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Algorithms - 32nd International Workshop, 2021

Combinatorially XSSing Web Application Firewalls.

[BibT_eX]

[DOI]

Daniel Sebastian Lang

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

2020

Sliced AETG: a memory-efficient variant of the AETG covering array generation algorithm.

[BibT_eX]

[DOI]

Optim. Lett., 2020

Input Space Coverage Matters.

[BibT_eX]

[DOI]

Computer, 2020

Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques.

[BibT_eX]

[DOI]

Temur Kutsia

Ann. Math. Artif. Intell., 2020

XIEv: dynamic analysis for crawling and modeling of web applications.

[BibT_eX]

[DOI]

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 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

General Message from the IWCT Workshop Chairs.

[BibT_eX]

[DOI]

Jeff Yu Lei

Changhai Nie

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

2019

A survey on the state of the art of complexity problems for covering arrays.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Problems and algorithms for covering arrays via set covers.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Testing TLS using planning-based combinatorial methods and execution framework.

[BibT_eX]

[DOI]

Softw. Qual. J., 2019

Quantum-Inspired Evolutionary Algorithms for Covering Arrays of Arbitrary Strength.

[BibT_eX]

[DOI]

Proceedings of the Analysis of Experimental Algorithms - Special Event, 2019

IPO-Q: A Quantum-Inspired Approach to the IPO Strategy Used in CA Generation.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2019

How to Use Boltzmann Machines and Neural Networks for Covering Array Generation.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 13th International Conference, 2019

A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection.

[BibT_eX]

[DOI]

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 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

Practical Combinatorial Testing for XSS Detection using Locally Optimized Attack Models.

[BibT_eX]

[DOI]

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

Weighted Combinatorial Sequence Testing for the TLS Protocol.

[BibT_eX]

[DOI]

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

Automated combinatorial testing for detecting SQL vulnerabilities in web applications.

[BibT_eX]

[DOI]

Jovan Zivanovic

Proceedings of the 14th International Workshop on Automation of Software Test, 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

Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Informatics - 8th International Conference, 2019

2018

An Efficient Design and Implementation of the In-Parameter-Order Algorithm.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2018

Preface.

[BibT_eX]

[DOI]

Lucia Moura

Electron. Notes Discret. Math., 2018

Covering Arrays via Set Covers.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2018

Algebraic Techniques for Covering Arrays and related Structures.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2018

Weighted t-way Sequences.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2018

DOMdiff: Identification and Classification of Inter-DOM Modifications.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/WIC/ACM International Conference on Web Intelligence, 2018

Combinatorial Methods for Testing Communication Protocols in Smart Cities.

[BibT_eX]

[DOI]

Murat Ozcan

Proceedings of the Learning and Intelligent Optimization - 12th International Conference, 2018

Evaluation of Tie-Breaking and Parameter Ordering for the IPO Family of Algorithms Used in Covering Array Generation.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Algorithms - 29th International Workshop, 2018

CAMETRICS: A Tool for Advanced Combinatorial Analysis and Measurement of Test Sets.

[BibT_eX]

[DOI]

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

2017

Testing TLS Using Combinatorial Methods and Execution Framework.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2017

IWCT 2017 Organizers.

[BibT_eX]

[DOI]

Rachel Tzoref-Brill

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

General Message from the IWCT Workshop Chairs.

[BibT_eX]

[DOI]

Rachel Tzoref-Brill

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

Coveringcerts: Combinatorial Methods for X.509 Certificate Testing.

[BibT_eX]

[DOI]

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

Combinatorial Methods for Modelling Composed Software Systems.

[BibT_eX]

[DOI]

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

Planning-Based Security Testing of the SSL/TLS Protocol.

[BibT_eX]

[DOI]

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

KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities.

[BibT_eX]

[DOI]

Fabian Würfl

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

SPLIT: Security Protocol Interaction Testing in Practice.

[BibT_eX]

[DOI]

ERCIM News, 2016

Combinatorial Methods in Security Testing.

[BibT_eX]

[DOI]

Rick Kuhn

Artemios G. Voyiatzis

Raghu Kacker

Computer, 2016

TLS Cipher Suites Recommendations: A Combinatorial Coverage Measurement Approach.

[BibT_eX]

[DOI]

Artemios G. Voyiatzis

Rick Kuhn

Raghu Kacker

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

A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing.

[BibT_eX]

[DOI]

Laleh Shikh Gholamhossein Ghandehari

Yu Lei

Proceedings of the Testing Software and Systems, 2016

Set-Based Algorithms for Combinatorial Test Set Generation.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2016

Weight distribution of the syndrome of linear codes and connections to combinatorial designs.

[BibT_eX]

[DOI]

Christoph Pacher

Philipp Grabenweger

Proceedings of the IEEE International Symposium on Information Theory, 2016

2015

Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification.

[BibT_eX]

[DOI]

Temur Kutsia

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing.

[BibT_eX]

[DOI]

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

Exciting FPGA cryptographic Trojans using combinatorial testing.

[BibT_eX]

[DOI]

Paris Kitsos

Jose Torres-Jimenez

Artemios G. Voyiatzis

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Evaluation of the IPO-Family algorithms for test case generation in web security testing.

[BibT_eX]

[DOI]

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

2014

On the applicability of combinatorial testing to web application security testing: a case study.

[BibT_eX]

[DOI]

Proceedings of the 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing, 2014

Retaining Consistency for Knowledge-Based Security Testing.

[BibT_eX]

[DOI]

Proceedings of the Modern Advances in Applied Intelligence, 2014

Eris: A Tool for Combinatorial Testing of the Linux System Call Interface.

[BibT_eX]

[DOI]

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

Attack pattern-based combinatorial testing.

[BibT_eX]

[DOI]

Josip Bozic

Franz Wotawa

Proceedings of the 9th International Workshop on Automation of Software Test, 2014

E-voting Authentication with QR-codes.

[BibT_eX]

[DOI]

Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2014

2013

The Hardness of Code Equivalence over and Its Application to Code-Based Cryptography.

[BibT_eX]

[DOI]

Nicolas Sendrier

Proceedings of the Post-Quantum Cryptography - 5th International Workshop, 2013

Genetic Algorithm and Data Mining Techniques for Design Selection in Databases.

[BibT_eX]

[DOI]

Christina Parpoula

Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013

A Generation Method of Cryptographic Keys for Enterprise Communication Systems.

[BibT_eX]

[DOI]

Aleksandar Hudic

Elise Revell

Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013

2012

Competent genetic algorithms for weighing matrices.

[BibT_eX]

[DOI]

J. Comb. Optim., 2012

2011

On the average complexity for the verification of compatible sequences.

[BibT_eX]

[DOI]

Veronika Pillwein

Zafeirakis Zafeirakopoulos

Inf. Process. Lett., 2011

Quasi-Cyclic Codes from Cyclic-Structured Designs with Good Properties.

[BibT_eX]

[DOI]

Discret. Math. Algorithms Appl., 2011

An algebraic framework for extending orthogonal designs.

[BibT_eX]

[DOI]

Zafeirakis Zafeirakopoulos

ACM Commun. Comput. Algebra, 2011

Further results on ternary complementary sequences, orthogonal designs and weighing matrices.

[BibT_eX]

[DOI]

Australas. J Comb., 2011

Combinatorial Optimization for Weighing Matrices with the Ordering Messy Genetic Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Experimental Algorithms - 10th International Symposium, 2011

Hadamard Matrices, Designs and Their Secret-Sharing Schemes.

[BibT_eX]

[DOI]

Zlatko Varbanov

Proceedings of the Algebraic Informatics - 4th International Conference, 2011

2010

New classes of orthogonal designs and weighing matrices derived from near normal sequences.

[BibT_eX]

[DOI]

Australas. J Comb., 2010

New classes of orthogonal designs constructed from complementary sequences with given spread.

[BibT_eX]

[DOI]

Australas. J Comb., 2010

2009

An Algorithmic Construction of Four-Level Response Surface Designs.

[BibT_eX]

[DOI]

Commun. Stat. Simul. Comput., 2009

Construction of new self-dual codes over GF(5) using skew-Hadamard matrices.

[BibT_eX]

[DOI]

Adv. Math. Commun., 2009

MDS and near-MDS self-dual codes over large prime fields.

[BibT_eX]

[DOI]

Adv. Math. Commun., 2009

Self-dual Codes over Small Prime Fields from Combinatorial Designs.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Informatics, Third International Conference, 2009

2007

Exploring k.

[BibT_eX]

[DOI]

Kalliopi Mylona