权威例句
Taint-based directed whitebox fuzzingQuality of service profilingSoftware analysis: a roadmapGeneralized typestate checking using set interfaces and pluggable analysesHeterogeneous parallel programming in JadeHeterogeneous parallel programming in JadeConcurrent constraint programmingOwnership types for safe programming:preventing data races and deadlocksOwnership types for safe programmingThe semantic foundations of concurrent constraint programming