Dimitris E. Simos

RECENT SCHOLAR PUBLICATIONS

Correction to: Preface: Selected revised papers from the LION 15 conference
IS Kotsireas, PM Pardalos, DE Simos
Annals of Mathematics and Artificial Intelligence 91 (6), 901-901 2023



Check for Applying Pairwise Combinatorial Testing to Large Language Model Testing
B Garn, L Kampel, M Leithner, B Celic, C ulha, I Hiess, K Kieseberg, ...
Testing Software and Systems: 35th IFIP WG 6.1 International Conference 2023



Applying Pairwise Combinatorial Testing to Large Language Model Testing
B Garn, L Kampel, M Leithner, B Celic, C ulha, I Hiess, K Kieseberg, ...
IFIP International Conference on Testing Software and Systems, 247-256 2023



A Mathematical Approach on the Use of Integer Partitions for Smurfing in Cryptocurrencies
B Garn, K Kieseberg, C ulha, M Koelbing, DE Simos
The International Conference on Mathematical Research for Blockchain Economy 2023



Combinatorial Sequences for Disaster Scenario Generation
B Garn, K Kieseberg, D Schreiber, DE Simos
Operations Research Forum 4 (2), 50 2023



Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study
L Kampel, M Wagner, DE Simos, M Nica, D Dodig, D Kaufmann, ...
2023 IEEE International Conference on Software Testing, Verification and 2023



Summary of Combinatorial methods for testing Internet of Things smart home systems
B Garn, DP Schreiber, DE Simos, R Kuhn, J Voas, R Kacker
2023 IEEE International Conference on Software Testing, Verification and 2023



Summary of Combinatorial Methods for Dynamic Gray-Box SQL Injection Testing
B Garn, J Zivanovic, M Leithner, DE Simos
2023 IEEE International Conference on Software Testing, Verification and 2023



Summary of In-Parameter-Order strategies for covering perfect hash families
M Wagner, CJ Colbourn, DE Simos
2023 IEEE International Conference on Software Testing, Verification and 2023



Combinatorial Methods for HTML Sanitizer Security Testing
J Zivanovic, M Leithner, DE Simos, M Pitzer, PJ Slanina
2023 IEEE International Conference on Software Testing, Verification and 2023



Summary of Locating Hardware Trojans using Combinatorial Testing for Cryptographic Circuits
L Kampel, P Kitsos, DE Simos
2023 IEEE International Conference on Software Testing, Verification and 2023



MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts
H Feng, X Ren, Q Wei, Y Lei, R Kacker, DR Kuhn, DE Simos
2023 IEEE Conference on Software Testing, Verification and Validation (ICST 2023



Balanced covering arrays: A classification of covering arrays and packing arrays via exact methods
L Kampel, I Hiess, IS Kotsireas, DE Simos
Journal of Combinatorial Designs 31 (4), 205-261 2023



Algebraic and SAT models for SCA generation
M Koelbing, B Garn, E Iurlano, IS Kotsireas, DE Simos
Applicable Algebra in Engineering, Communication and Computing, 1-50 2023



Learning and Intelligent Optimization: 16th International Conference, LION 16, Milos Island, Greece, June 5–10, 2022, Revised Selected Papers
DE Simos, VA Rasskazova, F Archetti, IS Kotsireas, PM Pardalos
Springer Nature 2023



Preface: Selected revised papers from the LION 15 conference
IS Kotsireas, PM Pardalos, DE Simos
Annals of Mathematics and Artificial Intelligence 91 (2-3), 107 2023



Algorithmic methods for covering arrays of higher index
RE Dougherty, K Kleine, M Wagner, CJ Colbourn, DE Simos
Journal of Combinatorial Optimization 45 (1), 1-21 2023



IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation
I Hiess, L Kampel, M Wagner, DE Simos
2022 24th International Symposium on Symbolic and Numeric Algorithms for 2022



Measuring the Adequacy of a Test Suite With Respect to a Modeled Test Space
RN Kacker, DR Kuhn, Y Lei, DE Simos
IEEE Software 39 (05), 62-67 2022



Combinatorial methods for dynamic gray‐box SQL injection testing
B Garn, J Zivanovic, M Leithner, DE Simos
Software Testing, Verification and Reliability 32 (6), e1826 2022

MOST CITED SCHOLAR PUBLICATIONS

Exciting FPGA Cryptographic Trojans using Combinatorial Testing
P Kitsos, DE Simos, J Torres-Jimenez, AG Voyiatzis
26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015
Citations: 65



The Hardness of Code Equivalence over and Its Application to Code-Based Cryptography
N Sendrier, DE Simos
Post-Quantum Cryptography: 5th International Workshop, PQCrypto 2013 2013
Citations: 56



On the applicability of combinatorial testing to web application security testing: a case study
B Garn, I Kapsalis, DE Simos, S Winkler
Proceedings of the 2014 Workshop on Joining AcadeMiA and Industry 2014
Citations: 45



Attack pattern-based combinatorial testing with constraints for web security testing
J Bozic, B Garn, I Kapsalis, D Simos, S Winkler, F Wotawa
2015 IEEE International Conference on Software Quality, Reliability and 2015
Citations: 41



An Efficient Design and Implementation of the In-Parameter-Order Algorithm
K Kleine, DE Simos
Mathematics in Computer Science 12 (1), 51-67 2018
Citations: 40



Attack pattern-based combinatorial testing
J Bozic, DE Simos, F Wotawa
Proceedings of the 9th International Workshop on Automation of Software Test 2014
Citations: 36



CAgen: a fast combinatorial test generation tool with support for constraints and higher-index arrays
M Wagner, K Kleine, DE Simos, R Kuhn, R Kacker
2020 IEEE International Conference on Software Testing, Verification and 2020
Citations: 33



Eris: A tool for combinatorial testing of the linux system call interface
B Garn, DE Simos
2014 IEEE Seventh International Conference on Software Testing, Verification 2014
Citations: 33



E (s2)-optimal and minimax-optimal cyclic supersaturated designs via multi-objective simulated annealing
C Koukouvinos, K Mylona, DE Simos
Journal of Statistical Planning and Inference 138 (6), 1639-1646 2008
Citations: 32



Combinatorial Methods in Security Testing.
DE Simos, R Kuhn, AG Voyiatzis, R Kacker
IEEE Computer 49 (10), 80-83 2016
Citations: 31



A survey on the state of the art of complexity problems for covering arrays
L Kampel, DE Simos
Theoretical Computer Science 800, 107-124 2019
Citations: 28



E-voting Authentication with QR-codes
S Falkner, P Kieseberg, DE Simos, C Traxler, E Weippl
Human Aspects of Information Security, Privacy, and Trust: Second 2014
Citations: 28



Evaluation of the IPO-family algorithms for test case generation in web security testing
J Bozic, B Garn, DE Simos, F Wotawa
2015 IEEE Eighth International Conference on Software Testing, Verification 2015
Citations: 27



Automated combinatorial testing for detecting SQL vulnerabilities in web applications
DE Simos, J Zivanovic, M Leithner
2019 IEEE/ACM 14th International Workshop on Automation of Software Test 2019
Citations: 25



How easy is code equivalence over F_q?
N Sendrier, D Simos
WCC 2013 2013
Citations: 24



Combinatorial Methods for Explainable AI
DR Kuhn, RN Kacker, Y Lei, DE Simos
2020 IEEE International Conference on Software Testing, Verification and 2020
Citations: 23



Coveringcerts: combinatorial methods for x. 509 certificate testing
K Kleine, DE Simos
2017 IEEE International conference on software testing, verification and 2017
Citations: 22



Exploring k-circulant supersaturated designs via genetic algorithms
C Koukouvinos, K Mylona, DE Simos
Computational statistics & data analysis 51 (6), 2958-2968 2007
Citations: 22



Testing TLS using planning-based combinatorial methods and execution framework
DE Simos, J Bozic, B Garn, M Leithner, F Duan, K Kleine, Y Lei, F Wotawa
Software quality journal 27 (2), 703-729 2019
Citations: 20



Encryption schemes based on hadamard matrices with circulant cores
C Koukouvinos, DE Simos
Journal of Applied Mathematics and Bioinformatics 2013
Citations: 17