Hårdtestar programvara
SP har utvecklat felinjiceringsverktyget FaultCheck, som kan användas tillsammans med ett modellbaserat programvarutestverktyg där testfall genereras automatiskt. Arbetet har resulterat i kunskap och verktyg inom testning, felinjicering och simulering.