TTCN-3 Bibliography

List Resources

Displaying 1 - 7 of 7 (Bibliography: WIKINDX Master Bibliography)
Order by:

Use all checked: 
Use all displayed: 
Use all in list: 
Bal, P., Singh, D., & Dr. Gangwar, R. C. (2017). Comparision of web service testing tools. International Journal of Advanced Research in Computer Science and Software Engineering, 7(5), 573–578.  
Added by: TET group 6/15/17, 11:03 AM
Johansson, W., Svensson, M., E. Larson, U., Almgren, M., & Gulisano, V. (2014). T-fuzz: model-based fuzzing for robustness testing of telecommunication protocols. Cleveland, OH, USA: IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST).  
Last edited by: TET group 6/23/15, 4:00 PM
Mladenov, K. (2017). Formal veri cation of the implementation of the mqtt protocol in iot devices Amsterdam: University of Amsterdam.  
Last edited by: TET group 7/21/17, 10:59 AM
Nguyen, N. M. T. (2019). test case generation for symbolic distributed system models: application to trickle based iot protocol. Unpublished Ph.D. Thesis, Université Paris-Saclay, Paris.  
Last edited by: TET group 7/13/20, 1:51 PM
Réthy, G., & Miao, T. M. 2016, October 26–28, Testing onem2m compliant implementations. Unpublished paper presented at ETSI User Conference on Advance Testing (2016), Budapest.  
Added by: Axel Rennoch 11/7/16, 12:51 PM
Ruano, A. 2016, October 24–25, Developing an open source conformance testingenvironment for its communications. Unpublished paper presented at Hugarian Software Testing Forum, Budapest.  
Added by: Axel Rennoch 11/7/16, 12:38 PM
Yushev, A., Schappacher, M., & Sikora, A. 2016, June 6–8, Titan ttcn-3 based test framework for resource constrained systems. Unpublished paper presented at International Conference on Measurement Instrumentation and Electronics 2016, Munich, Germany.  
Last edited by: TET group 1/10/17, 11:57 AM
WIKINDX 6.7.0 | Total resources: 347 | Username: -- | Bibliography: WIKINDX Master Bibliography | Style: American Psychological Association (APA)