Formal verification of developer tests : a research agenda inspired by mutation testing

Bron
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, October 20–30, 2020, Rhodes, Greece-12477 (2020) p. 9-24

Clone detection in test code : an empirical evaluation

Bron
27th IEEE International Conference on Software Analysis, Evolution, and, Reengineering (SANER), FEB 18-21, 2020, London, CANADA- (2020) p. 492-500

An empirical study on accidental cross-project code clones

Bron
IEEE 14th International Workshop on Software Clones (IWSC), FEB 18, 2020, London, CANADA- (2020) p. 33-37
Auteur(s)

A novel approach for detecting type-IV clones in test code

Bron
13th IEEE International Workshop on Software Clones (IWSC), FEB 24, 2019, Hangzhou, PEOPLES R CHINA- (2019) p. 8-12