Connecting you to content on EBSCOhost

Works matching IS 14332779 AND DT 2011 AND VI 13 AND IP 3

Results: 6

1

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:

Artho, Cyrille

Publication type:

Article

2

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:

Baras, Dorit;
Fine, Shai;
Fournier, Laurent;
Geiger, Dan;
Ziv, Avi

Publication type:

Article

3

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:

Bauer, K.;
Gentilini, R.;
Schneider, K.

Publication type:

Article

4

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:

Adler, Yoram;
Blue, Dale;
Conti, Thomas;
Prewitt, Richard;
Ur, Shmuel

Publication type:

Article

5

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:

Bar-Ilan, Omer;
Fuhrmann, Oded;
Hoory, Shlomo;
Shacham, Ohad;
Strichman, Ofer

Publication type:

Article

6

Preface.

Published in:

2011

By:

Chockler, Hana;
Hu, Alan

Publication type:

Editorial