Dimitris E. Simos

Franz Wotawa, Josip Bozic, Bernhard Garn, 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

General Message from the IWCT Workshop Chairs

Dimitris E. Simos, Rachel Tzoref, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Security Engineering and Intelligence Informatics

Alfredo Cuzzocrea, Lida Xu, Edgar Weippl, 2013, Lecture Notes in Computer Science.

Exciting FPGA cryptographic Trojans using combinatorial testing

José Torres-Jiménez, Paris Kitsos, Artemios G. Voyiatzis, 2015, 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE).

E-voting Authentication with QR-codes

Edgar R. Weippl, Peter Kieseberg, Dimitris E. Simos, 2014, HCI.

Quantum-Inspired Evolutionary Algorithms for Covering Arrays of Arbitrary Strength

Dimitris E. Simos, Ludwig Kampel, Michael Wagner, 2019, SEA².

Competent genetic algorithms for weighing matrices

Panos M. Pardalos, Ilias S. Kotsireas, Dimitris E. Simos, 2011, Journal of Combinatorial Optimization.

Testing TLS Using Combinatorial Methods and Execution Framework

Feng Duan, Yu Lei, Franz Wotawa, 2017, ICTSS.

Problems and algorithms for covering arrays via set covers

Bernhard Garn, Dimitris E. Simos, Ludwig Kampel, 2019, Theor. Comput. Sci..

Combinatorial Methods in Security Testing

Raghu Kacker, D. Richard Kuhn, Artemios G. Voyiatzis, 2016, Computer.

Genetic Algorithms for the Construction of $$2^{2}$$ and $$2^{3}$$23-Level Response Surface Designs

Dimitris E. Simos, D. Simos, 2015 .

Mixed-Level Response Surface Designs via a Hybrid Genetic Algorithm

Christos Koukouvinos, Dimitris E. Simos, P. Angelopoulos, 2013 .

Attack pattern-based combinatorial testing

Franz Wotawa, Josip Bozic, Dimitris E. Simos, 2014, AST 2014.

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

Ilias S. Kotsireas, Dimitris E. Simos, Temur Kutsia, 2015, RTA.

Applying Combinatorial Testing to Large-Scale Data Processing at Adobe

D. Richard Kuhn, Raghu Kacker, Dimitris E. Simos, 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Combinatorial Coverage Analysis of Subsets of the TLS Cipher Suite Registry | NIST

Raghu N. Kacker, David R. Kuhn, Dimitris E. Simos, 2016 .

Combinatorial Methods for Modelling Composed Software Systems

Bernhard Garn, Dimitris E. Simos, Ludwig Kampel, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Practical Combinatorial Testing for XSS Detection using Locally Optimized Attack Models

Bernhard Garn, Dimitris E. Simos, Manuel Leithner, 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Combinatorial Methods for Testing Communication Protocols in Smart Cities

Dimitris E. Simos, Ludwig Kampel, Murat Ozcan, 2018, LION.

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

Angelo Gargantini, Marco Radavelli, Bernhard Garn, 2019, IEA/AIE.

Retaining Consistency for Knowledge-Based Security Testing

Franz Wotawa, Andreas Bernauer, Josip Bozic, 2014, IEA/AIE.

Planning-Based Security Testing of the SSL/TLS Protocol

Franz Wotawa, Josip Bozic, Dimitris E. Simos, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Combinatorial Security Testing Course | NIST

Yu Lei, Raghu N. Kacker, David R. Kuhn, 2018 .

The Hardness of Code Equivalence over F q and its Application to Code-based Cryptography

Dimitris E. Simos, Nicolas Sendrier, N. Sendrier, 2013 .

Mathematical Aspects of Computer and Information Sciences

Ilias S. Kotsireas, Johannes Blömer, Dimitris E. Simos, 2017, Lecture Notes in Computer Science.

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

Yu Lei, Bernhard Garn, Dimitris E. Simos, 2016, ICTSS.

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

