Floragasse 7 – 5th floor, 1040 Vienna
Subscribe to our Newsletter

News

Talk: A Call for more Automata Theory in Sequential Combinatorial Testing

On August 15, 2022, Ludwig Kampel, researcher of MATRIS Research Group, gave a talk “A Call for more Automata Theory in Sequential Combinatorial Testing” at Applications of Computer Algebra´s general session , presenting joint work with Manuel Leithner and Dimitris E. Simos. This talk presented formulations of problems appearing in sequential combinatorial testing in terms of automata theory. These formulations allow solving the problems with the help of computer algebra systems. The approach may be beneficial in advancing sequential combinatorial testing. His presentation was well received and initiated discussions on the application possibilities of such systems.

Link

About Us – Matris (sba-research.org)