Login / Signup
Petya Hristova Cvitic
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Software Testing
Formal Specification
Fault Localization
Simulated Annealing Algorithm
Top Venues
SANER
</>
Publications
</>
Petya Hristova Cvitic
,
Felix Dobslaw
,
Francisco Gomes de Oliveira Neto
Investigating Software Testing and Maintenance of Open-Source Distributed Ledger.
SANER
(2023)