All Stories

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