Nyt forskningsprojekt: Softwarefejl skal findes automatisk

Beskrivelse

En gang imellem opstår der dog fejl i Linux, hvilket for brugerne eksempelvis viser sig ved, at et program går i sort. Der findes værktøjer, der hjælper programmører med at finde ud af, hvor i koden, fejlen er sket, men ofte peger disse kun på symptomet og ikke på de bagvedliggende årsager til fejlen...