Abstract
| Original language | Undefined |
|---|---|
| Title of host publication | CONCUR'99 - Concurrency Theory: 10th International Conference |
| Editors | J.C.M. Baeten, S. Mauw |
| Place of Publication | Berlin |
| Publisher | Springer |
| Pages | 46-65 |
| Number of pages | 20 |
| ISBN (Print) | 3-540-66425-4 |
| DOIs | |
| Publication status | Published - Aug 1999 |
| Event | 10th International Conference on Concurrency Theory, CONCUR 1999 - Eindhoven, Netherlands Duration: 24 Aug 1999 → 27 Aug 1999 Conference number: 10 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Verlag |
| Volume | 1664 |
Conference
| Conference | 10th International Conference on Concurrency Theory, CONCUR 1999 |
|---|---|
| Abbreviated title | CONCUR |
| Country | Netherlands |
| City | Eindhoven |
| Period | 24/08/99 → 27/08/99 |
Keywords
- EWI-6496
- IR-63307
- METIS-119604
- FMT-TESTING
Cite this
}
Testing Concurrent Systems: A Formal Approach. / Tretmans, G.J.
CONCUR'99 - Concurrency Theory: 10th International Conference. ed. / J.C.M. Baeten; S. Mauw. Berlin : Springer, 1999. p. 46-65 (Lecture Notes in Computer Science; Vol. 1664).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - Testing Concurrent Systems: A Formal Approach
AU - Tretmans, G.J.
PY - 1999/8
Y1 - 1999/8
N2 - This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework for testing based on formal specifications is presented. This framework is elaborated for labelled transition systems, providing formal definitions of conformance, test execution and test derivation. A test derivation algorithm is given and its tool implementation is briefly discussed.
AB - This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework for testing based on formal specifications is presented. This framework is elaborated for labelled transition systems, providing formal definitions of conformance, test execution and test derivation. A test derivation algorithm is given and its tool implementation is briefly discussed.
KW - EWI-6496
KW - IR-63307
KW - METIS-119604
KW - FMT-TESTING
U2 - 10.1007/3-540-48320-9_6
DO - 10.1007/3-540-48320-9_6
M3 - Conference contribution
SN - 3-540-66425-4
T3 - Lecture Notes in Computer Science
SP - 46
EP - 65
BT - CONCUR'99 - Concurrency Theory: 10th International Conference
A2 - Baeten, J.C.M.
A2 - Mauw, S.
PB - Springer
CY - Berlin
ER -