Search papers, labs, and topics across Lattice.
University of Stuttgart, Cariad SE,Empirical Software Engineering,Wolfsburg,Germany
1
0
3
1
Automating the quality assessment of LLM-generated defeaters could revolutionize how we validate safety claims in high-integrity systems.