Books in the Chapman & Hall/CRC Data Mining and Knowledge Discovery Series series

Exploring existing and emerging work in the field, this volume shows how specification mining techniques can help find software bugs and improve program understanding. Top researchers in the software engineering community provide valuable insight on up-to-date case studies of various software systems, including open source programs and those used by Microsoft Research and IBM Research. The book focuses on mining both finite state machines and temporal rules/patterns of behavior. It presents approaches that use static analysis, dynamic analysis, and combinations of the two.

Advances in digital music technology have created challenges for effectively accessing and interacting with large collections of music and associated data. This book explores how data mining addresses these challenges by mining useful information and using it to create novel ways of interacting with large music collections. Leading experts in data mining, machine learning, and music science examine fundamental issues of classification and audio signal processing and discuss social aspects of music mining. They also present new research in instrument recognition, mood and emotion classification, and hit song prediction science.