Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Automated Generation of Test Cases Using Model-Driven Architecture
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Achieving both model and code coverage with automated gray-box testing
Proceedings of the 3rd international workshop on Advances in model-based testing
Automatic generation of model based tests for a class of security properties
Proceedings of the 3rd international workshop on Advances in model-based testing
A subset of precise UML for model-based testing
Proceedings of the 3rd international workshop on Advances in model-based testing
AspectT: aspect-oriented test case instantiation
Proceedings of the 7th international conference on Aspect-oriented software development
An approach for supporting system-level test scenarios generation from textual use cases
Proceedings of the 2008 ACM symposium on Applied computing
Using model transformation to support model-based test coverage measurement
Proceedings of the 3rd international workshop on Automation of software test
Generating security tests in addition to functional tests
Proceedings of the 3rd international workshop on Automation of software test
A test generation solution to automate software testing
Proceedings of the 3rd international workshop on Automation of software test
Enabling verification and conformance testing for access control model
Proceedings of the 13th ACM symposium on Access control models and technologies
Early fault detection with model-based testing
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Automated Test Generation and Verified Software
Verified Software: Theories, Tools, Experiments
The Role of Model-Based Testing
Verified Software: Theories, Tools, Experiments
State Isomorphism in Model Programs with Abstract Data Structures
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Deriving Input Partitions from UML Models for Automatic Test Generation
Models in Software Engineering
Model-Based Testing Service on the Web
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Protocol Modeling with Model Program Composition
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Generating Tests from B Specifications and Test Purposes
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Using EventB to Create a Virtual Machine Instruction Set Architecture
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Controllable Test Cases for the Distributed Test Architecture
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
A Constraint Logic Programming Approach to Automated Testing
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Model-Based Testing Using Scenarios and Event-B Refinements
Methods, Models and Tools for Fault Tolerance
Using formal models to design user interfaces: a case study
BCS-HCI '07 Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 1
Synthesizing Test Models from Test Cases
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Reasoning on UML Conceptual Schemas with Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
MBT4Chor: A Model-Based Testing Approach for Service Choreographies
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Automatic synthesis of behavior protocols for composable web-services
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Integration of verification methods for program systems
Programming and Computing Software
Modelling dynamic memory management in constraint-based testing
Journal of Systems and Software
Model Based Testing of a Network-on-Chip Component
Electronic Notes in Theoretical Computer Science (ENTCS)
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Model transformations to satisfy all-configurations-transitions on statecharts
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
From design models to test models by means of test ideas
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Evaluation of {model-based} testing techniques selection approaches: An external replication
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Analyzing Response Inconsistencies in Test Suites
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Model-Based Testing of Web Applications Using NModel
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Data generation in model-based testing
Proceedings of the 2010 ACM Symposium on Applied Computing
Formal methods and hybrid real-time systems
Model-based testing of multiple GUI variants using the GUI test generator
Proceedings of the 5th Workshop on Automation of Software Test
Pattern-based generation of test plans for open distributed processing systems
Proceedings of the 5th Workshop on Automation of Software Test
Synthesizing adapters for conversational web-services from their WSDL interface
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Model-based testing and the UML testing profile
Semantics and algebraic specification
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Automated functionality testing through GUIs
ACSC '10 Proceedings of the Thirty-Third Australasian Conferenc on Computer Science - Volume 102
Component architecture of model-based testing environment
Programming and Computing Software
Generating natural language descriptions of Z test cases
INLG '10 Proceedings of the 6th International Natural Language Generation Conference
An enhanced test case selection approach for model-based testing: an industrial case study
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Syntactic abstraction of B models to generate tests
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Testing techniques in software engineering
Testing techniques in software engineering
SysML to UML model transformation for test generation purpose
ACM SIGSOFT Software Engineering Notes
Model-based analysis and development of dependable systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Reducing the cost of model-based testing through test case diversity
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Black-box system testing of real-time embedded systems using random and search-based testing
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Model-based testing without a model: assessing portability in the Seattle testbed
SSV'10 Proceedings of the 5th international conference on Systems software verification
Specification based conformance testing for email protocols
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Nets4Cars/Nets4Trains'11 Proceedings of the Third international conference on Communication technologies for vehicles
Seamless testing for models and code
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Model based analysis process for embedded software product lines
Proceedings of the 2011 International Conference on Software and Systems Process
Utilizing user interface models for automated instantiation and execution of system tests
Proceedings of the First International Workshop on End-to-End Test Script Engineering
Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems
Proceedings of the First International Workshop on End-to-End Test Script Engineering
Efficient test suite reduction by merging pairs of suitable test cases
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Pairwise feature-interaction testing for SPLs: potentials and limitations
Proceedings of the 15th International Software Product Line Conference, Volume 2
A tool for automated test code generation from high-level petri nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Rigorous model-based design & verification flow for in-vehicle software
Proceedings of the 48th Design Automation Conference
Association of under-approximation techniques for generating tests from models
TAP'11 Proceedings of the 5th international conference on Tests and proofs
TORC: test plan optimization by requirements clustering
Software Quality Control
ModelTester: a tool for teaching model-based testing
Journal of Computing Sciences in Colleges
Test coverage criteria for agent interaction testing
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Towards flexible and efficient model-based testing, utilizing domain-specific modelling
Proceedings of the 10th Workshop on Domain-Specific Modeling
Verification and validation in the context of domain-specific modelling
Proceedings of the 10th Workshop on Domain-Specific Modeling
Development of an automated MBT toolchain from UML/SysML models
Innovations in Systems and Software Engineering
Automatic library migration for the generation of hardware-in-the-loop models
Science of Computer Programming
A language for test case refinement in the test template framework
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Comprehensively evaluating conformance error rates of applying aspect state machines
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Testing probabilistic distributed systems
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Using b machines for model-based testing of smartcard software
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
LEIRIOS test generator: automated test generation from b models
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Model-based test instantiation for applications with user interfaces
Proceedings of the 12th International Conference on Product Focused Software Development and Process Improvement
Constructing mid-points for two-party asynchronous protocols
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
A new approach in model-based testing: designing test models in TTCN-3
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Towards a model based approach for integration testing
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Efficient reuse of domain-specific test knowledge: an industrial case in the smart card domain
Proceedings of the 34th International Conference on Software Engineering
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
Obstacles and opportunities in deploying model-based GUI testing of mobile software: a survey
Software Testing, Verification & Reliability
Test generation for sequential nets of abstract state machines
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Adapting model-based testing techniques to DEVS models validation
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
An intuitive approach to determine test adequacy in safety-critical software
ACM SIGSOFT Software Engineering Notes
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
Scenario-based testing using symbolic animation of B models
Software Testing, Verification & Reliability
Incremental model-based testing of delta-oriented software product lines
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
A test process improvement model for automated test generation
PROFES'12 Proceedings of the 13th international conference on Product-Focused Software Process Improvement
An architectural model for software testing lesson learned systems
Information and Software Technology
Model-based pairwise testing for feature interaction coverage in software product line engineering
Software Quality Control
Model-based testing of internet e-mail protocols
Programming and Computing Software
Efficient coverage of parallel and hierarchical stateflow models for test case generation
Software Testing, Verification & Reliability
Software and Systems Modeling (SoSyM)
A generic platform for model-based regression testing
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
A vision for behavioural model-driven validation of software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Parameterized preorder relations for model-based testing of software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
The science of killing bugs in a black box
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Automatic generation of test models and properties from UML models with OCL constraints
Proceedings of the 12th Workshop on OCL and Textual Modelling
Achieving scalable model-based testing through test case diversity
ACM Transactions on Software Engineering and Methodology (TOSEM)
B model slicing and predicate abstraction to generate tests
Software Quality Control
Model-Driven testing for web applications using abstract state machines
ICWE'12 Proceedings of the 12th international conference on Current Trends in Web Engineering
Requirements Traceability within Model-Based Testing: Applying Path Fragments and Temporal Logic
International Journal of Embedded and Real-Time Communication Systems
Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain
International Journal of Embedded and Real-Time Communication Systems
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer
International Journal of Embedded and Real-Time Communication Systems
Identification and selection of interaction test scenarios for integration testing
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods
Information and Software Technology
Mining behavior models from enterprise web applications
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
Applying a def-use approach on signal exchange to implement SysML model-based testing
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
AUIC '13 Proceedings of the Fourteenth Australasian User Interface Conference - Volume 139
Using regular grammars for event-based testing
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
An Industrial Experience on using Models to Test Web Service-Oriented Applications
Proceedings of International Conference on Information Integration and Web-based Applications & Services
A language-independent approach to black-box testing using Erlang as test specification language
Journal of Systems and Software
Towards statistical prioritization for software product lines testing
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Runtime verification of state machines and defect localization applying model-based testing
Proceedings of the WICSA 2014 Companion Volume
Software and Systems Modeling (SoSyM)
UI-design driven model-based testing
Innovations in Systems and Software Engineering
Hi-index | 0.00 |
This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics.The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems. From this book you will learn:* The basic principles and terminology of model-based testing* How model-based testing differs from other testing processes* How model-based testing fits into typical software lifecycles such as agile methods and the Unified Process* The benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market* A step-by-step process for applying model-based testing* How to write good models for model-based testing* How to use a variety of test selection criteria to control the tests that are generated from your models* How model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments* Presents the basic principles and terminology of model-based testing* Shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and how it can reduce time to market* Offers guidance on how to use different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies