Abstract: An IV catheter system may have a catheter component with a catheter hub, a cannula extending distally from the catheter hub, and a push feature protruding outwardly from the catheter hub. The IV catheter system may also have a needle component with a needle hub, a needle extending distally from the needle hub along an axis, and a grip extending from the needle hub, generally parallel to the axis, with a pull feature. In the insertion configuration, the needle may be positioned within the cannula and the distal end of the needle hub may be seated in a needle port of the catheter hub. In the fluid delivery configuration, the needle may be positioned outside the catheter hub. The push and pull features may be positioned to facilitate manipulation with a single hand to move the IV catheter system from an insertion configuration to a fluid delivery configuration.

Abstract: A method for validating software transforms. A target program binary is mutated, producing a plurality of variants. It is determined whether each variant passes a test suite. Upon determining the variant does not pass the test suite, the variant is discarded. Upon determining the variant passes the test suite, the variant is compared to the target program binary. A candidate transform is extracted which meets scope criteria. The candidate transform is applied to each of a plurality of test programs. It is determined whether the candidate transform is safe. Upon determining that the candidate transform is not safe, the candidate transform is discarded. Upon determining that the candidate transform is safe, the candidate transform is collected.

Abstract: An initial test variable determined by a fuzz tester to cause a faulty response of an original computer program due to a bug within the original computer program is added to a suite of test variables. Computer program candidates that are functionally equivalent to the original computer program are tested using a suite of test variables including the initial test variable. The computer program candidates are modified and selected using a genetic algorithm based on results of the testing to produce bug-free computer program candidates that are functionally equivalent to the original computer program.

Abstract: Semantically equivalent variants of a computer program are generated by applying randomly selected transforms to the computer program. Unit tests are performed on the variants of the computer program to detect a defect in the computer program.

Abstract: Semantically equivalent variants of a computer program are generated by applying randomly selected transforms to the computer program. Unit tests are performed on the variants of the computer program to detect a defect in the computer program.

Abstract: An initial test variable determined by a fuzz tester to cause a faulty response of an original computer program due to a bug within the original computer program is added to a suite of test variables. Computer program candidates that are functionally equivalent to the original computer program are tested using a suite of test variables including the initial test variable. The computer program candidates are modified and selected using a genetic algorithm based on results of the testing to produce bug-free computer program candidates that are functionally equivalent to the original computer program.

Abstract: A method for validating software transforms. A target program binary is mutated, producing a plurality of variants. It is determined whether each variant passes a test suite. Upon determining the variant does not pass the test suite, the variant is discarded. Upon determining the variant passes the test suite, the variant is compared to the target program binary. A candidate transform is extracted which meets scope criteria. The candidate transform is applied to each of a plurality of test programs. It is determined whether the candidate transform is safe. Upon determining that the candidate transform is not safe, the candidate transform is discarded. Upon determining that the candidate transform is safe, the candidate transform is collected.