×

Found 4 Documents (Results 1–4)

A decision tree lifted domain for analyzing program families with numerical features. (English) Zbl 1467.68036

Guerra, Esther (ed.) et al., Fundamental approaches to software engineering. 24th international conference, FASE 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12649, 67-86 (2021).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computing program reliability using forward-backward precondition analysis and model counting. (English) Zbl 1507.68084

Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12076, 182-202 (2020).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software