Christoph Pacher, Dimitris E. Simos, Philipp Grabenweger, 2016, 2016 IEEE International Symposium on Information Theory (ISIT).

Availability, Reliability, and Security in Information Systems and HCI

Alfredo Cuzzocrea, Lida Xu, Edgar Weippl, 2013, Lecture Notes in Computer Science.

A Bird’s-Eye View of Modern Symmetric Cryptography from Combinatorial Designs

Christos Koukouvinos, Dimitris E. Simos, C. Koukouvinos, 2012 .

SPLIT: Security Protocol Interaction Testing in Practice

Dimitris E. Simos, 2016, ERCIM News.

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

Ilias S. Kotsireas, Bernhard Garn, Dimitris E. Simos, 2019, CAI.

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

Ilias S. Kotsireas, Dimitris E. Simos, Kristoffer Kleine, 2018, IWOCA.

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

Ilias S. Kotsireas, Dimitris E. Simos, Ludwig Kampel, 2019, LION.

An Algorithmic Construction of Four-Level Response Surface Designs

Kalliopi Mylona, Dimitris E. Simos, Christos Koukouvinos, 2009, Commun. Stat. Simul. Comput..

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

Dimitris E. Simos, Temur Kutsia, Ilias Kotsireas, 2018, Annals of Mathematics and Artificial Intelligence.

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

Bernhard Garn, Dimitris E. Simos, Fabian Würfl, 2017, Haifa Verification Conference.

On the average complexity for the verification of compatible sequences

Dimitris E. Simos, Zafeirakis Zafeirakopoulos, Christos Koukouvinos, 2011, Inf. Process. Lett..

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

Raghu Kacker, D. Richard Kuhn, Bernhard Garn, 2019, CD-MAKE.

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

Jennifer Seberry, Ilias S. Kotsireas, Dimitris E. Simos, 2010, Australas. J Comb..

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

Dimitris E. Simos, Christos Koukouvinos, C. Koukouvinos, 2011, Australas. J Comb..

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

Dimitris E. Simos, Christos Koukouvinos, 2010, Australas. J Comb..

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

Dimitris E. Simos, Ludwig Kampel, Michael Wagner, 2019, MACIS.

Combinatorial Optimization for Weighing Matrices with the Ordering Messy Genetic Algorithm

Dimitris E. Simos, Christos Koukouvinos, C. Koukouvinos, 2011, SEA.

A Generation Method of Cryptographic Keys for Enterprise Communication Systems

Dimitris E. Simos, Aleksandar Hudic, Elise Revell, 2013, 2013 International Conference on Availability, Reliability and Security.

Measuring Combinatorial Coverage at Adobe

D. Richard Kuhn, Raghu Kacker, Dimitris E. Simos, 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

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

Ioannis Kapsalis, Bernhard Garn, Dimitris E. Simos, 2014, JAMAICA 2014.

Self-dual Codes over Small Prime Fields from Combinatorial Designs

Dimitris E. Simos, Christos Koukouvinos, C. Koukouvinos, 2009, CAI.

Covering Arrays via Set Covers

Bernhard Garn, Dimitris E. Simos, Ludwig Kampel, 2018, Electron. Notes Discret. Math..

Combinatorial Methods for Explainable AI

Raghu Kacker, D. Richard Kuhn, Dimitris E. Simos, 2020, 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

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

Dimitris E. Simos, Christos Koukouvinos, 2009, Adv. Math. Commun..

IWCT 2017 Organizers

Dimitris E. Simos, Rachel Tzoref, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Combinatorial security testing course

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2018, HotSoS.

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

Dimitris E. Simos, Christos Koukouvinos, C. Koukouvinos, 2011, Discret. Math. Algorithms Appl..

Testing TLS using planning-based combinatorial methods and execution framework

Yu Lei, Franz Wotawa, Josip Bozic, 2018, Software Quality Journal.

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

