Integration Testing of Protocol Implementations using Symbolic Distributed Execution

Sasnauskas, Raimondas; Kaiser, Philipp; Jukić, Russ Lucas; Wehrle, Klaus; Soria Dustmann, Oscar; Sasnauskas, Raimondas; Wehrle, Klaus; Sasnauskas, Raimondas; Soria Dustmann, Oscar; Kaminski, Benjamin Lucien; Weise, Carsten; Kowalewski, Stefan; Wehrle, Klaus; Österlind, Fredrik; Sasnauskas, Raimondas; Dunkels, Adam; Soria Dustmann, Oscar; Wehrle, Klaus; Weingaertner, Elias; Ritter, Marko; Sasnauskas, Raimondas; Wehrle, Klaus; Sasnauskas, Raimondas; Weingaertner, Elias; Sasnauskas, Raimondas; Landsiedel, Olaf; Alizai, Muhammad Hamad; Weise, Carsten; Kowalewski, Stefan; Wehrle, Klaus; Alizai, Muhammad Hamad; Vaegs, Tobias; Landsiedel, Olaf; Sasnauskas, Raimondas; Wehrle, Klaus; Sasnauskas, Raimondas; Bitsch Link, Jó Agila; Alizai, Muhammad Hamad; Wehrle, Klaus; Sasnauskas, Raimondas; Bitsch Link, Jó Agila; Alizai, Muhammad Hamad; Wehrle, Klaus

doi:10.1109/ICNP.2012.6459940

Publications

Year:

All :: 2008, 2010, 2011, 2012

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z

All :: Saad, ... , Sasnaukas, Sasnauskas, Schäfer, ... , Stüble

2012
10.	Raimondas Sasnauskas, Philipp Kaiser, Russ Lucas Jukić, and Klaus Wehrle Integration Testing of Protocol Implementations using Symbolic Distributed Execution The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012), 30 October - 02 November 2012, Austin, TX, USA, page 6 S.. IEEE Piscataway, NJ, USA October 2012 DOI: 10.1109/ICNP.2012.6459940 ISBN: 978-1-4673-2445-8
9.	Oscar Soria Dustmann, Raimondas Sasnauskas, and Klaus Wehrle Position Paper: Symbolic System Time in Distributed Systems Testing TAICPART'2012 April 2012
2011
8.	Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Carsten Weise, Stefan Kowalewski, and Klaus Wehrle Scalable Symbolic Execution of Distributed Systems Proceedings of the 31st IEEE International Conference on Distributed Computing Systems (ICDCS 2011), June 2011, Minneapolis, MN, USA, page 333-342. Publisher: IEEE Computer Society, Los Alamitos, CA, USA June 2011 DOI: 10.1109/ICDCS.2011.28 ISBN: 978-0-7695-4364-2
2010
7.	Fredrik Österlind, Raimondas Sasnauskas, Adam Dunkels, Oscar Soria Dustmann, and Klaus Wehrle Demo Abstract: Integrating Symbolic Execution with Sensornet Simulation for Efficient Bug Finding Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems (SenSys 2010), Zurich, Switzerland, page 383--384. Publisher: ACM, New York, NY, USA November 2010 DOI: http://doi.acm.org/10.1145/1869983.1870034 ISBN: 978-1-4503-0344-6
6.	Elias Weingaertner, Marko Ritter, Raimondas Sasnauskas, and Klaus Wehrle Flexible Analysis of Distributed Protocol Implementations using Virtual Time Proceedings of the 18th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2010), page 225 - 229. Publisher: FESB, Split, Croatia September 2010 ISBN: 978-1-4244-8663-2
5.	Raimondas Sasnauskas and Elias Weingaertner Modeling Transport Layer Protocols Chapter 17, page 389-399. Publisher: Springer, Germany June 2010 ISBN: 978-3-642-12330-6
4.	Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, and Klaus Wehrle KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010), Stockholm, Sweden, page 186--196. Publisher: ACM, New York, NY, USA April 2010 DOI: http://doi.acm.org/10.1145/1791212.1791235 ISBN: 978-1-60558-988-6
3.	Muhammad Hamad Alizai, Tobias Vaegs, Olaf Landsiedel, Raimondas Sasnauskas, and Klaus Wehrle Poster Abstract: Statistical Vector based Point-to-Point Routing in Wireless Networks Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010), Stockholm, Sweden, page 366-367. Publisher: ACM, New York, NY, USA April 2010 ISBN: 978-1-60558-988-6 http://portal.acm.org/citation.cfm?id=1791257
2008
2.	Raimondas Sasnauskas, Jó Agila Bitsch Link, Muhammad Hamad Alizai, and Klaus Wehrle Poster Abstract: KleeNet - Automatic Bug Hunting in Sensor Network Applications Proceedings of the 6th ACM conference on Embedded network sensor systems (SenSys'08), Raleigh, NC, USA, page 425--426. Publisher: ACM, New York, NY, USA November 2008 DOI: http://doi.acm.org/10.1145/1460412.1460485 ISBN: 978-1-59593-990-6
1.	Raimondas Sasnauskas, Jó Agila Bitsch Link, Muhammad Hamad Alizai, and Klaus Wehrle Bug Hunting in Sensor Network Applications Chair of Communication and Distributed Systems (ComSys), Berlin, Germany September 2008 ftp://ftp.inf.fu-berlin.d...ub/reports/tr-b-08-12.pdf

Export as:

BibTeX, XML