GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Software Testing and Formal Verification, Including Test Completion and Generation, Machine Learning for Proof Engineering, Etc.

Software Testing and Formal Verification, Including Test Completion and Generation, Machine Learning for Proof Engineering, Etc.

1 faculty research Software Testing and Formal Verification, Including Test Completion and Generation, Machine Learning for Proof Engineering, Etc. on GradNova.

P
Machine Learning and Natural Language Processing for Software Engineering, Including Code Completion, Generation, and Summarization, Code and Comment Co-Evolution, Etc.
Software Testing and Formal Verification, Including Test Completion and Generation, Machine Learning for Proof Engineering, Etc.