( en | de | ru )

 

Disambiguierung von "Gligoric, Milos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Setac: A Framework for Phased Deterministic Testing Scala Actor Programs

, , , und . (2011)

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.

Milos Horvath

Milos Jovanovic

Milos Puzovic

Alesia Miloslavina

Yuliya Miloslavina

 

Weitere Publikationen von Autoren mit dem selben Namen

Mutation Analysis for Coq, , , , und . 34th IEEE/ACM International Conference on Automated Software Engineering, Seite 539--551. (November 2019)Evaluation Methodologies for Code Learning Tasks., , , , und . CoRR, (2021)Learning to Generate Code Comments from Class Hierarchies., , , , , und . CoRR, (2021)A framework for writing trigger-action todo comments in executable format., , , , , und . ESEC/SIGSOFT FSE, Seite 385-396. ACM, (2019)Deep Just-In-Time Inconsistency Detection Between Comments and Source Code., , , und . AAAI, Seite 427-435. AAAI Press, (2021)Precise semantic history slicing through dynamic delta refinement., , , , und . Autom. Softw. Eng., 26 (4): 757-793 (2019)A Progress Bar for the JPF Search Using Program Executions., , , , und . ACM SIGSOFT Softw. Eng. Notes, 43 (4): 55 (2018)A Multi-GPU Python Solver for Low-Temperature Non-Equilibrium Plasmas., , , , und . SBAC-PAD, Seite 140-149. IEEE, (2022)Predictive constraint solving and analysis., , , , , und . ICSE (NIER), Seite 109-112. ACM, (2020)Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning., , , und . ICSE (Companion Volume), Seite 21-24. IEEE, (2021)