Xinyi Wang

Orcid: 0000-0001-5621-6140

Affiliations:

University of Oslo, Simula Research Laboratory, Oslo, Norway
Nanjing University of Aeronautics and Astronautics, Nanjing, China

According to our database¹, Xinyi Wang authored at least 12 papers between 2021 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2023

Guess What Quantum Computing Can Do for Test Case Optimization.

[BibT_eX]

[DOI]

CoRR, 2023

Test Case Minimization with Quantum Annealers.

[BibT_eX]

[DOI]

CoRR, 2023

QuCAT: A Combinatorial Testing Tool for Quantum Software.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

QuSBT: Search-Based Testing of Quantum Programs.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Mutation-based test generation for quantum programs with multi-objective search.

[BibT_eX]

[DOI]

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Boston, Massachusetts, USA, July 9, 2022

Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022).

[BibT_eX]

[DOI]

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

2021

Quito: a Coverage-Guided Test Generator for Quantum Programs.

[BibT_eX]

[DOI]

Dataset, August, 2021

Generating Failing Test Suites for Quantum Programs With Search.

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 13th International Symposium, 2021

Application of Combinatorial Testing to Quantum Programs.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Quito: a Coverage-Guided Test Generator for Quantum Programs.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Xinyi Wang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...