Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

Establishing structural testing criteria for java bytecode (2006)

  • Authors:
  • USP affiliated authors: MALDONADO, JOSÉ CARLOS - ICMC
  • USP Schools: ICMC
  • DOI: 10.1002/spe.726
  • 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/spe.726 (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: Software - Practice and Experience

    ISSN: 0038-0644

    Citescore - 2017: 2

    SJR - 2017: 0.405

    SNIP - 2017: 1.215


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

    • ABNT

      VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; WONG, E. Establishing structural testing criteria for java bytecode. Software - Practice & Experience, New York, v. 36, n. 14, p. 1513-1541, 2006. Disponível em: < http://www3.interscience.wiley.com/cgi-bin/fulltext/112659167/PDFSTART > DOI: 10.1002/spe.726.
    • APA

      Vincenzi, A. M. R., Delamaro, M. E., Maldonado, J. C., & Wong, E. (2006). Establishing structural testing criteria for java bytecode. Software - Practice & Experience, 36( 14), 1513-1541. doi:10.1002/spe.726
    • NLM

      Vincenzi AMR, Delamaro ME, Maldonado JC, Wong E. Establishing structural testing criteria for java bytecode [Internet]. Software - Practice & Experience. 2006 ; 36( 14): 1513-1541.Available from: http://www3.interscience.wiley.com/cgi-bin/fulltext/112659167/PDFSTART
    • Vancouver

      Vincenzi AMR, Delamaro ME, Maldonado JC, Wong E. Establishing structural testing criteria for java bytecode [Internet]. Software - Practice & Experience. 2006 ; 36( 14): 1513-1541.Available from: http://www3.interscience.wiley.com/cgi-bin/fulltext/112659167/PDFSTART

    Referências citadas na obra
    Software Testing. McGraw-Hill: New York, 1994.
    Autor: Herman
    Título do periódico: Australian Computer Journal
    Volume: 8
    Primeira página: 92
    Ano: 1976
    Autor: Laski
    Título do periódico: IEEE Transactions on Software Engineering
    Volume: 9
    Primeira página: 347
    Ano: 1983
    DOI: 10.1109/TSE.1983.236871
    Autor: Rapps
    Título do periódico: IEEE Transactions on Software Engineering
    Volume: 11
    Primeira página: 367
    Ano: 1985
    DOI: 10.1109/TSE.1985.232226
    Potential-Uses Criteria: A contribution to the structural testing of software. Doctoral Dissertation, DCA/FEE/UNICAMP, Campinas, SP, Brazil, July 1991 (in Portuguese).
    Autor: Harrold
    Título do periódico: ACM Transactions on Programming Languages and Systems (TOPLAS)
    Volume: 16
    Primeira página: 175
    Ano: 1994
    DOI: 10.1145/174662.174663
    . Performing data flow testing on classes. Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, New York, NY, December 1994. ACM Press: New York, 1994; 154–163.
    . Data flow coverage and the C language. Symposium Software Testing, Analysis, and Verification, Victoria, BC, Canada, October 1991. ACM Press: New York, 1991; 87–97.
    . Data flow based test adequacy for languages with pointers. Symposium on Software Testing, Analysis and Verification (TAV4), Victoria, BC, Canada, October 1991. ACM Press: New York, 1991; 74–86.
    Autor: Marx
    Título do periódico: Software Testing, Verification and Reliability
    Volume: 9
    Primeira página: 51
    Ano: 1999
    DOI: 10.1002/(SICI)1099-1689(199903)9:1<51::AID-STVR177>3.0.CO;2-U
    , , . Data-flow testing of programs with pointers and records: Implementation, effectiveness, and cost. Proceedings of the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, Foz de Iguaçu, Paraná, 2002. International Association for Computer and Information Science: Mount Pleasant, MI, 2002; 317–323.
    Autor: Malloy
    Título do periódico: ACM SIGPLAN Notices
    Volume: 29
    Primeira página: 38
    Ano: 1994
    DOI: 10.1145/193209.193218
    . Slicing object-oriented software. Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, 1996. IEEE Computer Society Press: Los Alamitos, CA, 1996; 495–505.
    , , , . A formal study of slicing for multi-threaded programs with JVM concurrency primitives. Proceedings of the 6th International Static Analysis Symposium, September 1999. Springer: London, 1999.
    Analyzing control flow in Java bytecode. Proceedings of the 16th Conference of Japan Society for Software Science and Technology, September 1999. Japan Society for Software Science and Technology: Tokyo, Japan, 1999; 313–316.
    Dependence analysis of Java bytecode. Proceedings of the 24th IEEE Annual International Computer Software and Applications Conference (COMPSAC'2000), Taipei, Taiwan, October 2000. IEEE Computer Society Press: Los Alamitos, CA, 2000; 486–491.
    Autor: McCabe
    Título do periódico: IEEE Transactions on Software Engineering
    Volume: 2
    Primeira página: 308
    Ano: 1976
    DOI: 10.1109/TSE.1976.233837
    . The Java Virtual Machine Specification (2nd edn). Addison-Wesley: Reading, MA, 1999.
    Autor: Sinha
    Título do periódico: IEEE Transactions on Software Engineering
    Volume: 26
    Primeira página: 849
    Ano: 2000
    DOI: 10.1109/32.877846
    The Art of Software Testing. Wiley: New York, 1979.
    , , . JaBUTi: A coverage analysis tool for Java programs. Proceedings of the 17th Brazilian Symposium on Software Engineering (SBES), Manaus, AM, Brazil, October 2003. Brazilian Computer Society: Manaus, Brazil, 2003; 70–84.
    . Structural testing of mobile agents. Proceedings of the 3rd International Workshop on Scientific Engineering of Java Distributed Applications (FIDJI'2003), November 2003 (Lecture Notes on Computer Science, vol. 2952), (eds.). Springer: Berlin, 2003; 73–85.
    Autor: Weyuker
    Título do periódico: IEEE Transactions on Software Engineering
    Volume: 16
    Primeira página: 121
    Ano: 1990
    DOI: 10.1109/32.44376
    Autor: Vincenzi
    Título do periódico: Software Testing, Verification and Reliability
    Volume: 11
    Primeira página: 249
    Ano: 2001
    DOI: 10.1002/stvr.242
    , . Coverage measurement experience during function test. Proceedings of the 15th International Conference on Software Engineering, Baltimore, MD, May 1993. IEEE Computer Society Press: Los Alamitos, CA, 1993; 287–301.
    , , . Effect of test set size and block coverage on fault detection effectiveness. Proceedings of the 5th IEEE International Symposium on Software Reliability Engineering, Monterey, CA, November 1994. ACM Press: New York, NY, 1994; 230–238.
    Dominators, super block, and program coverage. Proceedings of the SIGPLAN—SIGACT Symposium on Principles of Programming Languages (POPL'94), Portland, OR, January 1994. ACM Press: New York, 1994; 25–34.
    Slicing concurrent Java programs. Proceedings of the 7th IEEE International Workshop on Program Comprehension, May 1999. IEEE Computer Society Press: Los Alamitos, CA, 1999; 126–133.
    . Intraprocedural static slicing of binary executables. Proceedings of the International Conference on Software Maintenance (ICSM'97). IEEE Computer Society Press: Los Alamitos, CA, 1997; 188–195.
    , . ASSET: A system to select and evaluate tests. Proceedings of the IEEE Conference on Software Tools, New York, NY, April 1985. IEEE Press: New York, NY, 1985; 72–79.
    Poke-tool—a tool to support data flow based structural test of programs. Master's Thesis, DCA/FEEC/UNICAMP, Campinas, SP, April 1991 (in Portuguese).
    Autor: Dundan
    Título do periódico: Software Maintenance: Research and Practice
    Volume: 8
    Primeira página: 241
    Ano: 1996
    DOI: 10.1002/(SICI)1096-908X(199607)8:4<241::AID-SMR131>3.0.CO;2-Q
    , . Data flow based testing of programs with pointers: A strategy based on potential uses. Proceedings of the 10th International Software Quality Week (QW97), California, May 1997. Software Research Institute: San Francisco, CA, 1997; 1–12.