State of the art in program analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 2, p. 221, doi. 10.1007/s10009-025-00805-1
- By:
- Publication type:
- Article
Works by Rubio-González, Cindy
Results: 2
1
2
Interleaving static analysis and LLM prompting with applications to error specification inference.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 2, p. 239, doi. 10.1007/s10009-025-00780-7
- By:
- Publication type:
- Article