A bug reproduction approach based on directed model checking and crash traces | Zendy

Nayrolles Mathieu | Zendy; HamouLhadj Abdelwahab | Zendy; Tahar Sofiène | Zendy; Larsson Alf | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Premium

A bug reproduction approach based on directed model checking and crash traces

Author(s) -

Nayrolles Mathieu,

HamouLhadj Abdelwahab,

Tahar Sofiène,

Larsson Alf

Publication year - 2017

Publication title -

journal of software: evolution and process

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.371

H-Index - 29

eISSN - 2047-7481

pISSN - 2047-7473

DOI - 10.1002/smr.1789

Subject(s) - crash , computer science , java , slicing , programming language , model checking , task (project management) , program slicing , open source , debugging , software , world wide web , management , economics

Reproducing a bug that caused a system to crash is an important task for uncovering the causes of the crash and providing appropriate fixes. In this paper, we propose a novel crash reproduction approach that combines directed model checking and backward slicing to identify the program statements needed to reproduce a crash. Our approach, named JCHARMING (Java CrasH Automatic Reproduction by directed Model checkING), uses information found in crash traces combined with static program slices to guide a model checking engine in an optimal way. We show that JCHARMING is efficient in reproducing bugs from 10 different open source systems. Overall, JCHARMING is able to reproduce 80% of the bugs used in this study in an average time of 19 min. Copyright © 2016 John Wiley & Sons, Ltd.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research