Dimitris E. Simos, Manuel Leithner, Kristoffer Kleine, 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Preface

Lucia Moura, Dimitris E. Simos, 2018, Electron. Notes Discret. Math..

Coveringcerts: Combinatorial Methods for X.509 Certificate Testing

Dimitris E. Simos, Kristoffer Kleine, D. Simos, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

DOMdiff: Identification and Classification of Inter-DOM Modifications

Dimitris E. Simos, Manuel Leithner, 2018, 2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI).

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

Dimitris E. Simos, Ludwig Kampel, 2019, Theor. Comput. Sci..

General Message from the IWCT Workshop Chairs

Jeff Yu Lei, Dimitris E. Simos, Changhai Nie, 2020, ICST Workshops.

An algebraic framework for extending orthogonal designs

Dimitris E. Simos, Zafeirakis Zafeirakopoulos, Christos Koukouvinos, 2011, ACCA.

Automated Combinatorial Testing for Detecting SQL Vulnerabilities in Web Applications

Dimitris E. Simos, Manuel Leithner, Jovan Zivanovic, 2019, 2019 IEEE/ACM 14th International Workshop on Automation of Software Test (AST).

Algebraic Modelling of Covering Arrays

Bernhard Garn, Dimitris E. Simos, Bernhard Garn, 2015 .

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

Raghu Kacker, D. Richard Kuhn, Dimitris E. Simos, 2020, 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Hadamard Matrices, Designs and Their Secret-Sharing Schemes

Dimitris E. Simos, Christos Koukouvinos, Zlatko Varbanov, 2011, CAI.

Combinatorial Coverage Measurement of Test Vectors used in Cryptographic Algorithm Validation (Presentation)

Raghu N. Kacker, David R. Kuhn, Dimitris E. Simos, 2017 .

Genetic Algorithm and Data Mining Techniques for Design Selection in Databases

Dimitris E. Simos, Christos Koukouvinos, Christina Parpoula, 2013, 2013 International Conference on Availability, Reliability and Security.

Browser fingerprinting using combinatorial sequence testing

Raghu Kacker, D. Richard Kuhn, Bernhard Garn, 2019, HotSoS.

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

Franz Wotawa, Josip Bozic, Bernhard Garn, 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

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

Dimitris E. Simos, Kristoffer Kleine, D. Simos, 2018, Math. Comput. Sci..

TLS Cipher Suites Recommendations: A Combinatorial Coverage Measurement Approach

Raghu Kacker, D. Richard Kuhn, Artemios G. Voyiatzis, 2016, 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS).

Factorials Experiments, Covering Arrays, and Combinatorial Testing

D. Richard Kuhn, Raghu N. Kacker, Dimitris E. Simos, 2021, Mathematics in Computer Science.

Heuristically Enhanced IPO Algorithms for Covering Array Generation

Dimitris E. Simos, Ludwig Kampel, Michael Wagner, 2021, IWOCA.

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

D. Richard Kuhn, Raghu N. Kacker, Dimitris E. Simos, 2021, Math. Comput. Sci..

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

Bernhard Garn, Dimitris E. Simos, Manuel Leithner, 2021, Inf. Softw. Technol..

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

D. Richard Kuhn, Raghu N. Kacker, Dimitris E. Simos, 2021, Ann. Math. Artif. Intell..

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

Ilias S. Kotsireas, Dimitris E. Simos, Ludwig Kampel, 2021 .

Combinatorially XSSing Web Application Firewalls

D. Richard Kuhn, Raghu Kacker, Bernhard Garn, 2021, 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

A Two-Step TLS-Based Browser Fingerprinting Approach using Combinatorial Sequences

D. Richard Kuhn, Raghu Kacker, Bernhard Garn, 2021, Computers & Security.

A hybrid SAGA algorithm for the construction of E(s2)-optimal cyclic supersaturated designs

Kalliopi Mylona, Dimitris E. Simos, Christos Koukouvinos, 2009 .