Concepedia

Jiangfan Shi

JS

6

Publications

787

Citations

6

H-Index

2005

Active since

Affiliations

University of Nebraska–Lincoln(Current)

Jiangfan Shi is an author at University of Nebraska–Lincoln specializing in engineering, software testing, and formal verification.

Top concepts

EngineeringSoftware TestingFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringComputer Engineering

Publications per year

2005–2024

6

Publications

6

Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach

Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi · IEEE Transactions on Software Engineering · 2008 · 313 citations

Engineering, Verification, Test Data Generation +24

Interaction testing of highly-configurable systems in the presence of constraints

Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi · 2007 · 239 citations

Engineering, Interaction Testing, Verification +19

Coverage and adequacy in software product line testing

Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi · 2006 · 121 citations

Software Maintenance, Product Line Instance, Engineering +20

Power-Aware Test Scheduling in Network-on-Chip Using Variable-Rate On-Chip Clocking

Chunsheng Liu, V. Iyengar, Jiangfan Shi et al. · 2005 · 61 citations

Hardware Security, Power-aware Test Scheduling, Power-aware Computing +11

Exploiting Constraint Solving History to Construct Interaction Test Suites

Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi · 2007 · 38 citations

Engineering, Verification, Test Data Generation +20

Rows per page

1–5 of 6