Registered user since Thu 13 Dec 2018
Name:Minxue Pan
Country:China
Affiliation:Nanjing University
Personal website:https://minxuepan.github.io/
Research interests:Software modelling and verification, software analysis and testing, cyber-physical systems, mobile computing, intelligent software engineering
Contributions
| ICST 2022 | Documentation-based functional constraint generation for library methods | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICST 2022-profile
View general profile
View general profile