An automated method for mining high-quality assertion sets
Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri
Topics & Concepts
AssertionComputer scienceSet (abstract data type)Consistency (knowledge bases)Quality (philosophy)Metric (unit)Dominance (genetics)AlgorithmProgramming languageArtificial intelligencePhilosophyEpistemologyOperations managementChemistryBiochemistryEconomicsGeneSoftware Testing and Debugging TechniquesSecurity and Verification in ComputingFormal Methods in Verification