-
Analysis and optimization of software model inference algorithms
Components-Off-The-Shelf (COTS) are used for rapid and cost effective developmentof software systems. It is important to test the correct functioning of COTS in new... -
Automatic extraction of communication protocols for web services composition
Business process management, service-oriented architectures and their reverse engineering heavily rely on the fundamental endeavor of mining business process models... -
Automatic generation of test drivers for model inference of web applications
International audience -
Model Inference and Testing
Chapter 3 -
Security Vulnerabilities Detection Using Model Inference for Applications and...
International audience
