4 papers
Software Testing in the Quantum World
Rui Abreu, Shaukat Ali, Paolo Arcaini +11
Quantum computing offers significant speedups for simulating physical, chemical, and biological systems, and for optimization and machine learning. As quantum software grows in com…
The Future of Generative AI in Software Engineering: A Vision from Industry and Academia in the European GENIUS Project
Robin Gröpler, Steffen Klepke, Jack Johns +12
Generative AI (GenAI) has recently emerged as a groundbreaking force in Software Engineering, capable of generating code, identifying bugs, recommending fixes, and supporting quali…
QuCheck: A Property-based Testing Framework for Quantum Programs in Qiskit
Gabriel Pontolillo, Mohammad Reza Mousavi, Marek Grzesiuk
Property-based testing has been previously proposed for quantum programs in Q# with QSharpCheck; however, this implementation was limited in functionality, lacked extensibility, an…
Complete FSM Testing Using Strong Separability
Robert M. Hierons, Mohammad Reza Mousavi
Apartness is a concept developed in constructive mathematics, which has resurfaced as a powerful notion for separating states in the area of model learning and model-based testing.…