1 coding-"https:"-"FEMTO-ST"-"L2CM"-"CSIC" positions at CISPA Helmholtz Center for Information Security

PhD Student (CISPA Stuttgart)

CISPA Helmholtz Center for Information Security | Stuttgart, Baden W rttemberg | Germany | 2 months ago

., to infer specifications) Test input generation (e.g., to compare the behavior of old and new code via differential testing) We focus on techniques that apply to real-world software systems. E.g., in the past