IEEE - Institute of Electrical and Electronics Engineers, Inc. - Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models

2009 9th International Conference on Quality Software (QSIC)

Author(s): Andres, C. ; Merayo, M.G. ; Nuez, M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2009
Conference Location: Jeju, Korea (South), Korea (South)
Conference Date: 24 August 2009
Page(s): 145 - 154
ISBN (CD): 978-0-7695-3828-0
ISBN (Electronic): 978-1-4244-5913-1
ISBN (Paper): 978-1-4244-5912-4
ISSN (Paper): 1550-6002
DOI: 10.1109/QSIC.2009.27
Regular:

Testing is one of the most widely used techniques to increase the quality and reliability of complex software systems. In this paper we extend our previous work on passive testing with invariants... View More

Advertisement