An Uncrewed Aerial Vehicle Attack Scenario and Trustworthy Repair Architecture
暂无分享,去创建一个
Westley Weimer | Patrick Hurley | Kate Highnam | Aaron Paulos | Kevin Leach | Kevin Angstadt | Westley Weimer | Kate Highnam | K. Angstadt | Kevin Leach | Aaron M. Paulos | P. Hurley
[1] Ingemar J. Cox,et al. Autonomous Robot Vehicles , 1990, Springer New York.
[2] Carl E. Landwehr,et al. Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.
[3] Xinwen Fu,et al. A New Replay Attack Against Anonymous Communication Networks , 2008, 2008 IEEE International Conference on Communications.
[4] Yacov Y Haimes,et al. On the Definition of Resilience in Systems , 2009, Risk analysis : an official publication of the Society for Risk Analysis.
[5] Mark Bickford,et al. Investigating correct-by-construction attack-tolerant systems , 2011 .
[6] Westley Weimer,et al. A human study of patch maintainability , 2012, ISSTA 2012.
[7] Claire Le Goues,et al. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each , 2012, 2012 34th International Conference on Software Engineering (ICSE).
[8] Claire Le Goues,et al. Representations and operators for improving evolutionary software repair , 2012, GECCO '12.
[9] Dawei Qi,et al. SemFix: Program repair via semantic analysis , 2013, 2013 35th International Conference on Software Engineering (ICSE).
[10] Jaechang Nam,et al. Automatic patch generation learned from human-written patches , 2013, 2013 35th International Conference on Software Engineering (ICSE).
[11] Westley Weimer,et al. Automated repair of binary and assembly programs for cooperating embedded devices , 2013, ASPLOS '13.
[12] Raffaello D'Andrea,et al. Stability and control of a quadrocopter despite the complete loss of one, two, or three propellers , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).
[13] Mark Bickford,et al. Developing Correctly Replicated Databases Using Formal Tools , 2014, 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.
[14] Westley Weimer,et al. Post-compiler software optimization for reducing energy , 2014, ASPLOS.
[15] Yuhua Qi,et al. The strength of random search on automated program repair , 2014, ICSE.
[16] Fan Long,et al. Staged program repair with condition synthesis , 2015, ESEC/SIGSOFT FSE.
[17] Abhik Roychoudhury,et al. Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).