Assertion: engineer | /r/CapableOf | develop program analysis techniques
Facets:
Source sentences:
text: Engineers in this field develop new operating system architecture, program analysis techniques, and new techniques to assure quality.