% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-07-04
% Creation time: 03-23-14
% --- Number of references
% 2
% 

@Inproceedings { 2012-wripe-sasnauskas-symnet,
   title = {Integration Testing of Protocol Implementations using Symbolic Distributed Execution},
   year = {2012},
   month = {10},
   pages = {6 S.},
   tags = {kleenet},
   url = {fileadmin/papers/2012/2012-09-wripe-sasnauskas-SymNet.pdf},
   misc2 = {Print Online},
   address = {Piscataway, NJ, USA},
   booktitle = {The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012), 30 October - 02 November 2012, Austin, TX, USA},
   organization = {IEEE},
   event_place = {Austin, TX, USA},
   event_name = {The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012)},
   event_date = {October 30 - November 02 2012},
   language = {en},
   ISBN = {978-1-4673-2445-8},
   DOI = {10.1109/ICNP.2012.6459940},
   reviewed = {1},
   author = {Sasnauskas, Raimondas and Kaiser, Philipp and Jukić, Russ Lucas and Wehrle, Klaus}
}

@Inproceedings { 2012-taicpart-dustmann-symbolic-time,
   title = {Position Paper: Symbolic System Time in Distributed Systems Testing},
   year = {2012},
   month = {4},
   abstract = {We propose an extension of symbolic execution of distributed systems to test software parts related to timing.
Currently, the execution model is limited to symbolic input for individual nodes, not capturing the important class of timing errors resulting from varying network conditions.

In this paper, we introduce symbolic system time in order to systematically find timing-related bugs in distributed systems.
Instead of executing time events at a concrete time, we execute them at a set of times and analyse possible event interleavings on demand.
We detail on the resulting problem space, discuss possible algorithmic optimisations, and highlight our future research directions.},
   tags = {kleenet},
   url = {fileadmin/papers/2012/2012-04-taicpart-soriadustmann-symtime.pdf},
   booktitle = {TAICPART'2012},
   language = {en},
   reviewed = {1},
   author = {Soria Dustmann, Oscar and Sasnauskas, Raimondas and Wehrle, Klaus}
}