1 bayesian-inference positions at CISPA Helmholtz Center for Information Security

PhD Student (CISPA Stuttgart)

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