Works matching IS 14332779 AND DT 2017 AND VI 19 AND IP 1

Results: 7

Code generation for Event-B.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 1, p. 31, doi. 10.1007/s10009-015-0381-2

By:

Rivera, Víctor;
Cataño, Néstor;
Wahls, Tim;
Rueda, Camilo

Publication type:

Article

Testing real-time systems from compositional symbolic specifications.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 1, p. 53, doi. 10.1007/s10009-015-0390-1

By:

Damasceno, Adriana;
Machado, Patricia;
Andrade, Wilkerson

Publication type:

Article

Model checking of state-rich formalism by linking to $$CSP\,\Vert \,B$$.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 1, p. 73, doi. 10.1007/s10009-015-0402-1

By:

Ye, Kangfeng;
Woodcock, Jim

Publication type:

Article

Handling loops in bounded model checking of C programs via k-induction.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 1, p. 97, doi. 10.1007/s10009-015-0407-9

By:

Gadelha, Mikhail;
Ismail, Hussama;
Cordeiro, Lucas

Publication type:

Article

Model-based regression testing by OCL.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 1, p. 115, doi. 10.1007/s10009-015-0408-8

By:

Zech, Philipp;
Kalb, Philipp;
Felderer, Michael;
Atkinson, Colin;
Breu, Ruth

Publication type:

Article

The physics of software tools: SWOT analysis and vision.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 1, p. 1, doi. 10.1007/s10009-016-0446-x

By:

Steffen, Bernhard

Publication type:

Article

MCMAS: an open-source model checker for the verification of multi-agent systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 1, p. 9, doi. 10.1007/s10009-015-0378-x

By:

Lomuscio, Alessio;
Qu, Hongyang;
Raimondi, Franco

Publication type:

Article