Aleksandar Milićević

Parallel test generation and execution with Korat

Saša Misailovíc, Aleksandar Milićević, Nemanja Petrović et al. · 2007 · 68 citations

Computing, Computer Engineering, Computer Science +15

Korat: A Tool for Generating Structurally Complex Test Inputs

Aleksandar Milićević, Saša Misailovíc, Darko Marinov et al. · Proceedings/Proceedings - International Conference on Software Engineering · 2007 · 58 citations

Computing, Computer Science, Algorithms +16

Unifying execution of imperative and declarative code

Aleksandar Milićević, Derek Rayside, Kuat Yessenov et al. · 2011 · 56 citations · Full text

Computing, Computer Science, Data Structures +16

Numerical study of co-firing lignite and agricultural biomass in utility boiler under variable operation conditions

Aleksandar Milićević, Srdjan Belošević, Nenad Crnomarković et al. · International Journal of Heat and Mass Transfer · 2021 · 55 citations

Engineering, Chemical Engineering, Mechanical Engineering +14

Full-scale CFD investigation of gas-particle flow, interactions and combustion in tangentially fired pulverized coal furnace

Srdjan Belošević, Ivan Tomanović, Nenad Crnomarković et al. · Energy · 2019 · 52 citations · Full text

Engineering, Chemical Engineering, Computational Engineering +16