Mode-Aware Concolic Testing for PLC Software

Target-Directed Concolic Testing

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2011.00953 ◽

2011 ◽

Vol 34 (6) ◽

pp. 953-964 ◽

Cited By ~ 5

Author(s):

Zhan-Qi CUI ◽

Lin-Zhang WANG ◽

Xuan-Dong LI

Keyword(s):

Concolic Testing

Download Full-text

RTL-ConTest: Concolic Testing on RTL for Detecting Security Vulnerabilities

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2021.3066560 ◽

2021 ◽

pp. 1-1

Author(s):

Xingyu Meng ◽

Shamik Kundu ◽

Arun K. Kanuparthi ◽

Kanad Basu

Keyword(s):

Security Vulnerabilities ◽

Concolic Testing

Download Full-text

Towards optimal concolic testing

Proceedings of the 40th International Conference on Software Engineering - ICSE '18 ◽

10.1145/3180155.3180177 ◽

2018 ◽

Cited By ~ 13

Author(s):

Xinyu Wang ◽

Jun Sun ◽

Zhenbang Chen ◽

Peixin Zhang ◽

Jingyi Wang ◽

...

Keyword(s):

Concolic Testing

Download Full-text

Towards Concolic Testing for Hybrid Systems

FM 2016: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-48989-6_28 ◽

2016 ◽

pp. 460-478 ◽

Cited By ~ 7

Author(s):

Pingfan Kong ◽

Yi Li ◽

Xiaohong Chen ◽

Jun Sun ◽

Meng Sun ◽

...

Keyword(s):

Hybrid Systems ◽

Concolic Testing

Download Full-text

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

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2017.10 ◽

2017 ◽

Author(s):

Sora Bae ◽

Joonyoung Park ◽

Sukyoung Ryu

Keyword(s):

Guided Search ◽

Coverage Metrics ◽

Concolic Testing

Download Full-text

Control Flow Obfuscation Using Neural Network to Fight Concolic Testing

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering - International Conference on Security and Privacy in Communication Networks ◽

10.1007/978-3-319-23829-6_21 ◽

2015 ◽

pp. 287-304 ◽

Cited By ~ 1

Author(s):

Haoyu Ma ◽

Xinjie Ma ◽

Weijie Liu ◽

Zhipeng Huang ◽

Debin Gao ◽

...

Keyword(s):

Neural Network ◽

Control Flow ◽

Concolic Testing ◽

Control Flow Obfuscation

Download Full-text

Green DRCT

International Journal of Knowledge Discovery in Bioinformatics ◽

10.4018/ijkdb.2017010102 ◽

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.

Download Full-text