SCOPUS 정보 검색 플랫폼

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2001, Pages 351-356

Formalization of software testing criteria using the Z notation

(2) Vilkomir, Sergiy A a Bowen, Jonathan P a

a LONDON SOUTH BANK UNIVERSITY (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; DATA FLOW ANALYSIS; DECISION THEORY;

SOFTWARE TESTING;

COMPUTER SOFTWARE;

EID: 0035170705 PISSN: 07303157 EISSN: None Source Type: Journal
DOI: 10.1109/CMPSAC.2001.960638 Document Type: Article

Times cited : (29)

References (36)

1
- 0033696545
- Evaluation of three spesification-based testing criteria
- Tokyo, Japan, September
- (2000) Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2000)
- Abdurazik, A.¹ Amman, P.² Ding, W.³ Offutt, J.⁴

2
- 0013089995
- Test generation and recognition with formal methods
- Limerick, Ireland (June)
- (2000) The First International Workshop on Automated Program Analysis, Testing and Verification
- Ammann, P.E.¹ Black, P.E.²

3
- 0003464129
- International Thomson Computer Press
- (1996) Formal Specification and Documentation Using Z: A Case Study Approach
- Bowen, J.P.¹

4
- 84955417701
- A formal specification notation
- Frappier, M., Habrias, H., editors. Springer-Verlag, Chap. 1
- (2001) Software Specification Methods: An Overview Using a Case Study , pp. 3-19
- Bowen, J.P.Z.¹

5
- 0006595679
- Experience teaching Z with tool and web support
- March, Also available as Technical Report SBU-CISM-00-30, SCISM, South Bank University, London, UK, 2000
- (2001) ACM SIGSOFT Software Engineering Notes , vol.26 , Issue.2 , pp. 69-75
- Bowen, J.P.¹

6
- 0030674460
- The use of industrial-strength formal methods
- Washington D.C., USA, 13-15 August 1997. IEEE Computer Society Press
- (1997) Proceedings of 21st International Computer Software and Application Conference (COMPSAC'97) , pp. 332-337
- Bowen, J.P.¹ Hinchey, M.G.²

7
- 0006564775
- Springer-Verlag, FACIT series
- (1999) Industrial-Strength Formal Methods in Practice
- Bowen, J.P.¹ Hinchey, M.G.²

8
- 0006562771
- Automated V&V for high integrity systems, a target formal methods approach
- June
- (2000) Proceedings of the 5th NASA Langley Formal Methods Workshop
- Burton, S.¹ Clark, J.² Galloway, A.³ McDermid, J.⁴

9
- 0004743737
- Testing, proof and automation. An integrated approach
- June
- (2000) The Proceedings of the 1st International Workshop of Automated Program Analysis, Testing and Verification
- Burton, S.¹ Clark, J.² McDermid, J.³

10
- 0003018242
- A tale of two paradigms: Formal methods and software testing
- J. P. Bowen and J. A. Hall, editors. Z User Workshop, Cambridge, Workshop in Computing. Springer-Verlag
- (1994) Proceedings of the Eighth Annual Z User Meeting , pp. 51-68
- Carrington, D.¹ Stocks, P.²

11
- 0028497822
- Applicability of modified condition/decision coverage to software testing
- September
- (1994) Software Engineering Journal , pp. 193-200
- Chilenski, J.¹ Miller, S.²

12
- 0034478879
- An empirical evaluation of the MC/DC coverage criterion on the HETE-2 satellite software
- Philadelphia, October
- (2000) Proceedings of the Digital Aviation Systems Conference (DASC)
- Dupuy, A.¹ Leveson, N.²

13
- 0027555385
- A formal analysis of the fault-detecting ability of testing methods
- March
- (1993) IEEE Transactions on Software Engineering , vol.19 , Issue.3 , pp. 202-213
- Frankl, P.G.¹ Weyuker, E.J.²

14
- 0024091830
- An applicable family of data flow testing
- October
- (1988) IEEE Transactions on Software Engineering , vol.14 , Issue.10 , pp. 1483-1497
- Frankl, P.G.¹ Weyuker, E.J.²

15
- 0006619382
- Adequacy criteria for object testing
- Brussels, Belgium, November
- (1998) Proceedings of the 2nd International Software Quality Week Europe 1998
- Haworth, B.¹

16
- 0022610338
- Specification directed module testing
- January
- (1986) IEEE Transactions on Software Engineering , vol.SE-12 , Issue.1 , pp. 124-133
- Hayes, I.J.¹

17
- 84951757552
- Improving software tests using Z specifications
- Bowen, J. P., Hinchey, M. G., editors. ZUM'95: The Formal Specification Notation. Springer-Verlag
- (1995) Lecture Notes in Computer Science , vol.967 , pp. 152-166
- Hörcher, H.-M.¹

18
- 0003436222
- Cambridge University Press
- (1997) The Way of Z: Practical Programming with formal Methods
- Jacky, J.¹

19
- 0006531543
- August 1998. Division of Software Engineering. School of Computer Science, Telecommunication, and Information Systems, DePaul University, USA
- (1998) ZTC: A Type Checker for Z Notation. User's Guide. Version 2.03
- Jia, X.¹

20
- 0006609405
- Testing criteria and a system for evaluation of the completeness of a test set
- (1998) Programming and Computer Software , vol.6 , pp. 301-311
- Kaufman, A.V.¹ Chernonozhkin, S.K.²

21
- 0004135418
- Wiley-Interscience
- (1979) The Art of Software Testing
- Myers, G.¹

22
- 0024032819
- A comparison of some structural testing strategies
- June
- (1988) IEEE Transactions on Software Engineering , vol.14 , Issue.6 , pp. 868-874
- Ntafos, S.¹

23
- 0033280579
- Criteria for generating specification-based tests
- Las Vegas, Nevada, USA, October 18-21
- (1999) Proceedings of Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) , pp. 119-129
- Offutt, A.J.¹ Xiong, Y.² Liu, S.³

