Tool support for improving test coverage

MaRDI QIDQ4738353zbMATH OpenFDO

Authors Susan Horwitz

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2305/23050162.htm

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Coverage testing of Java programs and components
• Test-data generation for control coverage by proof
• TATOO: \textit{T}esting and \textit{A}nalysis \textit{T}ool for \textit{O}bject-\textit{O}riented software
• A domain based new code coverage metric and a related automated test data generation method
• scientific article; zbMATH DE number 1266648

Cited in

(4)

• TATOO: \textit{T}esting and \textit{A}nalysis \textit{T}ool for \textit{O}bject-\textit{O}riented software
• A domain based new code coverage metric and a related automated test data generation method
• CC4J -- code coverage for Java
• Test-data generation for control coverage by proof

This page was built for publication: Tool support for improving test coverage

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738353)