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

Generating Test Cases from Scenario-Based Formal Development

Qaisar A. Malik, Johan Lilius, Linas Laibinis, Generating Test Cases from Scenario-Based Formal Development. TUCS Technical Reports 895, Turku Centre for Computer Science, 2008.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tMaLiLa08a,
  title = {Generating Test Cases from Scenario-Based Formal Development},
  author = {Malik, Qaisar A. and Lilius, Johan and Laibinis, Linas},
  number = {895},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2008},
  keywords = {Scenario-based testing, Model-based testing, Event-B, Formal Methods},
}

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

Edit publication