A systematic mapping about testing of functional programs

[1]  Joe Armstrong,et al.  Concurrent programming in ERLANG , 1993 .

[2]  Silvia Regina Vergilio,et al.  Structural testing criteria for message-passing parallel programs , 2008 .

[3]  Melinda Tóth,et al.  Static Analysis of Complex Software Systems Implemented in Erlang , 2011, CEFP.

[4]  Ed Zaluska,et al.  Structural testing for message‐passing concurrent programs: an extended test model , 2014, Concurr. Comput. Pract. Exp..

[5]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[6]  Thomas Rauber,et al.  Parallel Programming: for Multicore and Cluster Systems , 2010, Parallel Programming, 3rd Ed..

[7]  Zoltán Horváth,et al.  Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs , 2009, CEFP.

[8]  Manfred Widera Concurrent Erlang Flow Graphs , 2005 .

[9]  Richard N. Taylor,et al.  Structural Testing of Concurrent Programs , 1992, IEEE Trans. Software Eng..

[10]  Robert W. Sebesta,et al.  Concepts of programming languages , 1973 .

[11]  Lori L. Pollock,et al.  All-du-path coverage for parallel programs , 1998, ISSTA '98.

[12]  Konstantinos Sagonas,et al.  Detection of Asynchronous Message Passing Errors Using Static Analysis , 2011, PADL.

[13]  Kai Petersen,et al.  Systematic Mapping Studies in Software Engineering , 2008, EASE.

[14]  John Derrick,et al.  Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs , 2009, TestCom/FATES.

[15]  A.T. Endo,et al.  Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Programs , 2008, Testing: Academic & Industrial Conference - Practice and Research Techniques (taic part 2008).

[16]  Simone do Rocio Senger de Souza,et al.  Structural Testing for Semaphore-Based Multithread Programs , 2008, ICCS.

[17]  Guilherme Horta Travassos,et al.  Scientific research ontology to support systematic review in software engineering , 2007, Adv. Eng. Informatics.

[18]  Richard Carlsson,et al.  Erlang and OTP in Action , 2010 .

[19]  Salvador Tamarit,et al.  System Dependence Graphs in Sequential Erlang , 2012, FASE.

[20]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[21]  Arunkumar Balakrishnan,et al.  Development of an automated testing software for real time systems , 2009, 2009 International Conference on Industrial and Information Systems (ICIIS).

[22]  Huiqing Li,et al.  Clone detection and removal for Erlang/OTP within a refactoring environment , 2009, PEPM '09.

[23]  Melinda Tóth,et al.  Building dependency graph for slicing erlang programs , 2011 .

[24]  Simone do Rocio Senger de Souza,et al.  Data Flow Testing in Concurrent Programs with Message Passing and Shared Memory Paradigms , 2013, ICCS.

[25]  Huiqing Li,et al.  Testing Erlang Refactorings with QuickCheck , 2008, IFL.

[26]  Huiqing Li,et al.  Incremental Clone Detection and Elimination for Erlang Programs , 2011, FASE.

[27]  Alex Groce,et al.  MuCheck: an extensible tool for mutation testing of haskell programs , 2014, ISSTA 2014.

[28]  Vipin Kumar,et al.  Introduction to Parallel Computing , 1994 .

[29]  Peter Zinterhof,et al.  Parallel Computing: Numerics, Applications, and Trends , 2009 .

[30]  Manfred Widera Flow graphs for testing sequential erlang programs , 2004, ERLANG '04.

[31]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[32]  Manfred Widera Adapting Structural Testing to Functional Programming , 2006, Software Engineering Research and Practice.

[33]  John Hughes,et al.  Testing Erlang data types with quviq quickcheck , 2008, ERLANG '08.

[34]  Ralph E. Johnson,et al.  Bita: Coverage-guided, automatic testing of actor programs , 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

[35]  Tamás Nagy,et al.  Erlang testing and tools survey , 2008, ERLANG '08.

[36]  Alkis Gotovos,et al.  Test-driven development of concurrent programs using concuerror , 2011, Erlang '11.

[37]  John McCarthy,et al.  LISP 1.5 Programmer's Manual , 1962 .

[38]  Michael R. Hansen,et al.  Functional Programming Using F , 2013 .