Natalia Ioustinova

15 papers B 2C 2Journal 1Unranked 10
YearRankTypeTitle / Venue / Authors
2008 J jnl
Simulated time for host-based testing with TTCN-3.
Softw. Test. Verification Reliab.
Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
2007 B conf
Bug Hunting with False Negatives.
IFM
Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
2006 — conf
Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen.
GI Jahrestagung (2)
Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol
2006 — conf
TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking.
CCECE
Jens R. Calamé, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol
2006 — conf
TTCN-3 for Distributed Testing Embedded Software.
Ershov Memorial Conference
Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
2005 — conf
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction.
IFM Doctoral Symposium
Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol
2005 C conf
Data Abstraction and Constraint Solving for Conformance Testing.
APSEC
Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
2005 — conf
Simulated Time for Testing Railway Interlockings with TTCN-3.
FATES
Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
2004 — conf
Using Fairness to Make Abstractions Work.
SPIN
Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova
2003 — conf
Synchronous Closing and Flow Analysis for Model Checking Timed Systems.
FMCO
Natalia Ioustinova, Natalia Sidorova, Martin Steffen
2003 — conf
Timed Verification with µCRL.
Ershov Memorial Conference
Stefan Blom, Natalia Ioustinova, Natalia Sidorova
2002 C conf
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems.
APSEC
Natalia Ioustinova, Natalia Sidorova, Martin Steffen
2002 — conf
Closing Open SDL-Systems for Model Checking with DTSpin.
FME
Natalia Ioustinova, Natalia Sidorova, Martin Steffen
2002 B conf
Refinement and Verification Applied to an In-Flight Data Acquisition Unit.
CONCUR
Wan J. Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein
2001 — conf
A Transformation of SDL Specifications - A Step towards the Verification.
Ershov Memorial Conference
Natalia Ioustinova, Natalia Sidorova