About Us
MATRIS
History and Evolution
Competence and Experience
MATRIS Members
Design Theory Framework for the Science of Security
Combinatorial Algorithms, Arrays and Optimization
Combinatorial Security Testing
MATRIS Alumni and Students
Projects
Project Timeline
Current Projects
Past Projects
Partners
Collaborations
Academia
Governmental Research Organizations
Industry
Research
MATRIS-Wide Highlights
DEFSYS
CALGO
CST
Publications
Software and Tools
Our Prototypes
CAmetrics
CAgen
Open Vacancies
BSc/MSc/PhD Supervision Topics
Internships
Research Assistant
Newsroom
Conferences
Press Releases
Research Activities
Contact Us
CALGO: Posters
Large-scale Combinatorial Testing with Adobe
Download
Combinatorial Testing Methods for Composed Systems
Download
Covering Array Generation
Download
Combinatorial Coverage and Distance Measurements of Test Sets
Download
Covering Arrays, Set Covers, Algorithms, and their Complexity
Download
Combinatorial Methods Enable the Detection and Location of Hardware Trojan Horses
Download
Quantum-Inspired Algorithms for Covering Arrays
Download
IPO-MAXSAT_poster
Download
NeuralNetworks_v2-final-logos
Download
Combinatorial Optimization of Unit Tests in NASA’s Core Flight System (cFS)
Download
Algebraic Models for Covering Arrays
Download
Combinatorial Methods for Artificial Intelligence
Download