An introduction to computational learning theory
An introduction to computational learning theory
Classical and Object-Oriented Software Engineering
Classical and Object-Oriented Software Engineering
Approximation algorithms for grammar-based compression
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
Discoverer: automatic protocol reverse engineering from network traces
SS'07 Proceedings of 16th USENIX Security Symposium on USENIX Security Symposium
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Hi-index | 0.00 |
This paper reports experiments conducted on the electronic control units of automobile components using model inference approach. We are studying the application of this approach to the problem of selecting quality components, validation and maintenance of component variants and their integration into a system. Our final results will help designers and researchers in embedded systems, specifically in automotive industry, to address these issues when complete specifications of component behaviors are unavailable.