Amanote Research
Register
Sign In
An Extension Strategy of Concolic Testing for Intentionally Non-Terminating Programs
doi 10.15242/heaig.e1217003
Full Text
Open PDF
Abstract
Available in
full text
Date
January 17, 2018
Authors
Unknown
Publisher
Higher Education and Innovation Group (HEAIG)
Related search
A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs
Versatile Binary-Level Concolic Testing
Improving Dynamic Partial Order Reductions for Concolic Testing
Generating Efficient, Terminating Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
CUTE: A Concolic Unit Testing Engine for C
Research on Fuzz Testing Framework Based on Concolic Execution
DEStech Transactions on Computer Science and Engineering
Using Concolic Testing to Refine Vulnerability Profiles in FUZZBUSTER
A Systematic Review of Concolic Testing With Aplication of Test Criteria
Automatic JUnit Generation and Quality Assessment Using Concolic and Mutation Testing
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
