Works matching IS 14332779 AND DT 2012 AND VI 14 AND IP 4
Results: 5
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:
- Publication type:
- Article
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:
- Publication type:
- Article
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:
- Publication type:
- Article
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:
- Publication type:
- Article
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:
- Publication type:
- Article