Dynamic Slicing of Reaction Systems Based on Assertions and Monitors
Linda Brodo, Roberto Bruni, Moreno Falaschi
Topics & Concepts
DebuggingComputer scienceSlicingRSSProgram slicingProgramming languageComputationSemantics (computer science)Process (computing)Theoretical computer scienceOperating systemWorld Wide WebSoftware Testing and Debugging TechniquesSoftware Engineering ResearchAdvanced Malware Detection Techniques