Works matching IS 14332779 AND DT 2011 AND VI 13 AND IP 3
Results: 6
Iterative delta debugging.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 3, p. 223, doi. 10.1007/s10009-010-0139-9
- By:
- Publication type:
- Article
Automatic boosting of cross-product coverage using Bayesian networks.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 3, p. 247, doi. 10.1007/s10009-010-0160-z
- By:
- Publication type:
- Article
A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 3, p. 273, doi. 10.1007/s10009-010-0161-y
- By:
- Publication type:
- Article
Evaluating workloads using comparative functional coverage.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 3, p. 207, doi. 10.1007/s10009-010-0165-7
- By:
- Publication type:
- Article
Reducing the size of resolution proofs in linear time.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 3, p. 263, doi. 10.1007/s10009-010-0167-5
- By:
- Publication type:
- Article
Preface.
- Published in:
- 2011
- By:
- Publication type:
- Editorial