5 citations · 10 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Application of AI to formal methods - an analysis of current trends
Sebastian Stock, Jannik Dunkelau, Atif Mashkoor
Context: With artificial intelligence (AI) being well established within the daily lives of research communities, we turn our gaze toward formal methods (FM). FM aim to provide sou…
cs.LO2019★ 1 cited
Towards Constraint Logic Programming over Strings for Test Data Generation
Sebastian Krings, Joshua Schmidt, Patrick Skowronek +2
In order to properly test software, test data of a certain quality is needed. However, useful test data is often unavailable: Existing or hand-crafted data might not be diverse eno…