Using a constraint satisfaction formulation and solution techniques for random test program generation
- Eyal Bin
- Roy Emek
- et al.
- 2002
- IBM Systems Journal
Publications
Date
Featured collections
Popular topics
285 results at IBM Systems Journal
Predictive algorithms in the management of computer systems
- Ricardo Vilalta
- Chidanand V. Apte
- et al.
- 2002
- IBM Systems Journal
Software debugging, testing, and verification
- Brent Hailpern
- Padmanabhan Santhanam
- 2002
- IBM Systems Journal
Cross training and its application to skill mining
- Daniel A. Oblinger
- Mark Reid
- et al.
- 2002
- IBM Systems Journal
Relational extensions for OLAP
- N. Colossi
- W. Malloy
- et al.
- 2002
- IBM Systems Journal
Applying machine learning to automated information graphics generation
- Michelle X. Zhou
- Sheng Ma
- et al.
- 2002
- IBM Systems Journal
Using a model-based test generator to test for standard conformance
- Eitan Farchi
- A. Hartman
- et al.
- 2002
- IBM Systems Journal
A probabilistic estimation framework for predictive modeling analytics
- Chidanand V. Apte
- Ramesh Natarajan
- et al.
- 2002
- IBM Systems Journal
XTABLES: Bridging relational technology and XML
- J.E. Funderburk
- G. Kiernan
- et al.
- 2002
- IBM Systems Journal
Blue Gene: A vision for protein science using a petaflop supercomputer
- F.E. Allen
- G. Almasi
- et al.
- 2001
- IBM Systems Journal