1. Automation of Datamorphic Testing;2020 IEEE International Conference On Artificial Intelligence Testing (AITest);2020-08
2. A Combinatorial Testing-Based Approach to Fault Localization;IEEE Transactions on Software Engineering;2020-06-01
3. Generating test case for algebraic specification based on Tabu search and genetic algorithm;Cluster Computing;2016-11-11
4. Monic Testing of Web Services Based on Algebraic Specifications;2016 IEEE Symposium on Service-Oriented System Engineering (SOSE);2016-03
5. Exhaustive test sets for algebraic specifications;Software Testing, Verification and Reliability;2016-01-27