The first reactive synthesis competition (SYNTCOMP 2014).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 3, p. 367, doi. 10.1007/s10009-016-0416-3
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2017 AND VI 19 AND IP 3
Results: 6
1
2
Practical experiences in the usage of MIDAS in the logistics domain.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 3, p. 325, doi. 10.1007/s10009-016-0430-5
- By:
- Publication type:
- Article
3
Combining usage-based and model-based testing for service-oriented architectures in the industrial practice.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 3, p. 309, doi. 10.1007/s10009-016-0437-y
- By:
- Publication type:
- Article
4
Automation and intelligent scheduling of distributed system functional testing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 3, p. 281, doi. 10.1007/s10009-016-0440-3
- By:
- Publication type:
- Article
5
Model-based testing as a service.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 3, p. 271, doi. 10.1007/s10009-017-0449-2
- By:
- Publication type:
- Article
6
Fully automated runtime enforcement of component-based systems with formal and sound recovery.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 3, p. 341, doi. 10.1007/s10009-016-0413-6
- By:
- Publication type:
- Article