Mining Software Specifications

Methodologies and Applications

460 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Themen: Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Spieleentwicklung und -programmierung
• ISBN: 9781138114906
• Sprache: Englisch
• Erscheinungsdatum: 14.06.2017
• Größe: 234 x 156 mm
• Verlag: CRC Press
• Herausgegeben von: David Lo, Siau-Cheng Khoo, Jiawei Han