67 citations · 75 across the 7 of their papers we have counts for
8 papers
NxM-Version Programming for Quantum Software: High-Level Components across Frameworks and Engines
Neilson Carlos Leite Ramalho, Higor Amario de Souza, Anthony Accioly +2
Quantum computing has in recent years evolved from a purely theoretical field to an active area in both academia and industry. As a result, Quantum Software Engineering has emerged…
From Pattern Detection to Composition Analysis in Quantum Software
Neilson Carlos Leite Ramalho, Erico Augusto da Silva, Anthony Accioly +2
Quantum software patterns provide high-level abstractions for building quantum programs, but there is still little empirical evidence on how they are adopted in practice. In prior…
Mining Quantum Software Patterns in Open-Source Projects
Neilson Carlos Leite Ramalho, Erico A. da Silva, Higor Amario de Souza +1
Quantum computing has become an active research field in recent years, as its applications in fields such as cryptography, optimization, and materials science are promising. Along…
Quantum Testing in the Wild: A Case Study with Qiskit Algorithms
Neilson Carlos Leite Ramalho, Erico Augusto da Silva, Higor Amario de Souza +1
Although classical computing has excelled in a wide range of applications, there remain problems that push the limits of its capabilities, especially in fields like cryptography, o…
Testing and Debugging Quantum Programs: The Road to 2030
Neilson Carlos Leite Ramalho, Higor Amario de Souza, Marcos Lordello Chaim
Quantum computing has existed in the theoretical realm for several decades. Recently, quantum computing has re-emerged as a promising technology to solve problems that a classical…
A Data Flow Analysis Framework for Data Flow Subsumption
Marcos Lordello Chaim, Kesina Baral, Jeff Offutt
Data flow testing creates test requirements as definition-use (DU) associations, where a definition is a program location that assigns a value to a variable and a use is a location…