Title: Modeling software behavior
First published: 2009
LC classification: QA76.9.S88 J72 2009