A Search Strategy Guided by Uncovered Branches for Concolic Testing

Dong, Qixing; Yan, Jun; Zhang, Jian; Zeng, Fanxin

doi:10.1109/qsic.2013.68

Cited by 1 publication

(1 citation statement)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For 48 papers listed, 37 generate data using the concolic execution: (Qu and Robinson, 2011), (Xu et al ,2011), , (Dong et al, 2013), (Godboley, Sahani and Mohapatra, 2015), (Williams, 2010), (Godboley et al, 2017), (Su et al, 2014), McMinn and Harman, 2009), (Kim; Cha and Bae, 2013), (Baluda, 2011), (Papadakis, and Malevris, 2011), (Baluda;Denaro and Pezze, 2016), (Dutta;Godboley and Mohapatra, 2016), (Lu et al, 2016), (Jin et al, 2015), (Giantsios; Papaspyrou and Sagonas, 2017), (Huang et al, 2012), (Köroglu and Sem, 2016), , , , (Garg et al, 2013), (Burnim and Sem, 2008), (Majumdar, Saha and Wang, 2010), , , (Dhok;Ramanathan and Sinha, 2016), , (Jayaraman, et al, 2009) and ; 3 use mutation: (Papadakis, andMalevris, 2011), (Sarkar, Tanmoy, Basu and and . Most of the studies (38) (Qu and Robinson, 2011), (Xu et al, 2011), , (Dong et al, 2013), (Godboley, Sahani and Mohapatra, 2015), (Godboley et al, 2017), (Su et al, 2014), McMinn and Harman, 2009), (Kim;Cha and Bae, 2013), (Baluda, 2011), (Papadakis, and Malevris, 2011), …”

Section: Tools and Analysismentioning

confidence: 99%

A Systematic Review of Concolic Testing with Aplication of Test Criteria

Araki

Peres

2018

Proceedings of the 20th International Conference on Enterprise Information Systems

View full text Add to dashboard Cite

We present in this paper a systematic review, using approach, of methods, techniques and tools regarding to concolic testing with application of test criteria. The test activity is the process of running a program with the intent of discovering defects. The search for test cases to increase the coverage of structural tests is being addressed by approaches that generate test cases using symbolic and concolic execution. Concolic testing is an effective technique for automated software testing, that aims to generate test inputs to locate failures of implementation in a program. Application of a test criterion is very important to ensure the quality of the test cases used. The number of elements exercised provides a measure of coverage that can be used to evaluate the test data set and consider the test activity to be closed.

show abstract