Testing Network Protocols: formally, at runtime and online
暂无分享,去创建一个
[1] Daniela E. Damian,et al. V:Issue:lizer: Exploring requirements clarification in online communication over time , 2013, 2013 35th International Conference on Software Engineering (ICSE).
[2] Corinna Cortes,et al. Support-Vector Networks , 1995, Machine Learning.
[3] Stéphane Maag,et al. A Formal Data-Centric Approach for Passive Testing of Communication Protocols , 2013, IEEE/ACM Transactions on Networking.
[4] Alfred Horn,et al. On sentences which are true of direct unions of algebras , 1951, Journal of Symbolic Logic.
[5] Robert E. Tarjan,et al. A Fast Merging Algorithm , 1979, JACM.
[6] R. E. Noonan,et al. An Algorithm for Generating Abstract Syntax Trees , 1985, Comput. Lang..
[7] Gordon Fraser,et al. Testing with model checkers: a survey , 2009 .
[8] Stéphane Maag,et al. A Logic-based Passive Testing Approach for the Validation of Communicating Protocols , 2012, ENASE.
[9] Tien-Dung Cao,et al. Online Testing Framework for Web Services , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.
[10] Donald F. Towsley,et al. Passive Online Detection of 802.11 Traffic Using Sequential Hypothesis Testing with TCP ACK-Pairs , 2009, IEEE Transactions on Mobile Computing.
[11] Stéphane Maag,et al. A Formal Passive Performance Testing Approach for Distributed Communication Systems , 2013, ENASE.
[12] Michel Bourdellès,et al. Events-Based Security Monitoring Using MMT Tool , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
[13] Mark Handley,et al. SIP: Session Initiation Protocol , 1999, RFC.
[14] Margus Veanes,et al. Online testing with model programs , 2005, ESEC/FSE-13.
[15] Ana R. Cavalli,et al. Timed Extended Invariants for the Passive Testing of Web Services , 2010, 2010 IEEE International Conference on Web Services.
[16] David Lee,et al. Network protocol system monitoring-a formal approach with passive testing , 2006, IEEE/ACM Transactions on Networking.