ESBMC 6.1: automated test case generation using bounded model checking
Mikhail R. Gadelha, Rafael Menezes, Lucas C. Cordeiro
Topics & Concepts
ValidatorComputer scienceModel checkingBounded functionCorrectnessProperty (philosophy)Test suiteRecursion (computer science)Programming languageAlgorithmTheory of computationTestabilityTest (biology)Test caseTheoretical computer scienceMathematicsWorld Wide WebRegression analysisEpistemologyPhilosophyBiologyMathematical analysisMachine learningStatisticsPaleontologySoftware Testing and Debugging TechniquesFormal Methods in VerificationSoftware Reliability and Analysis Research