Verification using test generation techniques

DOI10.1007/3-540-45614-7_15MaRDI QIDQ4808833zbMATH OpenFDO

Authors Vlad Rusu

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• STG: A symbolic test generation tool
• An approach to symbolic test generation
• Model checking, testing and verification working together
• Testing-based formal verification for theorems and its application in software specification verification
• Testing from formal specifications, a generic approach

Cited in

(9)

• Test generation for processing control
• Model checking, testing and verification working together
• Testing-based formal verification for theorems and its application in software specification verification
• Testing case generator based on formal specifications
• STG: A symbolic test generation tool
• Unit checking: symbolic model checking for a unit of code
• White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing
• Checking Java Assertions Using Automated Test-Case Generation
• Formal Approaches to Software Testing

Describes a project that uses

Uses Software

• PVS

This page was built for publication: Verification using test generation techniques

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