samskivert: Automatic Steering of Behavioral Model Inference – Lo, et al.

28 March 2010

It mainly describes a technique to preserve some sanity in inferred finite-state behavioral models of software systems. While the idea seems like a good one, in terms of its effects on the inferred model, I’m not so sure how these inferred models are useful. Shrug.

Source: PDF ACM

©1999–2022 Michael Bayne