search

magsilva / CodeDefenders

Gamification of Mutation Testing
GNU Lesser General Public License v3.0
0 stars 0 forks source link

Support assignments in C #4

Open magsilva opened 4 years ago

magsilva commented 4 years ago

Support assignments in C. We can use Mart (https://github.com/thierry-tct/mart) [ThierryChekam-etal:2019] to support mutation testing of software written in C/C++. Optionally, we may consider using Muteria (https://github.com/muteria/muteria) [ThierryChekam-etal:2020] to enable this feature.

We must also supports generating test cases. We could use KLEE for that (http://klee.github.io/) or even SeMu (https://arxiv.org/abs/2001.02941).

magsilva commented 4 years ago

For mutation testing, we can also use Mart.