Mutation 2020 Brainstorm Summarisation 


Q1: What are the terms used in different domains that may be related with mutants?


>> Fuzzing, 
>> Program Repair
>> Perturbations (the data)
>> robustness
>> adversarial examples


Q2: What is the situation of existing literature?


Mutation Testing of DL Systems
https://arxiv.org/pdf/1805.05206.pdf
https://ieeexplore.ieee.org/document/8431960
https://ieeexplore.ieee.org/document/8952248
https://ieeexplore.ieee.org/document/9159089


Real Faults in DL Systems:
https://arxiv.org/pdf/1910.11015.pdf
https://dl.acm.org/doi/10.1145/3213846.3213866
https://dl.acm.org/doi/10.1145/3338906.3338955


Mutation testing for Smart contracts:
https://arxiv.org/pdf/1908.03707.pdf
https://arxiv.org/abs/1909.12563
https://ieeexplore.ieee.org/document/8952206?denied=
https://link.springer.com/chapter/10.1007/978-3-030-31500-9_19




Model-based mutation testing 
http://dx.doi.org/10.1002/stvr.1522
https://doi.org/10.1016/j.scico.2016.01.003 


Fuzzers for Smart Contracts:
* Jiang, Bo, Ye Liu, and W. K. Chan. "Contractfuzzer: Fuzzing smart contracts for vulnerability detection." 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 2018. (Most known and cited one I think)
* Nguyen, Tai D., et al. "sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts." arXiv preprint arXiv:2004.08563 (2020). (My personal favourite)
* Wüstholz, Valentin, and Maria Christakis. "Harvey: A greybox fuzzer for smart contracts." arXiv preprint arXiv:1905.06944 (2019). (Relatively new one, but promising)
* Wei, Zaoyu, et al. "Smart Contract Fuzzing Based on Taint Analysis and Genetic Algorithms." Journal of Quantum Computing 2.1 (2020): 11.


Q3: What are the existing tools?


mutPy - https://pypi.org/project/MutPy/


Descartes - https://github.com/STAMP-project/pitest-descartes - detection of pseudo-tested methods


DeepMutation++: https://sites.google.com/view/deepmutationpp




Q4: Interesting research directions?


New Applications for MT: 
MT + NL Translation
MT + Autonomous Vehicles
How to design mutation operators?


Fault Injection for Autonomous Vehicles:
https://www.researchgate.net/publication/334191694_AVFI_Fault_Injection_for_Autonomous_Vehicles
https://arxiv.org/pdf/1907.01051.pdf


MT + Metamorphic Testing        


Using mutation to generate synthetic data


Study the mutation tools other Pitest/Major


Probabilistic mutation testing


Mutating environment mutation for smart contract