@misc{indiciae70d9092c4032,
  title = {Stateful Testing: Finding More Errors in Code and Contracts},
  author = {Yi Wei and Hannes Roth and Carlo A. Furia and Yu Pei and Alexander Horton and Michael Steindorfer and Martin Nordio and Bertrand Meyer},
  year = {2011},
  doi = {10.1109/ase.2011.6100094},
  url = {https://arxiv.org/abs/1108.1068},
  note = {Source identifier: 1108.1068}
}