Abstract: A method, system and computer program product, the method comprising: receiving a user document describing at least a part of a system to be tested; computing a similarity measurement between the user document and documents in a document corpus, each describing at least part of a system and associated with a combinatorial model representing the at least part of the system, wherein the combinatorial model comprises a set of attributes, a respective domain for each attribute defining possible values for the attribute, and restrictions, wherein each restriction comprises at least one attribute, a respective value and a logical operator, based upon the similarity measurement, selecting selected documents from the document corpus; obtaining one or more combinatorial models corresponding to the selected documents; selecting elements from the combinatorial models; generating an initial combinatorial model for the user document, wherein said generating comprises adding the elements to the initial combinatorial model.

Abstract: A method, system and computer program product, the method comprising: receiving a partial description of a combinatorial model defining a test space and comprising a set of attributes, a respective domain for each attribute defining possible values for the attribute, and restrictions, each comprising an attribute, a respective value and a logical operator, the partial description comprising an attribute and a value thereof; computing a similarity measurement between the partial description and each model in a corpus, based on similarity of attributes and domains, and not on a test space defined by compared models, whereby similarity between models is indifferent to a size of the test space of the models; selecting models from the corpus according to the computed similarity measurements; determining elements from the selected models to be suggested for modifying the partial description; and outputting the suggestions to modify the partial description useful for completing the combinatorial model.

Abstract: A method, system and computer program product, the method comprising: receiving a user document describing at least a part of a system to be tested; computing a similarity measurement between the user document and documents in a document corpus, each describing at least part of a system and associated with a combinatorial model representing the at least part of the system, wherein the combinatorial model comprises a set of attributes, a respective domain for each attribute defining possible values for the attribute, and restrictions, wherein each restriction comprises at least one attribute, a respective value and a logical operator, based upon the similarity measurement, selecting selected documents from the document corpus; obtaining one or more combinatorial models corresponding to the selected documents; selecting elements from the combinatorial models; generating an initial combinatorial model for the user document, wherein said generating comprises adding the elements to the initial combinatorial model.

Abstract: A method, system and computer program product, the method comprising: receiving a partial description of a combinatorial model defining a test space and comprising a set of attributes, a respective domain for each attribute defining possible values for the attribute, and restrictions, each comprising an attribute, a respective value and a logical operator, the partial description comprising an attribute and a value thereof; computing a similarity measurement between the partial description and each model in a corpus, based on similarity of attributes and domains, and not on a test space defined by compared models, whereby similarity between models is indifferent to a size of the test space of the models; selecting models from the corpus according to the computed similarity measurements; determining elements from the selected models to be suggested for modifying the partial description; and outputting the suggestions to modify the partial description useful for completing the combinatorial model.

Abstract: A method for modeling a test space is provided. The method comprises defining a coverage model including one or more attributes, wherein respective values for the attributes are assigned, one or more definitions of value properties for said attributes with assigned values, and one or more requirements that limit combination of attribute values that are legal for the model, wherein at least one of said requirements is defined using at least one value property.

Abstract: One embodiment is a unique system of EGR catalyzation with reduced EGR heating. Further embodiments, forms, objects, features, advantages, aspects, and benefits shall become apparent from the following description and drawings.

Abstract: A sanitation handle for carts and railings comprising an open tubular flexible sleeve member which is expandable for receiving at least a portion of the main handle member of a cart, said flexible sleeve member having a first open end and a second open end and a slit formed longitudinally along length of flexible sleeve member.

Abstract: Provided are a method, system, and program for processing a request for an object from a user. Layout information for the requested object is accessed, wherein the layout information delineates fields in the object. A determination is made from access control information as to whether the user is authorized to access the fields indicated in the layout information. The data from the object in one field which the user is not authorized to access is masked. The fields from the object are generated into a formatted object formatted according to the layout information, wherein the masked data is presented unintelligible to the user.

Abstract: A method (and structure) of estimating a cost related to at least one of computer software development, maintenance, and information technology services. A section of computer code is read in accordance with a sampling technique. The cost for a larger subset of the computer code is calculated from the sampling. At least one of the reading, sampling, and calculating is executed on a computer.

Abstract: A pet animal pocket-in-harness is provided with a dispensing means, e.g. a convenient slot within the pocket containing disposable animal liter bags, and straps attached to the pocket for adjustably positioning the pocket on the animal. The harness is suitable for being continuously worn by the pet without interfering with normal activities and is always available for use each time the pet is taken for a walk.