3 papers
cs.SE2025
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…
quant-ph2025
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…
cs.SE2025
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.…