Write a Blog >>
ICST 2022
Mon 4 - Fri 8 April 2022
Mon 4 Apr 2022 10:05 - 10:25 at Margaret Hamilton - AIST I Chair(s): Alexandra Mendes

Mon 4 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:05 - 10:25
AIST IAIST at Margaret Hamilton
Chair(s): Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC
10:05
20m
Talk
A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
AIST
Miguel Trinca INESC-ID & Instituto Superior Técnico, University of Lisbon, João F. Ferreira INESC-ID and IST, University of Lisbon, Rui Abreu Faculty of Engineering, University of Porto, Portugal