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

@Article { 2012-soriadustmann-pik-effizient-sde,
   title = {Effizientes Auffinden von Fehlern in Verteilten Systemen mit Symbolischer Ausf{\"u}hrung},
   journal = {Praxis der Informationsverarbeitung und Kommunikation (PIK Journal)},
   year = {2012},
   month = {11},
   volume = {35},
   number = {4},
   pages = {289–295},
   abstract = {Zum Testen verteilter bzw. vernetzter Systeme existieren zahlreiche Werkzeuge, welche f{\"u}r das Rapid Prototyping und die Fehler-Rekonstruktion unerl{\"a}sslich sind.
Durch verschieden stark abstrahierte Modelle lassen sich auf diese Weise, bereits fr{\"u}h in der Entwicklung verteilter Systeme, Aussagen {\"u}ber Performanz, Konsistenz und Korrektheit von Netzwerkprotokollen treffen.
Diese Verfahren arbeiten auf explizit f{\"u}r den Testvorgang entworfenen Modellimplementierungen, welche zwar teilweise Quelltext mit der Produktionssoftware gemein haben, aber viele Aspekte und potentielle Fehlerquellen einer tats{\"a}chlichen Software unber{\"u}cksichtigt lassen.

In diesem Artikel werden die Grundlagen von Testparadigmen beschrieben, welche die Ausf{\"u}hrung unmodifizierter Software erlauben und dabei erm{\"o}glichen, eine hohe Zuversicht in die getesteten Systeme zu gewinnen.
Der Fokus liegt dabei auf der Optimierung von Algorithmen um die redundante Ausf{\"u}hrung des Systems zu minimieren, wodurch sich die zum Testen ben{\"o}tigte Zeit um Gr{\"o}{\ss}enordnungen verringert.},
   url = {http://www.comsys.rwth-aachen.de/fileadmin/papers/2012/2012-soriadustmann-pik-effizient-sde.pdf},
   web_url = {http://www.degruyter.com/view/j/piko-2012-35-issue-4/pik-2012-0043/pik-2012-0043.xml?format=INT},
   misc2 = {Print},
   editor = {Otto Spaniol},
   publisher = {De Gruyter},
   language = {de},
   ISSN = {0930-5157},
   DOI = {10.1515/pik-2012-0043},
   author = {Soria Dustmann, Oscar}
}

@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}
}