Abstract: Most techniques to detect program errors, such as testing, code reviews, and static program analysis, do not fully verify all possible executions of a program. They leave executions ...

Abstract: The work aims to enable the use of common software engineering techniques and tools for quantum programming languages (e.g., OpenQASM). With the increased interest in quantum computing, ...

Test suites for software products vary in size from hundreds of test cases for small programs to millions for a large software product like Microsoft Windows. One problem in the product life cycle is ...