Specification for SystemC-AADL interoperability.
Eduardo de las HerasEugenio VillarPublished in: WISES (2007)
Keyphrases
- test case generation
- web services
- test cases
- high level
- information systems
- information sharing
- formal specification
- metadata
- artificial intelligence
- data mining
- software testing
- specification language
- object oriented systems
- test data generation
- learning algorithm
- data sets
- learning technologies
- semantic technologies
- neural network