Dimitris E. Simos

According to our database1, Dimitris E. Simos authored at least 103 papers between 2007 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Correction to: Preface: Selected revised papers from the LION 15 conference.
Ann. Math. Artif. Intell., December, 2023

Combinatorial Sequences for Disaster Scenario Generation.
Oper. Res. Forum, June, 2023

Preface: Selected revised papers from the LION 15 conference.
Ann. Math. Artif. Intell., June, 2023

Foreword.
Math. Comput. Sci., March, 2023

Algorithmic methods for covering arrays of higher index.
J. Comb. Optim., 2023

Applying Pairwise Combinatorial Testing to Large Language Model Testing.
Proceedings of the Testing Software and Systems, 2023

A Mathematical Approach on the Use of Integer Partitions for Smurfing in Cryptocurrencies.
Proceedings of the Mathematical Research for Blockchain Economy: 4th International Conference MARBLE 2023, 2023

Combinatorial Methods for HTML Sanitizer Security Testing.
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.
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.
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.
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.
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.
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

2022
Combinatorial methods for dynamic gray-box SQL injection testing.
Softw. Test. Verification Reliab., 2022

Combinatorial methods for testing Internet of Things smart home systems.
Softw. Test. Verification Reliab., 2022

Measuring the Adequacy of a Test Suite With Respect to a Modeled Test Space.
IEEE Softw., 2022

A primer on the application of neural networks to covering array generation.
Optim. Methods Softw., 2022

A Two-Step TLS-Based Browser fingerprinting approach using combinatorial sequences.
Comput. Secur., 2022

In-Parameter-Order strategies for covering perfect hash families.
Appl. Math. Comput., 2022

An exploration of combinatorial testing-based approaches to fault localization for explainable AI.
Ann. Math. Artif. Intell., 2022

Locating Hardware Trojans Using Combinatorial Testing for Cryptographic Circuits.
IEEE Access, 2022

IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation.
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).
Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

From Design of Experiments to Combinatorics of Disasters: A Conceptual Framework for Disaster Exercises.
Proceedings of the Learning and Intelligent Optimization - 16th International Conference, 2022

Developing multithreaded techniques and improved constraint handling for the tool CAgen.
Proceedings of the 15th IEEE International Conference on Software Testing, 2022

CA<sup>2</sup>: Practical Archival and Compression of Covering Arrays.
Proceedings of the 15th IEEE International Conference on Software Testing, 2022

2021
Correction to: Factorials Experiments, Covering Arrays, and Combinatorial Testing.
Math. Comput. Sci., 2021

Factorials Experiments, Covering Arrays, and Combinatorial Testing.
Math. Comput. Sci., 2021

HYDRA: Feedback-driven black-box exploitation of injection vulnerabilities.
Inf. Softw. Technol., 2021

Heuristically Enhanced IPO Algorithms for Covering Array Generation.
Proceedings of the Combinatorial Algorithms - 32nd International Workshop, 2021

Combinatorially XSSing Web Application Firewalls.
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.
Optim. Lett., 2020

Input Space Coverage Matters.
Computer, 2020

Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques.
Ann. Math. Artif. Intell., 2020

XIEv: dynamic analysis for crawling and modeling of web applications.
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.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

General Message from the IWCT Workshop Chairs.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Combinatorial Methods for Explainable AI.
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.
Theor. Comput. Sci., 2019

Problems and algorithms for covering arrays via set covers.
Theor. Comput. Sci., 2019

Testing TLS using planning-based combinatorial methods and execution framework.
Softw. Qual. J., 2019

Quantum-Inspired Evolutionary Algorithms for Covering Arrays of Arbitrary Strength.
Proceedings of the Analysis of Experimental Algorithms - Special Event, 2019

IPO-Q: A Quantum-Inspired Approach to the IPO Strategy Used in CA Generation.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2019

How to Use Boltzmann Machines and Neural Networks for Covering Array Generation.
Proceedings of the Learning and Intelligent Optimization - 13th International Conference, 2019

A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection.
Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

Applying Combinatorial Testing to Large-Scale Data Processing at Adobe.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Measuring Combinatorial Coverage at Adobe.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Practical Combinatorial Testing for XSS Detection using Locally Optimized Attack Models.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Weighted Combinatorial Sequence Testing for the TLS Protocol.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Automated combinatorial testing for detecting SQL vulnerabilities in web applications.
Proceedings of the 14th International Workshop on Automation of Software Test, 2019

