Selected Papers From the 2018 USENIX Security Symposium
- 期刊名称IEEE Security & Privacy
- 作者Enck, William; Benzel, Terry
- 卷第17卷
- 期第4期
- 印刷ISSN1540-7993
- 电子ISSN1558-4046
- 文件大小398.51KB
- 发表时间2019-7
- DOI10.1109/MSEC.2019.2915397
- 页码7-8
[IEEE 2006 IEEE Symposium on Security and Privacy - Berkeley/Oakland, CA (2006.5.21-2006.5.24)] 2006 IEEE Symposium on Security and Privacy (S&P'06) - 2006 IEEE Symposium on Security and Privacy2006
[IEEE 2006 IEEE Symposium on Security and Privacy - Berkeley/Oakland, CA (2006.5.21-2006.5.24)] 2006 IEEE Symposium on Security and Privacy (S&P'06) - IEEE Symposium on Security and Privacy - Copyright2006
[IEEE 2006 IEEE Symposium on Security and Privacy - Berkeley/Oakland, CA (2006.5.21-2006.5.24)] 2006 IEEE Symposium on Security and Privacy (S&P'06) - IEEE Symposium on Security and Privacy - Title2006
[IEEE 2007 IEEE Symposium on Security and Privacy (SP '07) - Berkeley, CA, USA (2007.05.20-2007.05.23)] 2007 IEEE Symposium on Security and Privacy (SP '07) - 2007 IEEE Symposium on Security and Privacy - Copyright2007
[IEEE 2007 IEEE Symposium on Security and Privacy (SP '07) - Berkeley, CA, USA (2007.05.20-2007.05.23)] 2007 IEEE Symposium on Security and Privacy (SP '07) - 2007 IEEE Symposium on Security and Privacy - Cover2007
[IEEE 2007 IEEE Symposium on Security and Privacy (SP '07) - Berkeley, CA, USA (2007.05.20-2007.05.23)] 2007 IEEE Symposium on Security and Privacy (SP '07) - 2007 IEEE Symposium on Security and Privacy - Title2007
[IEEE IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004 - Berkeley, CA, USA (2004.05.12-2004.05.12)] IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004 - Proceedings. 2004 IEEE Symposium on Security and Privacy2004
[IEEE IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004 - Berkeley, CA, USA (2004.05.12-2004.05.12)] IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004 - Proceedings 2004 IEEE Symposium on Security and Privacy2004
Proving loop programsBasu, Sanat K.; Misra, Jayadev · IEEE Transactions on Software Engineering · 1975
Leveraging TransparencyDabbish, L.; Stuart, C.; Tsay, J.; Herbsleb, J. · IEEE Software · 2013
Whole Test Suite GenerationFraser, Gordon; Arcuri, Andrea · IEEE Transactions on Software Engineering · 2013
Experimentation in software engineeringBasili, Victor R.; Selby, Richard W.; Hutchens, David H. · IEEE Transactions on Software Engineering · 1986
A tool to coordinate toolsBisiani, R.; Lecouat, F.; Ambriola, V. · IEEE Software · 1988
Lean Software Development: A TutorialPoppendieck, Mary; Cusumano, Michael A. · IEEE Software · 2012
Abstraction Techniques in Modern Programming LanguagesShaw, M. · IEEE Software · 1984
Characterizing Architecturally Significant RequirementsChen, Lianping; Ali Babar, Muhammad; Nuseibeh, Bashar · IEEE Software · 2013