1 coding-"https:"-"CMU-Portugal-Program---FCT"-"Inserm" "https:" "https:" "https:" positions at CISPA Helmholtz Center for Information Security in Germany

PhD Student (CISPA Stuttgart)

CISPA Helmholtz Center for Information Security | Stuttgart, Baden W rttemberg | Germany | 3 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