Nan Li

Orcid: 0000-0002-6723-0172

Affiliations:
  • Medidata Solutions, New York, NY, USA
  • George Mason University, Fairfax, VA, USA (PhD 2014)


According to our database1, Nan Li authored at least 26 papers between 2009 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Combinatorial Test Generation for Multiple Input Models With Shared Parameters.
IEEE Trans. Software Eng., 2022

2019
Exoneration-based fault localization for SQL predicates.
J. Syst. Softw., 2019

Using Parameter Mapping to Avoid Forbidden Tuples in a Covering Array.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2018
Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Automatically Repairing SQL Faults.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017
Test Oracle Strategies for Model-Based Testing.
IEEE Trans. Software Eng., 2017

Towards Effective and Scalable Testing for Complex High-Speed Railway Signal Software.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Applying Combinatorial Testing to High-Speed Railway Track Circuit Receiver.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Localizing Faults in SQL Predicates.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016
What to expect of predicates: An empirical analysis of predicates in real world programs.
J. Syst. Softw., 2016

Towards Agile Testing for Railway Safety-critical Software.
Proceedings of the Scientific Workshop Proceedings of XP2016, 2016

Applying combinatorial test data generation to big data applications.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Skyfire: Model-Based Testing with Cucumber.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015
Mutation testing in practice using Ruby.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

A test automation language framework for behavioral models.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

A Scalable Big Data Test Framework.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014
Growing a Reduced Set of Mutation Operators.
Proceedings of the 2014 Brazilian Symposium on Software Engineering, Maceió, Brazil, September 28, 2014

An Empirical Analysis of Test Oracle Strategies for Model-Based Testing.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Experimental Evaluation of SDL and One-Op Mutation for C.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013
Is bytecode instrumentation as good as source code instrumentation: An empirical study with industrial tools (Experience Report).
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Empirical Evaluation of the Statement Deletion Mutation Operator.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012
Adding Criteria-Based Tests to Test Driven Development.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Better Algorithms to Minimize the Cost of Test Paths.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011
An Analysis of OO Mutation Operators.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Using abstraction and Web applications to teach criteria-based test design.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2009
An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-Uses and Prime Path Coverage.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009


  Loading...