scientific article; zbMATH DE number 2084350

zbMATH Open1073.68599MaRDI QIDQ3043834FDOQ3043834

A. K. Petrenko

Publication date: 6 August 2004

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (7)

• Specification for Testing
• Generation of positive and negative tests for parsers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automated Generation of Positive and Negative Tests for Parsers
• Practical steps to improve specification testing
• Title not available (Why is that?)

   Recommendations

• Specification for Testing 👍 👎
• Specification-Based Testing for CoCasl’s Modal Specifications 👍 👎
• Test specification based on trace description 👍 👎
• FM 2005: Formal Methods 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

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