Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
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…
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…
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.…