Category: Research Activities
-
MATRIS Members @IWCT
5 Copyright: MATRIS Description: This year’s International Workshop on Combinatorial Testing (IWCT 2023) took place in Dublin. MATRIS members contributed to the workshop through six talks by Ludwig Kampel, Manuel Leithner, and Michael Wagner. The first talk of Ludwig Kampel was an automotive case study on Combinatorial Testing Fault-localization (CT-FLA) methods for Automatic Emergency Braking…
-
The 3rd MATRIS/SBA and NIST Workshop
Description: The third strategic workshop between MATRIS and the US National Institute of Standards and Technology (NIST) took place virtually on the 11th, 13th, and 14th of October. MATRIS and NIST have been part of a successful and scientifically fruitful partnership for many years and officially cooperating on different research projects. Moreover, both parties have…
-
New Section in SN Computer Science: Combinatorial Methods and Models in System Testing
The section acts as the first umbrella journal that focuses on the combinatorial testing (CT), model-based testing (MBT), and property-based testing (e.g., metamorphic testing, statistical testing, etc.) communities where combinatorial aspects play a prominent role. All these methods can support largely both black-box and white-box testing approaches, through well-tuned models which may also be applied…
-
CT Competition at IWCT 2022
On April 4, 2022, a combinatorial testing (CT) tool competition was held for the first time at the premier workshop on CT, IWCT 2022, that evaluated the performance of tools capable of generating covering arrays (CAs), the principal mathematical structure used in CT. The competition was enabled by a cooperation between SBA Research and the University of…
-
Journal Article: “In-Parameter-Order strategies for covering perfect hash families” by MATRIS Research Group
Michael Wagner and Dimitris E. Simos from the MATRIS research group published an article for the Elsevier Applied Mathematics and Computation Journal. Generating optimal covering arrays is a very challenging task where asides its theoretical value has huge impact in software testing, when such mathematical structures are translated to software artifacts. In this work, an In-Parameter-Order algorithm for constructing…
-
Key Researcher Talk – Combinatorial Testing Methods and Algorithms for Detecting and Locating Cryptographic Trojans by Dimitris E. Simos (Remote)
Join the 4th edition of our Key Researcher Talk Series! Combinatorial Testing Methods and Algorithms for Detecting and Locating Cryptographic Trojans Combinatorial methods have attracted attention as a means of providing strong assurance at reduced cost, but are these methods practical and cost-effective, in the case of malicious hardware logic detection? In this talk, we…
-
Dimitris E. Simos – Habilitation completed at TU Graz!
Congratulations to Dimitris E. Simos (Lead of MATRIS Research Group) for completing his Habilitation at Graz University of Technology. As of Jan.1st 2021, Dimitris is now Associate Professor (non-tenured track, venia docendi for Applied Computer Science) with Graz University of Technology, further strengthening the cooperation between his MATRIS Research Group at SBA Research and the Institute of Software Technology at TU Graz.
-
Dimitris E. Simos appointed as Guest Researcher with US NIST
As of March 13, 2020, Dimitris E. Simos holds a Guest Researcher appointment with US NIST and is affiliated with the Applied Computational Mathematics Division (ACMD) of the Information Technology Lab (ITL) [1]. In his capacity as an off-site collaborator, Dimitris will further strengthen the ties between MATRIS Research Group of SBA Research and ACMD…
-
NIST Researchers from the US Embassy in Vienna visit SBA Research and MATRIS Research Group
On Fri, Nov 8, 2019, Amy Mahn and Andreas Lerch visited SBA Research on a mission from the US Embassy in Vienna and were welcomed by Markus Klemen. Amy Mahn is an international policy specialist working in the NIST Applied Cybersecurity Division. Amy’s primary focus in this role is support of the international aspects and alignment…
-
Jovan Zivanovic@ AST 2019
Jovan Zivanovic from SBA’s MaTRIS research group (https://matris.sba-research.org/) attended the 14th International Workshop on Automation of Software Test (http://ast2019.isti.cnr.it), in conjunction with ICSE 2019. Jovan Zivanovic presents the paper “Automated Combinatorial Testing for Detecting SQL Vulnerabilities in Web Applications” (Dimitris E. Simos, Jovan Zivanovic, and Manuel Leithner) Contributions from this paper include three new attack…