Showing results 5 to 7 of 7
Issue Date | Title | Author(s) |
---|---|---|
2023-01-12 | Madusa: mobile application demo generation based on usage scenarios | 이우석 |
2017-09 | Sound Non-Statistical Clustering of Static Analysis Alarms | 이우석 |
2018-11 | Syntax-guided synthesis of Datalog programs | 이우석 |