English
Related papers

Related papers: Using Quantum Computers to Speed Up Dynamic Testin…

200 papers

The rapid progress of computer science has been accompanied by a corresponding evolution of computation, from classical computation to quantum computation. As quantum computing is on its way to becoming an established discipline of…

Other Computer Science · Computer Science 2010-03-10 D. K. Ningtyas , A. B. Mutiara

Most continuous mathematical formulations arising in science and engineering can only be solved numerically and therefore approximately. We shall always assume that we're dealing with a numerical approximation to the solution. There are two…

Quantum Physics · Physics 2007-12-10 A. Papageorgiou , J. F. Traub

Quantum computing promises to revolutionize several scientific and technological domains through fundamentally new ways of processing information. Among its most compelling applications is digital quantum simulation, where quantum computers…

Quantum Physics · Physics 2026-02-05 Laurin E. Fischer

Recent research has demonstrated that quantum computers can solve certain types of problems substantially faster than the known classical algorithms. These problems include factoring integers and certain physics simulations. Practical…

Quantum Physics · Physics 2009-10-30 Emanuel Knill , Raymond Laflamme , Wojciech H. Zurek

We discuss whether, to what extent and how a quantum computing device can be evaluated and simulated using classical tools.

To perform meaningful computations, Quantum Computers (QCs) must scale to macroscopic levels - i.e., to a large number of qubits - an objective pursued by most quantum companies. How to efficiently test their quantumness at these scales? We…

Quantum Physics · Physics 2025-11-21 Ben Zindorf , Lorenzo Braccini , Debarshi Das , Sougato Bose

Quantum computing (QC) is a new paradigm offering the potential of exponential speedups over classical computing for certain computational problems. Each additional qubit doubles the size of the computational state space available to a QC…

Quantum Physics · Physics 2021-03-22 Wei Tang , Teague Tomesh , Martin Suchara , Jeffrey Larson , Margaret Martonosi

The increasing complexity of quantum software presents significant challenges for software verification and validation, particularly in the context of unit testing. This work presents a comprehensive study on quantum-centric unit tests,…

Software Engineering · Computer Science 2025-07-24 Andriy Miranskyy , José Campos , Anila Mjeda , Lei Zhang , Ignacio García Rodríguez de Guzmán

A quantum computer has now solved a specialized problem believed to be intractable for supercomputers, suggesting that quantum processors may soon outperform supercomputers on scientifically important problems. But flaws in each quantum…

Quantum Physics · Physics 2022-01-21 Timothy Proctor , Kenneth Rudinger , Kevin Young , Erik Nielsen , Robin Blume-Kohout

Quantum computers (QCs), which work based on the law of quantum mechanics, are expected to be faster than classical computers in several computational tasks such as prime factoring and simulation of quantum many-body systems. In the last…

While it seems possible that quantum computers may allow for algorithms offering a computational speed-up over classical algorithms for some problems, the issue is poorly understood. We explore this computational speed-up by investigating…

Quantum Physics · Physics 2010-06-09 Alastair A. Abbott , Cristian S. Calude

Recent advancements in quantum computing software are gradually increasing the scope and size of quantum programs being developed. At the same time, however, these larger programs provide more possibilities for functional errors that are…

Quantum Physics · Physics 2024-12-18 Damian Rovara , Lukas Burgholzer , Robert Wille

By leveraging quantum-mechanical properties like superposition, entanglement, and interference, quantum computing (QC) offers promising solutions for problems that classical computing has not been able to solve efficiently, such as drug…

Human-Computer Interaction · Computer Science 2025-02-14 Hyeok Kim , Mingyoung J. Jeng , Kaitlin N. Smith

Quantum Computing (QC) refers to an emerging paradigm that inherits and builds with the concepts and phenomena of Quantum Mechanic (QM) with the significant potential to unlock a remarkable opportunity to solve complex and computationally…

Quantum computing is the process of performing calculations using quantum mechanics. This field studies the quantum behavior of certain subatomic particles for subsequent use in performing calculations, as well as for large-scale…

Quantum Physics · Physics 2023-12-07 David Peral García , Juan Cruz-Benito , Francisco José García-Peñalvo

Run-times of quantum algorithms are often studied via an asymptotic, worst-case analysis. Whilst useful, such a comparison can often fall short: it is not uncommon for algorithms with a large worst-case run-time to end up performing well on…

Quantum Physics · Physics 2023-10-11 Chris Cade , Marten Folkertsma , Ido Niesen , Jordi Weggemans

Quantum computing proposes a revolutionary paradigm that can radically transform numerous scientific and industrial application domains. To realize this promise, these new capabilities need software solutions that are able to effectively…

Quantum Physics · Physics 2025-07-11 Otso Kinanen , Andrés D. Muñoz-Moller , Vlad Stirbu , Tommi Mikkonen

Research in software engineering is essential for improving development practices, leading to reliable and secure software. Leveraging the principles of quantum physics, quantum computing has emerged as a new computational paradigm that…

Software Engineering · Computer Science 2025-02-14 Ashis Kumar Mandal , Md Nadim , Chanchal K. Roy , Banani Roy , Kevin A. Schneider

Quantum computing is a game-changing technology for global academia, research centers and industries including computational science, mathematics, finance, pharmaceutical, materials science, chemistry and cryptography. Although it has seen…

Quantum Physics · Physics 2023-03-07 He-Liang Huang , Xiao-Yue Xu , Chu Guo , Guojing Tian , Shi-Jie Wei , Xiaoming Sun , Wan-Su Bao , Gui-Lu Long

By using a new way to encode Boolean functions in a reversible gate, an algorithm is developed in quantum computing over Z_2, symbolized QC/2, (as opposed to QC over C) that needs only one function evaluation to solve the Grover Database…

Quantum Physics · Physics 2024-09-09 David Ellerman