Raimondas Sasnauskas

According to our database, Raimondas Sasnauskas authored at least 15 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Scalable Inference of System-level Models from Component Logs.

Donghwan Shin, Salma Messaoudi, Domenico Bianculli, Annibale Panichella, Lionel C. Briand, Raimondas Sasnauskas

CoRR, 2019

2018

A search-based approach for accurate identification of log message formats.

Salma Messaoudi, Annibale Panichella, Domenico Bianculli, Lionel C. Briand, Raimondas Sasnauskas

Proceedings of the 26th Conference on Program Comprehension, 2018

2017

Souper: A Synthesizing Superoptimizer.

Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, John Regehr

CoRR, 2017

VSOC - A Virtual Security Operating Center.

Eric Falk, Stefan Repcek, Beltran Fiz, Stefan Hommes, Radu State, Raimondas Sasnauskas

Proceedings of the 2017 IEEE Global Communications Conference, 2017

2014

Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442).

Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen

Dagstuhl Reports, 2014

Intent fuzzer: crafting intents of death.

Raimondas Sasnauskas, John Regehr

Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, 2014

2013

Symbolic Execution of Distributed Systems.

Raimondas Sasnauskas

PhD thesis, 2013

2012

Symbolic System Time in Distributed Systems Testing.

Oscar Soria Dustmann, Raimondas Sasnauskas, Klaus Wehrle

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Integration testing of protocol implementations using symbolic distributed execution.

Raimondas Sasnauskas, Philipp Kaiser, Russ Lucas Jukic, Klaus Wehrle

Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

2011

Scalable Symbolic Execution of Distributed Systems.

Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski

Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

2010

Integrating symbolic execution with sensornet simulation for efficient bug finding.

Fredrik Österlind, Adam Dunkels, Raimondas Sasnauskas, Oscar Soria Dustmann, Klaus Wehrle

Proceedings of the 8th International Conference on Embedded Networked Sensor Systems, 2010

KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment.

Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Statistical vector based point-to-point routing in wireless networks.

Muhammad Hamad Alizai, Tobias Vaegs, Olaf Landsiedel, Raimondas Sasnauskas, Klaus Wehrle

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Modeling Transport Layer Protocols.

Raimondas Sasnauskas, Elias Weingärtner

Proceedings of the Modeling and Tools for Network Simulation, 2010

2008

KleeNet: automatic bug hunting in sensor network applications.

Raimondas Sasnauskas, Jó Ágila Bitsch Link, Muhammad Hamad Alizai, Klaus Wehrle

Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008