1 coding-"https:"-"Prof.-Dr"-"IDAEA-CSIC" PhD 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 | about 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