Search For:

Displaying 1-4 out of 4 total
An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software
Found in: IEEE Transactions on Software Engineering
By Richard Baker,Ibrahim Habli
Issue Date:June 2013
pp. 787-805
Testing provides a primary means for assuring software in safety-critical systems. To demonstrate, particularly to a certification authority, that sufficient testing has been performed, it is necessary to achieve the test coverage levels recommended or man...
Code Reviews Enhance Software Quality
Found in: Software Engineering, International Conference on
By Richard A. Baker, Jr.
Issue Date:May 1997
pp. 570
This paper discusses a procedure for reviewing code changes that are made to a software product as it moves through its life cycle. In this procedure the technical manager reviews each change made to the code. The procedure succeeded in improving in produc...
Code reviews enhance software quality
Found in: Proceedings of the 19th international conference on Software engineering (ICSE '97)
By Richard A. Baker
Issue Date:May 1997
pp. 570-571
One popular use for Haskell in recent years has been as a host language for domain-specific embedded languages. But how can one embed a postfix language in Haskell, given that Haskell only supports prefix and infix syntax? This paper describes several such...
The corporate politics of CMM ratings
Found in: Communications of the ACM
By Richard Baker
Issue Date:January 1988
pp. 105-106
The online Risks Forum has long been a hotbed for discussions of the relative merits of openness relating to the dissemination of knowledge about security vulnerabilities. The debate has now been rekindled, and is summarized here.