Formal Approaches to Testing of Software

T. Aaltonen; J. Helin

Formal Approaches to Testing of Software

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

Translated title of the contribution	Formal Approaches to Testing of Software
Original language	English
Title of host publication	Formal Approaches to Testing of Software, FATES'02, A Satellite Workshop of CONCUR'02, Brno, Czech Republic, August 24th 2002, Proceedings
Editors	T. Hierons, T. Jeron
Pages	65-78
Publication status	Published - 2002
Publication type	A4 Article in conference proceedings

Publication forum classification

No publication forum level

Cite this

@inproceedings{2ed1386459c74d688a12ec1ba9eea904,

title = "Formal Approaches to Testing of Software",

author = "T. Aaltonen and J. Helin",

note = "Contribution: organisation=ohj,FACT1=1",

year = "2002",

language = "English",

pages = "65--78",

editor = "T. Hierons and T. Jeron",

booktitle = "Formal Approaches to Testing of Software, FATES'02, A Satellite Workshop of CONCUR'02, Brno, Czech Republic, August 24th 2002, Proceedings",

}

Formal Approaches to Testing of Software. / Aaltonen, T.; Helin, J.
Formal Approaches to Testing of Software, FATES'02, A Satellite Workshop of CONCUR'02, Brno, Czech Republic, August 24th 2002, Proceedings. ed. / T. Hierons; T. Jeron. 2002. p. 65-78.

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

TY - GEN

T1 - Formal Approaches to Testing of Software

AU - Aaltonen, T.

AU - Helin, J.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 2002

Y1 - 2002

M3 - Conference contribution

SP - 65

EP - 78

BT - Formal Approaches to Testing of Software, FATES'02, A Satellite Workshop of CONCUR'02, Brno, Czech Republic, August 24th 2002, Proceedings

A2 - Hierons, T.

A2 - Jeron, T.

ER -