Trace Analysis for Conformance and Arbitration Testing
IEEE Transactions on Software Engineering
Debugging Concurrent Ada Programs by Deterministic Execution
IEEE Transactions on Software Engineering
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
ClassBench: a framework for automated class testing
Software—Practice & Experience
Rapid application of lightweight formal methods for consistency analyses
IEEE Transactions on Software Engineering
Predicting How Badly "Good" Software Can Behave
IEEE Software
Component Programming - a Fresh Look at Software Components
Proceedings of the 5th European Software Engineering Conference
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
Steam-Boiler Control Specification Problem
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Testing using Log File Analysis: Tools, Methods, and Issues
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
A scalable, visual interface for debugging with event-based behavioral abstraction
FRONTIERS '95 Proceedings of the Fifth Symposium on the Frontiers of Massively Parallel Computation (Frontiers'95)
Process-Algebraic Foundations of Aspect-Oriented Programming
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Measuring Behavioral Correspondence to a Timed Concurrent Model
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
A Case Study of Coverage-Checked Random Data Structure Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
A design and implementation of a web server log file analyzer
WSEAS Transactions on Information Science and Applications
Tracing the Application of Clinical Guidelines
Advanced Web and NetworkTechnologies, and Applications
Simulating and testing mobile wireless sensor networks
Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems
Hi-index | 0.00 |
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, both in order to validate the analyzers and to clarify requirements. It also discusses practical issues to do with the completeness of the approach, and includes comparisons to other recently-published approaches to log file analysis.