2 papers
cs.LO2025
Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
Liesbeth De Mol, Yuri V. Matiyasevich, Eugenio G. Omodeo +3
In his autobiographic essay written in 1999, ``From logic to computer science and back'', Martin David Davis (3/8/1928--1/1/2023) indicated that he viewed himself as a logician \em…
cs.SE2020
Intermittently Failing Tests in the Embedded Systems Domain
Per Erik Strandberg, Thomas J Ostrand, Elaine J Weyuker +2
Software testing is sometimes plagued with intermittently failing tests and finding the root causes of such failing tests is often difficult. This problem has been widely studied a…