Autor der Publikation

Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy.

, , , und . ICTSS, Volume 13045 von Lecture Notes in Computer Science, Seite 123-130. Springer, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Survey of Hybrid Human-Artificial Intelligence for Social Computing., , , , , und . IEEE Trans. Hum. Mach. Syst., 52 (3): 468-480 (2022)The Internet of People: A Survey and Tutorial., , , und . CoRR, (2021)An Improved Entropy-Weighted Topsis Method for Decision-Level Fusion Evaluation System of Multi-Source Data., , , , und . Sensors, 22 (17): 6391 (2022)CadiBack: Extracting Backbones with CaDiCaL., , und . SAT, Volume 271 von LIPIcs, Seite 3:1-3:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)TestMC: Testing Model Counters using Differential and Metamorphic Testing., , und . ASE, Seite 709-721. IEEE, (2020)Incremental Analysis of Evolving Alloy Models., , , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 174-191. Springer, (2019)Greybox Penetration Testing on Cloud Access Control with IAM Modeling and Deep Reinforcement Learning., , und . CoRR, (2023)Learning to Optimize the Alloy Analyzer., , , und . ICST, Seite 228-239. IEEE, (2019)A Study of Learning Data Structure Invariants Using Off-the-shelf Tools., , , , , und . SPIN, Volume 11636 von Lecture Notes in Computer Science, Seite 226-243. Springer, (2019)Deep convolutional neural network-based in-process tool condition monitoring in abrasive belt grinding., , , , und . Comput. Ind., (2019)