Search




Research outputs

Concurrent Bug Finding Based on Bounded Model Checking   [2020]

Vujošević Janičić, Milena  

Using OCL in the formal specification of the library standards   [2013]

Rudić, Gordana  ; SURLA, BOJANA DIMIĆ

A Business Software Testing Process-Based Model Design   [2018]

Vuković, Vuk  ; Đurković, Jovica; Trninić, Jelica

A Constructive Heuristic for Automated Parallel Tests Assembly   [2022]

Miroslava M. Ignjatović; Igor I. Tartalja 

A Contribution to Continual Software Service Improvement Based on the Six-Step Service Improvement Method   [2012]

MARKOVIĆ, VIDAN; Maksimović, Rado  

Modernizing 90s Era Software to a New Language and Environment Using LLMs - An Empirical Investigation   [2025]

D. Bojić  ; D. Drašković  

A Survey on Problem Formulations and (Meta)Heuristic-Based Solutions in Automated Assembly of Parallel Test Forms   [2021]

M. Ignjatović; Dragan Bojić  ; I. Tartalja 

Requirements Are Not Specifications: A Socio-Technical Contract Perspective on Software Requirements   [2026]

T. Zivkovic  ; M. Zivkovic  

A Modified Hill-Climbing Algorithm for Knowledge Test Assembly Based on Classified Criteria   [2016]

Bojić, Dragan  ; Bošnjaković, Andrija M.; Protić, Jelica  ; Tartalja, Igor 

Филтери

По типу