Mining Software Specifications
100,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in über 4 Wochen
payback
50 °P sammeln
  • Broschiertes Buch

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.

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Autorenporträt
David Lo is an assistant professor in the School of Information Systems at Singapore Management University. His research interests include specification mining, dynamic program analysis, automated debugging, code search, and pattern mining. Siau-Cheng Khoo is an associate professor in the Department of Computer Science at the National University of Singapore. His research interests include specification mining, program analysis, program transformation, functional programming, domain-specific languages, and aspect-oriented programming. Jiawei Han is a professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. He is editor-in-chief of the ACM Transactions on Knowledge Discovery from Data and co-editor of Geographic Data Mining and Knowledge Discovery, Second Edition (CRC Press, 2009) and Next Generation of Data Mining (CRC Press, 2009). His research interests include information network analysis, knowledge discovery, pattern discovery, data streams, and multidimensional analysis. Chao Liu is a researcher in the Internet Service Research Center at Microsoft Research. His research interests include data mining for software engineering, statistical debugging, and machine learning and its use in web applications.