All Stories

  1. Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions
  2. Time for Networks: Mutation Testing for Timed Automata Networks
  3. Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling
  4. Towards Feature-based ML-enabled Behaviour Location
  5. Providing command and control agility: A software product line approach
  6. MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
  7. BURST: Benchmarking uniform random sampling techniques
  8. Explicit or Implicit? On Feature Engineering for ML-based Variability-intensive Systems
  9. Architectural Bad Smells for Self-Adaptive Systems: Go Runtime!
  10. Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at Runtime
  11. Reuse and Software Quality
  12. BURST
  13. VaryMinions: leveraging RNNs to identify variants in event logs
  14. Ethical Adversaries
  15. Summary of Search-based Crash Reproduction using Behavioral Model Seeding
  16. Empirical assessment of generating adversarial configurations for software product lines
  17. Test them all, is it worth it?
  18. Search‐based crash reproduction using behavioural model seeding
  19. STARS
  20. MALTESQUE 2019 Workshop Summary
  21. An SMT-Based Concolic Testing Tool for Logic Programs
  22. Towards Quality Assurance of Software Product Lines with Adversarial Configurations
  23. AbsCon: A Test Concretizer for Model-Based Testing
  24. Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
  25. Preface to the Thirteenth Workshop on Variability Modelling of Software-intensive Systems
  26. A Decade of Featured Transition Systems
  27. Editorial to the theme section on model-based testing
  28. Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack
  29. Model-based mutant equivalence detection using automata language equivalence and simulations
  30. Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda
  31. Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation
  32. Towards Security-Aware Mutation Testing
  33. Yo variability! JHipster
  34. On quantitative requirements for product lines
  35. Variability and Complexity in Software Design
  36. On Featured Transition Systems
  37. Testing Variability-Intensive Systems
  38. Featured model-based mutation analysis
  39. A complexity tale
  40. Message from the A-MOST 2016 Chairs
  41. Search-based Similarity-driven Behavioural SPL Testing
  42. Featured model types
  43. Unlocking Visual Understanding: Towards Effective Keys for Diagrams
  44. Statistical prioritization for software product line testing: an experience report
  45. SPLat 2015
  46. Poster: VIBeS, Transition System Mutation Made Easy
  47. Message from the chairs — A MOST 2015
  48. Covering SPL Behaviour with Sampled Configurations
  49. Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines
  50. Towards statistical prioritization for software product lines testing
  51. A variability perspective of mutation analysis
  52. Abstract test case generation for behavioural testing of software product lines
  53. Multi-objective test generation for software product lines
  54. PLEDGE
  55. Model-Based Verification of Energy-Aware Real-Time Automotive Systems
  56. Towards automated testing and fixing of re-engineered Feature Models
  57. SoC/SoPC Development using MDD and MARTE Profile
  58. Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing
  59. Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach
  60. Simulation-based abstractions for software product-line model checking
  61. Towards flexible evolution of Dynamically Adaptive Systems
  62. Towards more reliable configurators: A re-engineering perspective
  63. On extracting feature models from product descriptions
  64. Deriving configuration interfaces from feature models
  65. A Vision for Behavioural Model-Driven Validation of Software Product Lines
  66. Towards Configurable ISO/IEC 29110-Compliant Software Development Processes for Very Small Entities
  67. Pairwise testing for software product lines: comparison of two approaches
  68. VAST 2011 workshop summary
  69. Weaving variability into domain metamodels
  70. Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
  71. Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective
  72. Dynamic Software Product Lines for Service-Based Systems
  73. Weaving Variability into Domain Metamodels
  74. Vers des lignes de produits flexibles. Apports de l'ingénierie dirigée par les modèles à la dérivation de produits
  75. Reconciling Automation and Flexibility in Product Derivation
  76. Evolution Through Architectural Reconciliation
  77. A Flexible Requirements Analysis Approach for Software Product Lines