Ana Jovanovic

12 papers A 2B 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Mutation testing for temporal alloy models (extended version).
Softw. Syst. Model.
Ana Jovanovic, Allison Sullivan
2025 — conf
Refining Alloy-Based Mutation Operators to Reflect Common Mistakes.
FormaliSE
Ana Jovanovic, Mohammad Nurullah Patwary, Allison Sullivan
2024 J jnl
Empirically Exploring How Novices Write Software Models in Alloy.
CoRR
Ana Jovanovic, Allison Sullivan
2024 B conf
Right or Wrong - Understanding How Users Write Software Models in Alloy.
SEFM
Ana Jovanovic, Allison Sullivan
2024 J jnl
Structure Editor for Building Software Models.
CoRR
Mohammad Nurullah Patwary, Ana Jovanovic, Allison Sullivan
2023 A conf
Mutation Testing for Temporal Alloy Models.
MODELS
Ana Jovanovic, Allison Sullivan
2022 A conf
REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track).
ISSRE
Ana Jovanovic, Allison Sullivan
2022 — conf
Towards Automated Input Generation for Sketching Alloy Models.
FormaliSE@ICSE
Ana Jovanovic, Allison Sullivan
2021 J jnl
REACH: Refining Alloy Scenarios by Scope.
CoRR
Ana Jovanovic, Allison Sullivan
2015 — conf
Chaos based optimization of LMS algorithm applied on circular antenna arrays.
MECO
Luka Lazovic, Ana Jovanovic, Vesna Rubezic
2014 — conf
Time-frequency representation-based identification of chaos in erbium-doped fiber ring laser.
MECO
Vesna Rubezic, Ana Jovanovic, Igor Djurovic
2013 — conf
Comparative performance study of DOA algorithm applied on linear antenna array in smart antenna systems.
MECO
Luka Lazovic, Ana Jovanovic