scientific article; zbMATH DE number 1951185

MaRDI QIDQ4413672zbMATH OpenFDO

Authors

Publication date 21 July 2003

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Combining test case generation and runtime verification
• Design and analysis of different alternating variable searches for search-based software testing
• Towards a framework for constraint-based test case generation
• scientific article; zbMATH DE number 2079824
• scientific article; zbMATH DE number 5997244

Cited in

(14)

• Experimental evaluation of verification and validation tools on Martian Rover software
• Time-triggered runtime verification
• Automated test case generation for the paxos single-decree protocol using a coloured Petri net model
• Towards axiom-based test generation in .NET applications
• A novel approach to generate test cases using class and sequence diagrams
• Test cases generation using a mathematical representation for the dynamic behavior of PIM
• Play to Test
• scientific article; zbMATH DE number 1332677 (Why is no real title available?)
• scientific article; zbMATH DE number 2033542 (Why is no real title available?)
• Automated test case generation for the stress testing of multimedia systems
• Combining test case generation and runtime verification
• Automatic generation of test oracles -- from pilot studies to application
• Analysing neurobiological models using communicating automata
• Design and analysis of different alternating variable searches for search-based software testing

Describes a project that uses

Uses Software

• JPAX
• Korat
• Eraser
• AGEDIS
• Maude

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 Q4413672)