Search Sciweavers | Sciweavers

10182 search results - page 284 / 2037

» Case Studies

150

click to vote

PTS
2010

132views Hardware» more PTS 2010»

Increasing Functional Coverage by Inductive Testing: A Case Study

15 years 5 months ago

Download www.cs.le.ac.uk

This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete speciﬁcation. The inductive testing technique works by p...

Neil Walkinshaw, Kirill Bogdanov, John Derrick, Ja...

claim paper

Read More »

221

click to vote

SOSYM
2010

124views more SOSYM 2010»

Lifting transformational models of product lines: a case study

15 years 5 months ago

Download www.cs.utexas.edu

Model driven development (MDD) of software product lines (SPLs) merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transf...

Greg Freeman, Don S. Batory, R. Greg Lavender, Jac...

claim paper

Read More »

141

click to vote

SOSYM
2010

100views more SOSYM 2010»

Code generation by model transformation: a case study in transformation modularity

15 years 5 months ago