An improved distributed concolic testing approach | Zendy

Godboley Sangharatna | Zendy; Mohapatra Durga Prasad | Zendy; Das Avijit | Zendy; Mall Rajib | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Premium

An improved distributed concolic testing approach

Author(s) -

Godboley Sangharatna,

Mohapatra Durga Prasad,

Das Avijit,

Mall Rajib

Publication year - 2017

Publication title -

software: practice and experience

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.437

H-Index - 70

eISSN - 1097-024X

pISSN - 0038-0644

DOI - 10.1002/spe.2405

Subject(s) - discrete cosine transform , concolic testing , scalability , calculator , computer science , algorithm , computer engineering , artificial intelligence , software , programming language , database , image (mathematics) , operating system , symbolic execution

Summary Distributed concolic testing (DCT) for complex programs takes a remarkable computational time. Also, the achieved modified condition/decision coverage (MC/DC) for such programs is often inadequate. We propose an improved DCT approach that reduces the computational time and simultaneously enhanced the MC/DC. We have named our approach SMCDCT (scalable MC/DC percentage calculator using DCT). Our experimental study on forty‐five C programs indicates 6.62% of average increase in MC/DC coverage. 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