ProfessorsProfessors of National University of SingaporeJoxan Jaffar

Joxan Jaffar

National University of Singapore

H-index: 35

Asia-Singapore

About Joxan Jaffar

Joxan Jaffar, With an exceptional h-index of 35 and a recent h-index of 12 (since 2020), a distinguished researcher at National University of Singapore, specializes in the field of Programming Languages.

His recent articles reflect a diverse array of research interests and contributions to the field:

TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution)

Toward optimal mc/dc test case generation

Inter-theory dependency analysis for SMT string solvers

TracerX: Dynamic symbolic execution with interpolation (competition contribution)

Joxan Jaffar Information

University	National University of Singapore
Position	___
Citations(all)	9082
Citations(since 2020)	798
Cited By	8591
hIndex(all)	35
hIndex(since 2020)	12
i10Index(all)	59
i10Index(since 2020)	17
Email	Access Email
University Profile Page	National University of Singapore
Google Scholar	View Google Scholar Profile

Joxan Jaffar Skills & Research Interests

Programming Languages

Top articles of Joxan Jaffar

Title	Journal	Author(s)	Publication Date
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution)		Arpita Dutta Rasool Maghareh Joxan Jaffar Sangharatna Godboley Xiao Liang Yu	2024/4/6
Toward optimal mc/dc test case generation		Sangharatna Godboley Joxan Jaffar Rasool Maghareh Arpita Dutta	2021/7/11
Inter-theory dependency analysis for SMT string solvers	Proceedings of the ACM on Programming Languages	Minh-Thai Trinh Duc-Hiep Chu Joxan Jaffar	2020/11/13
TracerX: Dynamic symbolic execution with interpolation (competition contribution)	Fundamental Approaches to Software Engineering	Joxan Jaffar Rasool Maghareh Sangharatna Godboley Xuan-Linh Ha	2020/4/17