James H. Andrews, Yingjun Zhang  Home/Search
Context Related
| csd.uwo.ca/faculty...ewsicse2000.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csd.uwo.ca/faculty/andrew...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper reports on research into applying the technique of log file analysis for checking test results to a broad range of testing and other tasks. The studies undertaken included applying log file analysis to both unit- and system-level testing and to requirements of both safety-critical and non-critical systems, and the use of log file analysis in combination with other testing methods. The paper also reports on the technique of using log file analyzers to simulate the software under test, ... (Update)
Similar documents based on text: More All
0.3: Statistical Usage Testing for Software Reliability Control - Runeson, Wohlin (1995) (Correct)
0.2: Random Testing With Log File Analysis - Zhang (Correct)
0.1: A Weakly-Typed Higher Order Logic - With General Lambda (2002) (Correct)
BibTeX entry: (Update)
J. H. Andrews and Y. Zhang. Broad-spectrum studies of log file analysis. In Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000. http://citeseer.ist.psu.edu/andrews00broadspectrum.html More
@misc{ andrews00broadspectrum,
author = "J. Andrews and Y. Zhang",
title = "Broad-spectrum studies of log file analysis",
text = "J. H. Andrews and Y. Zhang. Broad-spectrum studies of log file analysis.
In Proceedings of the 22nd International Conference on Software Engineering
(ICSE 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/andrews00broadspectrum.html" }
Citations (may not include all citations):184 International Organization for Standardization - International, Standardization et al. - 1994
56 The ASTOOT approach to testing object-oriented programs - Doong, Frankl - 1994
44 Debugging Ada tasking programs (context) - Heimbold, Luckham - 1985
33 Using test oracles generated from program documentation - Peters, Parnas - 1984
30 Debugging concurrent Ada programs by deterministic execution (context) - Tai, Carver et al. - 1991
25 Steam-boiler control specification problem (context) - Abrial - 1996
19 Safety verification of Ada programs using software fault tre.. (context) - Leveson, Cha et al. - 1991
19 IEEE Transactions on Software Engineering (context) - Duran, Ntafos et al. - 1984
18 Component programming -- a fresh look at software components (context) - Jazayeri - 1995
15 Trace analysis for conformance and arbitration testing (context) - von Bochmann, Dssouli et al. - 1989
14 Rapid application of lightweight formal methods for consiste.. (context) - Feather - 1998
10 Testing using log file analysis: Tools (context) - Andrews - 1998
10 Classbench: A framework for automated class testing (context) - Hoffman, Strooper - 1997
9 Efficient specification-based oracles for critical systems (context) - O'Malley, Richardson et al. - 1996
7 Poet: Target-system-independent visualizations of complex di.. (context) - Kunz, Black et al. - 1997
[Article contains additional citations not shown here]
Documents on the same site (http://www.csd.uwo.ca/faculty/andrews/papers/index.html): More
Theory and Practice of Log File Analysis - Andrews (1998) (Correct)
Foundational Issues in Implementing Constraint Logic Programming.. - Andrews (1995) (Correct)
Practical Experience Applying Formal Methods to Air Traffic.. - Richard Yates (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC