Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(27)
Natalia Sidorova
17
Jaco Van De Pol
11
Jens R. Calame
11
Pol van de J. C
6
Stefan Blom
5
Conferences
(10)
Ershov Memorial Conference
3
APSEC
2
IFM
1
CONCUR
1
FM
1
Journals
(6)
ENTCS
3
STVR
1
FMSD
1
ORL
1
SQJ
1
Keywords
(59)
Embed
Subscribe
Academic
Authors
Natalia Ioustinova
Natalia Ioustinova,Centrum Voor Wiskunde en Informatica,Software Engineering,Algorithms & Theory,Artificial Intelligence
Edit
Natalia Ioustinova
Centrum Voor Wiskunde en Informatica
Publications:
24
|
Citations:
75
Fields:
Software Engineering
,
Algorithms & Theory
,
Artificial Intelligence
View FAQ about top research areas and Fields of study
Collaborated with
27 co-authors
from 2001 to 2008
|
Cited by
101 authors
Cumulative
Annual
Sort by:
Publications
(24)
BibTeX
|
RIS
|
RefWorks
Download
Simulated time for host-based testing with TTCN-3
Stefan Blom
,
Thomas Deiß
,
Natalia Ioustinova
,
Ari Kontio
,
Jaco Van De Pol
,
Axel Rennoch
,
Natalia Sidorova
Journal:
Software Testing, Verification & Reliability - STVR
, vol. 18, no. 1, pp. 29-49, 2008
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
(
Citations: 4
)
Jens R. Calame
,
Natalia Ioustinova
,
Jaco Van De Pol
,
J. M. T. Romijn
,
G. Smith
,
Pol van de J. C
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 191, pp. 25-48, 2007
TTCN-3 for Distributed Testing Embedded Software
(
Citations: 1
)
Stefan Blom
,
Thomas Deiß
,
Natalia Ioustinova
,
Ari Kontio
,
Pol van de Jaco
,
Axel Rennoch
,
Natalia Sidorova
,
I. Virbitskaite
,
A. Voronkov
Journal:
Formal Methods in System Design - FMSD
, 2007
Bug Hunting with False Negatives
Jens R. Calame
,
Natalia Ioustinova
,
Jaco Van De Pol
,
Natalia Sidorova
,
J. Davies
,
J. Gibbons
Conference:
Integrated Formal Methods - IFM
, pp. 98-117, 2007
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
J. R. Calamé
,
N. Ioustinova
,
Pol van de J. C
,
J. M. T. Romijn
,
G. Smith
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, pp. 25-48, 2007
Sort by:
Citations
(75 times by 58 publications)
Generating tests from B specifications and dynamic selection criteria
(
Citations: 2
)
Jacques Julliand
,
Pierre-Alain Masson
,
Regis Tissot (Régis Tissot)
,
Pierre-Christophe Bué
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 1, pp. 3-19, 2011
Formally based tool support for model checking Erlang applications
(
Citations: 1
)
Qiang Guo
,
John Derrick
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 4, pp. 355-376, 2011
Application of TTCN-3 for Testing of Railway Interlocking Systems
Zbigniew Łukasik
,
Waldemar Nowakowski
Published in 2011.
Model based TTCN-3 testing of industrial automation systems — First results
Barath Kumar
,
Bjoern Czybik
,
Juergen Jasperneite
Conference:
Emerging Technologies and Factory Automation - ETFA
, pp. 1-4, 2011
Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests
(
Citations: 3
)
F. Bouquet
,
P.-C. Bue
,
J. Julliand
,
P.-A. Masson
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, 2010
Comments