1 postdoctoral-coding-theory PhD positions at CISPA Helmholtz Center for Information Security

PhD Student (CISPA Stuttgart)

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