Complete model-based equivalence class testing
- 21 November 2014
- journal article
- Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer
- Vol. 18 (3), 265-283
- https://doi.org/10.1007/s10009-014-0356-8
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- On theorem prover-based testingFormal Aspects of Computing, 2013
- Industrial-Strength Model-Based Testing - State of the Art and Current ChallengesElectronic Proceedings in Theoretical Computer Science, 2013
- Exhaustive Model-Based Equivalence Class TestingLecture Notes in Computer Science, 2013
- Model-based testing of software and systems: recent advances and challengesInternational Journal on Software Tools for Technology Transfer, 2012
- A Verification Approach for GALS Integration of Synchronous ComponentsElectronic Notes in Theoretical Computer Science, 2006
- Generating finite state machines from abstract state machinesACM SIGSOFT Software Engineering Notes, 2002
- Proportional sampling strategy: a compendium and some insightsJournal of Systems and Software, 2001
- Testing timed automataTheoretical Computer Science, 2001
- Conformance testing with labelled transition systems: Implementation relations and test generationComputer Networks and ISDN Systems, 1996
- Test selection based on finite state modelsIEEE Transactions on Software Engineering, 1991