Efficient probabilistic testing of model transformations using search

L.M. Rose; S. Poulding

doi:10.1109/CMSBSE.2013.6604431

Efficient probabilistic testing of model transformations using search

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on
Publisher	IEEE
Pages	16-21
DOIs	https://doi.org/10.1109/CMSBSE.2013.6604431
Publication status	Published - 1 May 2013
Event	Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop - San Francisco, United States Duration: 20 May 2013 → 20 May 2013

Conference

Conference	Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop
Country/Territory	United States
City	San Francisco
Period	20/05/13 → 20/05/13

Keywords

grammars
program testing
sampling methods
search problems
software cost estimation
statistical distributions
grammar-based search techniques
metamodels
model transformations
model-driven engineering
optimised probability distribution
probabilistic testing
sampling random models
scalability
search-based software engineering
testing cost
testing efficacy
Grammar
Manuals
Probability distribution
Software
Software algorithms
Statistical analysis
Testing

Access to Document

10.1109/CMSBSE.2013.6604431

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6604431

DAASE
Clark, J. A. (Co-investigator)
EPSRC
1/06/12 → 31/03/17
Project: Research project (funded) › Research

Cite this

@inproceedings{7d0cae08263b4545ab320851831986e6,

title = "Efficient probabilistic testing of model transformations using search",

keywords = "grammars, program testing, sampling methods, search problems, software cost estimation, statistical distributions, grammar-based search techniques, metamodels, model transformations, model-driven engineering, optimised probability distribution, probabilistic testing, sampling random models, scalability, search-based software engineering, testing cost, testing efficacy, Grammar, Manuals, Probability distribution, Software, Software algorithms, Statistical analysis, Testing",

author = "L.M. Rose and S. Poulding",

year = "2013",

month = may,

day = "1",

doi = "10.1109/CMSBSE.2013.6604431",

language = "English",

pages = "16--21",

booktitle = "Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on",

publisher = "IEEE",

address = "United States",

note = "Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop ; Conference date: 20-05-2013 Through 20-05-2013",

}

Rose, LM & Poulding, S 2013, Efficient probabilistic testing of model transformations using search. in Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on. IEEE, pp. 16-21, Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop, San Francisco, United States, 20/05/13. https://doi.org/10.1109/CMSBSE.2013.6604431

TY - GEN

T1 - Efficient probabilistic testing of model transformations using search

AU - Rose, L.M.

AU - Poulding, S.

PY - 2013/5/1

Y1 - 2013/5/1

KW - grammars

KW - program testing

KW - sampling methods

KW - search problems

KW - software cost estimation

KW - statistical distributions

KW - grammar-based search techniques

KW - metamodels

KW - model transformations

KW - model-driven engineering

KW - optimised probability distribution

KW - probabilistic testing

KW - sampling random models

KW - scalability

KW - search-based software engineering

KW - testing cost

KW - testing efficacy

KW - Grammar

KW - Manuals

KW - Probability distribution

KW - Software

KW - Software algorithms

KW - Statistical analysis

KW - Testing

U2 - 10.1109/CMSBSE.2013.6604431

DO - 10.1109/CMSBSE.2013.6604431

M3 - Conference contribution

SP - 16

EP - 21

BT - Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on

PB - IEEE

T2 - Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop

Y2 - 20 May 2013 through 20 May 2013

ER -

Efficient probabilistic testing of model transformations using search

Conference

Keywords

Access to Document

Projects

DAASE

Cite this