Abstract | ||
---|---|---|
The application of formal methods to conformance testing becomes a more and more active research area. This paper presents the results and perspectives of the application of these languages for tests and test generation methods. These results are analyzed in the framework of the activity of the joint ISO/ITU-TS working group on "Formal Methods for Conformance Testing." |
Year | Venue | Keywords |
---|---|---|
1993 | Protocol Test Systems | formal methods,conformance testing,formal method |
Field | DocType | Volume |
Software engineering,Computer science,Conformance testing,Formal methods,Reliability engineering | Conference | 19 |
ISSN | ISBN | Citations |
0926-549X | 0-444-81697-6 | 5 |
PageRank | References | Authors |
0.52 | 1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ana R. Cavalli | 1 | 671 | 76.11 |
Jean Philippe Favreau | 2 | 44 | 7.16 |
Marc Phalippou | 3 | 51 | 7.73 |