{
"item_title" : "Mining Software Specifications",
"item_author" : [" David Lo", "Siau-Cheng Khoo", "Jiawei Han "],
"item_description" : "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. ",
"item_img_path" : "https://covers3.booksamillion.com/covers/bam/1/13/811/490/1138114901_b.jpg",
"price_data" : {
"retail_price" : "107.99", "online_price" : "107.99", "our_price" : "107.99", "club_price" : "107.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Mining Software Specifications : Methodologies and Applications
Other Available Formats
Overview
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.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9781138114906
- ISBN-10: 1138114901
- Publisher: CRC Press
- Publish Date: June 2017
- Dimensions: 9.2 x 6.1 x 1.2 inches
- Shipping Weight: 0.92 pounds
- Page Count: 458
Related Categories
