Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

Structural testing criteria for message-passing parallel programs (2008)

  • Authors:
  • USP affiliated authors: SOUZA, SIMONE DO ROCIO SENGER DE - ICMC ; SOUZA, PAULO SERGIO LOPES DE - ICMC ; SIMÃO, ADENILSO DA SILVA - ICMC
  • USP Schools: ICMC; ICMC; ICMC
  • DOI: 10.1002/cpe.1297
  • Subjects: SISTEMAS DISTRIBUÍDOS; PROGRAMAÇÃO CONCORRENTE
  • Language: Inglês
  • Imprenta:
  • Source:
  • Acesso online ao documento

    Online accessDOI or search this record in
    Informações sobre o DOI: 10.1002/cpe.1297 (Fonte: oaDOI API)
    • Este periódico é de assinatura
    • Este artigo NÃO é de acesso aberto
    • Cor do Acesso Aberto: closed
    Informações sobre o Citescore
  • Título: Concurrency Computation Practice and Experience

    ISSN: 1532-0626

    Citescore - 2017: 1.31

    SJR - 2017: 0.282

    SNIP - 2017: 0.76


  • Exemplares físicos disponíveis nas Bibliotecas da USP
    BibliotecaCód. de barrasNúm. de chamada
    ICMC1717924-10PROD-1717924
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SOUZA, Simone do Rocio Senger de; VERGILIO, S. R.; SOUZA, Paulo Sérgio Lopes de; SIMÃO, Adenilso da Silva; HAUSEN, A. C. Structural testing criteria for message-passing parallel programs. Concurrency and Computation: Practice and Experience, Hoboken, John Wiley & Sons, v. 20, n. 16, p. 1893-1916, 2008. Disponível em: < http://www3.interscience.wiley.com/cgi-bin/fulltext/117936491/PDFSTART > DOI: 10.1002/cpe.1297.
    • APA

      Souza, S. do R. S. de, Vergilio, S. R., Souza, P. S. L. de, Simão, A. da S., & Hausen, A. C. (2008). Structural testing criteria for message-passing parallel programs. Concurrency and Computation: Practice and Experience, 20( 16), 1893-1916. doi:10.1002/cpe.1297
    • NLM

      Souza S do RS de, Vergilio SR, Souza PSL de, Simão A da S, Hausen AC. Structural testing criteria for message-passing parallel programs [Internet]. Concurrency and Computation: Practice and Experience. 2008 ; 20( 16): 1893-1916.Available from: http://www3.interscience.wiley.com/cgi-bin/fulltext/117936491/PDFSTART
    • Vancouver

      Souza S do RS de, Vergilio SR, Souza PSL de, Simão A da S, Hausen AC. Structural testing criteria for message-passing parallel programs [Internet]. Concurrency and Computation: Practice and Experience. 2008 ; 20( 16): 1893-1916.Available from: http://www3.interscience.wiley.com/cgi-bin/fulltext/117936491/PDFSTART

    Referências citadas na obra
    Autor: Almasi
    Ano: 1994
    Geist GA, Kohl JA, Papadopoulos PM, Scott SL. Beyond PVM 3.4: What we've learned what's next, and why. Fourth European PVM-MPI Conference-Euro PVM/MPI'97, Cracow, Poland, 1997; 116-126.
    Autor: Snir
    Ano: 1996
    Autor: Rapps
    Título: Selecting software test data using data flow information
    Título do periódico: IEEE Transactions on Software Engineering
    Volume: 11
    Fascículo: 4
    Primeira página: 367
    Ano: 1985
    DOI: 10.1109/TSE.1985.232226
    Yang C-SD. Program-based, structural testing of shared memory parallel programs. PhD Thesis, University of Delaware, 1999.
    Chung C-M, Shih TK, Wang Y-H, Lin W-C, Kou Y-F. Task decomposition testing and metrics for concurrent programs. Fifth International Symposium on Software Reliability Engineering (ISSRE'96), 1996; 122-130.
    Autor: Koppol
    Título: Incremental integration testing of concurrent programs
    Título do periódico: IEEE Transactions on Software Engineering
    Volume: 28
    Fascículo: 6
    Primeira página: 607
    Ano: 2002
    DOI: 10.1109/TSE.2002.1010062
    Autor: Taylor
    Título: Structural testing of concurrent programs
    Título do periódico: IEEE Transactions on Software Engineering
    Volume: 18
    Fascículo: 3
    Primeira página: 206
    Ano: 1992
    DOI: 10.1109/32.126769
    Yang C-S, Souter AL, Pollock LL. All-du-path coverage for parallel programs. International Symposium on Software Testing and Analysis (ISSTA'98), ACM-Software Engineering Notes, 1998; 153-162.
    Autor: Yang
    Título: All-uses testing of shared memory parallel programs
    Título do periódico: Software Testing, Verification and Reliability (STVR)
    Volume: 13
    Fascículo: 1
    Primeira página: 3
    Ano: 2003
    DOI: 10.1002/stvr.262
    Autor: Yang
    Título: Path analysis testing of concurrent programs
    Título do periódico: Information and Software Technology
    Volume: 34
    Fascículo: 1
    Ano: 1992
    DOI: 10.1016/0950-5849(92)90093-5
    Autor: Edelstein
    Título: Framework for testing multi-threaded java programs
    Título do periódico: Concurrency and Computation: Practice and Experience
    Volume: 15
    Fascículo: 3-5
    Primeira página: 485
    Ano: 2003
    DOI: 10.1002/cpe.654
    Autor: Edelstein
    Título: Multithreaded java program test generation
    Título do periódico: IBM System Journal
    Volume: 41
    Fascículo: 1
    Primeira página: 111
    Ano: 2002
    DOI: 10.1147/sj.411.0111
    Autor: Lei
    Título: Reachability testing of concurrent programs
    Título do periódico: IEEE Transactions on Software Engineering
    Volume: 32
    Fascículo: 6
    Primeira página: 382
    Ano: 2006
    DOI: 10.1109/TSE.2006.56
    Autor: Carver
    Título: Replay sand testing for concurrent programs
    Título do periódico: IEEE Software
    Primeira página: 66
    Ano: 1991
    DOI: 10.1109/52.73751
    Autor: Damodaran-Kamal
    Primeira página: 118
    Ano: 1993
    Autor: Beguelin
    Primeira página: 92
    Ano: 1993
    DOI: 10.1109/WHP.1993.664372
    Ilmberger H, Thürmel S, Wiedemann CP. Visit: A visualization and control environment for parallel program debugging. Proceedings of the 3rd ACM/ONR Workshop on Parallel and Distributed Debugging, May 1993; 199-201.
    Autor: Long
    Título: Tool support for testing concurrent java components
    Título do periódico: IEEE Transactions on Software Engineering
    Volume: 29
    Fascículo: 6
    Primeira página: 555
    Ano: 2003
    DOI: 10.1109/TSE.2003.1205182
    Autor: Tai
    Título: Debugging concurrent ada programs by deterministic execution
    Título do periódico: IEEE Transactions on Software Engineering
    Volume: 17
    Fascículo: 1
    Primeira página: 45
    Ano: 1991
    DOI: 10.1109/32.67578
    Autor: Vetter
    Ano: 2000
    Frankl FG, Weyuker EJ. Data flow testing in the presence of unexecutable paths. Workshop on Software Testing, Banff, Canada, July 1986; 4-13.
    Krawczyk H, Wiszniewski B. Classification of software defects in parallel programs. Technical Report 2, Faculty of Electronics, Technical University of Gdansk, Poland, 1994.
    Autor: Howden
    Título: Reliability of the path analysis testing strategy
    Título do periódico: IEEE Transactions on Software Engineering
    Volume: 2
    Primeira página: 208
    Ano: 1976
    DOI: 10.1109/TSE.1976.233816
    Autor: Tanenbaum
    Ano: 2001
    Souza SRS, Vergilio SR, Souza PSL, Simão AS, Bliscosque TG, Lima AM, Hausen AC. Valipar: A testing tool for message-passing parallel programs. International Conference on Software Knowledge and Software Engineering (SEKE05), Taipei, Taiwan, 2005; 386-391.
    Autor: Simão
    Título: A language for the description of program instrumentation and the automatic generation of instrumenters
    Título do periódico: CLEI Electronic Journal
    Volume: 6
    Fascículo: 1
    Ano: 2003
    DOI: 10.19153/cleiej.6.1.7
    Autor: Chusho
    Título: Test data selection and quality estimation based on concept of essential branches for path testing
    Título do periódico: IEEE Transactions on Software Engineering
    Volume: 13
    Fascículo: 5
    Primeira página: 509
    Ano: 1987
    DOI: 10.1109/TSE.1987.233196
    Chaim MJ. Poketool-uma ferramenta para suporte ao teste estrutural de programas baseados em anlise de fluxo de dados. Master's Thesis, DCA/FEE/UNICAMP, Campinas, SP, 1991.
    Autor: Vergilio
    Título: Infeasible paths in the context of data flow based testing criteria: Identification, classification and prediction
    Título do periódico: Journal of the Brazilian Computer Society
    Volume: 12
    Fascículo: 1
    Ano: 2006
    DOI: 10.1007/BF03192389
    Wong WE, Lei Y, Ma X. Effective generation of test sequences for structural testing of concurrent programs. Tenth IEEE International Conference on Engineering of Complex Systems (ICECCS'05), 2005; 539-548.
    Autor: Clarke
    Título: Automatic verification of finite-state concurrent systems using temporal logic specifications
    Título do periódico: ACM Transactions on Programming Languages and Systems
    Volume: 8
    Fascículo: 2
    Primeira página: 244
    Ano: 1986
    DOI: 10.1145/5397.5399
    Siegel SF, Mironova A, Avrunin GS, Clarke LA. Using model checking with symbolic execution to verify parallel numerical program. International Symposium on Software Testing and Analysis, 2006; 157-167.
    Autor: Siegel
    Primeira página: 44
    Ano: 2007
    DOI: 10.1007/978-3-540-69738-1_3
    Autor: Matlin
    Primeira página: 213
    Ano: 2002
    Autor: Pervez
    Primeira página: 30
    Ano: 2006
    Autor: The LAM/MPI Team
    Krawczyk H, Kuzora P, Neyman M, Proficz J, Wiszniewski B. STEPS-A tool for testing PVM programs. Third SEIHPC Workshop, January 1998. Available at: http://citeseer.ist.psu.edu/357124.html.