55
Publications
1,381
Citations
9
h-index
9
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (37)
- Preprint (7)
- Book Chapter (5)
- Review (4)
- Dataset (1)
Filter by Open Access Type
- Open Access (21)
- Closed Access (34)
Filter by Authors
- Wenxi Wang (55)
- Huansheng Ning (15)
- Sarfraz Khurshid (10)
- Mahmoud Daneshmand (6)
- Fadi Farha (5)
Filter by Topics
- Software Testing and Debugging Techniques (6)
- Software Reliability and Analysis Research (5)
- Logic, programming, and type systems (4)
- Formal Methods in Verification (4)
- Software Engineering Research (4)