Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs (2015)

  • 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/stvr.1568
  • Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
  • Language: Inglês
  • Imprenta:
  • Source:
  • Acesso online ao documento

    Online accessDOI or search this record in
    Informações sobre o DOI: 10.1002/stvr.1568 (Fonte: oaDOI API)
    • Este periódico é de assinatura
    • Este artigo é de acesso aberto
    • URL de acesso aberto
    • Cor do Acesso Aberto: green
    Versões disponíveis em Acesso Aberto do: 10.1002/stvr.1568 (Fonte: Unpaywall API)

    Título do periódico: Software Testing, Verification and Reliability

    ISSN: 0960-0833

    • Melhor URL em Acesso Aberto:
      • Página do artigo
      • Link para o PDF
      • Evidência: oa repository (via OAI-PMH title and first author match)
      • Licença:
      • Versão: publishedVersion
      • Tipo de hospedagem: repository


    • Outras alternativas de URLs em Acesso Aberto:
        • Página do artigo
        • Link para o PDF
        • Evidência: oa repository (via OAI-PMH title and first author match)
        • Licença:
        • Versão: publishedVersion
        • Tipo de hospedagem: repository


    Informações sobre o Citescore
  • Título: Software Testing Verification and Reliability

    ISSN: 0960-0833

    Citescore - 2017: 1.85

    SJR - 2017: 0.335

    SNIP - 2017: 1.593


  • Exemplares físicos disponíveis nas Bibliotecas da USP
    BibliotecaCód. de barrasNúm. de chamada
    ICMC2680390-10PROD 2680390
    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; SOUZA, Paulo Sérgio Lopes de; BRITO, Maria A. S; SIMÃO, Adenilso da Silva; ZALUSKA, E. J. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software testing, verification and reliability, Malden, Ma, John Wiley and Sons, v. 25, n. 3, p. 310-332, 2015. Disponível em: < http://dx.doi.org/10.1002/stvr.1568 > DOI: 10.1002/stvr.1568.
    • APA

      Souza, S. do R. S. de, Souza, P. S. L. de, Brito, M. A. S., Simão, A. da S., & Zaluska, E. J. (2015). Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software testing, verification and reliability, 25( 3), 310-332. doi:10.1002/stvr.1568
    • NLM

      Souza S do RS de, Souza PSL de, Brito MAS, Simão A da S, Zaluska EJ. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs [Internet]. Software testing, verification and reliability. 2015 ; 25( 3): 310-332.Available from: http://dx.doi.org/10.1002/stvr.1568
    • Vancouver

      Souza S do RS de, Souza PSL de, Brito MAS, Simão A da S, Zaluska EJ. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs [Internet]. Software testing, verification and reliability. 2015 ; 25( 3): 310-332.Available from: http://dx.doi.org/10.1002/stvr.1568

    Referências citadas na obra
    Autor: Taylor
    Título: Structural testing of concurrent programs
    Título do periódico: IEEE Transaction on Software Engineering
    Volume: 18
    Fascículo: 3
    Primeira página: 206
    Ano: 1992
    DOI: 10.1109/32.126769
    Yang CSD Program-based, structural testing of shared memory parallel programs 1999
    Wong WE Lei Y Ma X Effective generation of test sequences for structural testing of concurrent programs Shanghai, China 2005 539 548
    Lu S Jiang W Zhou Y A study of interleaving coverage criteria New York, NY, USA 2007 533 536
    Autor: Robinson-Mallett
    Título: Using communication coverage criteria and partial model generation to assist software integration testing
    Título do periódico: Software Quality Control
    Volume: 16
    Fascículo: 2
    Primeira página: 185
    Ano: 2008
    DOI: 10.1007/s11219-007-9036-1
    Takahashi J Kojima H Furukawa Z Coverage based testing for concurrent software Beijing, China 2008 533 538
    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
    Farchi E Nir Y Ur S Concurrent bug patterns and how to test them Nice, France 2003 286 293
    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 and testing for concurrent programs
    Título do periódico: IEEE Software
    Volume: 8
    Fascículo: 2
    Primeira página: 86
    Ano: 1991
    DOI: 10.1109/52.73751
    Damodaran-Kamal SK Francioni JM Nondeterminacy: Testing and debugging in message passing parallel programs New York 1993 118 128
    Autor: Souza
    Título: Structural testing criteria for message-passing parallel programs
    Título do periódico: Concurrency and Computation: Practice and Experience
    Volume: 20
    Primeira página: 1893
    Ano: 2008
    DOI: 10.1002/cpe.1297
    Sarmanho FS Souza PSL Souza SRS Simao AS Structural testing for semaphore-based multithread programs 2008 5101 337 346
    Souza SRS Souza PSL Machado MCC Camillo MS Simao AS Zaluska E Using coverage and reachability testing to improve concurrent program testing quality Eden Roc Renaissance Miami Beach, United States 2011 207 212
    Autor: Wohlin
    Ano: 2012
    DOI: 10.1007/978-3-642-29044-2
    Autor: Hwang
    Título: Reachability testing: an approach to testing concurrent software
    Título do periódico: International Journal of Software Engineering and Knowledge Engineering
    Volume: 5
    Primeira página: 493
    Ano: 1995
    DOI: 10.1142/S0218194095000241
    Autor: Souza
    Título: Structural testing for message-passing concurrent programs: an extended test model
    Título do periódico: Concurrency and Computation: Practice and Experience
    Autor: Rapps
    Título: Selecting software test data using data flow information
    Título do periódico: IEEE Transaction Software Engineering
    Volume: 11
    Fascículo: 4
    Primeira página: 367
    Ano: 1985
    DOI: 10.1109/TSE.1985.232226
    Hausen AC Verglio SR Souza SRS Souza PSL Simao AS A tool for structural testing of MPI programs Cuzco, Peru 2007 1 6
    Bonetti DanielRF Delbem ACB Travieso G Souza PSL Optimizing van der waals calculi using cell-lists and MPI Barcelona, Spain 2010 1 7
    Autor: Quinn
    Ano: 1994
    Autor: Grama
    Ano: 2003
    Krawczyk H Wiszniewski B Classification of software defects in parallel programs Poland 1994
    DeSouza J Kuhn B de Supinski BR Samofalov V Zheltov S Bratanov S Automated, scalable debugging of mpi programs with intel message checker New York, NY, USA 2005 78 82
    Autor: DeMillo
    Título: Hints on test data selection: Help for the practicing programmer
    Título do periódico: Computer
    Volume: 11
    Fascículo: 4
    Primeira página: 34
    DOI: 10.1109/C-M.1978.218136
    Andrews JH Briand LC Labiche Y Is mutation an appropriate tool for testing experiments 2005 15 21
    Autor: Artho
    Título: Enforcer - efficient failure injection
    Título do periódico: Lecture Notes in Computer Science (LNCS)
    Volume: 4085
    Primeira página: 412
    Ano: 2006
    DOI: 10.1007/11813040_28
    Autor: Chen
    Título: Have: detecting atomicity violations via integrated dynamic and static analysis
    Título do periódico: Lecture Notes in Computer Science (LNCS)
    Volume: 5503
    Primeira página: 425
    Ano: 2009
    DOI: 10.1007/978-3-642-00593-0_30
    Chen J Guided testing of concurrent programs using value schedules University of Waterloo 2009
    Autor: Christakis
    Título: Detection of asynchronous message passing errors using static analysis
    Título do periódico: Lecture Notes in Computer Science (LNCS)
    Volume: 6539
    Primeira página: 5
    Ano: 2011
    DOI: 10.1007/978-3-642-18378-2_3
    Ball T Burckhardt S Coons KE Musuvathi M Qadeer S Preemption sealing for efficient concurrency testing Springer Berlin Heidelberg 2010 6015 420 434
    Dantas A Improving developers' confidence in test results of multi-threaded systems: avoiding early and late assertions Orlando, Florida 2008 899 900
    Dantas A Gaudencio M Brasileiro F Cirne W Obtaining trustworthy test results in multi-threaded systems Brazil 2007
    Autor: Emmi
    Título: Delay-bounded scheduling
    Título do periódico: ACM SIGPLAN Notices (POPL 2011)
    Volume: 46
    Fascículo: 1
    Primeira página: 411
    DOI: 10.1145/1925844.1926432
    Yu J Narayanasamy S A case for an interleaving constrained shared-memory multi-processor New York, United States 2009 325 336
    Autor: Kamil
    Título: Enforcing textual alignment of collectives using dynamic checks
    Título do periódico: Lecture Notes in Computer Science (LNCS)
    Volume: 5898
    Primeira página: 368
    Ano: 2010
    DOI: 10.1007/978-3-642-13374-9_25
    Autor: Rungta
    Título: A meta heuristic for effectively detecting concurrency errors
    Título do periódico: Lecture Notes in Computer Science (LNCS)
    Volume: 5394
    Primeira página: 23
    Ano: 2009
    DOI: 10.1007/978-3-642-01702-5_8
    Gligoric M Jagannath V Marinov D Mutmut: Efficient exploration for mutation testing of multithreaded code Paris, France 2010 55 64
    Sen A Abadir MS Coverage metrics for verification of concurrent systemc designs using mutation testing Anaheim, CA, United States 2010 75 81
    Jagannath V Gligoric M Lauterburg S Marinov D Agha G Mutation operators for actor systems Paris, France 2010 157 162
    Yang Y Chen X Gopalakrishnan G Inspect: a runtime model checker for multithreaded C programs USA 2008
    Li J Hei D Yan L Correctness analysis based on testing and checking for OpenMP programs Beijing, China 2009 210 215
    Musuvathi M Qadeer S Fair stateless model checking Tucson, Arizona, United States 2008 362 371
    Autor: Yang
    Ano: 2008
    Autor: Aichernig
    Título: Modeling and testing multi-threaded asynchronous systems with Creol
    Título do periódico: Electronic Notes in Theoretical Computer Science
    Volume: 243
    Primeira página: 3
    Ano: 2009
    DOI: 10.1016/j.entcs.2009.07.002
    Autor: Aichernig
    Título: Conformance testing of distributed concurrent systems with executable designs
    Título do periódico: Lecture Notes in Computer Science (LNCS)
    Volume: 5751
    Primeira página: 61
    Ano: 2009
    DOI: 10.1007/978-3-642-04167-9_4
    Takahashi J Kojima H Furukawa Z Coverage based testing for concurrent software Beijing, China 2008 533 538
    Sherman E Dwyer MB Elbaum S Saturation-based testing of concurrent programs New York, United States 2009 53 62
    Autor: Yang
    Título: Path analysis testing of concurrent programs
    Título do periódico: Information and Software Technology
    Volume: 34
    Fascículo: 1
    Primeira página: 43
    Ano: 1992
    DOI: 10.1016/0950-5849(92)90093-5
    Yang RD Chung CG The analysis of infeasible concurrent paths of concurrent Ada programs Chicago, Illinois 1990 424 429
    Yang RD Chung CG A path analysis approach to concurrent program testing Scottsdale, Arizona 1990 425 432
    Koppol PV Tai KC An incremental approach to structural testing of concurrent software New York, United States 1996 14 23
    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
    Kojima H Kakuda Y Takahashi J Ohta T A model for concurrent states and its coverage criteria Athens, Greece 2009 1 6
    Krawczyk H Wiszniewski B A method for determining testing scenarios for parallel and distributed software Poland 1996
    Katayama T Furukawa Z Ushijima K Event interactions graph for test-case generations of concurrent programs Brisbane, Queensland, Australia 1995 29 37
    Katayama T Furukawa Z Ushijima K A method for structural testing of Ada concurrent programs using the event interactions graph Seoul, South Korea 1996 355 364
    Katayama T Furukawa Z Ushijima K Design and implementation of test-case generation for concurrent programs Taipei, Taiwan, ROC 1998 262 269
    Autor: Liang
    Título: Timing-sequence testing of parallel programs
    Título do periódico: Journal of Computer Science and Technology
    Volume: 15
    Fascículo: 1
    Primeira página: 94
    Ano: 2000
    DOI: 10.1007/BF02951930
    Lu S Jiang W Zhou Y A study of interleaving coverage criteria New York, United States 2007 533 536
    Autor: Kundu
    Título: Contessa: Concurrency testing augmented with symbolic analysis
    Título do periódico: Lecture Notes in Computer Science (LNCS)
    Volume: 6174
    Primeira página: 127
    Ano: 2010
    DOI: 10.1007/978-3-642-14295-6_13
    Autor: Rungta
    Título: Efficient testing of concurrent programs with abstraction-guided symbolic execution
    Título do periódico: Lecture Notes in Computer Science (LNCS)
    Volume: 5578
    Primeira página: 174
    Ano: 2009
    DOI: 10.1007/978-3-642-02652-2_16
    Autor: Tai
    Primeira página: 35
    Ano: 2002
    Autor: Lei
    Título: A combinatorial testing strategy for concurrent programs
    Título do periódico: Software Testing Verification and Reliability
    Volume: 17
    Fascículo: 4
    Primeira página: 207
    Ano: 2007
    DOI: 10.1002/stvr.369
    Autor: Carver
    Título: A general model for reachability testing of concurrent programs
    Título do periódico: Lecture Notes in Computer Science (LNCS)
    Volume: 3308
    Primeira página: 76
    Ano: 2004
    DOI: 10.1007/978-3-540-30482-1_14
    Autor: Carver
    Título: Distributed reachability testing of concurrent programs
    Título do periódico: Concurrency and Computation: Practice and Experience
    Volume: 22
    Fascículo: 18
    Primeira página: 2445
    Ano: 2010
    DOI: 10.1002/cpe.1573
    Lei Y Carver R Reachability testing of semaphore-based programs 1 Hong Kong, China 2004 312 317
    Li SQ Chen HY Sun YX A framework of reachability testing for Java multithread programs 3 2004 2730 2734
    Carver RH Lei Y A stateful approach to testing monitors in multithreaded programs San Jose, CA, United States 2010 54 63
    Wei W Wu Y Lejun Z Lin G Testing path generation algorithm with network performance constraints for nondeterministic parallel programs 6 Hong Kong, China 2006
    Nagarakatte S Burckhardt S Martin MM Musuvathi M Multicore acceleration of priority-based schedulers for concurrency bug detection PLDI '12 Beijing, China 2012 543 554
    Hong S Ahn J Park S Kim M Harrold MJ Testing concurrent programs to achieve high synchronization coverage 2012 210 220
    Autor: Ding
    Título: A rigorous approach towards test case generation
    Título do periódico: Information Sciences
    Volume: 178
    Fascículo: 21
    Primeira página: 4057
    DOI: 10.1016/j.ins.2008.06.020
    Tan RP Nagpal P Miller S Automated black box testing tool for a parallel programming library Denver, Colorado, United States 2009 307 316
    Xiaoan B Na Z Zuohua D Test case generation of concurrent programs based on event graph Seoul, Korea 2009 143 149
    Souza SRS Brito MAS Silva RA Souza PSL Zaluska E Research in concurrent software testing: A systematic review Toronto, ON, Canada 2011 1 5
    Chung CM Shih TK Wang YH Lin WC Kou YF Task decomposition testing and metrics for concurrent programs White Plains, NY 1996 122 130
    Yang CS Souter AL Pollock LL All-du-path coverage for parallel programs ACM-Software Engineering Notes Clearwater Beach, Florida, United States 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: Tasiran
    Título: Location pairs: a test coverage metric for shared-memory concurrent programs
    Título do periódico: Empirical Software Engineering
    Volume: 17
    Fascículo: 3
    Primeira página: 129
    DOI: 10.1007/s10664-011-9166-8
    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
    Yu Jie Narayanasamy S Pereira C Pokam G Maple: a coverage-driven testing tool for multithreaded programs OOPSLA '12 Tucson, Arizona, USA 2012 485 502
    Gong X Wang Y Zhou Y Li B On testing multi-threaded Java programs 1 Qingdao, China 2007 702 706
    Hwang GH Lin HY Lin SY Lin CS Statement-coverage testing for nondeterministic concurrent programs Beijing, China 2012 263 266
    Ratsaby G Sterin B Ur S Improvements in coverability analysis FME '02 London, UK, UK 2002 41 56