Scalable Inference of System-level Models from Component Logs

Donghwan Shin, Salma Messaoudi, Domenico Bianculli +3

Behavioral software models play a key role in many software engineering tasks; unfortunately, these models either are not available during software development or, if available, th…