Software testing and evaluation
Software testing and evaluation
Functional program testing and analysis
Functional program testing and analysis
Test sets generation from algebraic specifications using logic programming
Journal of Systems and Software
The Z notation: a reference manual
The Z notation: a reference manual
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
Mockingbird: a logical methodology for testing
Journal of Logic Programming - Logic programming applications
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
Update The Derivation of Conformance Tests From LOTOS Specifications
IEEE Transactions on Software Engineering
Fundamentals of software engineering
Fundamentals of software engineering
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Validating real-time systems by history-checking TRIO specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Toward a discipline of real-time programming
Communications of the ACM
Dependable Computing for Critical Applications
Dependable Computing for Critical Applications
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Using production grammars in software testing
Proceedings of the 2nd conference on Domain-specific languages
Generation of Execution Sequences for Modular Time Critical Systems
IEEE Transactions on Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A formal approach for designing CORBA based applications
Proceedings of the 22nd international conference on Software engineering
Deriving test plans from architectural descriptions
Proceedings of the 22nd international conference on Software engineering
An explorative journey from architectural tests definition down to code tests execution
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Simulation-Verification: Biting at the State Explosion Problem
IEEE Transactions on Software Engineering
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Combining UML and formal notations for modelling real-time systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Automated Software Engineering
Timed Wp-Method: Testing Real-Time Systems
IEEE Transactions on Software Engineering
Testing from Structured Algebraic Specifications
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Encoding PAMR into (Timed) EFSMs
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Automated Test Generation from Timed Automata
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Method for Testing the Conformance of Real Time Systems
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Automated test case generation for the stress testing of multimedia systems
Software—Practice & Experience
Integration of Time in Canonical Testers for Real-Time Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Requirements interaction management
ACM Computing Surveys (CSUR)
A formal approach for designing CORBA-based applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A technique to generate feasible tests for communications systems with multiple timers
IEEE/ACM Transactions on Networking (TON)
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Property-Oriented Test Generation from UML Statecharts
Proceedings of the 19th IEEE international conference on Automated software engineering
Automated verification and test case generation for input validation
Proceedings of the 2006 international workshop on Automation of software test
Reply to Comments on "An Interval Logic for Real-Time System Specification'
IEEE Transactions on Software Engineering
Trio2Promela: A Model Checker for Temporal Metric Specifications
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Using production grammars in software testing
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Formal testing from timed finite state machines
Computer Networks: The International Journal of Computer and Telecommunications Networking
Mutation testing from probabilistic and stochastic finite state machines
Journal of Systems and Software
A guided method for testing timed input output automata
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Testing finite state machines presenting stochastic time and timeouts
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Testing real-time systems using UPPAAL
Formal methods and testing
A property based specification formalism classification
Journal of Systems and Software
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling (SoSyM)
Test case minimization for real-time systems using timed bound traces
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
A test generation framework for quiescent real-time systems
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Online testing of real-time systems using UPPAAL
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Testing communicating systems: a model, a methodology, and a tool
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Conformance testing relations for timed systems
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
A test purpose-based approach for testing timed input output automata
Software Testing, Verification & Reliability
Testing Real-Time Embedded Systems using Timed Automata based approaches
Journal of Systems and Software
Bounded satisfiability checking of metric temporal logic specifications
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
| Hi-index | 0.00 |
We address the problem of automated derivation of functional test cases for real-time systems, by introducing techniques for generating test cases from formal specifications written in TRIO, a language that extends classical temporal logic to deal explicitly with time measures. We describe an interactive tool that has been built to implement these techniques, based on interpretation algorithms of the TRIO language. Several heuristic criteria are suggested to reduce drastically the size of the test cases that are generated. Experience in the use of the tool on real-life cases is reported.