1. Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on ethereum smart contracts. Technical report, Cryptology ePrint Archive: Report 2016/1007 (2016). https://eprint.iacr.org/2016/1007
2. Binder, R.V.: Testing object-oriented software: a survey. J. Softw. Test. Verif. Reliab. 6(3), 125–252 (1996)
3. Lecture Notes in Computer Science;S Chakravarty,2010
4. Cox, B.J.: The need for specification and testing languages. J. Object-Oriented Program. 1(2), 44–47 (1988)
5. Duffield, E., Diaz, D.: Dash: a privacy centric cryptocurrency (2014)