Dynamic testing via automata learning.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 4, p. 307, doi. 10.1007/s10009-009-0120-7
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2009 AND VI 11 AND IP 4
Results: 6
1
2
GenUTest: a unit test and mock aspect generation tool.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 4, p. 273, doi. 10.1007/s10009-009-0115-4
- By:
- Publication type:
- Article
3
A survey of new trends in symbolic execution for software testing and analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 4, p. 339, doi. 10.1007/s10009-009-0118-1
- By:
- Publication type:
- Article
4
Using Bayesian networks and virtual coverage to hit hard-to-reach events.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 4, p. 291, doi. 10.1007/s10009-009-0119-0
- By:
- Publication type:
- Article
5
Approximating the safely reusable set of learned facts.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 4, p. 325, doi. 10.1007/s10009-009-0117-2
- By:
- Publication type:
- Article
6
Haifa verification conference 2007.
- Published in:
- 2009
- By:
- Publication type:
- Editorial