Concepedia
USENIX Security Symposium · 2019 · 39 citations · 0 references
ComputingComputer EngineeringComputer ScienceDesign AutomationFault-tolerant SystemsSoftware EngineeringConstraint SatisfactionDesign For TestabilityReliable System DesignSoftware TestingAutomated Bug FindingConstraints