SAT-Based Extraction of Behavioural Models for Java Libraries with Collections

Larisa Safina, Simon Bliudze

Behavioural models are a valuable tool for software verification, testing, monitoring, publishing etc. However, they are rarely provided by the software developers and have to be e…