SEI 2016 Research Review
• Collection
Publisher
Software Engineering Institute
Abstract
Presentations and materials pertaining to the review of the SEI FY2016 research portfolio,
Collection Items
Multi-Agent Decentralized Planning for Adversarial Robotic Teams
• Poster
By James Edmondson
Robotic Teams
Download
Multi-Agent Decentralized Planning for Adversarial Robotic Teams
• Presentation
By James Edmondson
Objective of this work is to allow one person to command an entire swarm of UAS to do mission-level tasks
Learn More
Prioritizing Alerts from Static Analysis with Classification Models
• Poster
By Lori Flynn
This poster describes CERT Division research on an automated and accurate statistical classifier.
Download
Prioritizing Alerts from Static Analysis with Classification Models
• Presentation
By Lori Flynn
In this presentation, Lori Flynn describes work toward an automated and accurate statistical classifier, intended to efficiently use analyst effort and to remove code flaws.
Learn More
Property Directed Test Case Generation
• Presentation
By Edward J. Schwartz
This work automatically generated executables to trigger desired behaviors for testing
Learn More
Property Directed Test-case Generation
• Poster
By Jeff Gennari
Property Directed Test-case Generation
Download
Research to Operations: Exercise and Simulation Platforms
• Video
By Software Engineering Institute
Research to Operations: Exercise and Simulation Platforms by Jeffrey Mattson
Watch
Semiconductor Foundry Verification
• Presentation
By Alexander Volynkin
Work aims to use semi-automated image processing to identify semiconductor foundry
Learn More
Statistical Model Checking for SWARMS
• Presentation
By Jeffrey Hansen
Research that validates the approach of applying adaptive sampling and input attribution toward model checkInt and attribution of failure conditions
Learn More