Synthesis of Scenario Based Test Cases from B Models

M Satpathy; QA Malik; Johan Lilius

Synthesis of Scenario Based Test Cases from B Models

M Satpathy, QA Malik, Johan Lilius

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

7 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops FATES 2006 and RV 2006 Seattle, WA, USA, August 15-16, 2006 Revised Selected Papers
Editors	K Havelund, M Núñez, G Rosu, B Wolff
Publisher	Springer
Pages	133–147
Publication status	Published - 2006
MoE publication type	A4 Article in a conference publication
Event	conference - Duration: 1 Jan 2010 → …

Conference

Conference	conference
Period	01/01/10 → …

Cite this

Satpathy, M., Malik, QA., & Lilius, J. (2006). Synthesis of Scenario Based Test Cases from B Models. In K. Havelund, M. Núñez, G. Rosu, & B. Wolff (Eds.), Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops FATES 2006 and RV 2006 Seattle, WA, USA, August 15-16, 2006 Revised Selected Papers (pp. 133–147). Springer.

@inproceedings{26b1840f24e74769bc7450c46fb4cac7,

title = "Synthesis of Scenario Based Test Cases from B Models",

author = "M Satpathy and QA Malik and Johan Lilius",

year = "2006",

language = "Odefinierat/ok{\"a}nt",

pages = "133–147",

editor = "K Havelund and M N{\'u}{\~n}ez and G Rosu and B Wolff",

booktitle = "Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops FATES 2006 and RV 2006 Seattle, WA, USA, August 15-16, 2006 Revised Selected Papers",

publisher = "Springer",

note = "conference ; Conference date: 01-01-2010",

}

Satpathy, M, Malik, QA & Lilius, J 2006, Synthesis of Scenario Based Test Cases from B Models. in K Havelund, M Núñez, G Rosu & B Wolff (eds), Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops FATES 2006 and RV 2006 Seattle, WA, USA, August 15-16, 2006 Revised Selected Papers. Springer, pp. 133–147, conference, 01/01/10.

Synthesis of Scenario Based Test Cases from B Models. / Satpathy, M; Malik, QA; Lilius, Johan.
Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops FATES 2006 and RV 2006 Seattle, WA, USA, August 15-16, 2006 Revised Selected Papers. ed. / K Havelund; M Núñez; G Rosu; B Wolff. Springer, 2006. p. 133–147.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Synthesis of Scenario Based Test Cases from B Models

AU - Satpathy, M

AU - Malik, QA

AU - Lilius, Johan

PY - 2006

Y1 - 2006

M3 - Konferensbidrag

SP - 133

EP - 147

BT - Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops FATES 2006 and RV 2006 Seattle, WA, USA, August 15-16, 2006 Revised Selected Papers

A2 - Havelund, K

A2 - Núñez, M

A2 - Rosu, G

A2 - Wolff, B

PB - Springer

T2 - conference

Y2 - 1 January 2010

ER -