11 citations · 20 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
CircInspect: Integrating Visual Circuit Analysis, Abstraction, and Real-Time Development in Quantum Debugging
Mushahid Khan, Prashant J. Nair, Olivia Di Matteo
Software bugs typically result from errors in specifications or code translation. While classical software engineering has evolved with various tools and methodologies to tackle su…
cs.SE2022★ 11 cited
Quantum Computing for Software Engineering: Prospects
Andriy Miranskyy, Mushahid Khan, Jean Paul Latyr Faye +1
Quantum computers (QCs) are maturing. When QCs are powerful enough, they may be able to handle problems in chemistry, physics, and finance that are not classically solvable. Howeve…