Connecting you to content on EBSCOhost

Works matching IS 14332779 AND DT 2012 AND VI 14 AND IP 4

Results: 5

1

Model-based testing of software and systems: recent advances and challenges.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 383, doi. 10.1007/s10009-012-0240-3

By:

Petrenko, Alexandre;
Simao, Adenilso;
Maldonado, José

Publication type:

Article

2

Multi-objective optimization algorithms applied to the class integration and test order problem.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 461, doi. 10.1007/s10009-012-0226-1

By:

Vergilio, Silvia;
Pozo, Aurora;
Árias, João;
Veiga Cabral, Rafael;
Nobre, Tiago

Publication type:

Article

3

More testable properties.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 407, doi. 10.1007/s10009-011-0220-z

By:

Falcone, Yliès;
Fernandez, Jean-Claude;
Jéron, Thierry;
Marchand, Hervé;
Mounier, Laurent

Publication type:

Article

4

Alternating simulation and IOCO.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 387, doi. 10.1007/s10009-011-0215-9

By:

Veanes, Margus;
Bjørner, Nikolaj

Publication type:

Article

5

Model generation for quantified formulas with application to test data generation.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 439, doi. 10.1007/s10009-012-0227-0

By:

Gladisch, Christoph

Publication type:

Article