Experiments with test case generation and runtime analysis

DOI10.1007/3-540-36498-6_5MaRDI QIDQ4413672zbMATH OpenFDO

Authors Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina S. Păsăreanu, Grigore Roşu, Willem Visser

Publication date 21 July 2003

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/2589/25890087.htm, http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-199168

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
• An approach to symbolic test generation
• 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?)
• The role of design components in test plan generation
• 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: Experiments with test case generation and runtime analysis

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