IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

Source URL: rjoshi.org

• Theoretical computer science
• Information retrieval
• Information science
• Model checkers
• Hashing
• Model checking
• Ith
• SPIN model checker
• Bitstate hashing
• Cryptographic hash function
• Correctness
• Applied mathematics

Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab

Source URL: www.ieee-security.org

• Computer architecture
• System software
• Operating system kernels
• Linux kernel
• Monolithic kernels
• Kernel
• Loadable kernel module
• Protection ring
• Operating system
• Mach
• Rootkit
• Mandatory access control

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus

Source URL: qav.comlab.ox.ac.uk

Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol

Source URL: www.ieee-security.org

• System software
• Computing
• Utility software
• Computer network security
• Computer security
• Configuration management
• Network architecture
• Software-defined networking
• Intrusion detection system
• Snort
• OpenFlow
• Traffic flow

2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs George B. Sherwood Testcover.com, LLC

Source URL: testcover.com

1 Comments on “Researcher Bias: The Use of Machine Learning in Software Defect Prediction” Chakkrit Tantithamthavorn, Student Member, IEEE,

Source URL: chakkrit.com

IEEE NETSOFT 2015 – London, April 13, 2015 From dumb to smarter switches in software defined networks: an overview of data plane evolution Antonio Capone, Carmelo Cascone

Source URL: www.beba-project.eu

2009 IEEE/ACM International Conference on Automated Software Engineering Adding Examples into Java Documents Jinhan Kim, Sanghoon Lee, Seung-won Hwang Pohang University of Science and Technology Pohang, Korea

Source URL: www.cse.ust.hk

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. X, NO. X, MONTHA Multi-Site Joint Replication of a Design Patterns Experiment using Moderator Variables

Source URL: www.inf.fu-berlin.de

2016 IEEE International Conference on Software Science, Technology and Engineering Identifying Attack Propagation Patterns in Honeypots using Markov Chains Modeling and Complex Networks Analysis Ariel Bar, Bracha Shapi

Source URL: cyber.bgu.ac.il