11 citations · 21 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.FL2019
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis
Yihao Huang, Jincao Feng, Hanyue Zheng +5
We present Prema, a tool for Precise Requirement Editing, Modeling and Analysis. It can be used in various fields for describing precise requirements using formal notations and per…
cs.SE2019★ 3 cited
A Neural Model for Generating Natural Language Summaries of Program Subroutines
Alexander LeClair, Siyuan Jiang, Collin McMillan
Source code summarization -- creating natural language descriptions of source code behavior -- is a rapidly-growing research topic with applications to automatic documentation gene…