All Stories

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