Works matching IS 14332779 AND DT 2016 AND VI 18 AND IP 3
Results: 7
Complete model-based equivalence class testing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 265, doi. 10.1007/s10009-014-0356-8
- By:
- Publication type:
- Article
On adaptive experiments for nondeterministic finite state machines.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 251, doi. 10.1007/s10009-014-0357-7
- By:
- Publication type:
- Article
Generating test case chains for reactive systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 319, doi. 10.1007/s10009-014-0358-6
- By:
- Publication type:
- Article
Advances in test generation for testing software and systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 245, doi. 10.1007/s10009-015-0404-z
- By:
- Publication type:
- Article
Model-based testing for concurrent systems: unfolding-based test selection.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 305, doi. 10.1007/s10009-014-0353-y
- By:
- Publication type:
- Article
A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 285, doi. 10.1007/s10009-014-0354-x
- By:
- Publication type:
- Article
Automated test generation using model checking: an industrial evaluation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 335, doi. 10.1007/s10009-014-0355-9
- By:
- Publication type:
- Article