Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
SIGSOFT'89 3rd Workshop on Software Testing Verification & Analysis
Real-time interval logic for reasoning about executions of real-time programs
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Trace Analysis for Conformance and Arbitration Testing
IEEE Transactions on Software Engineering
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Graphical specifications for concurrent software systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specifying Concurrent Systems with TSL
IEEE Software
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
An Automata-Theoretic Decision Procedure for Future Interval Logic
Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science
A Graphical Interval Logic Toolset for Verifying Concurrent Systems
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Synthesis of Communicating Processes from Temporal Logic Specifications
Logic of Programs, Workshop
An interval logic for higher-level temporal reasoning
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Generating oracles from your favorite temporal logic specifications
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Specification-based testing of synchronous software
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Analyzing partially-implemented real-time systems
ICSE '97 Proceedings of the 19th international conference on Software engineering
Specification-based testing of reactive software: tools and experiments: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Analyzing Partially-Implemented Real-Time Systems
IEEE Transactions on Software Engineering
Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering
Generation of Execution Sequences for Modular Time Critical Systems
IEEE Transactions on Software Engineering
Verisim: Formal analysis of network simulations
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Automated test oracles for GUIs
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Verisim: Formal Analysis of Network Simulations
IEEE Transactions on Software Engineering
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
Systematically deriving partial oracles for testing concurrent programs
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Software model checking in practice: an industrial case study
Proceedings of the 24th International Conference on Software Engineering
Automatic Generation of Test Oracles—From Pilot Studies to Application
Automated Software Engineering
Rapid Application of Lightweight Formal Methods for Consistency Analyses
IEEE Transactions on Software Engineering
On-the-fly model checking from interval logic specifications
ACM SIGPLAN Notices
A New Framework for Testing Real-Time Software
COMPSAC '00 24th International Computer Software and Applications Conference
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
A Formal Approach to Testing Lustre Specifications
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software
Proceedings of the 19th IEEE international conference on Automated software engineering
Software Model Checking: The VeriSoft Approach
Formal Methods in System Design
Automated replay and failure detection for web applications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Designing and comparing automated test oracles for GUI-based software applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Smart: a tool for application reference testing
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Verifying that test executions are correct is a crucial step in the testing process. Unfortunately, it can be a very arduous and error-prone step, especially when testing a concurrent system. System developers can therefore benefit from oracles automating the verification of test executions.This paper examines the use of Graphical Interval Logic (GIL) for specifying temporal properties of concurrent systems and describes a method for constructing oracles from GIL specifications. The visually intuitive representation of GIL specifications makes them easier to develop and to understand than specifications written in more traditional temporal logics.Additionally, when a test execution violates a GIL specification, the associated oracle provides information about a fault. This information can be displayed visually, together with the execution, to help the system developer see where in the execution a fault was detected and the nature of the fault.