24
- 0025491545
- A formal model of program dependences and its implications for software testing, debugging and maintenance
- September
- (1990) IEEE Transactions on Software Engineering , vol.16 , Issue.9 , pp. 965-979
- Podgurski, P.¹ Clarke, L.²

25
- 0020904598
- Theory of program testing - An overview
- (1984) Bell System Technical Journal , vol.62 , Issue.10 , pp. 3073-3105
- Prather, R.E.¹

26
- 0022043004
- Selecting software test data using data flow information
- April
- (1985) IEEE Transactions on Software Engineering , vol.SE-11 , Issue.4 , pp. 367-375
- Rapps, S.¹ Weyuker, E.J.²

27
- 0003671714
- McGraw-Hill
- (1994) Software Testing
- Roper, M.¹

28
- 0003666540
- RTCA/DO-178B. RTCA, Washington D.C., USA
- (1992) Software Considerations in Airborne Systems and Equipment Certification

29
- 0003566434
- Prentice Hall International Series in Computer Science, 2nd edition
- (1992) The Z Notation: A Reference Manual
- Spivey, J.M.¹

30
- 0030285205
- A framework for specification-based testing
- November
- (1996) IEEE Transactions on Software Engineering , vol.22 , Issue.11 , pp. 777-793
- Stocks, P.¹ Carrington, D.²

31
- 0000360605
- Theory of fault-based predicate testing for computer programs
- August
- (1996) IEEE Transactions on Software Engineering , vol.22 , Issue.8 , pp. 552-562
- Tai, K.-C.¹

32
- 0006531878
- Formalization of control-flow criteria of software testing
- SCISM, South Bank University, London, UK, January
- (2001) Technical Report SBU-CISM-01-01
- Vilkomir, S.A.¹ Bowen, J.P.²

33
- 0006623142
- An 'asymmetric' approach to the assessment of safety-critical software during certification and licensing
- 18-20 April, Munich, Germany
- (2000) Project Control: The Human Factor. Proceedings of ESCOM-SCOPE 2000 Conference , pp. 467-475
- Vilkomir, S.A.¹ Kharchenko, V.S.²

34
- 0006619383
- Methodology of the review of software for salary important systems
- Munich-Garching, Germany, 13-17 September
- (1999) Safety and Reliability. Proceedings of ESREL'99 - The Tenth European Conference on Safety and Reliability , vol.1 , pp. 593-596
- Vilkomir, S.A.¹ Kharchenko, V.S.²

35
- 0019018936
- Experience with path analysis and testing of programs
- May
- (1980) IEEE Transactions on Software Engineering , vol.SE-6 , Issue.3 , pp. 278-286
- Woodward, M.R.¹ Hedley, D.² Hennell, M.A.³

36
- 0031354777
- Software unit test coverage and adequacy
- December
- (1997) ACM Computing Surveys , vol.29 , Issue.4 , pp. 336-427
- Zhu, H.¹ Hall, P.A.² May, H.R.³

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.