PICKLES is a natural language extension of BDD scenarios that supports bi-directional mapping to formal models for automated MBT test generation and achieves higher coverage on an industrial case study.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
PICKLES is a natural language extension of BDD scenarios that supports bi-directional mapping to formal models for automated MBT test generation and achieves higher coverage on an industrial case study.