bibliography.bib

@article{dijkstra1972humbleprogrammer,
  title={The humble programmer},
  author={Dijkstra, Edsger W.},
  journal={Communications of the ACM},
  volume={15},
  number={10},
  pages={859--866},
  year={1972},
  publisher={ACM}
}

@article{lamport1982proving,
  title={Proving liveness properties of concurrent programs},
  author={Lamport, Leslie and Owicki, Susan},
  journal={ACM Transactions on Programming Languages and Systems},
  volume={4},
  year={1982}
}

@book{abelson1996structure,
  title={Structure and interpretation of computer programs},
  author={Abelson, Harold and Sussman, Gerald Jay},
  year={1996},
  publisher={The MIT Press}
}

@article{harel1987statecharts,
  title={Statecharts: A visual formalism for complex systems},
  author={Harel, David},
  journal={Science of computer programming},
  volume={8},
  number={3},
  pages={231--274},
  year={1987},
  publisher={Elsevier}
}

@article{jia2010analysis,
  title={An analysis and survey of the development of mutation testing},
  author={Jia, Yue and Harman, Mark},
  journal={IEEE transactions on software engineering},
  volume={37},
  number={5},
  pages={649--678},
  year={2010},
  publisher={IEEE}
}

@article{segura2016survey,
  title={A survey on metamorphic testing},
  author={Segura, Sergio and Fraser, Gordon and Sanchez, Ana B and Ruiz-Cort{\'e}s, Antonio},
  journal={IEEE Transactions on software engineering},
  volume={42},
  number={9},
  pages={805--824},
  year={2016},
  publisher={IEEE}
}

@article{medsker2001recurrent,
  title={Recurrent neural networks},
  author={Medsker, Larry R and Jain, LC},
  journal={Design and Applications},
  volume={5},
  number={64-67},
  pages={2},
  year={2001}
}