3 citations · 6 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
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…
Evaluating data-flow coverage in spectrum-based fault localization
Henrique Lemos Ribeiro, Higor Amario de Souza, Roberto Paulo de Andrioli Araujo +2
Background: Debugging is a key task during the software development cycle. Spectrum-based Fault Localization (SFL) is a promising technique to improve and automate debugging. SFL t…