Browser fingerprinting using combinatorial sequence testing.
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.
Proceedings of the Machine Learning and Knowledge Extraction, 2019

Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets.
Proceedings of the Algebraic Informatics - 8th International Conference, 2019

2018
An Efficient Design and Implementation of the In-Parameter-Order Algorithm.
Math. Comput. Sci., 2018

Preface.
Electron. Notes Discret. Math., 2018

Covering Arrays via Set Covers.
Electron. Notes Discret. Math., 2018

Algebraic Techniques for Covering Arrays and related Structures.
Electron. Notes Discret. Math., 2018

Weighted t-way Sequences.
Electron. Notes Discret. Math., 2018

DOMdiff: Identification and Classification of Inter-DOM Modifications.
Proceedings of the 2018 IEEE/WIC/ACM International Conference on Web Intelligence, 2018

Combinatorial Methods for Testing Communication Protocols in Smart Cities.
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.
Proceedings of the Combinatorial Algorithms - 29th International Workshop, 2018

CAMETRICS: A Tool for Advanced Combinatorial Analysis and Measurement of Test Sets.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Combinatorial security testing course.
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.
Proceedings of the Testing Software and Systems, 2017

IWCT 2017 Organizers.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

General Message from the IWCT Workshop Chairs.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Coveringcerts: Combinatorial Methods for X.509 Certificate Testing.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Combinatorial Methods for Modelling Composed Software Systems.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Planning-Based Security Testing of the SSL/TLS Protocol.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities.
Proceedings of the Hardware and Software: Verification and Testing, 2017

2016
SPLIT: Security Protocol Interaction Testing in Practice.
ERCIM News, 2016

Combinatorial Methods in Security Testing.
Computer, 2016

TLS Cipher Suites Recommendations: A Combinatorial Coverage Measurement Approach.
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.
Proceedings of the Testing Software and Systems, 2016

Set-Based Algorithms for Combinatorial Test Set Generation.
Proceedings of the Testing Software and Systems, 2016

Weight distribution of the syndrome of linear codes and connections to combinatorial designs.
Proceedings of the IEEE International Symposium on Information Theory, 2016

2015
Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification.
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Exciting FPGA cryptographic Trojans using combinatorial testing.
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.
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.
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.
Proceedings of the Modern Advances in Applied Intelligence, 2014

Eris: A Tool for Combinatorial Testing of the Linux System Call Interface.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Attack pattern-based combinatorial testing.
Proceedings of the 9th International Workshop on Automation of Software Test, 2014

E-voting Authentication with QR-codes.
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.
Proceedings of the Post-Quantum Cryptography - 5th International Workshop, 2013

Genetic Algorithm and Data Mining Techniques for Design Selection in Databases.
Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013

A Generation Method of Cryptographic Keys for Enterprise Communication Systems.
Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013

2012
Competent genetic algorithms for weighing matrices.
J. Comb. Optim., 2012

2011
On the average complexity for the verification of compatible sequences.
Inf. Process. Lett., 2011

Quasi-Cyclic Codes from Cyclic-Structured Designs with Good Properties.
Discret. Math. Algorithms Appl., 2011

An algebraic framework for extending orthogonal designs.
ACM Commun. Comput. Algebra, 2011

Further results on ternary complementary sequences, orthogonal designs and weighing matrices.
Australas. J Comb., 2011

Combinatorial Optimization for Weighing Matrices with the Ordering Messy Genetic Algorithm.
Proceedings of the Experimental Algorithms - 10th International Symposium, 2011

Hadamard Matrices, Designs and Their Secret-Sharing Schemes.
Proceedings of the Algebraic Informatics - 4th International Conference, 2011

2010
New classes of orthogonal designs and weighing matrices derived from near normal sequences.
Australas. J Comb., 2010

New classes of orthogonal designs constructed from complementary sequences with given spread.
Australas. J Comb., 2010

2009
An Algorithmic Construction of Four-Level Response Surface Designs.
Commun. Stat. Simul. Comput., 2009

Construction of new self-dual codes over GF(5) using skew-Hadamard matrices.
Adv. Math. Commun., 2009

MDS and near-MDS self-dual codes over large prime fields.
Adv. Math. Commun., 2009

Self-dual Codes over Small Prime Fields from Combinatorial Designs.
Proceedings of the Algebraic Informatics, Third International Conference, 2009

2007
Exploring k.
Comput. Stat. Data Anal., 2007


  Loading...