Mining and Understanding Software Enclaves (MUSE) - 0 views
-
MiamiOH OARS on 03 Mar 14The Defense Advanced Research Projects Agency (DARPA) is soliciting innovative research proposals in the areas of program analysis, verification, and big data analytics for specifying, discovering, and understanding properties of complex software systems. Proposed research should investigate innovative approaches that enable revolutionary advances in science, methods, or systems. Specifically excluded is research that primarily results in evolutionary improvements to the existing state of practice.