About
Contact & Profiles
A5085208268
Research Areas
- Software Testing and Debugging Techniques
- Software Engineering Research
- Software System Performance and Reliability
- Software Reliability and Analysis Research
- Distributed and Parallel Computing Systems
Shanghai Jiao Tong University
2020-2024
Modern RESTful services expose APIs to integrate with diversified applications. Most API parameters are weakly typed, which greatly increases the possible input value space. Weakly-typed pose difficulties for automated testing tools generate effective test cases reveal web service defects related parameter validation. We call this phenomenon type collapse problem. To remedy problem, we introduce FET (Format-encoded Type) techniques, including FET, lattice, and inference model fine-grained...
10.1109/tse.2022.3182663
article
EN
IEEE Transactions on Software Engineering
2022-06-14
10.1145/3650212.3680363
article
EN
2024-09-11
Coming Soon ...