Jiangfan Shi

Orcid: 0000-0002-4890-2455

According to our database1, Jiangfan Shi authored at least 10 papers between 2005 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
SysPro: Reproducing System-level Concurrency Bugs from Bug Reports.
CoRR, January, 2026

SysPro: Reproducing system-level concurrency bugs from bug reports.
J. Syst. Softw., 2026

2024
Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Aurora: Navigating UI Tarpits via Automated Neural Screen Understanding.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

2012
Integration Testing of Software Product Lines Using Compositional Symbolic Execution.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2008
Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach.
IEEE Trans. Software Eng., 2008

2007
Interaction testing of highly-configurable systems in the presence of constraints.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

2006
Coverage and adequacy in software product line testing.
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

2005
Power-Aware Test Scheduling in Network-on-Chip Using Variable-Rate On-Chip Clocking.
Proceedings of the 23rd IEEE VLSI Test Symposium (VTS 2005), 2005

Using Dominators to Extract Observable Protocol Contexts.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005


  Loading...