vix.ing · top · new · best · stats · spec

Dunkelau, Jannik

  1. Towards Constraint Logic Programming over Strings for Test Data Generation
    2019/08/27 by Krings, Sebastian, Schmidt, Joshua, Skowronek, Patrick +2 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)
  2. Application of AI to formal methods - an analysis of current trends
    2024/11/22 by Sebastian Stock, Stock, Sebastian, Jannik Dunkelau +3 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Fuzzy Logic and Control Systems #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)