All Stories

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