• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Model-based Testing Using Scenarios and Event-B Refinements

Qaisar Ahmad Malik, Johan Lilius, Linas Laibinis, Model-based Testing Using Scenarios and Event-B Refinements. In: Workshop on Methods, Models and Tools, 2007.

Abstract:

In this paper, we present a model-based testing approach based on user provided testing scenarios. In this approach, when software model is refined to add/modify features, the test cases are automatically refined to incorporate these changes. We use the Event-B formalism for software models, while user scenarios are represented as Communicating Sequential Process (CSP) expressions.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpMaLiLa07a,
  title = {Model-based Testing Using Scenarios and Event-B Refinements},
  booktitle = {Workshop on Methods, Models and Tools},
  author = {Malik, Qaisar Ahmad and Lilius, Johan and Laibinis, Linas},
  year = {2007},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab), Embedded Systems Laboratory (ESLAB), Software Construction Laboratorium

Edit publication