Deployment of Model-Based Technologies to Industrial Testing

Forskningsresultat

Publikationer per år 2008 2009 2010 2011 2011

• 9 Konferensbidrag
• 2 Beställd rapport
• 1 Antologi/redigerad tidskrift
• 1 Kapitel
• 1 Mer
  • 1 Artikel

Publikationer per år

Publikationer per år

Sökresultat

• 2011

  Applying Model-Based Testing in the Telecommunication Domain

  Abbors, F., Aho, V.-M., Koivulainen, J., Teittinen, R. & Truscan, D., 2011, Model-Based Testing for Embedded Systems. Zander, J., Schieferdecker, I. & Mosterman, P. (red.). CRC Press, s. 486–524

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review

• Model-Based Testing for Embedded and Real-Time Communication Systems (MBT4ERTCS)

  Schieferdecker, I. (Redaktör), Willcock, C. (Redaktör) & Truscan, D. (Redaktör), 2011, IGI Global.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

• Towards Rapid Creation of Test Adaptation in On-line Model-Based Testing

  Nylund, K., Östman, E., Truscan, D. & Teittinen, R., 2011, Computer Software and Applications Conference Workshops (COMPSACW), 2011 IEEE 35th Annual. Ahamed, S., Bae, D., Cha, S., Chang, C., Subramanyan, R., Wong, E. & Yang, H. (red.). IEEE, s. 174–179

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  1 Citeringar (Scopus)
• 2010

  Approaching Performance Testing from a Model-Based Testing Perspective

  Abbors, F. & Truscan, D., 2010, 2nd International Conference on Advances in System Testing and Validation Lifecycle (VALID 2010). IEEE computer society press, s. 125–128

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  7 Citeringar (Scopus)

• Including Model-Based Statistical Testing in the MATERA Approach

  Bäcklund, A., Abbors, F. & Truscan, D., 2010, Proceedings of 3rd Workshop on Model-based Testing in Practice (MOTIP 2010). Thomas, B., Hajo, E., Marc-Florian, W. & Sebastian, W. (red.). Turku Centre for Computer Science, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• MATERA - An Integrated Framework for Model-Based Testing

  Abbors, F., Bäcklund, A. & Truscan, D., 2010, Proceedings of the 7th Workshop on System Testing and Validation (STV10). Roy, S., Brandon, E. & Jonathan, S. (red.). IEEE Computer Society, s. 321–328

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  13 Citeringar (Scopus)

• Model-Based Testing using System vs. Test Models - What is the Difference?

  Malik, Q., Jääskeläinen, A., Virtanen, H., Katara, M., Abbors, F., Truscan, D. & Lilius, J., 2010, 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems. Sterritt, R., Eames, B. & Sprinkle, J. (red.). IEEE, s. 291–299

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  11 Citeringar (Scopus)

• Requirement-Driven Scenario-Based Testing Using Formal Stepwise Development

  Malik, Q. A., Laibinis, L., Truscan, D. & Lilius, J., 2010, I: International Journal on Advances in Software. 3, 1 & 2, s. 147–160

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

• Using UML Models and Formal Verification in Model-Based Testing

  Malik, Q., Truscan, D. & Lilius, J., 2010, 17th IEEE Intl. Conference on Engineering of Computer-Based Systems (ECBS 2010). IEEE, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  10 Citeringar (Scopus)
• 2009

  A Semantic Transformation from UML Models to Input for the Qtronic Test Design Tool

  Abbors, F., Pääjärvi, T., Teittinen, R., Truscan, D. & Lilius, J., 2009, Turku Centre for Computer Science (TUCS).

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

• Tracing Requirements in a Model-Based Testing Approach

  Abbors, F., Truscan, D. & Lilius, J., 2009, Advances in System Testing and Validation Lifecycle, 2009. VALID '09. First International Conference on. Amirhossein, A., Anne, M. & Manuela, P. (red.). IEEE Computer Society, s. 123–128

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  19 Citeringar (Scopus)

• Transformational Support for Model-Based Testing – from UML to QML

  Abbors, F., Pääjärvi, T., Teittinen, R., Truscan, D. & Lilius, J., 2009, Workshop on Model-based Testing in Practice. Bauer, T., Eichler, H., Rennoch, A. & Wieczorek, S. (red.). Fraunhofer focus, s. 55–64

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Using System Models vs. Test Models in Model-Based Testing

  Malik, Q., Jääskeläinen, A., Virtanen, H., Katara, M., Abbors, F., Truscan, D. & Lilius, J., 2009, Proceedings of "Opiskelijoiden minikonferenssi" at "Tietotekninen tuki ohjelmoinnin opetuksessa". s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
• 2008

  Online Testing of the ÅBOT Game Server Using the Qtronic Tool

  Liu, X., Truscan, D. & Lilius, J., 2008, Turku Centre for Computer Science.

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell