Mutate

8.12

Mutate🔗ℹ

Lukas Lazarek <lukas dot lazarek at eecs dot northwestern dot edu>

A library for mutating s-expression program syntax. That is, systematically injecting possible bugs by making small syntactic modifications to a program.

1 Prologue

1.1 Mutation concepts

1.1.1 Mutators

1.1.2 Mutating full programs

1.2 A full example

1.3 The apis of this library

2 High level mutator api

2.1 Defining mutators

2.2 Building a mutation engine from individual mutators

3 Low-level mutator tools

3.1 Defining low-level mutators

3.2 Low-level mutation interface

3.3 Mutator combinators

3.4 Expression and program mutators: syntax traversal

3.4.1 Expression mutators

3.4.2 Program mutators

3.5 Logging: recovering the mutation type that causes a mutation

4 The mutation literature

5 Pre-defined mutators

5.1 Mutators that inject bugs in Racket code

5.2 Mutators that inject bugs in Typed Racket types

1	Prologue
2	High level mutator api
3	Low-level mutator tools
4	The mutation literature
5	Pre-defined mutators