Name
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. |
Year | DOI | Venue |
|---|---|---|
2002 | 10.1109/CMPSAC.2002.1044538 | COMPSAC |
Keywords | Field | DocType |
formal method,panel session,testing stage,formal methods,software testing,testing process,different possibility,potential benefit,ukfortest network,various context,application software,computer networks,system testing,systems | Data science,System integration testing,Software engineering,Systems engineering,Computer science,Manual testing,Formal specification,Non-regression testing,White-box testing,Software reliability testing,Formal methods,Test strategy | Conference |
ISSN | ISBN | Citations |
0730-3157 | 0-7695-1727-7 | 12 |
PageRank | References | Authors |
0.63 | 41 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| jonathan p bowen | 1 | 1519 | 181.76 |
| Kirill Bogdanov | 2 | 312 | 16.02 |
| John A. Clark | 3 | 926 | 68.87 |
| Mark Harman | 4 | 10264 | 389.82 |
| Robert M. Hierons | 5 | 2069 | 117.63 |
| Paul Krause | 6 | 295 | 12.71 |