FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
Topics & Concepts
Fuzz testingComputer scienceExploitGenerator (circuit theory)Code coverageTest (biology)Energy consumptionCover (algebra)Test caseCode (set theory)Software bugSoftwareEnergy (signal processing)Programming languageSoftware engineeringComputer securityMachine learningEngineeringMathematicsQuantum mechanicsMechanical engineeringBiologyPaleontologyRegression analysisPower (physics)Electrical engineeringSet (abstract data type)StatisticsPhysicsSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchWeb Application Security Vulnerabilities