A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing (AIST 2022 - Artificial Intelligence in Software Testing 2022)

Write a Blog >>

Mon 4 - Fri 8 April 2022

Who

Miguel Trinca, João F. Ferreira, Rui Abreu

Track

AIST 2022

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 4 Apr 2022 10:05 - 10:25 at Margaret Hamilton - AIST I Chair(s): Alexandra Mendes

Miguel Trinca

INESC-ID & Instituto Superior Técnico, University of Lisbon

Portugal

João F. Ferreira

INESC-ID and IST, University of Lisbon

Portugal

Rui Abreu

Faculty of Engineering, University of Porto, Portugal

Portugal

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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