Author of the publication

Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations.

, , , and . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

CoMA: Conformance Monitoring of Java Programs by Abstract State Machines., , and . RV, volume 7186 of Lecture Notes in Computer Science, page 223-238. Springer, (2011)JSIMutate: understanding performance results through mutations., , , and . ESEC/SIGSOFT FSE, page 1721-1725. ACM, (2022)Mutation-based test generation for quantum programs with multi-objective search., , , , and . GECCO, page 1345-1353. ACM, (2022)On the Need for Multi-Level ADS Scenarios., and . MoDELS (Companion), page 322-326. IEEE, (2021)Explaining the Behaviour of Game Agents Using Differential Comparison., , , , , , and . ASE, page 210:1-210:8. ACM, (2022)SMT for state-based formal methods: the ASM case study., , and . AFM@NFM, volume 5 of Kalpa Publications in Computing, page 1-18. EasyChair, (2017)Online Causation Monitoring of Signal Temporal Logic., , , and . CAV (1), volume 13964 of Lecture Notes in Computer Science, page 62-84. Springer, (2023)Parameter-Based Testing and Debugging of Autonomous Driving Systems., , , , , , , and . IV Workshops, page 197-202. IEEE, (2021)Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery., , , , , and . CEC, page 1-10. IEEE, (2023)The ASMETA Approach to Safety Assurance of Software Systems., , , , , and . Logic, Computation and Rigorous Methods, volume 12750 of Lecture Notes in Computer Science, page 215-238. Springer, (2021)