First Experience of Conformance Testing an Application Interface Specification Implementation.
Francis TamKari AhvanainenPublished in: ISAS (2004)
Keyphrases
- protocol specification
- code generation
- real time
- test case generation
- specification language
- efficient implementation
- highly modular
- test data
- test cases
- user interface
- case study
- conceptual model
- general purpose
- formal specification
- test suite
- implementation issues
- formal verification
- search engine
- artificial intelligence
- data sets