A taxonomy for classifying runtime verification tools
Ylìès Falcone, Srđan Krstić, Giles Reger, Dmitriy Traytel
Topics & Concepts
Computer scienceTaxonomy (biology)TerminologySnapshot (computer storage)Data scienceSoftware engineeringDatabaseLinguisticsPhilosophyBiologyBotanySoftware Testing and Debugging TechniquesSecurity and Verification in ComputingAdvanced Software Engineering Methodologies