FuzzNT : Checking for Program Non-termination.

Hrishikesh Karmarkar Raveendra Kumar Medicherla Ravindra Metta Prasanth Yeduru

Published in: ICSME (2022)

Keyphrases

type checking
data sets
case study
image segmentation
computer programs
genetic algorithm
decision making
e learning
database systems
computational complexity
expert systems
open source
test cases
static analysis
consistency checking
java programs