Skip to Main Content
Advances in Computers
book

Advances in Computers

by Atif Memon
March 2013
Intermediate to advanced content levelIntermediate to advanced
242 pages
6h 45m
English
Academic Press
Content preview from Advances in Computers
Chapter 3

Model Inference and Testing

Muhammad Naeem Irfan, Catherine Oriat and Roland Groz, LIG, Computer Science Lab, Grenoble Institute of Technology, France

Abstract

For software systems, models can be learned from behavioral traces, available specifications, knowledge of experts, and other such sources. Software models help to steer testing and model checking of software systems. The model inference techniques extract structural and design information of a software system and present it as a formal model. This chapter briefly discusses the passive model inference and goes onto present the active model inference of software systems using the algorithm . This algorithm switches between model inference and testing phases. In model inference phase ...

Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Reinventing the Organization for GenAI and LLMs

Reinventing the Organization for GenAI and LLMs

Ethan Mollick
CCTV Surveillance

CCTV Surveillance

Herman Kruegle

Publisher Resources

ISBN: 9780124080942