1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2026
An Empirical Study of LLM-Generated Specifications for VeriFast
Wen Fan, Minh Tran, Sanya Dod +5
Static verification tools can assure industrial scale software, but require significant human labor to write specifications. This is particularly true of static verifiers based on…
cs.SE2018★ 1 cited
Neural Networks as Artificial Specifications
I. S. W. B. Prasetya, Minh An Tran
In theory, a neural network can be trained to act as an artificial specification for a program by showing it samples of the programs executions. In practice, the training turns out…