FORTEST: Formal Methods and Testing

Authors:
Jonathan P. Bowen;Kirill Bogdanov;John A. Clark;Mark Harman;Robert M. Hierons;Paul Krause
Affiliations:
-;-;-;-;-;-
Venue:
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Year:
2002

Citing 0
Cited 9

Ten commandments revisited: a ten-year perspective on the industrial application of formal methods

Proceedings of the 10th international workshop on Formal methods for industrial critical systems
A holistic approach to test-driven model checking

IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms

Journal of Systems and Software
Using formal specifications to support testing

ACM Computing Surveys (CSUR)
Model-based Security Testing Using UMLsec

Electronic Notes in Theoretical Computer Science (ENTCS)
Testing functional requirements using B model specifications

ACM SIGSOFT Software Engineering Notes
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria

Formal methods and testing
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net

Rigorous Methods for Software Construction and Analysis
Enabling security testing from specification to code

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well. The panel session associated with this paper explores the usefulness or otherwise of formal methods in various contexts for improving software testing. A number of different possibilities for the use of formal methods are explored and questions raised. The contributors are all members of the UKFORTEST Network on formal methods and testing. Although the authors generally believe that formal methods are useful in aiding the testing process, this paper is intended to provoke discussion. Dissenters are encouraged to put their views to the panel or individually to the authors.