Mutation analysis to verify feature matrices for isolating errors in simulation models

Software simulation models are computer programs that need to be verified and debugged like any other software. In previous work, a method for error isolation in simulation models has been proposed. The method relies on a set of feature matrices that can be used to determine which part of the model implementation is responsible for deviations in the output of the model. Currrently these feature matrices have to be generated by hand from the model implementation, which is a tedious and error-prone task. In this paper, a method based on mutation analysis, as well as prototype tool support for the verification of the manually generated feature matrices is presented. The application of the method and tool to a model for wastewater treatment shows that the feature matrices can be verified effectively using a minimal number of mutants.

Salient elements in novice solutions to code writing problems

This paper presents an approach to the evaluation of novice programmers' solutions to code writing problems. The first step was the development a framework comprised of the salient elements, or programming constructs, used in a set of student solutions to three typical code writing assessment problems. This framework was then refined to provide a code quality factor framework that was compared with an analysis using the SOLO taxonomy. We found that combining our framework with the SOLO taxonomy helped to define the SOLO categories and provided an improved approach to applying the principles of SOLO to code writing problems. © 2011, Australian Computer Society, Inc.

Health hazards at TNS, Inc. [microform] : hearing before the Subcommittee on Investigations and Oversight of the Committee on Science and Technology, U.S. House of Representatives, Ninety-seventh Congress, first session, December 8, 1981.

"No. 102."

Congress Development Company/Allied Waste Transportation, Inc., Hillside Landfill factsheet, Hillside, Illinois /

"9/10"--Colophon.

Employment and inflation goals of the Humphrey-Hawkins act and the conduct of monetary policy [microform] : hearings before the Subcommittee on Domestic Monetary Policy of the Committee on Banking, Finance, and Urban Affairs, House of Representatives, Ninety-sixth Congress, first session, March 13 and 14, 1979.

Reuse of record except for individual research requires license from Congressional Information Service, Inc.

Proposed small saver deposit instruments [microform] : hearing before the Subcommittee on Financial Institutions Supervision, Regulation and Insurance of the Committee on Banking, Finance and Urban Affairs, House of Representatives, Ninety-sixth Congress, first session, May 7, 1979.

Reuse of record except for individual research requires license from Congressional Information Service, Inc.

Background report for the indemnification report to Congress /

Mode of access: Internet.

Indian water rights [microform] : hearings before the Subcommittee on Administrative Practice and Procedure of the Committee on the Judiciary, United States Senate, Ninety-fourth Congress, second session ... June 22 and 23, 1976.

Reuse of record except for individual research requires license from Congressional Information Service, Inc.

Indian child welfare act of 1977 [microform] : hearing before the United States Senate, Select Committee on Indian Affairs, Ninety-fifth Congress, first session, on S. 1214 ... August 4, 1977.

Reuse of record except for individual research requires license from Congressional Information Service, Inc.