Software testing & diagnostics: Theory & practice

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1963, Issue , 2000, Pages 88-114

  Mařík, Vladimír ^a   Král, Luboš ^a,b   Mařík, Radek ^c  

^a CZECH TECHNICAL UNIVERSITY IN PRAGUE   (Czech Republic)

^b CertiCon as   (Czech Republic)

^c Rockwell Automation sro   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

DIAGNOSIS;

AUTOMATED SOFTWARE TESTING; INDUSTRIAL AUTOMATION; INTERNATIONAL COMPANY; MEDICAL INSTRUMENTATION; PRACTICAL EXPERIENCE; QUALITY THEORY; STATE OF THE ART; TEST EVALUATION;

SOFTWARE TESTING;

EID: 71249107535     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44411-4_7     Document Type: Conference Paper

References (15)

1. S. Barbey. Test Selection for Specification-Based Unit Testing of Object-Oriented Software based on Formal Specifications. PhD thesis, Ecole Polytechnique Federale de Lausanne, Department of Information, 1997.
2. Boris Beizer. Black-Box Testing (Techniques for Functional Testing of Software and Systems). John Wiley & Sons, 1995.
3. Bob Birs. Testing object-oriented software: a survey. SunProgrammer—The Newsletter for Professional Software Engineers, 1(3), 1992.
4. Barry W. Boehm. A spiral model of software development and enhancements. ACM Software Engineering Notes, 11, 1986.
5. David Chapman. Planning for conjunctive goals. Artificial Intelligence, 32(3):333–377, 1987.
6. Lee Copeland. Object oriented testing. In Software testing training week, Amstelveen, 1999.
7. Joseph C. Giarratano. CLIPS—User’s Guide (version 6.05). International Thompson Publishing, 1997.
8. Ieee standard 1061-1992, ieee standard for a software quality metrics methodology, 1993.
9. Edward Kit. Software Testing in the Real World. Addison-Wesley, 1995.
10. P. Kruchten and W. Royce. A rational development process. CrossTalk, 9(7), 1996.
11. M. Lenz, B. Bartsch-Sporl, H.-D. Burkhard, and S. Wess, editors. Case-Based Reasoning Technology (From Foundations to Applications), volume 1400 of Lecture notes in artificial intelligence. Springer-Verlag, 1998.
12. B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988.
13. Steven R. Rakitin. Software Verification and Validation (A Practitioner’s Guide). Artech House Publishers, 1997.
14. J. Rumbaugh, M. Blaha, and F. Eddy, W. Premerlani, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991.
15. Daniel Weld. An introduction to least commitment planning. AI Magazine, pages 27–61, 1994.