Cited By
View all- Stefanakos ICalinescu RGerasimou S(2023)Probabilistic program performance analysis with confidence intervalsInformation and Software Technology10.1016/j.infsof.2022.107143156:COnline publication date: 15-Feb-2023
- Teuber SWeigl A(2021)Quantifying Software Reliability via Model-CountingQuantitative Evaluation of Systems10.1007/978-3-030-85172-9_4(59-79)Online publication date: 23-Aug-2021
- Gálvez Ramírez NMonfroy ESaubion FCastro C(2019)Improving complex SMT strategies with learningInternational Transactions in Operational Research10.1111/itor.1265027:2(1162-1188)Online publication date: 15-Mar-2019
- Show More Cited By