( en | de | ru )

 

Disambiguation of "Arcaini, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing.

, , , , , , and . ASE, page 1149-1161. IEEE, (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.

Giordano Paolo

Paolo Molteni

Paolo Bavaj

Paolo Fornara

Paolo Imperia

 

Other publications of authors with the same name

Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version)., , and . CoRR, (2019)Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module., , and . ABZ (Case Study), volume 433 of Communications in Computer and Information Science, page 95-109. Springer, (2014)Test Generation for Sequential Nets of Abstract State Machines., , and . ABZ, volume 7316 of Lecture Notes in Computer Science, page 36-50. Springer, (2012)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)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)Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs., , , and . ICST, page 13-23. IEEE, (2021)Distributed Repair of Deep Neural Networks., , , , and . ICST, page 83-94. IEEE, (2023)