@misc{indiciae0fa2de1395da,
  title = {Unit Testing in ASPIDE},
  author = {Onofrio Febbraro and Nicola Leone and Kristian Reale and Francesco Ricca},
  year = {2011},
  url = {https://arxiv.org/abs/1108.5434},
  note = {Source identifier: 1108.5434}
}