Publications

Export 2 results:
Author Title Type [ Year(Desc)]
Filters: Author is Chockler, H.  [Clear All Filters]
2013
PINCETTE - Validating Changes and Upgrades in Networked Software, Chockler, H., Denaro G., Ling M., Fedyukovich Grigory, Hyvärinen Antti E. J., Mariani L., Muhammad A., Oriol M., Rajan A., Sery O., et al. , 17th European Conference on Software Maintenance and Reengineering, (2013)
Using Cross-Entropy for Satisfiability, Chockler, H., Ivrii A., Matsliah A., Rollini S.F., and Sharygina Natasha , ACM Symposium on Applied Computing (SAC), (2013)