Adapting Structural Testing to Functional Programming.

Claes Wikström, Joe Armstrong, Mike Williams, Robert Virding, Concurrent programming in ERLANG (2nd ed.) Prentice Hall International (UK) Ltd.. ,(1996)

Flemming Nielson, Chris Hankin, Hanne R. Nielson, Principles of program analysis ,(1999)

Simon Peyton Jones, None, Haskell 98 language and libraries : the revised report Cambridge University Press. ,(2003)

Joe Armstrong, Mike Williams, Robert Virding, Concurrent Programming in Erlang ,(1993)

S. Sinha, M.J. Harrold, Analysis of programs with exception-handling constructs international conference on software maintenance. pp. 348- 357 ,(1998) , 10.1109/ICSM.1998.738526

S. Rapps, E.J. Weyuker, Selecting Software Test Data Using Data Flow Information IEEE Transactions on Software Engineering. ,vol. SE-11, pp. 367- 375 ,(1985) , 10.1109/TSE.1985.232226

J. Michael Ashley, R. Kent Dybvig, A practical and flexible flow analysis for higher-order languages ACM Transactions on Programming Languages and Systems. ,vol. 20, pp. 845- 868 ,(1998) , 10.1145/291891.291898

Simeon C. Ntafos, On Required Element Testing IEEE Transactions on Software Engineering. ,vol. SE-10, pp. 795- 803 ,(1984) , 10.1109/TSE.1984.5010308

Gregg Rothermel, Margaret Burnett, Lixin Li, Christopher Dupuis, Andrei Sheretov, A methodology for testing spreadsheets ACM Transactions on Software Engineering and Methodology. ,vol. 10, pp. 110- 147 ,(2001) , 10.1145/366378.366385

J.W. Laski, B. Korel, A Data Flow Oriented Program Testing Strategy IEEE Transactions on Software Engineering. ,vol. SE-9, pp. 347- 354 ,(1983) , 10.1109/TSE.1983.236871