Connecting you to content on EBSCOhost

Works matching IS 14332779 AND DT 2019 AND VI 21 AND IP 4

Results: 5

1

Comparing approaches for model-checking strategies under imperfect information and fairness constraints.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 4, p. 449, doi. 10.1007/s10009-018-0505-6

By:

Busard, Simon;
Pecheur, Charles;
Qu, Hongyang;
Raimondi, Franco

Publication type:

Article

2

Complementary test selection criteria for model-based testing of security components.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 4, p. 425, doi. 10.1007/s10009-018-0489-2

By:

Botella, Julien;
Capuron, Jean-François;
Dadeau, Frédéric;
Fourneret, Elizabeta;
Legeard, Bruno;
Schadle, Florence

Publication type:

Article

3

Parallel reachability analysis of hybrid systems in XSpeed.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 4, p. 401, doi. 10.1007/s10009-018-0485-6

By:

Gurung, Amit;
Ray, Rajarshi;
Bartocci, Ezio;
Bogomolov, Sergiy;
Grosu, Radu

Publication type:

Article

4

Fast detection of concurrency errors by state space traversal with randomization and early backtracking.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 4, p. 365, doi. 10.1007/s10009-018-0484-7

By:

Parízek, Pavel;
Lhoták, Ondřej

Publication type:

Article

5

ASAP: A Source Code Authorship Program.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 4, p. 471, doi. 10.1007/s10009-019-00517-3

By:

Tennyson, Matthew F.

Publication type:

Article