Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications

2017 ◽  
Author(s):  
Sora Bae ◽  
Joonyoung Park ◽  
Sukyoung Ryu
Keyword(s):  
Guided Search ◽  
Coverage Metrics ◽  
Concolic Testing

Green DRCT

2017 ◽  
Vol 7 (1) ◽  
pp. 14-29
Author(s):  
Sangharatna Godboley ◽  
Arpita Dutta ◽  
Durga Prasad Mohapatra
Keyword(s):  
Energy Consumption ◽  
Software Testing ◽  
Transformation Method ◽  
New Approach ◽  
Code Coverage ◽  
Coverage Metrics ◽  
Branch Coverage ◽  
Concolic Testing ◽  
Green Software ◽  
Environment Sustainability

Being a good software testing engineer, one should have the responsibility towards environment sustainability. By using green principles and regulations, we can perform Green Software Testing. In this paper, we present a new approach to enhance Branch Coverage and Modified Condition/Decision Coverage uses concolic testing. We have proposed a novel transformation technique to improve these code coverage metrics. We have named this new transformation method Double Refined Code Transformer (DRCT). Then, using JoulMeter, we compute the power consumption and energy consumption in this testing process. We have developed a tool named Green-DRCT to measure energy consumption while performing the testing process.

Target-Directed Concolic Testing

2011 ◽  
Vol 34 (6) ◽  
pp. 953-964 ◽  
Author(s):  
Zhan-Qi CUI ◽  
Lin-Zhang WANG ◽  
Xuan-Dong LI
Keyword(s):  
Concolic Testing

scholarly journals Towards optimal concolic testing

2018 ◽  
Author(s):  
Xinyu Wang ◽  
Jun Sun ◽  
Zhenbang Chen ◽  
Peixin Zhang ◽  
Jingyi Wang ◽  
...  
Keyword(s):  
Concolic Testing

scholarly journals Constraint guided search for aircraft sequencing

2019 ◽  
Vol 118 ◽  
pp. 440-458 ◽  
Author(s):  
Vahid Riahi ◽  
M.A. Hakim Newton ◽  
M.M.A. Polash ◽  
Kaile Su ◽  
Abdul Sattar
Keyword(s):  
Guided Search

scholarly journals Competitive guided search: Meeting the challenge of benchmark RT distributions

2013 ◽  
Vol 13 (8) ◽  
pp. 24-24 ◽  
Author(s):  
R. Moran ◽  
M. Zehetleitner ◽  
H. J. Muller ◽  
M. Usher
Keyword(s):  
Guided Search ◽  
Rt Distributions
Sign in / Sign up

Export Citation Format

Share Document