Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

Model-based testing of software and systems: recent advances and challenges (2012)

  • Authors:
  • USP affiliated authors: SIMÃO, ADENILSO DA SILVA - ICMC ; MALDONADO, JOSÉ CARLOS - ICMC
  • USP Schools: ICMC; ICMC
  • DOI: 10.1007/s10009-012-0240-3
  • 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.1007/s10009-012-0240-3 (Fonte: oaDOI API)
    • Este periódico é de assinatura
    • Este artigo NÃO é de acesso aberto
    Versões disponíveis em Acesso Aberto do: 10.1007/s10009-012-0240-3 (Fonte: Unpaywall API)

    Título do periódico: International Journal on Software Tools for Technology Transfer

    ISSN: 1433-2779,1433-2787



      Não possui versão em Acesso aberto
    Informações sobre o Citescore
  • Título: International Journal on Software Tools for Technology Transfer

    ISSN: 1433-2779

    Citescore - 2017: 1.79

    SJR - 2017: 0.33

    SNIP - 2017: 1.083


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

    • ABNT

      PETRENKO, Alexandre; SIMÃO, Adenilso da Silva; MALDONADO, José Carlos. Model-based testing of software and systems: recent advances and challenges. International Journal on Software Tools for Technology Transfer (STTT), Heidelberg, Springer-Verlag, v. 14, n. 4, p. 383-386, 2012. Disponível em: < http://dx.doi.org/10.1007/s10009-012-0240-3 > DOI: 10.1007/s10009-012-0240-3.
    • APA

      Petrenko, A., Simão, A. da S., & Maldonado, J. C. (2012). Model-based testing of software and systems: recent advances and challenges. International Journal on Software Tools for Technology Transfer (STTT), 14( 4), 383-386. doi:10.1007/s10009-012-0240-3
    • NLM

      Petrenko A, Simão A da S, Maldonado JC. Model-based testing of software and systems: recent advances and challenges [Internet]. International Journal on Software Tools for Technology Transfer (STTT). 2012 ; 14( 4): 383-386.Available from: http://dx.doi.org/10.1007/s10009-012-0240-3
    • Vancouver

      Petrenko A, Simão A da S, Maldonado JC. Model-based testing of software and systems: recent advances and challenges [Internet]. International Journal on Software Tools for Technology Transfer (STTT). 2012 ; 14( 4): 383-386.Available from: http://dx.doi.org/10.1007/s10009-012-0240-3

    Referências citadas na obra
    Andrade, W.L., Machado, P.D.L., Jeron, T., Marchand, H.: Abstracting time and data for conformance Testing of teal-time systems. In: A-MOST 2011, 9–17 (2011)
    Bochmann, G.v., Jourdan, G.-V.: Testing k-safe petri nets. In: TestCom/FATES 09, LNCS, vol. 5826, pp. 33–48, Springer, Berlin (2009)
    Clarke, D., Jéron, T., Rusu, V., Zinovieva, E., Katoen, J.-P., Stevens, P.: STG: A symbolic test generation tool. ETAPS 2002 and TACAS 2002, LNCS, vol. 2280, pp. 151–173. Springer, Heidelberg (2002)
    Constant C., Jéron T., Marchand H., Rusu V.: Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Softw. Eng. 33(8), 558–574 (2007)
    El-Fakih, K., Yevtushenko, N., Fouchal, H.: Testing timed finite state machines with guaranteed fault coverage. In: TestCom 2009, LNCS, vol. 5826, pp. 66–80. Springer, Eindhoven (2009)
    En-Nouaary , En-Nouaary : A scalable method for testing real-time systems. Softw. Qual. J. 16(1), 3–22 (2008)
    Falcone, Y., Fernandez, J.-C., Jéron, T., Marchand, H., Mounier, L.: More testable properties, in this volume
    Frantzen, L., Tretmans, J., Willemse, T.: A Symbolic Framework for Model-Based Testing. FATES 2006 and RV 2006. LNCS, vol. 4262, pp. 40–54. Springer, Heidelberg (2006)
    Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic execution techniques for Test Purpose Definition. In: TESTCOM 2006, LNCS, vol. 3964, pp. 1–18. Springer, Heidelberg (2006)
    Gladisch, C.: Model Generation for Quantified Formulas with Application to Test Data Generation, in this volume
    Grieskamp W., Kicillof N., Stobie K., Braberman V.: Model-based quality assurance of protocol documentation: tools and methodology. Softw. Test. Verification Reliab. 21(1), 55–71 (2011)
    Haar, S., Jard, C., Jourdan, G.-V.: Testing input/output partial order automata. In: TestCom 2007, LNCS 4581, pp. 171–185, Springer, Berlin (2007)
    Hassine J., Rilling J., Dssouli R.: An evaluation of timed scenario notations. J. Syst. Softw. 83(2), 326–350 (2010)
    Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing Real-Time Systems Using UPPAAL. In: FORTEST 2008. LNCS, vol. 4949, pp. 77–117. Springer, Heidelberg (2008)
    Hessel, A., Larsen, K.G., Nielsen, B., Pettersson, P., Skou., A.: Time-optimal real-time test case generation using UPPAAL. In: FATES’03, LNCS, vol. 2931, pp. 136–151. Springer, Heidelberg (2003)
    Hierons R.M.: Controllable testing from Nondeterministic Finite State Machines with Multiple Ports. IEEE Trans. Comput. 60(12), 1818–1822 (2011)
    Huo J., Petrenko A.: Transition covering tests for systems with queues. Softw. Test. Verification Reliability 19(1), 55–83 (2009)
    Jard C.: Synthesis of distributed testers from true-concurrency models of reactive systems. Int. J. Inform. Softw. Technol. 45(12), 805–814 (2003)
    Jard C., Jéron T.: TGV: theory, principles and algorithms. Softw. Tools Technol. Transf. 7(4), 297–315 (2005)
    Larsen, K., Mikucionis, M., Nielsen, B., Skou, A.: Testing Teal-time embedded software using UPPAAL-TRON: an industrial case study. In: 5th ACM international conference on Embedded software, pp. 299–306. ACM Press, NY (2005)
    Lund, M.S., Refsdal, A., Stølen, K.: Semantics of UML Models for Dynamic Behavior: A survey of different approaches. In: Model-Based Engineering of Embedded Real-Time Systems, LNCS, vol. 6100, pp. 77–103. Springer, Berlin (2011)
    Moore, E.F.: Gedanken-experiments on sequential machines. Automata Studies. vol. 34, 129–153. Princeton University Press, Princeton (1956)
    Petrenko A., Boroday S., Groz R.: Confirming configurations in EFSM testing. IEEE Trans. Softw. Eng. 30(1), 29–42 (2004)
    Pozo, A., Árias, J.C.G., Cabral, R.V., Vergilio, S.R. and Nobre, T.: Multi-objective optimization algorithms applied to the class integration and test order problem, in this volume
    Simao A., Petrenko A., Maldonado J.C.: Comparing finite state machine test coverage criteria. IET Softw. 3(2), 91–105 (2009)
    Simao A., Petrenko A.: Generating asynchronous test cases from test purposes. Inform. Softw. Technol. 53(11), 1252–1262 (2011)
    Tretmans J.: Test generation with inputs, outputs and repetitive quiescence. Softw. Concept Tools. 17(3), 103–120 (1996)
    Tretmans, J., Brinksma, E.: TorX: Automated model-based testing. In: First European Conference on Model-Driven Software Engineering, pp. 31–43 (2003)
    Tretmans, J.: Model based testing with labelled transition systems. In: Formal Methods and Testing, LNCS, vol. 4949, pp. 1–38. Springer, Berlin, (2008)
    Utting, M., Legeard, B.: Practical model-based testing: a tools approach. Morgan Kaufmann, San Francisco (2007)
    Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson L.: Model-based testing of object-oriented reactive systems with Spec Explore. In: Formal Methods and Testing, LNCS, vol. 4949, pp. 39–76. Springer, Berlin, (2008)
    Veanes, M., Bjørner, N.: Alternating Simulation and IOCO, in this volume.