Model-Based Testing of SDN Firewalls: A Case Study Conference Paper

name of conference

• 2015 Second International Conference on Trustworthy Systems and Their Applications

authors

• Alsmadi, Izzat

published proceedings

• 2015 SECOND INTERNATIONAL CONFERENCE ON TRUSTWORTHY SYSTEMS AND THEIR APPLICATIONS

author list (cited authors)

• Alsmadi, I., Munakami, M., & Xu, D.

citation count

• 6

complete list of authors

• Alsmadi, Izzat||Munakami, Milson||Xu, Dianxiang

publication date

• July 2015

publisher

• Institute of Electrical and Electronics Engineers (IEEE)  Publisher

keywords

• Firewalls
• Model Based Testing
• Petri Net
• Software Defined Networking
• Software Testing

Digital Object Identifier (DOI)

• 10.1109/TSA.2015.22

start page

• 73

end page

• 80

URL

• http://dx.doi.org/10.1109/tsa.2015.22