Value-deterministic search-based replay for android multithreaded applications. - Ajay Kumar Jha; Sooyong Jeong; Woo Jin Lee (RACS, 2013)

Virtual prototype generation by shockwave flash for simulating HW components of embedded system. - Soo Young Jang; Ajay Kumar Jha; Woo Jin Lee (SAC, 2014)

Modeling and Test Case Generation of Inter-component Communication in Android. - Ajay Kumar Jha; Sunghee Lee; Woo Jin Lee (MOBILESoft, 2015)

Permission-based security in android application: from policy expert to end user. - Ajay Kumar Jha; Seungmin Lee; Woo Jin Lee (RACS, 2015)

Analysis of Permission-based Security in Android through Policy Expert, Developer, and End User Perspectives. - Ajay Kumar Jha; Woo Jin Lee (J. Univers. Comput. Sci., 2016)

Developer mistakes in writing Android manifests: an empirical study of configuration errors. - Ajay Kumar Jha; Sunghee Lee; Woo Jin Lee (MSR, 2017)

An empirical study of collaborative model and its security risk in Android. - Ajay Kumar Jha; Woo Jin Lee (J. Syst. Softw., 2018)

A framework for testing Android apps by reusing test cases. - Ajay Kumar Jha; Deok Yeop Kim; Woo Jin Lee (MOBILESoft@ICSE, 2019)

Characterizing Android-specific crash bugs. - Ajay Kumar Jha; Sunghee Lee; Woo Jin Lee (MOBILESoft@ICSE, 2019)

An empirical study of configuration changes and adoption in Android apps. - Ajay Kumar Jha; Sunghee Lee; Woo Jin Lee (J. Syst. Softw., 2019)

Annotation practices in Android apps. - Ajay Kumar Jha; Sarah Nadi (SCAM, 2020)

A Log-Based Testing Approach for Detecting Faults Caused by Incorrect Assumptions About the Environment. - Sooyong Jeong; Ajay Kumar Jha; Youngsul Shin; Woo Jin Lee (IEICE Trans. Inf. Syst., 2020)

A Human-in-the-loop Approach to Generate Annotation Usage Rules. - Mansur Gulami; Ajay Kumar Jha; Sarah Nadi; Karim Ali 001; Yee-Kang Chang; Emily Jiang (CASCON, 2022)

Mining Annotation Usage Rules: A Case Study with MicroProfile. - Batyr Nuryyev; Ajay Kumar Jha; Sarah Nadi; Yee-Kang Chang; Emily Jiang; Vijay Sundaresan (ICSME, 2022)

PyMigBench and PyMigTax: A Benchmark and Taxonomy for Python Library Migration. - Mohayeminul Islam; Ajay Kumar Jha; Sarah Nadi (CoRR, 2022)

PyMigBench: A Benchmark for Python Library Migration. - Mohayeminul Islam; Ajay Kumar Jha; Sarah Nadi; Ildar Akhmetov (MSR, 2023)

JTestMigBench and JTestMigTax: A benchmark and taxonomy for unit test migration. - Ajay Kumar Jha; Mohayeminul Islam; Sarah Nadi (SANER, 2023)

TREC: A Regression Test Recommender for Java Projects. - Sai Kiran Bhrugumalla; Ajay Kumar Jha (ICSME, 2024)

Migrating Unit Tests Across Java Applications. - Ajay Kumar Jha; Sarah Nadi (SCAM, 2024)

Characterizing Python Library Migrations. - Mohayeminul Islam; Ajay Kumar Jha; Ildar Akhmetov; Sarah Nadi (Proc. ACM Softw. Eng., 2024)

Understanding Test Deletion in Java Applications. - Suraj Bhatta; Frank Kendemah; Ajay Kumar Jha (MSR, 2025)

Using LLMs for Library Migration. - Mohayeminul Islam; Ajay Kumar Jha; May Mahmoud; Ildar Akhmetov; Sarah Nadi (CoRR, 2025)