Pretraga




Rezultati

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

Rudić, Gordana  ; SURLA, BOJANA DIMIĆ

Concurrent Bug Finding Based on Bounded Model Checking   [2020]

Vujošević Janičić, Milena  

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 Modified Hill-Climbing Algorithm for Knowledge Test Assembly Based on Classified Criteria   [2016]

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

Filters

By type