Monitoring distributed systems
ACM Transactions on Computer Systems (TOCS)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Computability and logic: 3rd ed.
Computability and logic: 3rd ed.
Trace Analysis for Conformance and Arbitration Testing
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Debugging Concurrent Ada Programs by Deterministic Execution
IEEE Transactions on Software Engineering
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Automatic verification of requirements implementation
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
ClassBench: a framework for automated class testing
Software—Practice & Experience
Query-based debugging of object-oriented programs
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Broad-spectrum studies of log file analysis
Proceedings of the 22nd international conference on Software engineering
Predicting How Badly "Good" Software Can Behave
IEEE Software
Rapid Application of Lightweight Formal Methods for Consistency Analyses
IEEE Transactions on Software Engineering
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
Derivation of Test Cases for LAP-B from a LOTOS Specification
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Automating Formal Specification-Based Testing
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Testing using Log File Analysis: Tools, Methods, and Issues
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Programmatic Testing of the Standard Template Library Containers
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)
An approach to high-level debugging of distributed systems (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Software Testing Using Algebraic Specification Based Test Oracles
Software Testing Using Algebraic Specification Based Test Oracles
A Case Study of Coverage-Checked Random Data Structure Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
Tool support for randomized unit testing
Proceedings of the 1st international workshop on Random testing
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
IEEE Transactions on Software Engineering
Industrial Evaluation of a Log File Analysis Methodology
WODA '07 Proceedings of the 5th International Workshop on Dynamic Analysis
Testing object-oriented industrial software without precise oracles or results
Communications of the ACM
Validating system properties exhibited in execution traces
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
From scripts to specifications: the evolution of a flight software testing effort
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations
Service Oriented Computing and Applications
Language-based verification will change the world
Proceedings of the FSE/SDP workshop on Future of software engineering research
Compensation-aware runtime monitoring
RV'10 Proceedings of the First international conference on Runtime verification
An experimental assessment of module documentation-based testing
Information and Software Technology
Extensible online log analysis system
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
A method facilitating integration testing of embedded software
Proceedings of the Ninth International Workshop on Dynamic Analysis
Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Safer asynchronous runtime monitoring using compensations
Formal Methods in System Design
An approach to testing commercial embedded systems
Journal of Systems and Software
| Hi-index | 0.02 |
We describe and apply a lightweight formal method for checking test results. The method assumes that the software under test writes a text log file; this log file is then analyzed by a program to see if it reveals failures. We suggest a state-machine-based formalism for specifying the log file analyzer programs and describe a language and implementation based on that formalism. We report on empirical studies of the application of log file analysis to random testing of units. We describe the results of experiments done to compare the performance and effectiveness of random unit testing with coverage checking and log file analysis to other unit testing procedures. The experiments suggest that writing a formal log file analyzer and using random testing is competitive with other formal and informal methods for unit testing.