All Stories

  1. Contract-based testing for PHP with Praspel
  2. Model-Based Testing for Internet of Things Systems
  3. Model-Based Testing as a Service for IoT Platforms
  4. Recent Advances in Model-Based Testing
  5. A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing
  6. Tooled Process for Early Validation of SysML Models Using Modelica Simulation
  7. Modeling and simulation of modular complex system: Application to air-jet conveyor
  8. SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models
  9. Test generation with Satisfiability Modulo Theories solvers in model-based testing
  10. Model-Based Testing for Functional and Security Test Generation
  11. A Constraint Solver for PHP Arrays
  12. Strategies Comparison of Test Generation from UML Using SMT Solver
  13. Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience
  14. Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing
  15. Ramos: Concurrent writing and reconfiguration for collaborative systems
  16. Grammar-Based Testing Using Realistic Domains in PHP
  17. Managing Evolution by Orchestrating Requirements and Testing Engineering Processes
  18. Transformation of SysML Structure Diagrams to VHDL-AMS
  19. Transformation rules from UML4MBT meta-model to SMT meta-model for model animation
  20. Test Generation Using Symbolic Animation of Models
  21. Model-Based Security Verification and Testing for Smart-cards
  22. Modelling of Complex Systems with AML as Realized in MIRO Project
  23. Selective Test Generation Method for Evolving Critical Systems
  24. SysML to UML model transformation for test generation purpose
  25. Orchestrating Security and System Engineering for Evolving Systems
  26. Assessing the Quality of B Models
  27. Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests
  28. Building a Test-Ready Abstraction of a Behavioral Model Using CLP
  29. Automated UML models merging for web services testing
  30. Using Common Criteria to Assess Quality of Web Services
  31. Automating UML models merge for web services testing
  32. A test generation solution to automate software testing
  33. A subset of precise UML for model-based testing
  34. Automated Boundary Test Generation from JML Specifications
  35. JML2B: Checking JML Specifications with B Machines
  36. Instantiation of Parameterized Data Structures for Model-Based Testing
  37. Safety Property Driven Test Generation from JML Specifications
  38. Symbolic Animation of JML Specifications
  39. JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP
  40. Mastering Test Generation from Smart Card Software Formal Models
  41. How Symbolic Animation Can Help Designing an Efficient Formal Model
  42. Checking JML Specifications with B Machines
  43. Requirements traceability in automated test generation
  44. 8.2.1 Automated Test Generation and Execution for Automotive Embedded Software
  45. Faster Analysis of Formal Specifications
  46. CLPS–B – A constraint solver to animate a B specification
  47. Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study
  48. CLPS-B—A Constraint Solver for B
  49. Using OBDDs to handle dynamic constraints
  50. Solving over-constrained CSP using weighted OBDDs